Proceedings chapter
Open access

Formal Modeling and Verification of Opportunity-enabled Risk Management

Presented at Helsinki (Finland), 20-22 août 2015
Publication date2015

With the advent of the Bring-Your-Own-Device (BYOD) trend, mobile work is achieving a widespread diffusion that challenges the traditional view of security standard and risk management. A recently proposed model, called opportunity-enabled risk management (OPPRIM), aims at balancing the analysis of the major threats that arise in the BYOD setting with the analysis of the potential increased opportunities emerging in such an environment, by combining mechanisms of risk estimation with trust and threat metrics. Firstly, this paper provides a logic-based formalization of the policy and metric specification paradigm of OPPRIM. Secondly, we verify the OPPRIM model with respect to the socio-economic perspective. More precisely, this is validated formally by employing toolsupported quantitative model checking techniques.

  • Confiance
  • Trust
  • E-réputation
  • Risk management
  • Risque
  • Opportunity
  • 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)
  • PID : unige:76800

Technical informations

Creation10/30/2015 8:36:00 AM
First validation10/30/2015 8:36:00 AM
Update time03/14/2023 11:47:14 PM
Status update03/14/2023 11:47:13 PM
Last indexation05/02/2024 4:34:33 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack