kth.sePublications
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
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Network and Systems Engineering.ORCID iD: 0000-0002-5259-8839
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.ORCID iD: 0009-0000-3916-1707
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Network and Systems Engineering.ORCID iD: 0000-0002-4876-0223
2022 (English)In: MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2022 / [ed] Seguin, C Zeller, M Prosvirnova, T, Springer Nature , 2022, Vol. 13525, p. 170-185Conference paper, Published paper (Refereed)
Abstract [en]

Safety-critical control systems increasingly rely on networking technologies, which makes these systems vulnerable to cyber attacks that can potentially jeopardise system safety. To achieve safe- and secure-by-construction development, the designers should analyse the impact of security attacks already at the modelling stage. Since SysML is often used for modelling safety-critical systems, in this paper, we propose to integrate modelling in SysML and Event-B to enable reasoning about safety-security interactions at system modelling stage. Our approach combines the benefits of graphical modelling in SysML with the mathematical rigor of Event-B to visualise and formalise the analysis of the impact of security attacks on system safety.

Place, publisher, year, edition, pages
Springer Nature , 2022. Vol. 13525, p. 170-185
Series
Lecture Notes in Computer Science, ISSN 0302-9743
Keywords [en]
Safety-security interactions, Integrated approach, Formal specification and verification, Graphical modelling
National Category
Computer Systems Reliability and Maintenance
Identifiers
URN: urn:nbn:se:kth:diva-320677DOI: 10.1007/978-3-031-15842-1_13ISI: 000867007800013Scopus ID: 2-s2.0-85138807083OAI: oai:DiVA.org:kth-320677DiVA, id: diva2:1707272
Conference
8th International Symposium on Model-Based Safety and Assessment (IMBSA), SEP 05-07, 2022, Munich, GERMANY
Note

Part of proceedings: ISBN 978-3-031-15842-1, ISBN 978-3-031-15841-4

QC 20221031

Available from: 2022-10-31 Created: 2022-10-31 Last updated: 2025-01-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Poorhadi, EhsanTroubitsyna, ElenaDán, György

Search in DiVA

By author/editor
Poorhadi, EhsanTroubitsyna, ElenaDán, György
By organisation
Network and Systems EngineeringTheoretical Computer Science, TCS
Computer SystemsReliability and Maintenance

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 127 hits
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