Automated generation of attack trees

被引：0
|
作者：
Vigo, Roberto [1 ]
Nielson, Flemming [1 ]
Nielson, Hanne Riis [1 ]
机构：
[1] Department of Applied Mathematics and Computer Science, Technical University of Denmark, Denmark
来源：
Proceedings of the Computer Security Foundations Workshop | 2014年 / 2014-January卷
关键词：
Algebraic specifications - Analysis approach - Attack tree - Authentication systems - Automated generation - Exponential explosion - [!text type='Java']Java[!/text] implementation - Satisfiability modulo Theories;
D O I：
6957121
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：337 / 350
相关论文
共 50 条
  • [1] Automated Generation of Attack Trees
    Vigo, Roberto
    Nielson, Flemming
    Nielson, Hanne Riis
    2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2014, : 337 - 350
  • [2] Survey: Automatic generation of attack trees and attack graphs
    Konsta, Alyzia-Maria
    Lafuente, Alberto Lluch
    Spiga, Beatrice
    Dragoni, Nicola
    COMPUTERS & SECURITY, 2024, 137
  • [3] Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis
    Bryans, Jeremy
    Liew, Lin Shen
    Nguyen, Hoang Nga
    Sabaliauskaite, Giedre
    Shaikh, Siraj Ahmed
    INFORMATION, 2023, 14 (09)
  • [4] Automated generation and analysis of attack graphs
    Sheyner, O
    Haines, J
    Jha, S
    Lippmann, R
    Wing, JM
    2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 273 - 284
  • [5] Refinement-Aware Generation of Attack Trees
    Gadyatskaya, Olga
    Jhawar, Ravi
    Mauw, Sjouke
    Trujillo-Rasua, Rolando
    Willemse, Tim A. C.
    SECURITY AND TRUST MANAGEMENT (STM 2017), 2017, 10547 : 164 - 179
  • [6] Automated Generation of Attack Graphs Using NVD
    Aksu, M. Ugur
    Bicakci, Kemal
    Dilek, M. Hadi
    Ozbayoglu, A. Murat
    Tatli, E. Islam
    PROCEEDINGS OF THE EIGHTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY'18), 2018, : 135 - 142
  • [7] DACA: Automated Attack Scenarios and Dataset Generation
    Korving, Frank
    Vaarandi, Risto
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY ICCWS, 2023, : 550 - 558
  • [8] A Template-Based Method for the Generation of Attack Trees
    Bryans, Jeremy
    Liew, Lin Shen
    Hoang Nga Nguyen
    Sabaliauskaite, Giedre
    Shaikh, Siraj
    Zhou, Fengjun
    INFORMATION SECURITY THEORY AND PRACTICE, WISTP 2019, 2020, 12024 : 155 - 165
  • [9] "Survey: Automatic generation of attack trees and attack graphs" (vol 137, 103602, 2024)
    Konsta, Alyzia-Maria
    Lafuente, Alberto Lluch
    Spiga, Beatrice
    Dragoni, Nicola
    COMPUTERS & SECURITY, 2024, 138
  • [10] Model-Based Generation of Attack-Fault Trees
    Groner, Raffaela
    Witte, Thomas
    Raschke, Alexander
    Hirn, Sophie
    Pekaric, Irdin
    Frick, Markus
    Tichy, Matthias
    Felderer, Michael
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023, 2023, 14181 : 107 - 120
12345