{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:02:58Z","timestamp":1779087778191,"version":"3.51.4"},"reference-count":65,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919646","type":"proceedings-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:29:20Z","timestamp":1667510960000},"page":"147-162","source":"Crossref","is-referenced-by-count":4,"title":["N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures"],"prefix":"10.1109","author":[{"given":"Thilo","family":"Weghorn","sequence":"first","affiliation":[{"name":"Swisscom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Si","family":"Liu","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Sprenger","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Perrig","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4594"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36830-1_1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1282427.1282413"},{"key":"ref56","first-page":"30","article-title":"Analysing routing protocols: Four nodes topologies are sufficient","volume":"7215","author":"cortier","year":"2012","journal-title":"Principles of Security and Trust - First International Conference POST 2012 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2012 Tallinn Estonia March 24 - April 1 2012 Proceedings ser Lecture Notes in Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1232919.1232926"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2001-91-206"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1126\/science.162.3859.1243"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.07.004"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.029"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(4:19)2015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/75247.75248"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1090191.1080120"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.24"},{"key":"ref17","first-page":"16","article-title":"The NEBULA future internet architecture","volume":"7858","author":"anderson","year":"2013","journal-title":"The Future Internet - Future Internet Assembly 2013 Validated Results and New Horizons ser Lecture Notes in Computer Science"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67080-5","author":"perrig","year":"2017","journal-title":"Scion A secure internet architecture"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893888"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592583"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2012.6459941"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00018"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3477"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6107"},{"key":"ref48","author":"basescu","year":"2015","journal-title":"Sibra Scalable internet bandwidth reservation architecture"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3473"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.05.013"},{"key":"ref41","first-page":"386","article-title":"PVeStA: A parallel statistical model checking and quantitative analysis tool","volume":"6859","author":"aiturki","year":"2011","journal-title":"CALCO Ser LNCS"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.2307\/2977633"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1080.0638"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660349"},{"key":"ref8","year":"2017","journal-title":"Alert (taI7–164a) hidden cobra - north korea's ddos botnet infrastructure"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/65.238150"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.17487\/rfc0970"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/944592.944600"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660299"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2475"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.17487\/rfc1633"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060313"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-019-00489-w"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.05.002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3494517"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6847989"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00033"},{"key":"ref32","first-page":"1439","article-title":"Charting the attack surface of trigger-action loT platforms","author":"wang","year":"2019","journal-title":"CCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04444-1_3"},{"key":"ref1","article-title":"The Crossfire Attack","author":"kang","year":"2013","journal-title":"IEEE S&P"},{"key":"ref39","year":"2021","journal-title":"Topology research"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1879141.1879175"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/9781119428497.ch2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"ref26","volume":"4350","author":"clavel","year":"2007","journal-title":"All About Maude ser LNCS"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3485983.3494839"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/JISIC.2014.21"},{"key":"ref63","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.069","article-title":"Probabilistic modeling and analysis of dos protection for the ASV protocol","volume":"234","author":"meseguer","year":"2009","journal-title":"Electron Notes Theor Comput Sci"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079326"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3485983.3494862"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.57"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS53918.2021.00034"},{"key":"ref27","author":"weghorn","year":"2022","journal-title":"N-Tube Secure bandwidth reservation in path-aware internet architectures (supplementary material)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6480"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966955"},{"key":"ref62","article-title":"Formal modeling and analysis of dos using probabilistic rewrite theories","author":"agha","year":"2005","journal-title":"Workshop on Foundations of Computer Security (FCS'05)"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04444-1_24"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","location":"Haifa, Israel","start":{"date-parts":[[2022,8,7]]},"end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919646.pdf?arnumber=9919646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T18:30:06Z","timestamp":1699468206000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919646\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919646","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}