{"id":"https://openalex.org/W2121805588","doi":"https://doi.org/10.1109/secpri.2002.1004377","title":"Automated generation and analysis of attack graphs","display_name":"Automated generation and analysis of attack graphs","publication_year":2005,"publication_date":"2005-08-25","ids":{"openalex":"https://openalex.org/W2121805588","doi":"https://doi.org/10.1109/secpri.2002.1004377","mag":"2121805588"},"language":"en","primary_location":{"id":"doi:10.1109/secpri.2002.1004377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/secpri.2002.1004377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 2002 IEEE Symposium on Security and Privacy","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064403097","display_name":"Oleg Sheyner","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"O. Sheyner","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051984379","display_name":"Joshua Haines","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122954","display_name":"MIT Lincoln Laboratory","ror":"https://ror.org/022z6jk58","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Haines","raw_affiliation_strings":["MIT Lincoln Laboratories, Lexington, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT Lincoln Laboratories, Lexington, MA, USA","institution_ids":["https://openalex.org/I4210122954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088826068","display_name":"Somesh Jha","orcid":"https://orcid.org/0000-0001-5877-0436"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Jha","raw_affiliation_strings":["Computer Sciences Department, University of Wisconsin","Computer Sciences Department, University of Wisconsin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Sciences Department, University of Wisconsin","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"Computer Sciences Department, University of Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043314383","display_name":"Richard P. Lippmann","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122954","display_name":"MIT Lincoln Laboratory","ror":"https://ror.org/022z6jk58","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Lippmann","raw_affiliation_strings":["MIT Lincoln Laboratories, Lexington, MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT Lincoln Laboratories, Lexington, MA","institution_ids":["https://openalex.org/I4210122954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109134801","display_name":"J.M. Wing","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J.M. Wing","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":218.9473,"has_fulltext":false,"cited_by_count":1286,"citation_normalized_percentile":{"value":0.99992491,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"273","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8237711787223816},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.5471304059028625},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5223007202148438},{"id":"https://openalex.org/keywords/intrusion-detection-system","display_name":"Intrusion detection system","score":0.45436128973960876},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4417588412761688},{"id":"https://openalex.org/keywords/attack-patterns","display_name":"Attack patterns","score":0.4221437871456146},{"id":"https://openalex.org/keywords/network-security","display_name":"Network security","score":0.42018622159957886},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3681012988090515},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24728506803512573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8237711787223816},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.5471304059028625},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5223007202148438},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.45436128973960876},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4417588412761688},{"id":"https://openalex.org/C2780741293","wikidata":"https://www.wikidata.org/wiki/Q4818019","display_name":"Attack patterns","level":3,"score":0.4221437871456146},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.42018622159957886},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3681012988090515},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24728506803512573},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/secpri.2002.1004377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/secpri.2002.1004377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 2002 IEEE Symposium on Security and Privacy","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1481915258","https://openalex.org/W1483652549","https://openalex.org/W1540540207","https://openalex.org/W1602380388","https://openalex.org/W1605593319","https://openalex.org/W1664954303","https://openalex.org/W1965014786","https://openalex.org/W2001289891","https://openalex.org/W2011039300","https://openalex.org/W2061438988","https://openalex.org/W2068789742","https://openalex.org/W2080267935","https://openalex.org/W2083658929","https://openalex.org/W2104588447","https://openalex.org/W2117694832","https://openalex.org/W2137978003","https://openalex.org/W2141289698","https://openalex.org/W2334782222","https://openalex.org/W2340735175","https://openalex.org/W2476096155","https://openalex.org/W2538354227","https://openalex.org/W2752885492","https://openalex.org/W2913459036","https://openalex.org/W2946046356","https://openalex.org/W4285719527","https://openalex.org/W4392331926","https://openalex.org/W6610072603","https://openalex.org/W6628684157","https://openalex.org/W6632058376","https://openalex.org/W6636071570","https://openalex.org/W6675575907","https://openalex.org/W6677765845","https://openalex.org/W6684644128","https://openalex.org/W6729037578","https://openalex.org/W6861760619","https://openalex.org/W6996787643","https://openalex.org/W7029321148"],"related_works":["https://openalex.org/W2376886931","https://openalex.org/W2061466315","https://openalex.org/W2010561419","https://openalex.org/W2374845301","https://openalex.org/W2351448539","https://openalex.org/W1977863481","https://openalex.org/W2384741105","https://openalex.org/W1495178644","https://openalex.org/W2185594426","https://openalex.org/W2377372927"],"abstract_inverted_index":{"An":[0],"integral":[1],"part":[2],"of":[3,8,99],"modeling":[4],"the":[5],"global":[6],"view":[7],"network":[9,94],"security":[10],"is":[11,19],"constructing":[12],"attack":[13,16,25,44,58],"graphs.":[14,45],"Manual":[15],"graph":[17],"construction":[18],"tedious,":[20],"error-prone,":[21],"and":[22,42,61,88,102],"impractical":[23],"for":[24,40],"graphs":[26,59],"larger":[27],"than":[28],"a":[29,85,92,100],"hundred":[30],"nodes.":[31],"In":[32],"this":[33],"paper":[34],"we":[35],"present":[36],"an":[37,103],"automated":[38],"technique":[39,49,83],"generating":[41],"analyzing":[43],"We":[46,63,80],"base":[47],"our":[48,82],"on":[50,91],"symbolic":[51],"model":[52],"checking":[53],"algorithms,":[54],"letting":[55],"us":[56],"construct":[57],"automatically":[60],"efficiently.":[62],"also":[64],"describe":[65],"two":[66],"analyses":[67],"to":[68,77],"help":[69],"decide":[70],"which":[71,96],"attacks":[72],"would":[73],"be":[74],"most":[75],"cost-effective":[76],"guard":[78],"against.":[79],"implemented":[81],"in":[84],"tool":[86],"suite":[87],"tested":[89],"it":[90],"small":[93],"example,":[95],"includes":[97],"models":[98],"firewall":[101],"intrusion":[104],"detection":[105],"system.":[106]},"counts_by_year":[{"year":2026,"cited_by_count":9},{"year":2025,"cited_by_count":44},{"year":2024,"cited_by_count":37},{"year":2023,"cited_by_count":38},{"year":2022,"cited_by_count":32},{"year":2021,"cited_by_count":41},{"year":2020,"cited_by_count":59},{"year":2019,"cited_by_count":66},{"year":2018,"cited_by_count":68},{"year":2017,"cited_by_count":71},{"year":2016,"cited_by_count":63},{"year":2015,"cited_by_count":63},{"year":2014,"cited_by_count":74},{"year":2013,"cited_by_count":53},{"year":2012,"cited_by_count":55}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}