Nihel Ben Youssef, Adel Bouhoula. Automatic Conformance Verification of Distributed Firewalls to Security Requirements. In Ahmed K. Elmagarmid, Divyakant Agrawal, editors, Proceedings of the 2010 IEEE Second International Conference on Social Computing, SocialCom / IEEE International Conference on Privacy, Security, Risk and Trust, PASSAT 2010, Minneapolis, Minnesota, USA, August 20-22, 2010. pages 834-841, IEEE Computer Society, 2010. [doi]
Abstract is missing.