On the Optimality of the ARQ-DDF Protocol

Kambiz Azarian Hesham El Gamal Philip Schniter

Published in: CoRR (2006)

Keyphrases

lightweight
cryptographic protocols
tcp ip
optimal solution
formal analysis
coloured petri nets
security protocols
communication protocol
real time
file transfer