BOOK-CHAPTER

Library-Based Attack Tree Synthesis

Sophie PinchinatFrançois SchwarzentruberSébastien Lê Cong

Year: 2020 Lecture notes in computer science Pages: 24-44   Publisher: Springer Science+Business Media
Keywords:
Computer science Tree (set theory) Theoretical computer science Arity Reduction (mathematics) Context (archaeology) Bounded function Parsing Rule-based machine translation Algorithm Programming language Artificial intelligence Discrete mathematics Mathematics Combinatorics

Metrics

8
Cited By
2.18
FWCI (Field Weighted Citation Impact)
24
Refs
0.90
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Advanced Malware Detection Techniques
Physical Sciences →  Computer Science →  Signal Processing
Security and Verification in Computing
Physical Sciences →  Computer Science →  Artificial Intelligence
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
© 2026 ScienceGate Book Chapters — All rights reserved.