|
[ASBL+15]
A. Aldini, J.-M. Seigneur, C. Ballester Lafuente, X. Titi and J. Guislain.
Formal Modeling and Verification of Opportunity-enabled Risk Management.
In Proc. Trustcom International Symposium on Recent Advances of Trust, IEEE.
2015.
[Formally analyses the opportunity-enabled risk management (OPPRIM) security framework using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|