Computer Communications · 2006 · 231 citations · 15 references
ComputingComputer EngineeringComputer ScienceComputer NetworksComputer SecurityNetwork SecurityIntrusion DetectionNetwork OptimizationNetwork Security ArchitectureSecure Network ArchitectureSecurity HardeningThreat ModelingAttack Graph AnalysisCritical Infrastructure HardeningIntrusion Detection HardeningRobustness To Attack
15
Automated generation and analysis of attack graphs
Oleg Sheyner, Joshua Haines, Somesh Jha et al. · 2005 · 1.3K citations
A graph-based system for network-vulnerability analysis
Cynthia A. Phillips, Laura Swiler · 1998 · 799 citations · Full text
Scalable, graph-based network vulnerability analysis
Paul Ammann, Duminda Wijesekera · 2002 · 696 citations
Two formal analyses of attack graphs
Somesh Jha, Oleg Sheyner, J.M. Wing · 2003 · 493 citations
Using model checking to analyze network vulnerabilities
Ronald W. Ritchey, Paul Ammann · 2002 · 433 citations