Incremental Security Verification for Evolving UMLsec models. - Jan Jürjens; Loïc Marchal; Martín Ochoa; Holger Schmidt 001 (ECMFA, 2011)

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. - Jan Jürjens; Martín Ochoa; Holger Schmidt 001; Loïc Marchal; Siv Hilde Houmb; Shareeful Islam (SFM, 2011)