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

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publication14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
PublisherIEEE
Pages182–189
ISBN (Electronic)978-1-5386-8060-5
ISBN (Print)978-1-5386-8061-2
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventEuropean Dependable Computing Conference, EDCC - 14th European Dependable Computing Conference, EDCC 2018
Duration: 10 Sep 201814 Sep 2018

Conference

ConferenceEuropean Dependable Computing Conference, EDCC
Period10/09/1814/09/18

Keywords

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

Cite this