{"id":"https://openalex.org/W3034136400","doi":"https://doi.org/10.1109/jsac.2020.2999653","title":"P4Consist: Toward Consistent P4 SDNs","display_name":"P4Consist: Toward Consistent P4 SDNs","publication_year":2020,"publication_date":"2020-06-05","ids":{"openalex":"https://openalex.org/W3034136400","doi":"https://doi.org/10.1109/jsac.2020.2999653","mag":"3034136400"},"language":"en","primary_location":{"id":"doi:10.1109/jsac.2020.2999653","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2020.2999653","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"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 Journal on Selected Areas in Communications","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/A5077524463","display_name":"Apoorv Shukla","orcid":"https://orcid.org/0000-0003-4780-9512"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Apoorv Shukla","raw_affiliation_strings":["Technische Universit\u00e4t Berlin, Berlin, Germany","Technische Universit\u00e1t Berlin, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4780-9512","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Technische Universit\u00e1t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062348167","display_name":"Seifeddine Fathalli","orcid":"https://orcid.org/0000-0002-9312-7195"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Seifeddine Fathalli","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","Technische Universit\u00e4t Berlin, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9312-7195","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016804745","display_name":"Thomas Zinner","orcid":"https://orcid.org/0000-0002-4179-4105"},"institutions":[{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE","NO"],"is_corresponding":false,"raw_author_name":"Thomas Zinner","raw_affiliation_strings":["Department of Information Security and Communication Technology, Norwegian University of Science and Technology, Trondheim, Norway","Technische Universit\u00e4t Berlin, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4179-4105","affiliations":[{"raw_affiliation_string":"Department of Information Security and Communication Technology, Norwegian University of Science and Technology, Trondheim, Norway","institution_ids":["https://openalex.org/I204778367"]},{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041702790","display_name":"Artur Hecker","orcid":"https://orcid.org/0000-0003-3604-2686"},"institutions":[{"id":"https://openalex.org/I4210129353","display_name":"Huawei Technologies (Germany)","ror":"https://ror.org/038cdme44","country_code":"DE","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Artur Hecker","raw_affiliation_strings":["Munich Research Center, Huawei Technologies Duesseldorf GmbH, Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Munich Research Center, Huawei Technologies Duesseldorf GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210129353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066080641","display_name":"Stefan Schmid","orcid":"https://orcid.org/0000-0002-7798-1711"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["Faculty of Computer Science, University of Vienna, Vienna, Austria","Faculty of computer science, University of Vienna, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-7798-1711","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]},{"raw_affiliation_string":"Faculty of computer science, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":3.2536,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.92023194,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"38","issue":"7","first_page":"1293","last_page":"1307"},"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.9998999834060669,"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.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9948999881744385,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/forwarding-plane","display_name":"Forwarding plane","score":0.8687429428100586},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7810860872268677},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6130125522613525},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5532540082931519},{"id":"https://openalex.org/keywords/routing-control-plane","display_name":"Routing control plane","score":0.517549455165863},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49950265884399414},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.48401591181755066},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.48005422949790955},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2602739930152893}],"concepts":[{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.8687429428100586},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7810860872268677},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6130125522613525},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5532540082931519},{"id":"https://openalex.org/C145595949","wikidata":"https://www.wikidata.org/wiki/Q7371619","display_name":"Routing control plane","level":2,"score":0.517549455165863},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49950265884399414},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.48401591181755066},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.48005422949790955},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2602739930152893},{"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/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/jsac.2020.2999653","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2020.2999653","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"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 Journal on Selected Areas in Communications","raw_type":"journal-article"},{"id":"pmh:oai:pure.mpg.de:item_3247362","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0006-D337-E","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Journal on Selected Areas in Communications","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1317777331","display_name":null,"funder_award_id":"01IS17052","funder_id":"https://openalex.org/F4320328086","funder_display_name":"Bundesministerium f\u00fcr Bildung, Wissenschaft und Forschung"}],"funders":[{"id":"https://openalex.org/F4320328086","display_name":"Bundesministerium f\u00fcr Bildung, Wissenschaft und Forschung","ror":"https://ror.org/03gng8t46"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":78,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1249296113","https://openalex.org/W1408671314","https://openalex.org/W1449038650","https://openalex.org/W1637524539","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1882012874","https://openalex.org/W1903979221","https://openalex.org/W1967656199","https://openalex.org/W1994743806","https://openalex.org/W1994926493","https://openalex.org/W2007113317","https://openalex.org/W2033181023","https://openalex.org/W2040340473","https://openalex.org/W2060209982","https://openalex.org/W2084915558","https://openalex.org/W2113093733","https://openalex.org/W2114936641","https://openalex.org/W2115303222","https://openalex.org/W2115526539","https://openalex.org/W2118382442","https://openalex.org/W2134519279","https://openalex.org/W2146012756","https://openalex.org/W2146191242","https://openalex.org/W2147118406","https://openalex.org/W2147236343","https://openalex.org/W2153250748","https://openalex.org/W2159262496","https://openalex.org/W2162360270","https://openalex.org/W2180601376","https://openalex.org/W2188073520","https://openalex.org/W2218236455","https://openalex.org/W2303191924","https://openalex.org/W2308109111","https://openalex.org/W2324910104","https://openalex.org/W2460461231","https://openalex.org/W2500758310","https://openalex.org/W2521536125","https://openalex.org/W2559645321","https://openalex.org/W2585501424","https://openalex.org/W2600267680","https://openalex.org/W2604667416","https://openalex.org/W2761338514","https://openalex.org/W2768133406","https://openalex.org/W2791671434","https://openalex.org/W2792493146","https://openalex.org/W2798641544","https://openalex.org/W2808291050","https://openalex.org/W2808679319","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2902440776","https://openalex.org/W2938753454","https://openalex.org/W2947325017","https://openalex.org/W2967385474","https://openalex.org/W2991458367","https://openalex.org/W3161951661","https://openalex.org/W3162906515","https://openalex.org/W3163063879","https://openalex.org/W4242330541","https://openalex.org/W4253731216","https://openalex.org/W6606536520","https://openalex.org/W6627884483","https://openalex.org/W6628268946","https://openalex.org/W6628489088","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6639592347","https://openalex.org/W6676988510","https://openalex.org/W6686667945","https://openalex.org/W6688720643","https://openalex.org/W6698042110","https://openalex.org/W6698187285","https://openalex.org/W6732959492","https://openalex.org/W6735892469","https://openalex.org/W6750453510","https://openalex.org/W6762698845"],"related_works":["https://openalex.org/W4214777079","https://openalex.org/W3093659890","https://openalex.org/W4211055425","https://openalex.org/W2756952589","https://openalex.org/W4243609393","https://openalex.org/W4379114325","https://openalex.org/W3042077637","https://openalex.org/W1799150848","https://openalex.org/W2515119600","https://openalex.org/W3033868034"],"abstract_inverted_index":{"The":[0,156],"prevailing":[1],"wisdom":[2],"is":[3],"that":[4,13,46,59,198],"a":[5,88,229],"software-defined":[6],"network":[7,40,183],"(SDN)":[8],"operates":[9],"under":[10],"the":[11,14,24,39,43,49,72,76,82,92,114,120,124,129,136,140,152,160,170,182,202,207,236],"premise":[12],"logically":[15],"centralized":[16],"control":[17,41,95,131,137],"plane":[18,27,45,78,98,126,132,138,142,154,204,248],"has":[19],"an":[20,111],"accurate":[21],"representation":[22],"of":[23,86,162,192,232],"actual":[25,121],"data":[26,44,97,125,141],"state.":[28],"Unfortunately,":[29],"bugs,":[30],"misconfigurations,":[31],"faults":[32],"or":[33,108],"attacks":[34],"can":[35,47,200],"introduce":[36],"inconsistencies":[37],"between":[38,94],"and":[42,65,84,96,139,164,176,196,214,219],"undermine":[48],"correct":[50],"operation":[51],"at":[52,185],"runtime.":[53,186],"Through":[54],"our":[55,189],"experiments,":[56],"we":[57,80],"realize":[58],"P4":[60,100,115,171],"SDNs":[61,116],"are":[62,66,147,178,194],"no":[63],"exception,":[64],"prone":[67],"to":[68,74,90,113,117,128,150,168,180,241,245],"similar":[69],"problems.":[70],"With":[71],"aim":[73,167],"verify":[75,151,181,201],"control-data":[77,153,203,247],"inconsistency,":[79],"present":[81],"design":[83],"implementation":[85,191],"P4Consist,":[87,135],"system":[89],"detect":[91,246],"inconsistency":[93],"in":[99,159,206],"SDNs.":[101],"P4Consist":[102,193,199,239],"generates":[103],"active":[104],"probe-based":[105],"traffic":[106],"continuously":[107],"periodically":[109],"as":[110],"input":[112],"check":[118],"whether":[119],"behavior":[122],"on":[123],"corresponds":[127],"expected":[130],"behavior.":[133],"In":[134],"generate":[143],"independent":[144],"reports":[145],"which":[146],"later,":[148],"compared":[149],"consistency.":[155],"previous":[157],"works":[158],"field":[161],"monitoring":[163],"verification":[165],"mostly":[166],"test":[169],"programs":[172],"through":[173],"static":[174],"analysis":[175],"thus,":[177],"insufficient":[179],"consistency":[184,205],"Experiments":[187],"with":[188,223],"prototype":[190],"promising":[195],"show":[197],"complex":[208],"datacenter":[209],"4-ary":[210],"fat-tree":[211],"(20":[212],"switches)":[213,221],"multipath":[215],"grid":[216],"(4,":[217],"9":[218],"16":[220],"topologies":[222],"60k":[224],"rules":[225],"per":[226],"switch":[227],"within":[228],"minimum":[230],"time":[231],"4":[233],"minutes.":[234],"At":[235],"same":[237],"time,":[238],"scales":[240],"multiple":[242],"source-destination":[243],"pairs":[244],"inconsistency.":[249]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}