Deriving and Formalising Safety and Security Requirements for Control Systems

Elena Troubitsyna; Inna Vistbakka

doi:10.1007/978-3-319-99130-6_8

Deriving and Formalising Safety and Security Requirements for Control Systems

Elena Troubitsyna, Inna Vistbakka

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

11 Citeringar (Scopus)

Sammanfattning

Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Redaktörer	Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Förlag	Springer
Sidor	107–122
ISBN (elektroniskt)	978-3-319-99130-6
ISBN (tryckt)	978-3-319-99129-0
DOI	https://doi.org/10.1007/978-3-319-99130-6_8
Status	Publicerad - 2018
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Computer Safety, Reliability, and Security, SAFECOMP - 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018 Varaktighet: 19 sep. 2018 → 21 sep. 2018

Konferens

Konferens	International Conference on Computer Safety, Reliability, and Security, SAFECOMP
Period	19/09/18 → 21/09/18

Nyckelord

Data flow
Event-B
Formal modelling
Refinement
Safety analysis
safety-critical systems

Åtkomst av dokument

10.1007/978-3-319-99130-6_8

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Ansvarig forskare), Vistbakka, I. (CoI) & Majd, A. (CoI)
01/01/18 → 31/12/19
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

Troubitsyna, E., & Vistbakka, I. (2018). Deriving and Formalising Safety and Security Requirements for Control Systems. I B. Gallina, A. Skavhaug, & F. Bitsch (Red.), Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings (s. 107–122). Springer. https://doi.org/10.1007/978-3-319-99130-6_8

@inproceedings{655bb76a6ae74f18a9bd152170321403,

title = "Deriving and Formalising Safety and Security Requirements for Control Systems",

abstract = "Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.",

keywords = "Data flow, Event-B, Formal modelling, Refinement, Safety analysis, safety-critical systems, Data flow, Event-B, Formal modelling, Refinement, Safety analysis, safety-critical systems, Data flow, Event-B, Formal modelling, Refinement, Safety analysis, safety-critical systems",

author = "Elena Troubitsyna and Inna Vistbakka",

year = "2018",

doi = "10.1007/978-3-319-99130-6_8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-99129-0",

pages = "107–122",

editor = "Barbara Gallina and Amund Skavhaug and Friedemann Bitsch",

booktitle = "Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, V{\"a}ster{\aa}s, Sweden, September 19-21, 2018, Proceedings",

publisher = "Springer",

note = "International Conference on Computer Safety, Reliability, and Security, SAFECOMP ; Conference date: 19-09-2018 Through 21-09-2018",

}

Troubitsyna, E & Vistbakka, I 2018, Deriving and Formalising Safety and Security Requirements for Control Systems. i B Gallina, A Skavhaug & F Bitsch (red), Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Springer, s. 107–122, International Conference on Computer Safety, Reliability, and Security, SAFECOMP, 19/09/18. https://doi.org/10.1007/978-3-319-99130-6_8

Deriving and Formalising Safety and Security Requirements for Control Systems. / Troubitsyna, Elena; Vistbakka, Inna.
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. red. / Barbara Gallina; Amund Skavhaug; Friedemann Bitsch. Springer, 2018. s. 107–122.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

T1 - Deriving and Formalising Safety and Security Requirements for Control Systems

AU - Troubitsyna, Elena

AU - Vistbakka, Inna

PY - 2018

Y1 - 2018

N2 - Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

AB - Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

KW - Data flow

KW - Event-B

KW - Formal modelling

KW - Refinement

KW - Safety analysis

KW - safety-critical systems

KW - Data flow

KW - Event-B

KW - Formal modelling

KW - Refinement

KW - Safety analysis

KW - safety-critical systems

KW - Data flow

KW - Event-B

KW - Formal modelling

KW - Refinement

KW - Safety analysis

KW - safety-critical systems

U2 - 10.1007/978-3-319-99130-6_8

DO - 10.1007/978-3-319-99130-6_8

M3 - Publicerad konferensartikel

SN - 978-3-319-99129-0

SP - 107

EP - 122

BT - Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

A2 - Gallina, Barbara

A2 - Skavhaug, Amund

A2 - Bitsch, Friedemann

PB - Springer

T2 - International Conference on Computer Safety, Reliability, and Security, SAFECOMP

Y2 - 19 September 2018 through 21 September 2018

ER -

Deriving and Formalising Safety and Security Requirements for Control Systems

Sammanfattning

Konferens

Nyckelord

Åtkomst av dokument

Projekt

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems

Citera det här