{"id":"https://openalex.org/W2725063651","doi":"https://doi.org/10.1109/tnsm.2017.2723725","title":"An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries","display_name":"An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries","publication_year":2017,"publication_date":"2017-07-05","ids":{"openalex":"https://openalex.org/W2725063651","doi":"https://doi.org/10.1109/tnsm.2017.2723725","mag":"2725063651"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2017.2723725","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2723725","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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":"IEEE Transactions on Network and Service Management","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/A5081996202","display_name":"Takeru Inoue","orcid":"https://orcid.org/0000-0003-1411-8010"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeru Inoue","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan"],"raw_orcid":"https://orcid.org/0000-0003-1411-8010","affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054665212","display_name":"Richard J. Chen","orcid":"https://orcid.org/0000-0003-0389-1331"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["CA","JP"],"is_corresponding":false,"raw_author_name":"Richard Chen","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan","University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023464420","display_name":"Toru Mano","orcid":"https://orcid.org/0000-0001-8073-3623"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toru Mano","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan"],"raw_orcid":"https://orcid.org/0000-0001-8073-3623","affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004935109","display_name":"Kimihiro Mizutani","orcid":"https://orcid.org/0000-0003-2020-6578"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kimihiro Mizutani","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027207170","display_name":"Hisashi Nagata","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hisashi Nagata","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018010242","display_name":"Osamu Akashi","orcid":"https://orcid.org/0000-0001-8681-7801"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Osamu Akashi","raw_affiliation_strings":["NTT Network Innovation Laboratories, Yokosuka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Network Innovation Laboratories, Yokosuka, Japan","institution_ids":["https://openalex.org/I2251713219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2104,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.55624227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"14","issue":"4","first_page":"1113","last_page":"1127"},"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.9991000294685364,"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.9991000294685364,"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/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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9952999949455261,"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/computer-science","display_name":"Computer science","score":0.8812153339385986},{"id":"https://openalex.org/keywords/header","display_name":"Header","score":0.7095323801040649},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.624251663684845},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5873251557350159},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5370771884918213},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5364222526550293},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5251847505569458},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5160571932792664},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4347692131996155},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42285069823265076},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41973087191581726},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33908307552337646},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.23108425736427307},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.115395188331604}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8812153339385986},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.7095323801040649},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.624251663684845},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5873251557350159},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5370771884918213},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5364222526550293},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5251847505569458},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5160571932792664},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4347692131996155},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42285069823265076},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41973087191581726},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33908307552337646},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.23108425736427307},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.115395188331604},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnsm.2017.2723725","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2723725","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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":"IEEE Transactions on Network and Service Management","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W49496018","https://openalex.org/W158224344","https://openalex.org/W1249296113","https://openalex.org/W1589992982","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1882012874","https://openalex.org/W1990249463","https://openalex.org/W1990603932","https://openalex.org/W1994143452","https://openalex.org/W2020999394","https://openalex.org/W2021718794","https://openalex.org/W2032850083","https://openalex.org/W2051714560","https://openalex.org/W2054075353","https://openalex.org/W2077688755","https://openalex.org/W2080267935","https://openalex.org/W2111828771","https://openalex.org/W2115526539","https://openalex.org/W2118084562","https://openalex.org/W2120389765","https://openalex.org/W2130210899","https://openalex.org/W2136225617","https://openalex.org/W2137108108","https://openalex.org/W2138509363","https://openalex.org/W2138556012","https://openalex.org/W2140069682","https://openalex.org/W2149236835","https://openalex.org/W2155216527","https://openalex.org/W2158804164","https://openalex.org/W2180601376","https://openalex.org/W2188073520","https://openalex.org/W2278179621","https://openalex.org/W2289285710","https://openalex.org/W2303191924","https://openalex.org/W2324910104","https://openalex.org/W2410246089","https://openalex.org/W2465388983","https://openalex.org/W2471733240","https://openalex.org/W2481778792","https://openalex.org/W2531684888","https://openalex.org/W2541594629","https://openalex.org/W2566847281","https://openalex.org/W2587087058","https://openalex.org/W2734979301","https://openalex.org/W4206206918","https://openalex.org/W4250071346","https://openalex.org/W4253647837","https://openalex.org/W6601982808","https://openalex.org/W6606536520","https://openalex.org/W6627884483","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6639592347","https://openalex.org/W6664072704","https://openalex.org/W6680456895","https://openalex.org/W6686667945","https://openalex.org/W6696355809","https://openalex.org/W6698187285","https://openalex.org/W6714331664","https://openalex.org/W6741206886"],"related_works":["https://openalex.org/W2171597999","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2189136227","https://openalex.org/W2988433590","https://openalex.org/W2891706772","https://openalex.org/W2144804944","https://openalex.org/W2114103190"],"abstract_inverted_index":{"Modern":[0],"networks":[1,21,36],"have":[2],"complex":[3],"configurations":[4],"to":[5,26,47,82,182],"provide":[6],"advanced":[7],"functions.":[8],"Network":[9],"softwarization,":[10],"a":[11,44,51,74,106,163],"promising":[12],"new":[13],"movement":[14],"in":[15,105,128,162],"the":[16,27,35,85,96,118,125,152,173],"networking":[17],"community,":[18],"could":[19],"make":[20,34],"more":[22],"complexly":[23],"configured":[24],"due":[25],"nature":[28],"of":[29,77,110,168,176],"software.":[30],"Since":[31],"these":[32],"complexities":[33],"error-prone,":[37],"network":[38,145,165],"verification":[39,174],"is":[40,155],"attracting":[41],"attention":[42],"as":[43,81],"key":[45],"technology":[46],"detect":[48],"inconsistencies":[49],"between":[50],"configuration":[52],"and":[53,136],"an":[54],"operational":[55],"policy.":[56],"Existing":[57],"verifiers":[58],"are,":[59],"unfortunately,":[60],"either":[61],"inefficient":[62],"or":[63],"incomplete":[64],"(operational":[65],"policies":[66],"are":[67,134],"not":[68],"rigorously":[69],"checked).":[70],"This":[71,113],"paper":[72,114],"presents":[73],"novel":[75],"framework":[76,94,150,171],"data-plane":[78],"verification.":[79],"So":[80],"efficiently":[83],"manage":[84],"large":[86],"search":[87],"space":[88,109],"defined":[89,104],"by":[90,99,138],"packet":[91,111],"headers,":[92],"our":[93,149,170],"formalizes":[95],"consistency":[97],"check":[98],"applying":[100],"simple":[101],"set":[102],"operations":[103],"small":[107],"quotient":[108],"header.":[112],"also":[115],"reveals":[116],"that":[117,148],"two":[119],"spaces":[120],"can":[121],"be":[122],"connected":[123],"via":[124],"windowing":[126,132,153],"query":[127],"computational":[129],"geometry.":[130],"Two":[131],"algorithms":[133,154],"proposed":[135],"backed":[137],"solid":[139],"theoretical":[140],"analyses.":[141],"Experiments":[142],"on":[143],"real":[144,164],"datasets":[146],"show":[147],"with":[151,166],"surprisingly":[156],"fast;":[157],"when":[158],"verifying":[159],"policy":[160],"compliance":[161],"thousands":[167],"switches,":[169],"reduces":[172],"time":[175],"all-pairs":[177],"reachability":[178],"from":[179],"ten":[180,183],"hours":[181],"minutes.":[184]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}