Correctness of the Chord protocol.

Bojan Marinkovic Zoran Ognjanovic Paola Glavan Anton Kos Anton Umek

Published in: Comput. Sci. Inf. Syst. (2020)

Keyphrases

lightweight
correctness criterion
tcp ip
website
cryptographic protocols
file transfer
real time
neural network
genetic algorithm
end to end
formal analysis
authentication protocol
communication protocols
network simulator
network protocols