Specifying and Analyzing the Kademlia Protocol in Maude.

Isabel Pita Adrián Riesco

Published in: ICTAC (2015)

Keyphrases

lightweight
formal analysis
communication protocol
databases
decision trees