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

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

Inna Vistbakka, Elena Troubitsyna, Towards a Formal Approach to Analysing Security of Safety-Critical Systems. In: Emanuel Onica, Pascal Felber (Eds.), Towards a Formal Approach to Analysing Security of Safety-Critical Systems, 182–189, IEEE Computer Society, 2018.

http://dx.doi.org/10.1109/EDCC.2018.00040

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpViTr18a,
  title = {Towards a Formal Approach to Analysing Security of Safety-Critical Systems},
  booktitle = {Towards a Formal Approach to Analysing Security of Safety-Critical  Systems},
  author = {Vistbakka, Inna and Troubitsyna, Elena},
  editor = {Onica, Emanuel and Felber, Pascal},
  publisher = {IEEE Computer Society},
  pages = {182–189},
  year = {2018},
}

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

Edit publication