Monter d'un niveau |
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. Lien externe