Mohamed Mejri, Kamel Adi, Hamido Fujita. Formal Specification and Analysis of Firewalls. In Hamido Fujita, VladimÃr MarÃk, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 284-293, IOS Press, 2009. [doi]
@inproceedings{MejriAF09,
title = {Formal Specification and Analysis of Firewalls},
author = {Mohamed Mejri and Kamel Adi and Hamido Fujita},
year = {2009},
doi = {10.3233/978-1-60750-049-0-284},
url = {http://dx.doi.org/10.3233/978-1-60750-049-0-284},
tags = {analysis},
researchr = {https://researchr.org/publication/MejriAF09},
cites = {0},
citedby = {0},
pages = {284-293},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic},
editor = {Hamido Fujita and VladimÃr MarÃk},
volume = {199},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-049-0},
}