{"id":"https://openalex.org/W2117842948","doi":"https://doi.org/10.1145/2342356.2342374","title":"Reduction-based analysis of BGP systems with BGPVerif","display_name":"Reduction-based analysis of BGP systems with BGPVerif","publication_year":2012,"publication_date":"2012-08-13","ids":{"openalex":"https://openalex.org/W2117842948","doi":"https://doi.org/10.1145/2342356.2342374","mag":"2117842948"},"language":"en","primary_location":{"id":"doi:10.1145/2342356.2342374","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2342356.2342374","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication","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/A5015395686","display_name":"Anduo Wang","orcid":"https://orcid.org/0000-0002-1078-107X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Anduo Wang","raw_affiliation_strings":["University of Pennsylvania, Philladephia, PA, USA","University of Pennsylvania, Philladephia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philladephia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Philladephia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021917441","display_name":"Alexander J. T. Gurney","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander J.T. Gurney","raw_affiliation_strings":["University of Pennsylvania, Philladephia, PA, USA","University of Pennsylvania, Philladephia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philladephia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Philladephia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054581571","display_name":"Xianglong Han","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xianglong Han","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074455090","display_name":"Jinyan Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinyan Cao","raw_affiliation_strings":["University of Pennsylvania, Phildadelphia, PA, USA","University of Pennsylvania, Phildadelphia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002593581","display_name":"Carolyn Talcot","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn Talcot","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA","SRI-International, Menlo Park, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI-International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090052860","display_name":"Boon Thau Loo","orcid":"https://orcid.org/0000-0002-4757-1746"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Boon Thau Loo","raw_affiliation_strings":["University of Pennsylvania, Phildadelphia, PA, USA","University of Pennsylvania, Phildadelphia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["University of Pennsylvania, Phildadelphia, PA, USA","University of Pennsylvania, Phildadelphia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Phildadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5015395686"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.2901,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59068765,"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":"89","last_page":"90"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9993000030517578,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9977999925613403,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9973999857902527,"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/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.9264591336250305},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8579471111297607},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8135898113250732},{"id":"https://openalex.org/keywords/default-free-zone","display_name":"Default-free zone","score":0.6618131399154663},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.594412624835968},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5907759666442871},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.5838112831115723},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5532090067863464},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5448758602142334},{"id":"https://openalex.org/keywords/network-mapping","display_name":"Network mapping","score":0.5120251774787903},{"id":"https://openalex.org/keywords/default-gateway","display_name":"Default gateway","score":0.47990119457244873},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4787999093532562},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.46119192242622375},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4462394714355469},{"id":"https://openalex.org/keywords/routing-table","display_name":"Routing table","score":0.19353142380714417},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.16428783535957336},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1555059254169464},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14619764685630798},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.12776800990104675}],"concepts":[{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.9264591336250305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8579471111297607},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8135898113250732},{"id":"https://openalex.org/C101396714","wikidata":"https://www.wikidata.org/wiki/Q3021187","display_name":"Default-free zone","level":5,"score":0.6618131399154663},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.594412624835968},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5907759666442871},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.5838112831115723},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5532090067863464},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5448758602142334},{"id":"https://openalex.org/C133474645","wikidata":"https://www.wikidata.org/wiki/Q17104660","display_name":"Network mapping","level":3,"score":0.5120251774787903},{"id":"https://openalex.org/C187713609","wikidata":"https://www.wikidata.org/wiki/Q2465461","display_name":"Default gateway","level":2,"score":0.47990119457244873},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4787999093532562},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.46119192242622375},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4462394714355469},{"id":"https://openalex.org/C184896649","wikidata":"https://www.wikidata.org/wiki/Q290066","display_name":"Routing table","level":4,"score":0.19353142380714417},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.16428783535957336},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1555059254169464},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14619764685630798},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.12776800990104675},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2342356.2342374","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2342356.2342374","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.387.1783","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1783","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://conferences.sigcomm.org/sigcomm/2012/paper/sigcomm/p89.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W119984049","https://openalex.org/W1501669955","https://openalex.org/W1599110473","https://openalex.org/W1980507101","https://openalex.org/W2022788164","https://openalex.org/W2108732836","https://openalex.org/W2158280958","https://openalex.org/W2158288704","https://openalex.org/W2177058407"],"related_works":["https://openalex.org/W2312391375","https://openalex.org/W2134956925","https://openalex.org/W1594989898","https://openalex.org/W2564665778","https://openalex.org/W2910714899","https://openalex.org/W2137736907","https://openalex.org/W2279651150","https://openalex.org/W2049545835","https://openalex.org/W1558646768","https://openalex.org/W2535598766"],"abstract_inverted_index":{"Today's":[0],"inter-domain":[1],"routing":[2,101],"protocol,":[3],"the":[4,44,50,135,141],"Border":[5],"Gateway":[6],"Protocol":[7],"(BGP),":[8],"is":[9,72],"increasingly":[10],"complicated":[11],"and":[12,30,96,138],"fragile":[13],"due":[14,42],"to":[15,43,73,79,153],"policy":[16],"misconfiguration":[17],"by":[18],"individual":[19],"autonomous":[20],"systems":[21],"(ASes).":[22],"Existing":[23],"configuration":[24,110,125],"analysis":[25,67,80],"techniques":[26],"are":[27],"either":[28],"manual":[29],"tedious,":[31],"or":[32],"do":[33],"not":[34],"scale":[35],"beyond":[36],"a":[37,64,105],"small":[38],"number":[39],"of":[40,52,88,108,140],"nodes":[41],"state":[45],"explosion":[46],"problem.":[47],"To":[48],"aid":[49],"diagnosis":[51],"misconfigurations":[53],"in":[54],"real-world":[55,114],"large":[56],"BGP":[57,75,94,109,121],"systems,":[58],"this":[59],"paper":[60],"presents":[61],"BGPVerif":[62,86,103,133],",":[63],"reduction":[65,142],"based":[66],"toolkit.":[68],"The":[69],"key":[70],"idea":[71],"reduce":[74],"system":[76],"size":[77],"prior":[78],"while":[81],"preserving":[82],"crucial":[83],"correctness":[84],"properties.":[85],"consists":[87],"two":[89],"components,":[90],"NetReducer":[91],"that":[92,98,149],"simplifies":[93],"configurations,":[95],"NetAnalyzer":[97],"automatically":[99],"detects":[100],"oscillation.":[102],"accepts":[104],"wide":[106],"range":[107],"inputs":[111],"ranging":[112],"from":[113],"traces":[115],"(Rocketfuel":[116],"network":[117],"topologies),":[118],"randomly":[119],"generated":[120],"networks":[122],"(GT-ITM),":[123],"Cisco":[124],"guidelines,":[126],"as":[127,129],"well":[128],"arbitrary":[130],"user-defined":[131],"networks.":[132],"illustrates":[134],"applicability,":[136],"efficiency,":[137],"benefits":[139],"technique,":[143],"it":[144],"also":[145],"introduces":[146],"an":[147],"infrastructure":[148],"enables":[150],"networking":[151],"researchers":[152],"interact":[154],"with":[155],"advanced":[156],"formal":[157],"method":[158],"tool.":[159]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}