Towards Security-Explicit Formal Modelling of Safety-Critical Systems

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Redaktörer: Amund Skavhaug, Jérémie Guiochet and Friedemann Bitsch
Publiceringsår: 2016
Förläggare: Springer
Moderpublikationens namn: Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Volym: 9922
Artikelns första sida, sidnummer: 213
Artikelns sista sida, sidnummer: 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.

Senast uppdaterad 2020-07-07 vid 03:48