Towards Security-Explicit Formal Modelling of Safety-Critical Systems

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Editors: Amund Skavhaug, Jérémie Guiochet and Friedemann Bitsch
Publication year: 2016
Publisher: Springer
Book title: Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Volume number: 9922
Start page: 213
End page: 225
ISBN: 978-3-319-45476-4
eISBN: 978-3-319-45477-1
ISSN: 0302-9743


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.

Last updated on 2020-04-06 at 04:06