{"id":"https://openalex.org/W2149792581","doi":"https://doi.org/10.1109/icnp.2008.4697030","title":"A model-based approach to security flaw detection of network protocol implementations","display_name":"A model-based approach to security flaw detection of network protocol implementations","publication_year":2008,"publication_date":"2008-10-01","ids":{"openalex":"https://openalex.org/W2149792581","doi":"https://doi.org/10.1109/icnp.2008.4697030","mag":"2149792581"},"language":"en","primary_location":{"id":"doi:10.1109/icnp.2008.4697030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2008.4697030","pdf_url":null,"source":{"id":"https://openalex.org/S4210215197","display_name":"Proceedings/Proceedings - International Conference on Network Protocols","issn_l":"1092-1648","issn":["1092-1648","2643-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Network Protocols","raw_type":"proceedings-article"},"type":"conference-paper","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/A5033512388","display_name":"Ya\u2010Ting Hsu","orcid":"https://orcid.org/0000-0002-7355-9011"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yating Hsu","raw_affiliation_strings":["Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054149800","display_name":"Guoqiang Shu","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guoqiang Shu","raw_affiliation_strings":["Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100423783","display_name":"David Lee","orcid":"https://orcid.org/0000-0002-6968-168X"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Lee","raw_affiliation_strings":["Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Ohio State Uinversity, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":1.7408,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.85254989,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"114","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8312799334526062},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6434537768363953},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5564264059066772},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5315432548522949},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5012364387512207},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4873434007167816},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4288952946662903},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42050454020500183},{"id":"https://openalex.org/keywords/universal-composability","display_name":"Universal composability","score":0.4152030944824219},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.3808441758155823},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19504055380821228},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1949450671672821},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18969443440437317},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.12364670634269714},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11783093214035034}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8312799334526062},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6434537768363953},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5564264059066772},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5315432548522949},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5012364387512207},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4873434007167816},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4288952946662903},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42050454020500183},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.4152030944824219},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3808441758155823},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19504055380821228},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1949450671672821},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18969443440437317},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.12364670634269714},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11783093214035034},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icnp.2008.4697030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2008.4697030","pdf_url":null,"source":{"id":"https://openalex.org/S4210215197","display_name":"Proceedings/Proceedings - International Conference on Network Protocols","issn_l":"1092-1648","issn":["1092-1648","2643-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Network Protocols","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.154.9351","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.9351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.ohio-state.edu/~shug/pubs/Fuzzing-HSL.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W33043110","https://openalex.org/W157156687","https://openalex.org/W179510128","https://openalex.org/W1482663303","https://openalex.org/W1502951647","https://openalex.org/W1525451939","https://openalex.org/W1529311848","https://openalex.org/W1538375546","https://openalex.org/W1545777539","https://openalex.org/W1884983968","https://openalex.org/W1949455947","https://openalex.org/W1989445634","https://openalex.org/W1995421397","https://openalex.org/W2004929506","https://openalex.org/W2016716561","https://openalex.org/W2029693536","https://openalex.org/W2051634947","https://openalex.org/W2058664275","https://openalex.org/W2076343783","https://openalex.org/W2079267582","https://openalex.org/W2096449544","https://openalex.org/W2121948896","https://openalex.org/W2141497545","https://openalex.org/W2752885492","https://openalex.org/W3145128584","https://openalex.org/W4237492309","https://openalex.org/W6601371887","https://openalex.org/W6607214813","https://openalex.org/W6628852112","https://openalex.org/W6631540460","https://openalex.org/W6632460521"],"related_works":["https://openalex.org/W1554274402","https://openalex.org/W3130926090","https://openalex.org/W2029851387","https://openalex.org/W4255046035","https://openalex.org/W2114477748","https://openalex.org/W2160450576","https://openalex.org/W1554289623","https://openalex.org/W2384294878","https://openalex.org/W4315630650","https://openalex.org/W2104254650"],"abstract_inverted_index":{"A":[0],"lot":[1],"of":[2,10,45,51,55,76,162,173,198],"efforts":[3],"have":[4],"been":[5],"devoted":[6],"to":[7,34,41,59,103,147],"the":[8,42,49,56,105,120,153,171,174,196],"analysis":[9],"network":[11,149],"protocol":[12,36,46,52,77,97,115],"specification":[13,53,116],"for":[14,72,108,137],"reliability":[15,112,164],"and":[16,48,85,99,111,131,145,165,186],"security":[17,73,110,166],"properties":[18],"using":[19],"formal":[20],"techniques.":[21],"However,":[22],"faults":[23],"can":[24],"also":[25,193],"be":[26],"introduced":[27],"during":[28],"system":[29],"implementation;":[30],"it":[31,102],"is":[32,135,143,192],"indispensable":[33],"detect":[35],"implementation":[37,47,78,98],"flaws,":[38],"yet":[39],"due":[40],"black-box":[43],"nature":[44],"unavailability":[50],"most":[54],"approaches":[57],"resort":[58],"random":[60],"or":[61],"manual":[62],"testing.":[63],"In":[64],"this":[65],"paper":[66],"we":[67,118],"propose":[68],"a":[69,80,96,122,126,160],"model-based":[70,185],"approach":[71,88],"flaw":[74,189],"detection":[75,190],"with":[79,125,195],"high":[81],"fault":[82],"coverage,":[83],"measurability,":[84],"automation.":[86],"Our":[87,141],"first":[89],"synthesizes":[90],"an":[91,132],"abstract":[92],"behavioral":[93],"model":[94,130,155],"from":[95],"then":[100],"uses":[101],"guide":[104],"testing":[106,157],"process":[107],"detecting":[109],"flaws.":[113],"For":[114],"synthesis":[117],"reduce":[119],"problem":[121],"trace":[123],"minimization":[124],"finite":[127],"state":[128,138],"machine":[129],"efficient":[133],"algorithm":[134],"presented":[136],"space":[139],"reduction.":[140],"method":[142],"implemented":[144],"applied":[146],"real":[148],"protocols.":[150],"Guided":[151],"by":[152,168],"synthesized":[154],"our":[156,184],"tool":[158],"reveals":[159],"number":[161],"unknown":[163],"issues":[167],"automatically":[169],"crashing":[170],"implementations":[172],"Microsoft":[175],"MSN":[176],"instant":[177],"messaging":[178],"(MSNIM)":[179],"protocol.":[180],"Analytical":[181],"comparison":[182],"between":[183],"prevalent":[187],"syntax-based":[188],"schemes":[191],"provided":[194],"support":[197],"experimental":[199],"results.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}