[ACM Press the 2003 ACM workshop - Washington, D.C. (2003.10.30-..)] Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - A compositional framework for access control policies enforcement
Siewe, Fran�ois, Cau, Antonio, Zedan, HusseinYear:
2003
Language:
english
DOI:
10.1145/1035429.1035433
File:
PDF, 949 KB
english, 2003