Abstract
Attack defense trees are used to show the interaction between potential attacks on a system and the system defenses. In this paper we present a formal semantic model for attack defense trees with sequential composition, allowing for the description of attacks that are performed as a sequence of steps. The main contributions of our work are a formal representation of attack defense trees with sequential conjunction, a demonstration that this representation is equivalent to a process-algebraic one, and an algorithm for identifying the existence of attacks. We illustrate with an attack on over the air updates.
Original language | English |
---|---|
Title of host publication | Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019 |
Editors | Congfeng Jiang, Vu Nguyen, Dongjin Yu |
Publisher | IEEE |
Pages | 247-252 |
Number of pages | 6 |
Volume | 2019-January |
ISBN (Electronic) | 978-1-5386-8540-2 |
ISBN (Print) | 978-1-5386-8541-9 |
DOIs | |
Publication status | Published - 25 Mar 2019 |
Event | Workshop on Security issues in Cyber-Physical System(SecCPS), In conjunction with IEEE HASE - Hangzhou, China Duration: 3 Jan 2019 → 5 Jan 2019 |
Publication series
Name | Proceedings / IEEE International Symposium on High-Assurance Systems Engineering. IEEE International Symposium on High-Assurance Systems Engineering |
---|---|
Publisher | IEEE |
ISSN (Print) | 1530-2059 |
ISSN (Electronic) | 2640-7507 |
Conference
Conference | Workshop on Security issues in Cyber-Physical System(SecCPS), In conjunction with IEEE HASE |
---|---|
Abbreviated title | HASE 2019 |
Country/Territory | China |
City | Hangzhou |
Period | 3/01/19 → 5/01/19 |
Bibliographical note
© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE mustbe obtained for all other uses, in any current or future media, including
reprinting/republishing this material for advertising or promotional purposes,
creating new collective works, for resale or redistribution to servers or lists, or
reuse of any copyrighted component of this work in other works.
Keywords
- Semantics
- Syntactics
- Security
- Industries
- Automotive engineering
- ISO Standards
- Algebra
- Attack defense trees
- Cyber security
- Formal semantics
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality
Fingerprint
Dive into the research topics of 'Attack Defense Trees with Sequential Conjunction'. Together they form a unique fingerprint.Profiles
-
Jeremy Bryans
- Centre for Future Transport and Cities - Assistant Professor Research
Person: Teaching and Research