P. Bera, S. K. Ghosh, Pallab Dasgupta. Formal Verification of Security Policy Implementations in Enterprise Networks. In Atul Prakash, Indranil Gupta, editors, Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings. Volume 5905 of Lecture Notes in Computer Science, pages 117-131, Springer, 2009. [doi]
Abstract is missing.