Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam. Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. In Marco Bernardo, Valérie Issarny, editors, 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. Volume 6659 of Lecture Notes in Computer Science, pages 504-526, Springer, 2011. [doi]
Abstract is missing.