Abstract
Approaches to the safety analysis of software-intensive systems are being adapted to also provide security assurance. Extensions have been proposed to reflect the specific nature of security analysis by introducing intention as a causal factor to reaching unsafe state of the system, or by introducing new layers in the system modelling to model its surface of attack.
In this paper we propose to extend these approaches by modelling the attacks perspective alongside the system. We explain how such modelling could be used to verify the coverage of the security analysis and facilitate its maintenance.
In this paper we propose to extend these approaches by modelling the attacks perspective alongside the system. We explain how such modelling could be used to verify the coverage of the security analysis and facilitate its maintenance.
Original language | English |
---|---|
Title of host publication | Computer Safety, Reliability, and Security |
Subtitle of host publication | SAFECOMP 2017 |
Editors | Gerhard Goos, Juris Hartmanis, Jan van Leeuwen |
Publisher | Springer |
Pages | 81-86 |
Number of pages | 6 |
ISBN (Electronic) | 9783319662848 |
ISBN (Print) | 9783319662848 |
DOIs | |
Publication status | Published - 27 Sept 2017 |
Event | 5th International Workshop on Assurance Cases for Software-intensive Systems 2017 - Trento, Italy Duration: 12 Sept 2017 → 12 Sept 2017 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10489 |
ISSN (Print) | 0302-9743 |
Workshop
Workshop | 5th International Workshop on Assurance Cases for Software-intensive Systems 2017 |
---|---|
Abbreviated title | ASSURE 2017 |
Country/Territory | Italy |
City | Trento |
Period | 12/09/17 → 12/09/17 |