Model-centric Security Verification subject to Evolution

J. Jürjens
ESSOS'13
(Invited Talk) Eternals Workshop @ ESSOS'13.