Correctness of a gossip based membership protocol.

André Allavena Alan J. Demers John E. Hopcroft

Published in: PODC (2005)

Keyphrases

lightweight
security protocols
correctness criterion
network protocols
neural network
formal analysis
tcp ip
cryptographic protocols
communication protocol
application layer
communication protocols
trusted third party
coloured petri nets