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: | 25 Sep 2024 16:44 |
| 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 |
