N-Tube: Formally verified secure bandwidth reservation in path-aware internet architectures
T Weghorn, S Liu, C Sprenger… - 2022 IEEE 35th …, 2022 - ieeexplore.ieee.org
We present N-Tube, a novel, provably secure, inter-domain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
[PDF][PDF] N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig, D Basin - netsec.ethz.ch
We present N-Tube, a novel, provably secure, interdomain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
[引用][C] N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger… - 2022 IEEE 35th …, 2022 - research-collection.ethz.ch
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
- Research Collection Header Upper Right Menu Log in de jump to https://www.ethz.ch …
- Research Collection Header Upper Right Menu Log in de jump to https://www.ethz.ch …
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig… - 2022 IEEE 35th …, 2022 - computer.org
We present N-Tube, a novel, provably secure, inter-domain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
[PDF][PDF] N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig, D Basin - scion-architecture.net
We present N-Tube, a novel, provably secure, interdomain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
[PDF][PDF] N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig, D Basin - ch-sprenger.github.io
We present N-Tube, a novel, provably secure, interdomain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig… - 2022 IEEE 35th …, 2022 - computer.org
We present N-Tube, a novel, provably secure, inter-domain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
[PDF][PDF] N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T Weghorn, S Liu, C Sprenger, A Perrig, D Basin - netsec.ethz.ch
We present N-Tube, a novel, provably secure, interdomain bandwidth reservation algorithm
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …
that runs on a network architecture supporting path-based forwarding. N-Tube reserves …