Login / Signup
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