Geodesic
Correctness of the Chord Protocol
Computer Science and Information Systems, Tome 17 (2020) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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.
Keywords: IoT, DHT, Chord, correctness, temporal logic, epistemic logic 
@article{CSIS_2020_17_1_a8,
     author = {Bojan Marinkovi\'c and Zoran Ognjanovi\'c and Paola Glavan and Anton Kos and Anton Umek},
     title = {Correctness of the {Chord} {Protocol}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/}
}
TY  - JOUR
AU  - Bojan Marinković
AU  - Zoran Ognjanović
AU  - Paola Glavan
AU  - Anton Kos
AU  - Anton Umek
TI  - Correctness of the Chord Protocol
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/
ID  - CSIS_2020_17_1_a8
ER  - 
%0 Journal Article
%A Bojan Marinković
%A Zoran Ognjanović
%A Paola Glavan
%A Anton Kos
%A Anton Umek
%T Correctness of the Chord Protocol
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/
%F CSIS_2020_17_1_a8
Bojan Marinković; Zoran Ognjanović; Paola Glavan; Anton Kos; Anton Umek. Correctness of the Chord Protocol. Computer Science and Information Systems, Tome 17 (2020) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/