On a local protocol for concurrent file transfers.

MohammadTaghi Hajiaghayi Rohit Khandekar Guy Kortsarz Vahid Liaghat

Published in: SPAA (2011)

Keyphrases

lightweight
read write
file system
network simulator
coloured petri nets
cryptographic protocols
real time
data sets
formal analysis
authentication protocol
provably secure
file structure
network protocols
file transfer
communication protocols
file organization