![](/img/cover-not-exists.png)
[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 - MAC and UML for secure software design
Doan, Thuong, Demurjian, Steven, Ting, T. C., Ketterl, AndreasYear:
2004
Language:
english
DOI:
10.1145/1029133.1029144
File:
PDF, 379 KB
english, 2004