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 item| ISBN: | 9780387240503 |
|---|---|
| PolyPublie 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: | 08 Apr 2025 07:12 |
| 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
