Performance analysis of a file delivery system based on the FLUTE protocol.

Jani Peltotalo Sami Peltotalo Jarmo Harju Rod Walsh

Published in: Int. J. Commun. Syst. (2007)

Keyphrases

lightweight
formal analysis
coloured petri nets
database
file formats
cryptographic protocols
file organization
file structure
key agreement protocol
network protocols