scholarly journals Correctness of the Chord Protocol

2016 ◽  
Author(s):  
Bojan Marinkovic ◽  
Zoran Ognjanovic ◽  
Paola Glavan ◽  
Anton Umek
Keyword(s):  
Chord Protocol

scholarly journals Correctness of the Chord protocol

2020 ◽  
Vol 17 (1) ◽  
pp. 141-160
Author(s):  
Bojan Marinkovic ◽  
Zoran Ognjanovic ◽  
Paola Glavan ◽  
Anton Kos ◽  
Anton Umek
Keyword(s):  
Internet Of Things ◽  
Distributed Architecture ◽  
Ring Topology ◽  
Distributed Protocols ◽  
The Core ◽  
Iot Devices ◽  
Deterministic Description ◽  
And Control ◽  
Chord Protocol

Internet of Things (IoT) can be seen as a cooperation of various devices with limited performances that participate in the same system. IoT devices compose a distributed architecture system. The core of every IoT system is its discovery and control services. To realize such services, some authors used the developed solutions from the different domains. One such solution is the Chord protocol, one of the first, the simplest and the most popular distributed protocols. Unfortunately, the application of the Chord protocol was realized using the correctness of the Chord protocol for granted, or by the very hard assumptions. In this paper we prove the correctness of the Chord protocol using the logic of time and knowledge with the respect to the set of possible executions, called regular runs. We provide the deterministic description of the correctness of the Chord protocol and consider Chord actions that maintain ring topology while the nodes can freely join or leave.

Proving properties of the Chord protocol using the ASM formalism

2019 ◽  
Vol 756 ◽  
pp. 64-93 ◽  
Author(s):  
Bojan Marinković ◽  
Paola Glavan ◽  
Zoran Ognjanović
Keyword(s):  
Chord Protocol
Sign in / Sign up

Export Citation Format

Share Document