@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}, series = {Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings}, volume = {LNCS, 6698}, booktitle = {Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings}, editor = {France, Robert B. and Kuester, Jochen M. and Bordbar, Behzad and Paige, Richard F.}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-21469-1}, doi = {10.1007/978-3-642-21470-7_5}, pages = {52 -- 68}, year = {2011}, language = {en} }