@inproceedings{JuerjensMarchalOchoaetal.2011, author = {J{\"u}rjens, Jan and Marchal, Lo{\"i}c and Ochoa, Mart{\´i}n and Schmidt, Holger}, title = {Incremental Security Verification for Evolving UMLsec models}, booktitle = {Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings}, editor = {Robert B. France and Jochen M. Kuester and Behzad Bordbar and Richard F. Paige}, volume = {LNCS, 6698}, pages = {52 -- 68}, doi = {10.1007/978-3-642-21470-7_5}, url = {https://link.springer.com/chapter/10.1007/978-3-642-21470-7_5}, year = {2011}, }