Towards Security-Explicit Formal Modelling of Safety-Critical Systems

Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Inna Vistbakka; Timo Latvala

doi:10.1007/978-3-319-45477-1_17

Towards Security-Explicit Formal Modelling of Safety-Critical Systems

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Inna Vistbakka, Timo Latvala

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

19 Citations (Scopus)

Abstract

Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the safety-driven design. In this paper, we demonstrate how to make explicit the relationships between safety and security in the formal system development by refinement. The proposed approach allows the designers to identify at early design states mutual interdependencies between the mechanisms ensuring safety and security and build robust system architecture.

Original language	Undefined/Unknown
Title of host publication	Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Editors	Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch
Publisher	Springer
Pages	213–225
ISBN (Electronic)	978-3-319-45477-1
ISBN (Print)	978-3-319-45476-4
DOIs	https://doi.org/10.1007/978-3-319-45477-1_17
Publication status	Published - 2016
MoE publication type	A4 Article in a conference publication
Event	SAFECOMP - SAFECOMP 2016 Duration: 21 Sept 2016 → 23 Sept 2016

Conference

Conference	SAFECOMP
Period	21/09/16 → 23/09/16

Access to Document

10.1007/978-3-319-45477-1_17

Cite this

Troubitsyna, E., Laibinis, L., Pereverzeva, I., Kuismin, T., Vistbakka, I., & Latvala, T. (2016). Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In A. Skavhaug, J. Guiochet, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings (pp. 213–225). Springer. https://doi.org/10.1007/978-3-319-45477-1_17

Troubitsyna, Elena ; Laibinis, Linas ; Pereverzeva, Inna et al. / Towards Security-Explicit Formal Modelling of Safety-Critical Systems. Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. editor / Amund Skavhaug ; Jérémie Guiochet ; Friedemann Bitsch. Springer, 2016. pp. 213–225

@inproceedings{805e48dee7154b9eaf260f11fdd145af,

title = "Towards Security-Explicit Formal Modelling of Safety-Critical Systems",

abstract = "Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the safety-driven design. In this paper, we demonstrate how to make explicit the relationships between safety and security in the formal system development by refinement. The proposed approach allows the designers to identify at early design states mutual interdependencies between the mechanisms ensuring safety and security and build robust system architecture.",

author = "Elena Troubitsyna and Linas Laibinis and Inna Pereverzeva and Tuomas Kuismin and Inna Vistbakka and Timo Latvala",

year = "2016",

doi = "10.1007/978-3-319-45477-1_17",

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

isbn = "978-3-319-45476-4",

pages = "213–225",

editor = "Amund Skavhaug and J{\'e}r{\'e}mie Guiochet and Friedemann Bitsch",

booktitle = "Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings",

publisher = "Springer",

note = "SAFECOMP ; Conference date: 21-09-2016 Through 23-09-2016",

}

Troubitsyna, E, Laibinis, L, Pereverzeva, I, Kuismin, T, Vistbakka, I & Latvala, T 2016, Towards Security-Explicit Formal Modelling of Safety-Critical Systems. in A Skavhaug, J Guiochet & F Bitsch (eds), Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Springer, pp. 213–225, SAFECOMP, 21/09/16. https://doi.org/10.1007/978-3-319-45477-1_17

Towards Security-Explicit Formal Modelling of Safety-Critical Systems. / Troubitsyna, Elena; Laibinis, Linas; Pereverzeva, Inna et al.
Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. ed. / Amund Skavhaug; Jérémie Guiochet; Friedemann Bitsch. Springer, 2016. p. 213–225.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Towards Security-Explicit Formal Modelling of Safety-Critical Systems

AU - Troubitsyna, Elena

AU - Laibinis, Linas

AU - Pereverzeva, Inna

AU - Kuismin, Tuomas

AU - Vistbakka, Inna

AU - Latvala, Timo

PY - 2016

Y1 - 2016

N2 - Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the safety-driven design. In this paper, we demonstrate how to make explicit the relationships between safety and security in the formal system development by refinement. The proposed approach allows the designers to identify at early design states mutual interdependencies between the mechanisms ensuring safety and security and build robust system architecture.

AB - Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the safety-driven design. In this paper, we demonstrate how to make explicit the relationships between safety and security in the formal system development by refinement. The proposed approach allows the designers to identify at early design states mutual interdependencies between the mechanisms ensuring safety and security and build robust system architecture.

U2 - 10.1007/978-3-319-45477-1_17

DO - 10.1007/978-3-319-45477-1_17

M3 - Konferensbidrag

SN - 978-3-319-45476-4

SP - 213

EP - 225

BT - Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

A2 - Skavhaug, Amund

A2 - Guiochet, Jérémie

A2 - Bitsch, Friedemann

PB - Springer

T2 - SAFECOMP

Y2 - 21 September 2016 through 23 September 2016

ER -

Troubitsyna E, Laibinis L, Pereverzeva I, Kuismin T, Vistbakka I, Latvala T. Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In Skavhaug A, Guiochet J, Bitsch F, editors, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Springer. 2016. p. 213–225 doi: 10.1007/978-3-319-45477-1_17