Login / Signup
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures.
Thilo Weghorn
Si Liu
Christoph Sprenger
Adrian Perrig
David A. Basin
Published in:
CSF (2022)
Keyphrases
</>
security mechanisms
video on demand
high speed networks
email
shortest path
website
call admission control
internet protocol
internet users
security issues
end to end
security analysis
computer networks
wide area network
blocking probability
real time
electronic payment