Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb et Steven Chamberland
Communication écrite (2014)
Un lien externe est disponible pour ce documentDé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: | 25 sept. 2024 16:44 |
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