Towards Security-Explicit Formal Modelling of Safety-Critical Systems

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

9 Sitaatiot (Scopus)

Abstrakti

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.

AlkuperäiskieliEi tiedossa
OtsikkoComputer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
ToimittajatAmund Skavhaug, Jérémie Guiochet, Friedemann Bitsch
KustantajaSpringer
Sivut213–225
ISBN (elektroninen)978-3-319-45477-1
ISBN (painettu)978-3-319-45476-4
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaSAFECOMP - SAFECOMP 2016
Kesto: 21 syyskuuta 201623 syyskuuta 2016

Konferenssi

KonferenssiSAFECOMP
Ajanjakso21/09/1623/09/16

Viittausmuodot