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 条
  • [41] Attack Trees: A Notion of Missing Attacks
    Pinchinat, Sophie
    Fila, Barbara
    Wacheux, Florence
    Thierry-Mieg, Yann
    GRAPHICAL MODELS FOR SECURITY, GRAMSEC 2019, 2019, 11720 : 23 - 49
  • [42] Foundations of Attack-Defense Trees
    Kordy, Barbara
    Mauw, Sjouke
    Radomirovic, Sasa
    Schweitzer, Patrick
    FORMAL ASPECTS OF SECURITY AND TRUST, 2011, 6561 : 80 - +
  • [43] LEXICOGRAPHIC GENERATION OF ROOTED TREES AND TREES
    LIU, JH
    KEXUE TONGBAO, 1983, 28 (04): : 448 - 451
  • [44] Enhancing Cyber Resilience in Energy Systems through Automated Attack Scenario Generation: A Toolchain Approach
    Bartusiak, Adam
    Seidl, Falk
    Laessig, Joerg
    Nicolai, Steffen
    Bretschneider, Peter
    2024 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES, SEST 2024, 2024,
  • [45] COMPUTER ENUMERATION AND GENERATION OF TREES AND ROOTED TREES
    KNOP, JV
    MULLER, WR
    JERICEVIC, Z
    TRINAJSTIC, N
    JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1981, 21 (02): : 91 - 99
  • [46] Generation of Complete Trees and Two-Trees.
    Konkol, Krystian P.
    Rozprawy Elektrotechniczne, 1979, 25 (01): : 83 - 105
  • [47] GENERATION + REALIZATION OF TREES + K-TREES
    HAKIMI, SL
    GREEN, DG
    IEEE TRANSACTIONS ON CIRCUIT THEORY, 1964, CT11 (02): : 247 - &
  • [48] COMPUTER GENERATION OF DIRECTED TREES AND COMPLETE TREES
    CHEN, WK
    LI, HC
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1973, 34 (01) : 1 - 21
  • [49] GENERATION OF COMPLETE TREES
    MAYEDA, W
    HAKIMI, SL
    CHEN, WK
    DEO, N
    IEEE TRANSACTIONS ON CIRCUIT THEORY, 1968, CT15 (02): : 101 - &
  • [50] GENERATION OF K TREES
    JONG, MT
    ZOBRIST, GW
    ELECTRONICS LETTERS, 1967, 3 (07) : 330 - &
12345