Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt. Incremental Security Verification for Evolving UMLsec models. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 52-68, Springer, 2011. [doi]
Abstract is missing.