Correctness of the Chord Protocol.

Bojan Marinkovic Zoran Ognjanovic Paola Glavan Anton Kos Anton Umek

Published in: CoRR (2017)

Keyphrases

lightweight
website
formal analysis
correctness criterion
cryptographic protocols
network protocols
databases
metadata
mobile devices
low cost
authentication protocol
tcp ip
network simulator
coloured petri nets