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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

11 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Toimittajat	Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Kustantaja	Springer
Sivut	107–122
ISBN (elektroninen)	978-3-319-99130-6
ISBN (painettu)	978-3-319-99129-0
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-99130-6_8
Tila	Julkaistu - 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Computer Safety, Reliability, and Security, SAFECOMP - 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018 Kesto: 19 syysk. 2018 → 21 syysk. 2018

Konferenssi

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

Keywords

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

Pääsy asiakirjaan

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

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Vastuullinen tutkija), Vistbakka, I. (CoI) & Majd, A. (CoI)
01/01/18 → 31/12/19
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

Troubitsyna, E., & Vistbakka, I. (2018). Deriving and Formalising Safety and Security Requirements for Control Systems. teoksessa B. Gallina, A. Skavhaug, & F. Bitsch (Toimittajat), Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings (Sivut 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. julkaisussa B Gallina, A Skavhaug & F Bitsch (toim), Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Springer, Sivut 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. toim. / Barbara Gallina; Amund Skavhaug; Friedemann Bitsch. Springer, 2018. s. 107–122.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -

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

Deriving and Formalising Safety and Security Requirements for Control Systems

Abstrakti

Konferenssi

Keywords

Pääsy asiakirjaan

Projektit

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

Viittausmuodot