Bin Zhang Ehab Al-Shaer Radha Jagadeesan James Riely Corin Pitcher Specifications of a high-level conflict-free firewall policy language for multi-domain networks. 185-194 2007 conf/sacmat/2007 SACMAT http://doi.acm.org/10.1145/1266840.1266871 db/conf/sacmat/sacmat2007.html#ZhangAJRP07