Model-driven simulation for cross-domain policy enforcement | IEEE Conference Publication | IEEE Xplore