Jan Jürjens, Pasha Shabalin. Automated Verification of UMLsec Models for Security Requirements. In Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor, editors, «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Volume 3273 of Lecture Notes in Computer Science, pages 365-379, Springer, 2004. [doi]
Abstract is missing.