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]
@inproceedings{AbbassiF08-0,
title = {An Automated Validation Method for Security Policies: The Firewall Case},
author = {Ryma Abassi and Sihem Guemara El Fatmi},
year = {2008},
doi = {10.1109/IAS.2008.52},
url = {http://doi.ieeecomputersociety.org/10.1109/IAS.2008.52},
tags = {security},
researchr = {https://researchr.org/publication/AbbassiF08-0},
cites = {0},
citedby = {0},
pages = {291-294},
booktitle = {Proccedings of the Fourth International Conference on Information Assurance and Security, IAS 2008, September 8-10, 2008, Napoli, Italy},
editor = {Massimiliano Rak and Ajith Abraham and Valentina Casola},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3324-7},
}