{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:24:05Z","timestamp":1754195045552,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,30]],"date-time":"2022-11-30T00:00:00Z","timestamp":1669766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,30]]},"DOI":"10.1145\/3555050.3569140","type":"proceedings-article","created":{"date-parts":[[2022,11,30]],"date-time":"2022-11-30T22:24:56Z","timestamp":1669847096000},"page":"276-292","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["R-MPLS"],"prefix":"10.1145","author":[{"given":"Stefan","family":"Schmid","sequence":"first","affiliation":[{"name":"TU Berlin, Germany and University of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morten Konggaard","family":"Schou","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Vanerio","sequence":"additional","affiliation":[{"name":"University of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX, 201--219","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . 2020 . Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX, 201--219 . Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX, 201--219."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC5036"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863991"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-800806-5.00002-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Alia K Atlas and Alex Zinin. 2008. Basic specification for IP fast-reroute: loop-free alternates. IETF RFC 5286.  Alia K Atlas and Alex Zinin. 2008. Basic specification for IP fast-reroute: loop-free alternates. IETF RFC 5286.","DOI":"10.17487\/rfc5286"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_7_1","volume-title":"Gap: Bridging Network-Wide Objectives and Device-Level Configurations. In Proc. ACM SIGCOMM. ACM, 328--341.","author":"Beckett R.","year":"2016","unstructured":"R. Beckett , R. Mahajan , T. Millstein , J. Padhye , and D. Walker . 2016 . Don't Mind the Gap: Bridging Network-Wide Objectives and Device-Level Configurations. In Proc. ACM SIGCOMM. ACM, 328--341. R. Beckett, R. Mahajan, T. Millstein, J. Padhye, and D. Walker. 2016. Don't Mind the Gap: Bridging Network-Wide Objectives and Device-Level Configurations. In Proc. ACM SIGCOMM. ACM, 328--341."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC7490"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC6981"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2021.3063980"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2619398"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524552"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359989.3365410"},{"key":"e_1_3_2_1_14_1","unstructured":"Richard Chirgwin. 2017. Google routing blunder sent Japan's Internet dark on Friday. In https:\/\/www.theregister.co.uk\/2017\/08\/27\/google_routing_blunder_sent_japans_internet_dark\/.  Richard Chirgwin. 2017. Google routing blunder sent Japan's Internet dark on Friday. In https:\/\/www.theregister.co.uk\/2017\/08\/27\/google_routing_blunder_sent_japans_internet_dark\/."},{"key":"e_1_3_2_1_15_1","unstructured":"Duluth News Tribune. 2018. Human error to blame in Minnesota 911 outage. In https:\/\/www.ems1.com\/911\/articles\/389343048-Officials-Human-error-to-blame-in-Minn-911-outage\/.  Duluth News Tribune. 2018. Human error to blame in Minnesota 911 outage. In https:\/\/www.ems1.com\/911\/articles\/389343048-Officials-Human-error-to-blame-in-Minn-911-outage\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6848157"},{"key":"e_1_3_2_1_17_1","unstructured":"EthernetAlliance.org. 2009. Ethernet Jumbo Frames. http:\/\/www.ethernetalliance.org\/wp-content\/uploads\/2011\/10\/EA-Ethernet-Jumbo-Frames-v0-1.pdf  EthernetAlliance.org. 2009. Ethernet Jumbo Frames. http:\/\/www.ethernetalliance.org\/wp-content\/uploads\/2011\/10\/EA-Ethernet-Jumbo-Frames-v0-1.pdf"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2332432.2332478"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2015.7417124"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611976489.5"},{"key":"e_1_3_2_1_21_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 469--483","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel , Stanley Fung , Luis Pedrosa , Meg Walraed-Sullivan , Ramesh Govindan , Ratul Mahajan , and Todd Millstein . 2015 . A General Approach to Network Configuration Analysis . In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 469--483 . Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 469--483."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018477"},{"key":"e_1_3_2_1_24_1","volume-title":"16th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 161--176","author":"Holterbach Thomas","year":"2019","unstructured":"Thomas Holterbach , Edgar Costa Molero , Maria Apostolaki , Alberto Dainotti , Stefano Vissicchio , and Laurent Vanbever . 2019 . Blink: Fast connectivity recovery entirely in the data plane . In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 161--176 . Thomas Holterbach, Edgar Costa Molero, Maria Apostolaki, Alberto Dainotti, Stefano Vissicchio, and Laurent Vanbever. 2019. Blink: Fast connectivity recovery entirely in the data plane. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI). 161--176."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281432"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431308"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.731185"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282408"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOMMST.2014.6992292"},{"volume-title":"2013 12th International Conference on the Experience of Designing and Application of CAD Systems in Microelectronics (CADSM). 202--203","author":"Lemeshko O.","key":"e_1_3_2_1_31_1","unstructured":"O. Lemeshko , A. Romanyuk , and H. Kozlova . 2013. Design schemes for MPLS Fast ReRoute . In 2013 12th International Conference on the Experience of Designing and Application of CAD Systems in Microelectronics (CADSM). 202--203 . O. Lemeshko, A. Romanyuk, and H. Kozlova. 2013. Design schemes for MPLS Fast ReRoute. In 2013 12th International Conference on the Experience of Designing and Application of CAD Systems in Microelectronics (CADSM). 202--203."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSET.2018.8336365"},{"volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126","author":"Liu J.","key":"e_1_3_2_1_35_1","unstructured":"J. Liu , A. Panda , A. Singla , B. Godfrey , M. Schapira , and S. Shenker . 2013. Ensuring connectivity via data plane mechanisms . In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126 . J. Liu, A. Panda, A. Singla, B. Godfrey, M. Schapira, and S. Shenker. 2013. Ensuring connectivity via data plane mechanisms. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126."},{"key":"e_1_3_2_1_36_1","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)","author":"Liu Junda","year":"2013","unstructured":"Junda Liu , Aurojit Panda , Ankit Singla , Brighten Godfrey , Michael Schapira , and Scott Shenker . 2013 . Ensuring Connectivity via Data Plane Mechanisms . In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13) . USENIX Association, 113--126. Junda Liu, Aurojit Panda, Ankit Singla, Brighten Godfrey, Michael Schapira, and Scott Shenker. 2013. Ensuring Connectivity via Data Plane Mechanisms. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). USENIX Association, 113--126."},{"key":"e_1_3_2_1_37_1","volume-title":"Resilience analysis of packet-witched communication networks","author":"Menth Michael","year":"2009","unstructured":"Michael Menth , Michael Duelli , Ruediger Martin , and Jens Milbrandt . 2009. Resilience analysis of packet-witched communication networks . IEEE\/ACM transactions on Networking (ToN) 17, 6 ( 2009 ), 1950--1963. Michael Menth, Michael Duelli, Ruediger Martin, and Jens Milbrandt. 2009. Resilience analysis of packet-witched communication networks. IEEE\/ACM transactions on Networking (ToN) 17, 6 (2009), 1950--1963."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC4090"},{"key":"e_1_3_2_1_39_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 953--967","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu , Kuan Yen Chou , Ali Kheradmand , Brighten Godfrey , and Matthew Caesar . 2020 . Plankton: Scalable network configuration verification through model checking . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 953--967 . Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable network configuration verification through model checking. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 953--967."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC3031"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7191618"},{"key":"e_1_3_2_1_42_1","volume-title":"Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. In IEEE International Conference on Computer Communications (INFOCOM). IEEE, 1--9.","author":"Schmid Stefan","year":"2018","unstructured":"Stefan Schmid and Ji\u0159\u00ed Srba . 2018 . Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. In IEEE International Conference on Computer Communications (INFOCOM). IEEE, 1--9. Stefan Schmid and Ji\u0159\u00ed Srba. 2018. Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. In IEEE International Conference on Computer Communications (INFOCOM). IEEE, 1--9."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834099"},{"key":"e_1_3_2_1_44_1","unstructured":"Steve Smith. 2003. Introduction to MPLS. https:\/\/www.cisco.com\/c\/dam\/global\/fr_ca\/training-events\/pdfs\/Intro_to_mpls.pdf. Visited: 19\/05\/2020.  Steve Smith. 2003. Introduction to MPLS. https:\/\/www.cisco.com\/c\/dam\/global\/fr_ca\/training-events\/pdfs\/Intro_to_mpls.pdf. Visited: 19\/05\/2020."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890957"},{"key":"e_1_3_2_1_46_1","volume-title":"MPLS-Kit: An MPLS Data Plane Toolkit. In 2022 Global Internet (GI) Symposium (GI","author":"Vanerio Juan","year":"2022","unstructured":"Juan Vanerio , Stefan Schmid , Morten K Schou , and Jiri Srba . 2022 . MPLS-Kit: An MPLS Data Plane Toolkit. In 2022 Global Internet (GI) Symposium (GI 2022). IEEE, Paris, France. (To appear). Juan Vanerio, Stefan Schmid, Morten K Schou, and Jiri Srba. 2022. MPLS-Kit: An MPLS Data Plane Toolkit. In 2022 Global Internet (GI) Symposium (GI 2022). IEEE, Paris, France. (To appear)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159913.1159926"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851275.1851218"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2004.1301021"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/UKRCON.2017.8100353"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC2745"}],"event":{"name":"CoNEXT '22: The 18th International Conference on emerging Networking EXperiments and Technologies","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Roma Italy","acronym":"CoNEXT '22"},"container-title":["Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555050.3569140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555050.3569140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:50Z","timestamp":1750178810000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555050.3569140"}},"subtitle":["recursive protection for highly dependable MPLS networks"],"short-title":[],"issued":{"date-parts":[[2022,11,30]]},"references-count":49,"alternative-id":["10.1145\/3555050.3569140","10.1145\/3555050"],"URL":"https:\/\/doi.org\/10.1145\/3555050.3569140","relation":{},"subject":[],"published":{"date-parts":[[2022,11,30]]},"assertion":[{"value":"2022-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}