Filters








2 Hits in 2.5 sec

Formal Specification of the Kademlia and the Kad Routing Tables in Maude [chapter]

Isabel Pita, María-Inés Fernández-Camacho
2013 Lecture Notes in Computer Science  
This paper presents the specification of both the Kademlia and the Kad routing tables, using the specification language Maude. As far as we know, this is the first such a formal development.  ...  Kad is the implementation by eMule and aMule of the Kademlia peer-to-peer distributed hash table protocol.  ...  As far as we know there is no other formal specification of the Kademlia and Kad routing tables.  ... 
doi:10.1007/978-3-642-37635-1_14 fatcat:q5n5t6s73jdmboc27f4z267k3i

Specifying and Analyzing the Kademlia Protocol in Maude [chapter]

Isabel Pita, Adrián Riesco
2015 Lecture Notes in Computer Science  
This paper presents the distributed specification of the behavior of a P2P network that uses the Kademlia DHT in the formal specification language Maude.  ...  The structure of the routing table defined in each peer guarantees that the lookup algorithm takes no longer than log n steps.  ...  This paper presents a distributed specification in Maude [5] , a formal specification language based on rewriting logic, of the behavior of a P2P network that uses the Kademlia DHT.  ... 
doi:10.1007/978-3-319-25150-9_30 fatcat:giy3fbqxvffalkgsw7c3nsn3mu