Frédéric Cuppens, Nora Boulahia Cuppens, Thierry Sans and Alexandre Miège
Paper (2004)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this itemPolyPublie URL: | https://publications.polymtl.ca/46284/ |
---|---|
Conference Title: | IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST 2004) |
Conference Location: | Toulouse, France |
Conference Date(s): | 2004-08-22 - 2004-08-27 |
Publisher: | Springer |
DOI: | 10.1007/0-387-24098-5_15 |
Official URL: | https://doi.org/10.1007/0-387-24098-5_15 |
Date Deposited: | 18 Apr 2023 15:19 |
Last Modified: | 05 Apr 2024 11:46 |
Cite in APA 7: | Cuppens, F., Boulahia Cuppens, N., Sans, T., & Miège, A. (2004, August). A Formal Approach to Specify and Deploy a Network Security Policy [Paper]. IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST 2004), Toulouse, France. https://doi.org/10.1007/0-387-24098-5_15 |
---|---|
Statistics
Dimensions