<  Back to the Polytechnique Montréal portal

A formal framework for verifying inter-firewalls consistency

Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb and Steven Chamberland

Paper (2014)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/53062/
Conference Title: IEEE Symposium on Computers and Communications (ISCC 2014)
Conference Location: Funchal, Portugal
Conference Date(s): 2014-06-23 - 2014-06-26
Publisher: IEEE
DOI: 10.1109/iscc.2014.6912478
Official URL: https://doi.org/10.1109/iscc.2014.6912478
Date Deposited: 18 Apr 2023 15:08
Last Modified: 05 Apr 2024 11:58
Cite in APA 7: Moussa, M., Ould-Slimane, H., Boucheneb, H., & Chamberland, S. (2014, June). A formal framework for verifying inter-firewalls consistency [Paper]. IEEE Symposium on Computers and Communications (ISCC 2014), Funchal, Portugal (7 pages). https://doi.org/10.1109/iscc.2014.6912478

Statistics

Dimensions

Repository Staff Only

View Item View Item