Publications de
Julien Brunel, Frédéric Cuppens, Nora Cuppensboulahia, Thierry Sans, Jean-Paul Bodeveix
Security Policy Compliance with Violation Management
Dans : ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Washingthon USA, 12/11/07-13/11/07, ACM : Association for Computing Machinery, p. 31-40, novembre 2007.