Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Inna Vistbakka, Elena Troubitsyna
Redaktörer: Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
Publiceringsår: 2019
Moderpublikationens namn: Model-Based Safety and Assessment. IMBSA 2019
Seriens namn: Lecture Notes in Computer Science
Volym: 11842
Artikelns första sida, sidnummer: 363
Artikelns sista sida, sidnummer: 378
ISBN: 978-3-030-32872-6


Abstrakt

Increased openness and interconnectedness of safety-critical control systems calls for techniques enabling an integrated analysis of safety and security requirements. Often safety and security requirements have intricate interdependencies that should be uncovered and analysed in a structured and rigorous way. In this paper, we propose an approach that facilitates a systematic derivation and formalisation of safety and security requirements. We propose the specification and refinement patterns in Event-B that allow us to specify and verify system behaviour and properties in the presence of both accidental faults and security attacks and analyse interdependencies between safety and security requirements.


Nyckelord

Event-B, formal modelling, Formal reasoning, Formal verification, Safety, safety-critical systems

Senast uppdaterad 2020-23-09 vid 06:31