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 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018. pages 182-189, IEEE Computer Society, 2018. [doi]

Abstract

Abstract is missing.