Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Deriving and Formalising Safety and Security Requirements for Control Systems
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.
Abo Akad Univ, Turku, Finland..
2018 (English)In: COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018) / [ed] Gallina, B Skavhaug, A Bitsch, F, SPRINGER INTERNATIONAL PUBLISHING AG , 2018, p. 107-122Conference paper, Published paper (Refereed)
Abstract [en]

Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that enable an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2018. p. 107-122
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11093
Keywords [en]
Formal modelling, Safety analysis, Data flow, Event-B, Refinement, Safety-critical systems, Security
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-245022DOI: 10.1007/978-3-319-99130-6_8ISI: 000458564600008Scopus ID: 2-s2.0-85053772322ISBN: 978-3-319-99130-6 (print)OAI: oai:DiVA.org:kth-245022DiVA, id: diva2:1293519
Conference
37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), SEP 18-21, 2018, Vasteras, SWEDEN
Note

QC 20190305

Available from: 2019-03-05 Created: 2019-03-05 Last updated: 2019-03-05Bibliographically 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
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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