• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Towards Security-Explicit Formal Modelling of Safety-Critical Systems

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala, Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In: Amund Skavhaug, Jeremie Guiochet, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Lecture Notes in Computer Science 9922, 213–225, Springer, Cham, 2016.

http://dx.doi.org/10.1007/978-3-319-45477-1_17

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.

BibTeX entry:

@INPROCEEDINGS{inpTrLaPeKuIlLa16a,
  title = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems},
  booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  author = {Troubitsyna, Elena and Laibinis, Linas and Pereverzeva, Inna and Kuismin, Tuomas and Ilic, Dubravka and Latvala, Timo},
  volume = {9922},
  series = {Lecture Notes in Computer Science},
  editor = {Skavhaug, Amund and Guiochet, Jeremie and Bitsch, Friedemann},
  publisher = {Springer, Cham},
  pages = {213–225},
  year = {2016},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication