Options
2013
Presentation
Title
Model-centric security verification subject to evolution
Title Supplement
Presentation held at ESSoS 2013, International Symposium on Engineering Secure Software and Systems, February 27 - March 1, 2013, Paris, France