A Formal Approach to Specify and Deploy a Network Security Policy

Frédéric Cuppens, Nora Boulahia Cuppens, Thierry Sans, Alexandre Miège

Communication écrite (2004)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9780387240503
Adresse URL de PolyPublie:
Nom de la conférence:
IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST 2004)
Lieu de la conférence:
Toulouse, France
Date(s) de la conférence:
2004-08-22 - 2004-08-27
Maison d'édition:
Springer
OAI:
oai:publications.polymtl.ca:46284
ORCID
Date du dépôt:
18 avr. 2023 15:19
Dernière modification:
14 oct. 2026 14:00
Citer en APA 7:
Cuppens, F., Boulahia Cuppens, N., Sans, T., & Miège, A. (août 2004). A Formal Approach to Specify and Deploy a Network Security Policy [Communication écrite]. 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

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document