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
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
© 2026 ScienceGate Book Chapters — All rights reserved.