A Consistent History Link Connectivity Protocol.

Paul S. LeMahieu Jehoshua Bruck

Published in: PODC (1998)

Keyphrases

cryptographic protocols
lightweight
network protocols
connected components
formal analysis
neural network
website
security protocols
electronic commerce
topological properties
authentication protocol
network connectivity
key agreement protocol
coloured petri nets