Model-centric Security Verification subject to Evolution

J. Jürjens

ESSOS'13

(Invited Talk) Eternals Workshop @ ESSOS'13.

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 285223

SECONOMICS

Socio-economics meets Security

Main menu

User menu

Model-centric Security Verification subject to Evolution