Brief Announcement: A Stable and Robust Membership Protocol.

Ajoy Kumar Datta Anne-Marie Kermarrec Lawrence L. Larmore Erwan Le Merrer

Published in: SSS (2011)

Keyphrases

lightweight
network protocols
formal analysis
tcp ip
authentication protocol
communication protocol
key exchange protocol
databases
mobile devices
security analysis
cryptographic protocols
trusted third party
fuzzy membership
protocol specification