Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin. Formal correctness of conflict detection for firewalls. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 22-30, ACM, 2007. [doi]
Abstract is missing.