Search for persons
X
?
Proceedings of the 2004 ACM workshop on Formal methods in security engineering ,
3
MAC and UML for secure software design:
, In:
?
Service-Oriented Software System Engineering ,
5