Formal Modeling and Verification of Opportunity-enabled Risk Management
Presented at Helsinki (Finland), 20-22 août 2015
PublisherIEEE
Publication date2015
Abstract
Keywords
- Confiance
- Trust
- E-réputation
- Risk management
- Risque
- Opportunity
Funding
- European Commission - Multiplatform Usable Endpoint Security [318508]
Citation (ISO format)
ALDINI, Alessandro et al. Formal Modeling and Verification of Opportunity-enabled Risk Management. In: Trustcom International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications. Helsinki (Finland). [s.l.] : IEEE, 2015.
Main files (1)
Proceedings chapter (Accepted version)

Identifiers
- PID : unige:76800