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: | 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
