{"id":"https://openalex.org/W3168095596","doi":"https://doi.org/10.1007/978-3-030-81688-9_39","title":"Debugging Network Reachability with\u00a0Blocked Paths","display_name":"Debugging Network Reachability with\u00a0Blocked Paths","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3168095596","doi":"https://doi.org/10.1007/978-3-030-81688-9_39","mag":"3168095596"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-81688-9_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81688-9_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_39.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_39.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019384558","display_name":"Steven H Bayless","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"S. Bayless","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044441669","display_name":"John Backes","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Backes","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023221557","display_name":"Dan DaCosta","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. DaCosta","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044431965","display_name":"B.F. Jones","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B. F. Jones","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097872278","display_name":"N. Launchbury","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. Launchbury","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024829138","display_name":"Patrick Trentin","orcid":"https://orcid.org/0000-0001-9209-9172"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Trentin","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041318372","display_name":"Keith Jewell","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"K. Jewell","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101548497","display_name":"Saurabh Joshi","orcid":"https://orcid.org/0000-0001-8070-1525"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Joshi","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102810205","display_name":"Min Zeng","orcid":"https://orcid.org/0000-0002-9947-6572"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Q. Zeng","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006206692","display_name":"Nripan Mathews","orcid":"https://orcid.org/0000-0001-5234-0822"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. Mathews","raw_affiliation_strings":["Amazon Web Services, Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5019384558"],"corresponding_institution_ids":["https://openalex.org/I1311688040"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"851","last_page":"862"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9958000183105469,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9907000064849854,"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/reachability","display_name":"Reachability","score":0.8709119558334351},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7789934873580933},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.7449920177459717},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6528369188308716},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6161705851554871},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5922933220863342},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5036939978599548},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.45578235387802124},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4195817708969116},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3324693441390991},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31864190101623535},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2974052131175995},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2790352702140808}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8709119558334351},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789934873580933},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.7449920177459717},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6528369188308716},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6161705851554871},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5922933220863342},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5036939978599548},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.45578235387802124},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4195817708969116},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3324693441390991},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31864190101623535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2974052131175995},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2790352702140808}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-81688-9_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81688-9_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_39.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-81688-9_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81688-9_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_39.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3168095596.pdf","grobid_xml":"https://content.openalex.org/works/W3168095596.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W111132822","https://openalex.org/W142476452","https://openalex.org/W1249296113","https://openalex.org/W1593288312","https://openalex.org/W2115526539","https://openalex.org/W2119127927","https://openalex.org/W2161998660","https://openalex.org/W2199687903","https://openalex.org/W2399087627","https://openalex.org/W2399531607","https://openalex.org/W2468070113","https://openalex.org/W2470483462","https://openalex.org/W2949910966","https://openalex.org/W2962604136","https://openalex.org/W2968168257","https://openalex.org/W3149698637","https://openalex.org/W3211323961"],"related_works":["https://openalex.org/W2616975154","https://openalex.org/W2150409441","https://openalex.org/W771256949","https://openalex.org/W2102075139","https://openalex.org/W2008040316","https://openalex.org/W2096698163","https://openalex.org/W90510024","https://openalex.org/W4313175543","https://openalex.org/W2541071142","https://openalex.org/W1503308863"],"abstract_inverted_index":{"Abstract":[0],"In":[1,56],"this":[2],"industrial":[3],"case":[4,58],"study":[5],"we":[6,138],"describe":[7],"a":[8,31,44,49,52,68,83,128,141],"new":[9],"network":[10,21,186],"troubleshooting":[11,28],"analysis":[12,23,29,66,95,164],"used":[13],"by":[14],"VPC":[15,54,87,194],"Reachability":[16],"Analyzer":[17],",":[18],"an":[19,72],"SMT-based":[20],"reachability":[22],"and":[24,100],"debugging":[25],"tool.":[26],"Our":[27,92],"uses":[30],"formal":[32],"model":[33],"of":[34,86,157],"AWS":[35],"Virtual":[36],"Private":[37],"Cloud":[38],"(VPC)":[39],"semantics":[40],"to":[41,136,150,152,160,172,192],"identify":[42,139],"whether":[43],"destination":[45],"is":[46,61,181],"reachable":[47],"from":[48,97,133],"source":[50,135],"in":[51],"given":[53],"configuration.":[55,195],"the":[57,119,124,134,144,163,178],"where":[59],"there":[60],"no":[62],"feasible":[63,81],"path,":[64],"our":[65],"derives":[67],"blocked":[69,93,179],"path":[70,77,94,132,155,180],":":[71],"infeasible":[73],"but":[74],"otherwise":[75],"complete":[76,129],"that":[78,103,122,154,177],"would":[79],"be":[80],"if":[82],"corresponding":[84],"set":[85],"configuration":[88,145],"settings":[89,146],"were":[90],"adjusted.":[91],"differs":[96],"other":[98],"academic":[99],"commercial":[101],"offerings":[102],"either":[104],"rely":[105],"on":[106],"packet":[107],"probing":[108],"(e.g.,":[109],"tcptrace":[110],")":[111],"or":[112],"provide":[113],"only":[114],"partial":[115,167],"paths":[116],"terminating":[117],"at":[118],"first":[120],"component":[121],"rejects":[123],"packet.":[125],"By":[126],"providing":[127],"(but":[130],"infeasible)":[131],"destination,":[137],"for":[140],"user":[142],"all":[143],"they":[147],"will":[148],"need":[149],"alter":[151],"admit":[153],"(instead":[156],"requiring":[158],"them":[159],"repeatedly":[161],"re-run":[162],"after":[165],"making":[166,189],"changes).":[168],"This":[169],"allows":[170],"users":[171],"refine":[173],"their":[174,184,193],"query":[175],"so":[176],"aligned":[182],"with":[183],"intended":[185],"behavior":[187],"before":[188],"any":[190],"changes":[191]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}