Publications
] .
2014. A Probabilistic Framework for Security Scenarios with Dependent Actions. 11th International Conference on Integrated Formal Methods, IFM 2014, Bertinoro, Italy. 8739:256–271.
The TREsPASS Project
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
This project receives funding from the European Commission's Seventh Framework Programme under Grant Agreement No. 318003 (TREsPASS) (click here for information from CORDIS).