<  Retour au portail Polytechnique Montréal

A formal framework for verifying inter-firewalls consistency

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

Communication écrite (2014)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/53062/
Nom de la conférence: IEEE Symposium on Computers and Communications (ISCC 2014)
Lieu de la conférence: Funchal, Portugal
Date(s) de la conférence: 2014-06-23 - 2014-06-26
Maison d'édition: IEEE
DOI: 10.1109/iscc.2014.6912478
URL officielle: https://doi.org/10.1109/iscc.2014.6912478
Date du dépôt: 18 avr. 2023 15:08
Dernière modification: 05 avr. 2024 11:58
Citer en APA 7: Moussa, M., Ould-Slimane, H., Boucheneb, H., & Chamberland, S. (juin 2014). A formal framework for verifying inter-firewalls consistency [Communication écrite]. IEEE Symposium on Computers and Communications (ISCC 2014), Funchal, Portugal (7 pages). https://doi.org/10.1109/iscc.2014.6912478

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document