JOURNAL ARTICLE
ADTLang: a programming language approach to attack defense trees
René Rydhof HansenKim G. LarsenAxel LegayPeter Gjøl JensenDanny Bøgsted Poulsen
Year: 2021 Journal: International Journal on Software Tools for Technology Transfer Vol: 23 (1)Pages: 89-104 Publisher: Springer Science+Business Media
Keywords:
Computer science Rotation formalisms in three dimensions Digital subscriber line Reuse Tree (set theory) Programming language Theoretical computer science Modularity (biology) Tree traversal Domain (mathematical analysis) Theory of computation
Metrics
4
Cited By
0.64
FWCI (Field Weighted Citation Impact)
14
Refs
0.70
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Information and Cyber Security
Physical Sciences → Computer Science → Information Systems
Advanced Malware Detection Techniques
Physical Sciences → Computer Science → Signal Processing
Related Documents
JOURNAL ARTICLE
Attack-defense trees
Barbara KordySjouke MauwSaša RadomirovićPascal Schweitzer
Journal: Journal of Logic and Computation Year: 2012 Vol: 24 (1)Pages: 55-87
JOURNAL ARTICLE
From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing
Alan Birchler De AllendeBastien SultanLudovic Apvrille
Year: 2024 Pages: 561-569
BOOK-CHAPTER
Foundations of Attack–Defense Trees
Barbara KordySjouke MauwSaša RadomirovićPatrick Schweitzer
Lecture notes in computer science Year: 2011 Pages: 80-95
BOOK-CHAPTER
Computational Aspects of Attack–Defense Trees
Barbara KordyMarc PoulyPatrick Schweitzer
Lecture notes in computer science Year: 2012 Pages: 103-116
BOOK-CHAPTER
Quantitative Questions on Attack–Defense Trees
Barbara KordySjouke MauwPatrick Schweitzer
Lecture notes in computer science Year: 2013 Pages: 49-64