UNIGE document Chapitre d'actes
previous document  unige:76800  next document
add to browser collection
Title

Formal Modeling and Verification of Opportunity-enabled Risk Management

Authors
Aldini, Alessandro
Published in Trustcom International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications. Helsinki (Finland) - 20-22 août 2015 - IEEE. 2015
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 ConfianceTrustE-réputationRisk managementRisqueOpportunity
Full text
Structures
Project FP7: MUSES
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. https://archive-ouverte.unige.ch/unige:76800

171 hits

76 downloads

Update

Deposited on : 2015-11-04

Export document
Format :
Citation style :