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 条
  • [21] Reversible Attack Trees
    Ali, Aliyu Tanko
    Gruska, Damas
    2021 IEEE 12TH ANNUAL UBIQUITOUS COMPUTING, ELECTRONICS & MOBILE COMMUNICATION CONFERENCE (UEMCON), 2021, : 279 - 285
  • [22] On the Soundness of Attack Trees
    Audinot, Maxime
    Pinchinat, Sophie
    GRAPHICAL MODELS FOR SECURITY, GRAMSEC 2016, 2016, 9987 : 25 - 38
  • [23] Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees
    Roy, Arpan
    Kim, Dong Seong
    Trivedi, Kishor S.
    SECURITY AND COMMUNICATION NETWORKS, 2012, 5 (08) : 929 - 943
  • [24] An automated black box approach for web vulnerability identification and attack scenario generation
    Akrout, Rim
    Alata, Eric
    Kaaniche, Mohamed
    Nicomette, Vincent
    Journal of the Brazilian Computer Society, 2014, 20 (01) : 1 - 16
  • [25] The caterpillar attack on fruit trees
    Theobald, FV
    NATURE, 1917, 99 : 326 - 326
  • [26] Attack Trees with Sequential Conjunction
    Jhawar, Ravi
    Kordy, Barbara
    Mauw, Sjouke
    Radomirovic, Sasa
    Trujillo-Rasua, Rolando
    ICT SYSTEMS SECURITY AND PRIVACY PROTECTION, 2015, 455 : 339 - 353
  • [27] Attack-defense trees
    Kordy, Barbara
    Mauw, Sjouke
    Radomirovic, Sasa
    Schweitzer, Patrick
    JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (01) : 55 - 87
  • [28] On the Meaning and Purpose of Attack Trees
    Mantel, Heiko
    Probst, Christian W.
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 184 - 199
  • [29] Simplified Timed Attack Trees
    Ali, Aliyu Tanko
    RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS 2021), 2021, 415 : 653 - 660
  • [30] From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing
    De Allende, Alan Birchler
    Sultan, Bastien
    Apvrille, Ludovic
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 561 - 569
12345