Merkliste 
 1 Ergebnisse 
 
1

MAC and UML for secure software design:

, In: Proceedings of the 2004 ACM workshop on Formal methods in security engineering,
Doan, Thuong ; Demurjian, Steven ; Ting, T. C.. - p. 75-85 , 2004