Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Inna Vistbakka, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

Since safety-critical control systems become increasingly interconnected, there is a clear need for the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an integrated approach to systematically deriving and formalising safety and security requirements. To facilitate requirements elicitation, we propose to adapt and integrate traditional safety and security analysis techniques. To formally specify and verify the requirements, we rely on Event-B framework. By relying on refinement and proofs, the framework allows us to specify and verify system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

AlkuperäiskieliEi tiedossa
Otsikko14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
KustantajaIEEE
Sivut182–189
ISBN (elektroninen)978-1-5386-8060-5
ISBN (painettu)978-1-5386-8061-2
DOI - pysyväislinkit
TilaJulkaistu - 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaEuropean Dependable Computing Conference, EDCC - 14th European Dependable Computing Conference, EDCC 2018
Kesto: 10 syyskuuta 201814 syyskuuta 2018

Konferenssi

KonferenssiEuropean Dependable Computing Conference, EDCC
Ajanjakso10/09/1814/09/18

Keywords

  • Data flow
  • Event-B
  • Formal modelling
  • Safety analysis
  • refinement
  • safety-critical systems
  • security

Viittausmuodot