Projekteja vuodessa
Abstrakti
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.
Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings |
Toimittajat | Barbara Gallina, Amund Skavhaug, Friedemann Bitsch |
Kustantaja | Springer |
Sivut | 107–122 |
ISBN (elektroninen) | 978-3-319-99130-6 |
ISBN (painettu) | 978-3-319-99129-0 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2018 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | International Conference on Computer Safety, Reliability, and Security, SAFECOMP - 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018 Kesto: 19 syysk. 2018 → 21 syysk. 2018 |
Konferenssi
Konferenssi | International Conference on Computer Safety, Reliability, and Security, SAFECOMP |
---|---|
Ajanjakso | 19/09/18 → 21/09/18 |
Keywords
- Data flow
- Event-B
- Formal modelling
- Refinement
- Safety analysis
- safety-critical systems
Projektit
- 1 Päättynyt
-
LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Vastuullinen tutkija), Vistbakka, I. (CoI) & Majd, A. (CoI)
01/01/18 → 31/12/19
Projekti: Research Council of Finland/Other Research Councils