An Automated Validation Method for Security Policies: The Firewall Case

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. [doi]

Authors

Ryma Abassi

This author has not been identified. Look up 'Ryma Abassi' in Google

Sihem Guemara El Fatmi

This author has not been identified. Look up 'Sihem Guemara El Fatmi' in Google