Attack Modeling for System Security Analysis

Abdullah Altawairqi, Manuel Maarek

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

3 Citations (Scopus)
438 Downloads (Pure)

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

Publication series

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

Workshop

Workshop5th International Workshop on Assurance Cases for Software-intensive Systems 2017
Abbreviated titleASSURE 2017
Country/TerritoryItaly
CityTrento
Period12/09/1712/09/17

Fingerprint

Dive into the research topics of 'Attack Modeling for System Security Analysis'. Together they form a unique fingerprint.

Cite this