A Methodology To Assess Vulnerabilities And Countermeasures Impact On The Missions Of A Naval System

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.