![](/img/cover-not-exists.png)
[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 - Representation and analysis of coordinated attacks
Braynov, Sviatoslav, Jadiwala, MurtuzaYear:
2003
Language:
english
DOI:
10.1145/1035429.1035434
File:
PDF, 893 KB
english, 2003