Ryma Abassi, Sihem Guemara El Fatmi. An Automated Validation Method for Security Policies: The Firewall Case. In Massimiliano Rak, Ajith Abraham, Valentina Casola, editors, Proccedings of the Fourth International Conference on Information Assurance and Security, IAS 2008, September 8-10, 2008, Napoli, Italy. pages 291-294, IEEE Computer Society, 2008.
Abstract is missing.