Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Pattern-based formal approach to analyse security and safety of control systems
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS. Åbo Akademi University, Turku, Finland.
2019 (English)In: 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, Springer, 2019, Vol. 11842, p. 363-378Conference paper, Published paper (Refereed)
Abstract [en]

Increased openness and interconnectedness of safety-critical control systems calls for techniques enabling an integrated analysis of safety and security requirements. Often safety and security requirements have intricate interdependencies that should be uncovered and analysed in a structured and rigorous way. In this paper, we propose an approach that facilitates a systematic derivation and formalisation of safety and security requirements. We propose the specification and refinement patterns in Event-B that allow us to specify and verify system behaviour and properties in the presence of both accidental faults and security attacks and analyse interdependencies between safety and security requirements.

Place, publisher, year, edition, pages
Springer, 2019. Vol. 11842, p. 363-378
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 11842
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-265124DOI: 10.1007/978-3-030-32872-6_24Scopus ID: 2-s2.0-85075654790ISBN: 9783030328719 (print)OAI: oai:DiVA.org:kth-265124DiVA, id: diva2:1377345
Conference
6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019; Thessaloniki; Greece; 16 October 2019 through 18 October 2019
Note

QC 20191211

Available from: 2019-12-11 Created: 2019-12-11 Last updated: 2019-12-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Troubitsyna, Elena

Search in DiVA

By author/editor
Troubitsyna, Elena
By organisation
Theoretical Computer Science, TCS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf