Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry. Verification of Distributed Firewalls. In Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November - 4 December 2008. pages 2013-2017, IEEE, 2008. [doi]
@inproceedings{GoudaLJ08,
title = {Verification of Distributed Firewalls},
author = {Mohamed G. Gouda and Alex X. Liu and Mansoor Jafry},
year = {2008},
doi = {10.1109/GLOCOM.2008.ECP.388},
url = {http://dx.doi.org/10.1109/GLOCOM.2008.ECP.388},
researchr = {https://researchr.org/publication/GoudaLJ08},
cites = {0},
citedby = {0},
pages = {2013-2017},
booktitle = {Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November - 4 December 2008},
publisher = {IEEE},
}