Attack Modeling for System Security Analysis

Abdullah Altawairqi, Manuel Maarek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

221 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publicationSAFECOMP 2017
EditorsGerhard Goos, Juris Hartmanis, Jan van Leeuwen
Number of pages6
ISBN (Electronic)9783319662848
ISBN (Print)9783319662848
Publication statusPublished - 2017
Event5th International Workshop on Assurance Cases for Software-intensive Systems 2017 - Trento, Italy
Duration: 12 Sep 201712 Sep 2017

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Workshop5th International Workshop on Assurance Cases for Software-intensive Systems 2017
Abbreviated titleASSURE 2017

Cite this

Altawairqi, A., & Maarek, M. (2017). Attack Modeling for System Security Analysis. In G. Goos, J. Hartmanis, & J. van Leeuwen (Eds.), Computer Safety, Reliability, and Security: SAFECOMP 2017 (pp. 81-86). (Lecture Notes in Computer Science; Vol. 10489). Springer.