![](/img/cover-not-exists.png)
[ACM Press the 2007 ACM workshop - Fairfax, Virginia, USA (2007.11.02-2007.11.02)] Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 - Security policy compliance with violation management
Brunel, Julien, Cuppens, Frédéric, Cuppens, Nora, Sans, Thierry, Bodeveix, Jean-PaulYear:
2007
Language:
english
DOI:
10.1145/1314436.1314441
File:
PDF, 210 KB
english, 2007