[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 - Weaving rewrite-based access control policies
de Oliveira, Anderson Santana, Wang, Eric Ke, Kirchner, Claude, Kirchner, HeleneYear:
2007
Language:
english
DOI:
10.1145/1314436.1314446
File:
PDF, 244 KB
english, 2007