@inproceedings{CSFM:2007,
  author      = {Venanzio Capretta and Bernard Stepien and Amy Felty and Stan Matwin},
  title       = {Formal correctness of conflict detection for firewalls},
  booktitle   = {Proceedings of the 2007 ACM workshop on Formal methods in security engineering},
  editor      = {Virgil Gligor and Heiko Mantel},
  publisher   = {ACM},
  pages       = {22--30},
  year        = 2007
}