{"id":"https://openalex.org/W158224344","doi":null,"title":"Real Time Network Policy Checking using Header Space Analysis","display_name":"Real Time Network Policy Checking using Header Space Analysis","publication_year":2013,"publication_date":"2013-07-23","ids":{"openalex":"https://openalex.org/W158224344","mag":"158224344"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.300.8659","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.8659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sysnet.ucsd.edu/sysnet/miscpapers/net_plumber-nsdi13.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5052562946","display_name":"Peyman Kazemian","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peyman Kazemian","raw_affiliation_strings":["Stanford University and Google#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University and Google#TAB#","institution_ids":["https://openalex.org/I1291425158","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Michael Chang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Chang","raw_affiliation_strings":["Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072231297","display_name":"Hongyi Zeng","orcid":"https://orcid.org/0000-0002-4205-4678","observed_orcids":["https://orcid.org/0000-0002-4205-4678"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongyi Zeng","raw_affiliation_strings":["Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102730096","display_name":"George Varghese","orcid":"https://orcid.org/0000-0002-8218-5701","observed_orcids":["https://orcid.org/0000-0002-8218-5701","https://orcid.org/0000-0002-5327-2697"]},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Varghese","raw_affiliation_strings":["UC San Diego & Microsoft Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego & Microsoft Research","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035085176","display_name":"Nick McKeown","orcid":"https://orcid.org/0009-0000-3657-3933","observed_orcids":["https://orcid.org/0009-0000-3657-3933"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nick Mckeown","raw_affiliation_strings":["Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018369961","display_name":"Scott Whyte","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Whyte","raw_affiliation_strings":["GOOGLE INC "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GOOGLE INC ","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":80.4376,"has_fulltext":false,"cited_by_count":481,"citation_normalized_percentile":{"value":0.99957251,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9916999936103821,"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.9916999936103821,"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.00570000009611249,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.0003000000142492354,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"software-defined networking","score":0.8339999914169312},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"dependency graph","score":0.6290000081062317},{"id":"https://openalex.org/keywords/tenant-isolation","display_name":"tenant isolation","score":0.7720000147819519},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"network security policy","score":0.30399999022483826},{"id":"https://openalex.org/keywords/rule-changes","display_name":"rule changes","score":0.375}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7841789722442627},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7332980036735535},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.7296138405799866},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5302212834358215},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5266249775886536},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4828248918056488},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.45871901512145996},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4320252537727356},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3756190240383148},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24266523122787476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14198458194732666},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.300.8659","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.8659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sysnet.ucsd.edu/sysnet/miscpapers/net_plumber-nsdi13.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W168478060","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1882012874","https://openalex.org/W2099501333","https://openalex.org/W2105099212","https://openalex.org/W2115526539","https://openalex.org/W2123548135","https://openalex.org/W2147118406","https://openalex.org/W2149236835","https://openalex.org/W2180601376","https://openalex.org/W2408119291"],"related_works":["https://openalex.org/W7096490455","https://openalex.org/W1675033504","https://openalex.org/W2533171483","https://openalex.org/W3008146741","https://openalex.org/W2594119292","https://openalex.org/W2663326339","https://openalex.org/W2601709413","https://openalex.org/W2748294599","https://openalex.org/W2908383788","https://openalex.org/W2964483179"],"abstract_inverted_index":{"Network":[0],"state":[1,127],"may":[2],"change":[3,82],"rapidly":[4],"in":[5,40,68],"response":[6],"to":[7,47,60,158],"customer":[8],"demands,":[9],"load":[10],"conditions":[11,22],"or":[12],"configuration":[13],"changes.":[14],"But":[15,90],"the":[16,45,52,56,93,170,179],"network":[17,54],"must":[18],"also":[19],"ensure":[20],"correctness":[21],"such":[23],"as":[24,71,161],"isolating":[25],"tenants":[26],"from":[27,31,51,78],"each":[28],"other":[29],"and":[30,55,173],"critical":[32],"services.":[33],"Existing":[34],"policy":[35,106,189],"checkers":[36],"cannot":[37],"verify":[38],"compliance":[39,87,98,125,180],"real":[41,104],"time":[42,57,105],"because":[43],"of":[44,126,133,181],"need":[46,94],"collect":[48],"\u201cstate":[49],"\u201d":[50],"entire":[53],"it":[58],"takes":[59,193],"analyze":[61],"this":[62,69],"state.":[63],"SDNs":[64],"provide":[65,73],"an":[66],"opportunity":[67],"respect":[70],"they":[72],"a":[74,96,103,130,138,146,182,187],"logically":[75],"centralized":[76],"view":[77],"which":[79],"every":[80],"proposed":[81],"can":[83],"be":[84],"checked":[85],"for":[86,95,124,149],"with":[88],"policy.":[89],"there":[91],"remains":[92],"fast":[97],"checker.":[99],"Our":[100],"paper":[101],"introduces":[102],"checking":[107,178],"tool":[108],"called":[109],"NetPlumber":[110,121,144,166],"based":[111],"on":[112,167,190,195],"Header":[113],"Space":[114],"Analysis":[115],"(HSA)":[116],"[8].":[117],"Unlike":[118],"HSA,":[119],"however,":[120],"incrementally":[122],"checks":[123],"changes,":[128],"using":[129],"novel":[131],"set":[132],"conceptual":[134],"tools":[135],"that":[136],"maintain":[137],"dependency":[139],"graph":[140],"between":[141],"rules.":[142],"While":[143],"is":[145,155],"natural":[147],"fit":[148],"SDNs,":[150],"its":[151],"abstract":[152],"intermediate":[153],"form":[154],"conceptually":[156],"applicable":[157],"conventional":[159],"networks":[160,192],"well.":[162],"We":[163],"have":[164],"tested":[165],"Google\u2019s":[168],"SDN,":[169],"Stanford":[171],"backbone":[172],"Internet":[174],"2.":[175],"With":[176],"NetPlumber,":[177],"typical":[183],"rule":[184],"update":[185],"against":[186],"single":[188],"these":[191],"50-500\u00b5s":[194],"average.":[196],"1":[197]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":13},{"year":2022,"cited_by_count":22},{"year":2021,"cited_by_count":24},{"year":2020,"cited_by_count":34},{"year":2019,"cited_by_count":54},{"year":2018,"cited_by_count":65},{"year":2017,"cited_by_count":55},{"year":2016,"cited_by_count":72},{"year":2015,"cited_by_count":67},{"year":2014,"cited_by_count":34},{"year":2013,"cited_by_count":17},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}