{"id":"https://openalex.org/W4200370710","doi":"https://doi.org/10.1145/3497777.3498546","title":"Verifying Network Properties in SRv6 based Service Function Chaining","display_name":"Verifying Network Properties in SRv6 based Service Function Chaining","publication_year":2021,"publication_date":"2021-12-13","ids":{"openalex":"https://openalex.org/W4200370710","doi":"https://doi.org/10.1145/3497777.3498546"},"language":"en","primary_location":{"id":"doi:10.1145/3497777.3498546","doi":"https://doi.org/10.1145/3497777.3498546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3497777.3498546","pdf_url":null,"source":{"id":"https://openalex.org/S4306417742","display_name":"Asian Internet Engineering Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Asian Internet Engineering Conference","raw_type":"proceedings-article"},"volume":null,"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/A5008198924","display_name":"Ryusei Shiiba","orcid":"https://orcid.org/0009-0000-6234-0578","observed_orcids":["https://orcid.org/0009-0000-6234-0578"]},"institutions":[{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryusei Shiiba","raw_affiliation_strings":["Sokendai, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sokendai, Japan","institution_ids":["https://openalex.org/I200475212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102837481","display_name":"Satoru Kobayashi","orcid":"https://orcid.org/0000-0003-1017-0938","observed_orcids":["https://orcid.org/0000-0003-1017-0938"]},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Satoru Kobayashi","raw_affiliation_strings":["National Institute of Informatics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018010242","display_name":"Osamu Akashi","orcid":"https://orcid.org/0000-0001-8681-7801","observed_orcids":["https://orcid.org/0000-0001-8681-7801"]},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Osamu Akashi","raw_affiliation_strings":["National Institute of Informatics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101814201","display_name":"Kensuke Fukuda","orcid":"https://orcid.org/0000-0001-8372-2807","observed_orcids":["https://orcid.org/0000-0001-8372-2807"]},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kensuke Fukuda","raw_affiliation_strings":["National Institute of Informatics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2311,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.40727836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"18","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9922000169754028,"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"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9922000169754028,"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.0035000001080334187,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/srv6","display_name":"SRv6","score":0.9169999957084656},{"id":"https://openalex.org/keywords/service-function-chaining","display_name":"service function chaining","score":0.8579999804496765},{"id":"https://openalex.org/keywords/network-reachability","display_name":"network reachability","score":0.7990000247955322},{"id":"https://openalex.org/keywords/network-functions","display_name":"network functions","score":0.7149999737739563},{"id":"https://openalex.org/keywords/ipv6","display_name":"IPv6","score":0.5320000052452087},{"id":"https://openalex.org/keywords/data-center-networks","display_name":"data center networks","score":0.7720000147819519}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8206155300140381},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.7322614192962646},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.7181532979011536},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5583276748657227},{"id":"https://openalex.org/C84555802","wikidata":"https://www.wikidata.org/wiki/Q2551624","display_name":"IPv6","level":3,"score":0.5295960307121277},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5193475484848022},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.42419347167015076},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.4184443950653076},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2397511601448059},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.1546345055103302},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3497777.3498546","doi":"https://doi.org/10.1145/3497777.3498546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3497777.3498546","pdf_url":null,"source":{"id":"https://openalex.org/S4306417742","display_name":"Asian Internet Engineering Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Asian Internet Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4943999946117401,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"sustainable_development_goals_aurora":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[{"id":"https://openalex.org/G4327352835","display_name":"Workflow Execution based on Network Operations' Intention","funder_award_id":"20H04185","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1583869287","https://openalex.org/W2096313289","https://openalex.org/W2289096564","https://openalex.org/W2324910104","https://openalex.org/W2465388983","https://openalex.org/W2494561778","https://openalex.org/W2594633745","https://openalex.org/W2734979301","https://openalex.org/W2799820499","https://openalex.org/W2906822286","https://openalex.org/W2941467232","https://openalex.org/W3048456056","https://openalex.org/W3130002881","https://openalex.org/W4234788970"],"related_works":["https://openalex.org/W2171597999","https://openalex.org/W2189136227","https://openalex.org/W1866537546","https://openalex.org/W630850086","https://openalex.org/W3200508093","https://openalex.org/W4372053344","https://openalex.org/W3193978431","https://openalex.org/W2348848697","https://openalex.org/W2810972022","https://openalex.org/W2479436597"],"abstract_inverted_index":{"Segment":[0],"Routing":[1],"over":[2],"IPv6":[3,18],"(SRv6)":[4],"is":[5,33,49,191],"a":[6,50,70,88,132,146,161],"simple":[7],"and":[8,76,117,143],"scalable":[9],"protocol":[10],"for":[11,37,79,94,108,120,136,198],"building":[12],"service":[13,29,81,96,122,147,202],"function":[14],"chaining":[15],"(SFC)":[16],"on":[17,166],"data":[19,26,43,90,105,162],"plane.":[20],"Despite":[21],"the":[22,25,56,60,80,95,100,109,121,125,128,150,154,157,167,170,174,184,201],"benefits,":[23],"managing":[24,200],"plane":[27,47,91,106,163],"of":[28,127,145,156,176],"chains":[30,203],"in":[31,41,74,115,179],"SRv6":[32,75,116],"an":[34],"error-prone":[35],"task":[36],"network":[38,77,118,139,141,196],"operators,":[39],"especially":[40],"large-scale":[42],"center":[44],"networks.":[45],"Data":[46],"verification":[48,92,110,134],"promising":[51],"approach":[52,93,178,190],"to":[53,194],"formally":[54],"verify":[55,195],"operator":[57],"requirements.":[58],"However,":[59],"existing":[61,101],"approaches":[62],"do":[63],"not":[64],"fully":[65],"support":[66],"header":[67,73,113],"modifications":[68,114],"with":[69],"variable":[71],"length":[72],"functions":[78,119],"chains.":[82,123],"In":[83],"this":[84],"paper,":[85],"we":[86,130,159,172,186],"propose":[87],"new":[89],"chain":[97,148],"management.":[98],"Unlike":[99],"works,":[102],"our":[103,177,189],"proposed":[104],"model":[107],"naturally":[111],"includes":[112],"On":[124],"basis":[126],"model,":[129],"develop":[131],"search-based":[133],"technique":[135],"two":[137,180],"fundamental":[138],"properties:":[140],"reachability":[142],"isolation":[144],"from":[149],"others.":[151],"To":[152],"confirm":[153],"appropriateness":[155],"approach,":[158],"implement":[160],"verifier":[164],"based":[165],"model.":[168],"Using":[169],"verifier,":[171],"demonstrate":[173],"effectiveness":[175],"case":[181],"examples.":[182],"Through":[183],"demonstration,":[185],"show":[187],"that":[188],"expressive":[192],"enough":[193],"properties":[197],"safely":[199]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-10T00:00:00"}