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.
CITATION STYLE
Sultan, B., Dagnat, F., & Fontaine, C. (2018). A methodology to assess vulnerabilities and countermeasures impact on the missions of a naval system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10683 LNCS, pp. 63–76). Springer Verlag. https://doi.org/10.1007/978-3-319-72817-9_5
Mendeley helps you to discover research relevant for your work.