{"id":"https://openalex.org/W2022373772","doi":"https://doi.org/10.1145/2089016.2089042","title":"Testing of a source address validation protocol with parallel parameterized extended finite state machines","display_name":"Testing of a source address validation protocol with parallel parameterized extended finite state machines","publication_year":2011,"publication_date":"2011-11-09","ids":{"openalex":"https://openalex.org/W2022373772","doi":"https://doi.org/10.1145/2089016.2089042","mag":"2022373772"},"language":"en","primary_location":{"id":"doi:10.1145/2089016.2089042","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2089016.2089042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Asian Internet Engineering Conference","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/A5064572677","display_name":"Jiangyuan Yao","orcid":"https://orcid.org/0000-0001-6337-0728"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiangyuan Yao","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100343127","display_name":"Zhiliang Wang","orcid":"https://orcid.org/0000-0001-6587-820X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiliang Wang","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100301881","display_name":"Xia Yin","orcid":"https://orcid.org/0000-0001-9152-9329"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia Yin","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001949272","display_name":"Jianping Wu","orcid":"https://orcid.org/0000-0002-8887-8031"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianping Wu","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064572677"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":1.1786,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80140735,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"152","last_page":"155"},"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.9998999834060669,"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.9998999834060669,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8518593311309814},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7906931042671204},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.7830797433853149},{"id":"https://openalex.org/keywords/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.7680253982543945},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7047710418701172},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6004549264907837},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.521012544631958},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5115540623664856},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.41610831022262573},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32252538204193115},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2756456732749939},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2406778633594513},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16487151384353638}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8518593311309814},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7906931042671204},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7830797433853149},{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.7680253982543945},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7047710418701172},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6004549264907837},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.521012544631958},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5115540623664856},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.41610831022262573},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32252538204193115},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2756456732749939},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2406778633594513},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16487151384353638},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2089016.2089042","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2089016.2089042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Asian Internet Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G8708529866","display_name":null,"funder_award_id":"2.01E+11","funder_id":"https://openalex.org/F4320321106","funder_display_name":"Ministry of Education of the People's Republic of China"}],"funders":[{"id":"https://openalex.org/F4320321106","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W92598123","https://openalex.org/W1605529659","https://openalex.org/W1979876578","https://openalex.org/W2162578718","https://openalex.org/W2245788666"],"related_works":["https://openalex.org/W4254792149","https://openalex.org/W2895802795","https://openalex.org/W4230357508","https://openalex.org/W2213014552","https://openalex.org/W4256073794","https://openalex.org/W2093565921","https://openalex.org/W2486976088","https://openalex.org/W2899364680","https://openalex.org/W1930392193","https://openalex.org/W237745051"],"abstract_inverted_index":{"Source":[0,20],"Address":[1,21],"Validation":[2,22],"Architecture(SAVA)":[3],"is":[4,51],"designed":[5],"for":[6,17,100],"security":[7],"of":[8,14,46,93],"Future":[9],"Internet.":[10],"Several":[11],"protocol":[12,57],"drafts":[13],"SAVA":[15],"solution":[16],"access":[18],"network,":[19],"Improvements(SAVI),":[23],"already":[24],"have":[25],"been":[26],"submitted":[27],"to":[28,53,74],"IETF":[29],"and":[30,86],"some":[31],"manufacturers":[32],"are":[33,108,120],"working":[34],"on":[35,44,110],"implements.":[36],"In":[37,61],"SAVI":[38,88],"protocols,":[39],"parallel":[40],"components":[41,48],"with":[42,58,71],"dependence":[43],"variables":[45,73],"other":[47],"exist.":[49],"It":[50],"infeasible":[52],"precisely":[54],"specify":[55],"such":[56],"single":[59],"model.":[60],"this":[62],"paper,":[63],"we":[64,96],"extend":[65],"the":[66,104,111],"Extended":[67,81],"Finite":[68,82],"State":[69,83],"Machine":[70,84],"external":[72],"form":[75],"our":[76],"new":[77,105],"model,":[78],"Parallel":[79],"Parameterized":[80],"(PaP-EFSM),":[85],"describe":[87],"protocols":[89],"by":[90],"a":[91],"set":[92],"PaP-EFSMs.":[94],"Then":[95],"present":[97],"an":[98],"approach":[99],"tests":[101],"generation":[102],"from":[103,114],"models.":[106],"Tests":[107],"applied":[109],"10":[112],"devices":[113],"4":[115],"manufacturers.":[116],"Many":[117],"implement":[118],"faults":[119],"exposed.":[121]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}