Published February 4, 2022 | Version v2
Report Open

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

Authors/Creators

  • 1. Swisscom
  • 2. 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-paper49-final-fullversion.pdf

Files (1.2 MB)

Name Size Download all
md5:0024af526dcc62c1cfdfa38c30d6b2a3
1.2 MB Preview Download
md5:3a18fe73a73380cde4d7b91fe44fc308
27.1 kB Preview Download