Skip to Main content Skip to Navigation
Conference papers

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

Bastien Sultan 1, 2 Fabien Dagnat 1, 3 Caroline Fontaine 4, 5
1 PASS - Process for Adaptative Software Systems
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
4 Lab-STICC_IMTA_CID_IRIS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01836378
Contributor : Bibliothèque Télécom Bretagne Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:59:38 AM
Last modification on : Wednesday, November 3, 2021 - 8:19:29 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

648