There is a newer version of the record available.

Published January 18, 2022 | Version v1
Report Open

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures (Supplementary Material)

Creators

  • 1. ETH Zurich

Description

This entry provides supplementary material accompanying our CSF 2022 paper "N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures". It contains the full-version technical report including the proofs and the source code of the Maude experiments.

Files

csf2022-full-version.pdf

Files (1.2 MB)

Name Size Download all
md5:60ce7778cffc6b9b670569aa56c5ea6d
1.2 MB Preview Download
md5:3a18fe73a73380cde4d7b91fe44fc308
27.1 kB Preview Download