{"id":"https://openalex.org/W4360994962","doi":"https://doi.org/10.1631/fitee.2200275","title":"Automatic discovery of stateful variables in network protocol software based on replay analysis","display_name":"Automatic discovery of stateful variables in network protocol software based on replay analysis","publication_year":2023,"publication_date":"2023-03-01","ids":{"openalex":"https://openalex.org/W4360994962","doi":"https://doi.org/10.1631/fitee.2200275"},"language":"en","primary_location":{"id":"doi:10.1631/fitee.2200275","is_oa":false,"landing_page_url":"https://doi.org/10.1631/fitee.2200275","pdf_url":null,"source":{"id":"https://openalex.org/S4210189857","display_name":"Frontiers of Information Technology & Electronic Engineering","issn_l":"2095-9184","issn":["2095-9184","2095-9230"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Information Technology & Electronic Engineering","raw_type":"journal-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/A5019925702","display_name":"Jianxin Huang","orcid":"https://orcid.org/0000-0002-8643-7355"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianxin Huang","raw_affiliation_strings":["College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-8643-7355","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101715460","display_name":"Bo Yu","orcid":"https://orcid.org/0000-0001-6576-5555"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bo Yu","raw_affiliation_strings":["College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-6576-5555","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014048343","display_name":"Runhao Liu","orcid":"https://orcid.org/0009-0006-7767-7986"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Runhao Liu","raw_affiliation_strings":["College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055375948","display_name":"Jinshu Su","orcid":"https://orcid.org/0000-0001-9273-616X"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I4210158522","display_name":"PLA Academy of Military Science","ror":"https://ror.org/05ct4s596","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210158522"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinshu Su","raw_affiliation_strings":["Academy of Military Science, Beijing, China","College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-9273-616X","affiliations":[{"raw_affiliation_string":"Academy of Military Science, Beijing, China","institution_ids":["https://openalex.org/I4210158522"]},{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055375948","https://openalex.org/A5101715460"],"corresponding_institution_ids":["https://openalex.org/I170215575","https://openalex.org/I4210158522"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.55,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7609375,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"24","issue":"3","first_page":"403","last_page":"416"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987000226974487,"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":0.9987000226974487,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9976000189781189,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9939000010490417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.987699031829834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8447825312614441},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6203709840774536},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5399366617202759},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3952718675136566},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11483544111251831}],"concepts":[{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.987699031829834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8447825312614441},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6203709840774536},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5399366617202759},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3952718675136566},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11483544111251831},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1631/fitee.2200275","is_oa":false,"landing_page_url":"https://doi.org/10.1631/fitee.2200275","pdf_url":null,"source":{"id":"https://openalex.org/S4210189857","display_name":"Frontiers of Information Technology & Electronic Engineering","issn_l":"2095-9184","issn":["2095-9184","2095-9230"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Information Technology & Electronic Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","score":0.5600000023841858,"display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W207759855","https://openalex.org/W2030519387","https://openalex.org/W2037378467","https://openalex.org/W2059385647","https://openalex.org/W2142892618","https://openalex.org/W2152795747","https://openalex.org/W2159929259","https://openalex.org/W2171956059","https://openalex.org/W2215262239","https://openalex.org/W2612883158","https://openalex.org/W2888760415","https://openalex.org/W2914954538","https://openalex.org/W2972616440","https://openalex.org/W2989119476","https://openalex.org/W3047947484","https://openalex.org/W3147275543","https://openalex.org/W3207926955","https://openalex.org/W4210676563","https://openalex.org/W4221162498","https://openalex.org/W4240560832","https://openalex.org/W4240590466","https://openalex.org/W6691700174","https://openalex.org/W6799764708"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2583381754","https://openalex.org/W2144255176","https://openalex.org/W2222333653","https://openalex.org/W109977192","https://openalex.org/W1970797462","https://openalex.org/W2566747981","https://openalex.org/W4312120139","https://openalex.org/W2342453732","https://openalex.org/W2809541058"],"abstract_inverted_index":{"Network":[0],"protocol":[1,51,68,95,137],"software":[2,113,211],"is":[3,60,100],"usually":[4],"characterized":[5],"by":[6,48,164],"complicated":[7],"functions":[8],"and":[9,35,54,64,70,111,134,198,207,234],"a":[10,19,81,102,123,136,189],"vast":[11],"state":[12],"space.":[13],"In":[14,76],"this":[15,77],"type":[16],"of":[17,22,32,50,90,107,122,141,153,168,216],"program,":[18],"massive":[20,73],"number":[21],"stateful":[23,91,103,184,195],"variables":[24,59,92,142,196],"that":[25,84,101,192,224],"are":[26,42],"used":[27],"to":[28,44,173,242],"represent":[29],"the":[30,33,40,88,108,112,120,144,151,169,176,214,220,225,235],"evolution":[31],"states":[34],"store":[36],"some":[37,159],"information":[38,106],"about":[39],"sessions":[41],"prone":[43],"potential":[45],"flaws":[46],"caused":[47],"violations":[49],"specification":[52],"requirements":[53],"program":[55,129],"logic.":[56],"Discovering":[57],"such":[58],"significant":[61],"in":[62,67,93,119,143,179,205],"discovering":[63],"exploiting":[65],"vulnerabilities":[66],"software,":[69],"still":[71],"needs":[72],"manual":[74],"verifications.":[75],"paper,":[78],"we":[79],"propose":[80],"novel":[82],"method":[83],"could":[85],"automatically":[86,197],"discover":[87,194],"use":[89],"network":[94],"software.":[96],"The":[97],"core":[98],"idea":[99],"variable":[104,127],"features":[105],"communication":[109],"entities":[110],"states,":[114],"so":[115],"it":[116,201],"will":[117],"exist":[118],"form":[121],"global":[124],"or":[125],"static":[126],"during":[128],"execution.":[130],"Based":[131],"on":[132,202],"recording":[133],"replaying":[135],"program\u2019s":[138],"execution,":[139],"varieties":[140],"life":[145],"cycle":[146],"can":[147,193,231,238],"be":[148,239],"tracked":[149],"with":[150],"technique":[152],"dynamic":[154],"instrument.":[155],"We":[156,186],"draw":[157],"up":[158,241],"rules":[160],"from":[161],"multiple":[162],"dimensions":[163],"taking":[165],"full":[166],"advantage":[167],"existing":[170],"vulnerability":[171],"knowledge":[172],"determine":[174],"whether":[175],"data":[177],"stored":[178],"critical":[180],"memory":[181],"areas":[182],"have":[183],"characteristics.":[185],"also":[187],"implement":[188],"prototype":[190],"system":[191],"then":[199],"perform":[200],"nine":[203],"programs":[204],"ProFuzzBench":[206],"two":[208],"complex":[209],"real-world":[210],"programs.":[212],"With":[213],"help":[215],"available":[217],"open-source":[218],"code,":[219],"evaluation":[221],"results":[222],"show":[223],"average":[226,236],"true":[227],"positive":[228],"rate":[229],"(TPR)":[230],"reach":[232],"82%":[233],"precision":[237],"approximately":[240],"96%.":[243]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2023-03-30T00:00:00"}