Analyzing the Fundamental Liveness Property of the Chord Protocol.

Julien Brunel David Chemouil Jeanne Tawa

Published in: FMCAD (2018)

Keyphrases

lightweight
neural network
formal analysis
security protocols
tcp ip
network protocols
genetic algorithm
low cost
authentication protocol
protocol specification
coloured petri nets