A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System

Résumé

The paper proposes a methodology to assess the impacts of vulnerabilities, attacks and countermeasures on a vessel's missions, and a metric designed to express and compare these impacts. A behavioral modeling approach for depicting naval systems and missions is presented. Then the paper introduces a model-checking based impact assessment method. The cyber events are integrated in the behavioral model through model mutation. Then, for each mission, their impact is computed by performing a series of model checks. The paper also discusses the algorithmic complexity of the impact assessment method.
Fichier non déposé

Dates et versions

hal-01836378 , version 1 (12-07-2018)

Identifiants

Citer

Bastien Sultan, Fabien Dagnat, Caroline Fontaine. A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System. CyberICPS'2017 : International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, Sep 2017, Oslo, Norway. pp.63 - 76, ⟨10.1007/978-3-319-72817-9_5⟩. ⟨hal-01836378⟩
176 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More