BOOK-CHAPTER
Quantitative Questions on Attack–Defense Trees
Barbara KordySjouke MauwPatrick Schweitzer
Year: 2013 Lecture notes in computer science Pages: 49-64 Publisher: Springer Science+Business Media
Keywords:
Computer science Domain (mathematical analysis) Theoretical computer science Ask price Formal description Formal methods Computer security Software engineering Programming language Mathematics
Metrics
37
Cited By
5.77
FWCI (Field Weighted Citation Impact)
29
Refs
0.96
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Information and Cyber Security
Physical Sciences → Computer Science → Information Systems
Network Security and Intrusion Detection
Physical Sciences → Computer Science → Computer Networks and Communications
Advanced Malware Detection Techniques
Physical Sciences → Computer Science → Signal Processing
Related Documents
BOOK-CHAPTER
Quantitative Analysis of Attack Defense Trees
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Year: 2021 Pages: 207-220
JOURNAL ARTICLE
QuADTool: Analyzing PAC-Quantitative Attack-Defense Trees
Dorfhuber, FlorianEisentraut, JuliaKlioba, KatharinaKřetínský, Jan
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2020
JOURNAL ARTICLE
QuADTool: Analyzing PAC-Quantitative Attack-Defense Trees
Dorfhuber, FlorianEisentraut, JuliaKlioba, KatharinaKřetínský, Jan
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2020
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
A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees
Ravi JhawarKarim LounisSjouke Mauw
Lecture notes in computer science Year: 2016 Pages: 138-153