Deadlock Prevention in the Æthereal Protocol.

Biniam Gebremichael Frits W. Vaandrager Miaomiao Zhang Kees Goossens Edwin Rijpkema Andrei Radulescu

Published in: CHARME (2005)

Keyphrases

lightweight
network protocols
authentication protocol
tcp ip
formal analysis
security protocols
learning algorithm
multi agent
privacy preserving
smart card
security analysis
cryptographic protocols
file transfer