The DOI matches its Crossref record.
Automated generation and analysis of attack graphs
Abstract
An integral part of modeling the global view of network security is constructing attack graphs. Manual attack graph construction is tedious, error-prone, and impractical for attack graphs larger than a hundred nodes. In this paper we present an automated technique for generating and analyzing attack graphs. We base our technique on symbolic model checking algorithms, letting us construct attack graphs automatically and efficiently. We also describe two analyses to help decide which attacks would be most cost-effective to guard against. We implemented our technique in a tool suite and tested it on a small network example, which includes models of a firewall and an intrusion detection system.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cited by
A Survey on Systems Security Metrics
Pendleton, M., Garcia-Lebron, R., Cho, J.-H., & Xu, S. (2017) · ACM Computing Surveys · doi:10.1145/3005714 · Cited by 283
Quantified security is a weak hypothesis: a critical survey of results and assumptions
Verendel, V. (2009) · Proceedings of the 2009 workshop on New security paradigms workshop · doi:10.1145/1719030.1719036 · Cited by 180
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
LeMay, E., Ford, M. D., Keefe, K., Sanders, W. H., & Muehrcke, C. (2011) · 2011 Eighth International Conference on Quantitative Evaluation of SysTems · doi:10.1109/qest.2011.34 · Cited by 128
Quantitative Cyber Risk Reduction Estimation Methodology for a Small SCADA Control System
McQueen, M. A., Boyer, W. F., Flynn, M. A., & Beitel, G. A. (2006) · Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06) · doi:10.1109/hicss.2006.405 · Cited by 104
Hierarchical, model-based risk management of critical infrastructures
Baiardi, F., Telmon, C., & Sgandurra, D. (2009) · Reliability Engineering & System Safety · doi:10.1016/j.ress.2009.02.001 · Cited by 43
Metadata
- Authors
- Sheyner, O., Haines, J., Jha, S., Lippmann, R., & Wing, J. M.
- Venue
- Proceedings 2002 IEEE Symposium on Security and Privacy
- Publisher
- IEEE Comput. Soc
- Published
- 2005-08-24
- Pages
- 273-284
- ISSN
- 1081-6011 (ISSN-L)
- OpenAlex
- W2121805588
- Cited by
- 1,293
- References
- 0
- FWCI
- 72.07
- Type
- conference paper
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Automated generation and analysis of attack graphs. https://app.cochat.ai/papers/10.1109/secpri.2002.1004377
- The paper
- Sheyner, O., Haines, J., Jha, S., Lippmann, R., & Wing, J. M. (2005). Automated generation and analysis of attack graphs. Proceedings 2002 IEEE Symposium on Security and Privacy. https://doi.org/10.1109/secpri.2002.1004377
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
