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 条

[31] Performance impact of connectivity restrictions and increased vulnerability presence on automated attack graph generation
Cullum, James
Irvine, Cynthia
Levin, Tim
ICIW 2007: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INFORMATION WARFARE AND SECURITY, 2007, : 33 - 46
[32] AUTOMA: Automated Generation of Attack Hypotheses and Their Variants for Threat Hunting Using Knowledge Discovery
Nour, Boubakr
Pourzandi, Makan
Qureshi, Rushaan Kamran
Debbabi, Mourad
IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2024, 21 (05): : 5178 - 5196
[33] A quantifiable Attack-Defense Trees model for APT attack
Fei, Yu
Ning, Jing
Jiang, Wenbao
PROCEEDINGS OF 2018 IEEE 3RD ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC 2018), 2018, : 2303 - 2306
[34] OWA trees and their role in security modeling using attack trees
Yager, Ronald R.
INFORMATION SCIENCES, 2006, 176 (20) : 2933 - 2959
[35] A Proof Calculus for Attack Trees in Isabelle
Kammueller, Florian
DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2017, 10436 : 3 - 18
[36] Simple Infeasibility Certificates for Attack Trees
Buldas, Ahto
Lenin, Aleksandr
Willemson, Jan
Charnamord, Anton
ADVANCES IN INFORMATION AND COMPUTER SECURITY, IWSEC 2017, 2017, 10418 : 39 - 55
[37] Automated Attack Surface Approximation
Theisen, Christopher
2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 1063 - 1065
[38] Learning Attack Trees by Genetic Algorithms
Dorfhuber, Florian
Eisentraut, Julia
Kretinsky, Jan
THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 55 - 73
[39] Automated Simple Analysis Attack
Kabin, Ievgen
Dyka, Zoya
Langendoerfer, Peter
2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, : 214 - 217
[40] Attack Defense Trees with Sequential Conjunction
Bryans, Jeremy
Hoang Nga Nguyen
Shaikh, Siraj Ahmed
201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 247 - 252

← 1 2 3 4 5 →