Proceedings chapter
OA Policy
English

Formal Modeling and Verification of Opportunity-enabled Risk Management

Presented atHelsinki (Finland), 20-22 août 2015
PublisherIEEE
Publication date2015
Abstract

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.

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)
accessLevelPublic
Identifiers
  • PID : unige:76800
633views
415downloads

Technical informations

Creation30/10/2015 08:36:00
First validation30/10/2015 08:36:00
Update time02/10/2024 09:36:56
Status update02/10/2024 09:36:56
Last indexation31/10/2024 01:47:15
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack