Foundations of attack trees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3935 LNCS, Issue , 2006, Pages 186-198

  Mauw, Sjouke ^a   Oostdijk, Martijn ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Attack trees; Semantics; Threat analysis

Indexed keywords

ATTACK TREES; DENOTATIONAL SEMANTICS,; THREAT ANALYSIS;

COMPUTER CRIME; CONFORMAL MAPPING; CRYPTOGRAPHY; SECURITY SYSTEMS; SEMANTICS;

TREES (MATHEMATICS);

EID: 33745849657     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11734727_17     Document Type: Conference Paper

References (16)

1. TANAT - Threat ANd Attack Tree Modeling plus Simulation, 2004. http://www13.informatik.tu-muenchen.de:8080/tanat/.
2. ARES corporation. Risk techniques, fault trees. Technical report. Available from http://www.arescorporation.com/.
3. Stefan Einarsson and Marvin Rausand. An approach to vulnerability analysis of complex industrial systems. Risk Analysis, 18(5):535-545, 1998.
4. Carl E. Landwehr. Formal models for computer security. Computing Surveys, 13(3):247-277, September 1981.
5. Amaneza Technologies Limited. A quick tour of attack tree based risk analysis using SecurITree. Technical report, 2002.
6. J.P. McDermott. Attack net penetration testing. In Proc. 2000 workshop on New Security Paradigm, pages 15-20. ACM, 2001.
7. Catherine Meadows. Open issues in formal methods for cryptographic protocol analysis. In DARPA Information Survivability Conference & Exposition, volume 1, pages 237-250, 2000.
8. Alexander Opel. Design and implementation of a support tool for attack trees, 2005.
9. Cynthia Phillips and Laura Painton Swiler. A graph-based system for network-vulnerability analysis. In Proc. New Security Paradigms Workshop, pages 71-79, 1998.
10. Bruce Schneier. Attack trees: Modeling security threats. Dr. Dobb's journal, December 1999.
11. Bruce Schneier. Secrets & Lies: Digital Security in a Networked World. Wiley, 2000.
12. Jan Stefan and Markus Schumacher. Collaborative attack modeling. In Proc. SAC 2002, pages 253-259. ACM, 2002.
13. L.P. Swiler, C. Philips, D. Ellis, and S. Chakarian. Computer-attack graph generation tool. In Proc. DARPA Information Survivability Conference and Exposition, volume 2, pages 307-321, June 2001.
14. Terese. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2003.
15. T. Tidwell, R. Larson, K. Fitch, and J. Hale. Modeling internet attacks. In Proc. of the 2001 IEEE Workshop on Information Assurance and Security, 2001.
16. W.E. Vesely et al. Fault tree handbook. Technical Report NUREG-0492, U.S. Nuclear Regulatory Commission, January 1981.