Journal article 447 views 60 downloads
Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
,
Giedre Sabaliauskaite ,
Siraj Shaikh
information, Volume: 14, Issue: 9
Swansea University Authors:
Hoang Nguyen , Giedre Sabaliauskaite , Siraj Shaikh
-
PDF | Version of Record
This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
Download (1.3MB)
DOI (Published version): 10.3390/info14090481
Abstract
Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS) are becoming increasingly complex, but demonstrating the security of CPS is hard and security is frequently compromised. These compromises can lead to safety failures, putting lives at risk. Attack Defense Trees...
| Published in: | information |
|---|---|
| ISSN: | 2078-2489 |
| Published: |
MDPI
2023
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa64161 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS) are becoming increasingly complex, but demonstrating the security of CPS is hard and security is frequently compromised. These compromises can lead to safety failures, putting lives at risk. Attack Defense Trees with sequential conjunction (ADS) are an approach to identifying attacks on a system and identifying the interaction between attacks and the defenses that are present within the CPS. We present a semantic model for ADS and propose a methodology for generating ADS automatically. The methodology takes as input a CPS system model and a library of templates of attacks and defenses. We demonstrate and validate the effectiveness of the ADS generation methodology using an example from the automotive domain. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
9 |