@inproceedings{JuerjensOchoaSchmidtetal.2011, author = {J{\"u}rjens, Jan and Ochoa, Mart{\´i}n and Schmidt, Holger and Marchal, Lo{\"i}c and Houmb, Siv Hilde and Islam, Shareeful}, title = {Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications}, booktitle = {Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures}, editor = {Marco Bernardo and Val{\´e}rie Issarny}, volume = {LNCS, 6659}, pages = {504 -- 526}, doi = {10.1007/978-3-642-21455-4_15}, url = {https://link.springer.com/chapter/10.1007/978-3-642-21455-4_15}, year = {2011}, }