City Research Online

Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures

Netkachova, K., Bloomfield, R. E., Popov, P. T. and Netkachov, O. (2015). Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. Paper presented at the SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, 22-09-2015, Delft, Netherlands.


The evaluation of the security, reliability and resilience of critical infrastruc-tures (CI) faces a wide range of challenges ranging from the scale and tempo of attacks to the need to address complex and interdependent systems of sys-tems. Model-based approaches and probabilistic design are fundamental to the evaluation of CI and we need to know whether we can trust these mod-els. This paper presents an approach we are developing to justify the models used to assure CI using structured assurance cases based on Claims, Argu-ments and Evidence (CAE). The modelling and quantitative evaluation of the properties are supported by the Preliminary Interdependency Analysis (PIA) method and platform applied to a case study – a reference power transmission network enhanced with an industrial distributed system of monitoring, protection and control. We discuss the usefulness of the model-ling and assurance case structuring approaches, some findings from the case study, and outline the directions of further work.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: The final publication is available at Springer via
Publisher Keywords: Assurance Cases, CAE Building Blocks, Critical Infrastructures, Power Transmission Network, Preliminary Interdependency Analysis
Subjects: T Technology > TA Engineering (General). Civil engineering (General)
Departments: School of Mathematics, Computer Science & Engineering > Engineering
Text - Accepted Version
Download (338kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login