<  Back to the Polytechnique Montréal portal

A Formal Approach to Specify and Deploy a Network Security Policy

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

Repository Staff Only

View Item View Item