Correctness of the Chord Protocol

Glavan, Paola and Marinković, Bojan and Ognjanović, Zoran and Umek, Anton (2016) Correctness of the Chord Protocol. = Correctness of the Chord Protocol. In: Information and Knowledge in the Internet of Things - IIKI 2016, 20-21.10.2016., Beijing, Kina.

Correctness_of_the_Chord_Protocol.pdf Jezik dokumenta:English

Download (604kB) | Preview
Official URL:


Internet of Things (IoT) can be seen as a cooperation of the various heterogeneous devices with limited performances, that participate in the same system. By they nature, these devices can be very distributed. The core of every IoT system is its discovery and control service. The Chord protocol is one of the first, simplest and most popular distributed protocol and can be use as a backbone of the discovery and control services of an IoT system. In this paper we prove the correctness of the Chord protocol using the logic of time and knowledge. We consider Chord actions that maintain ring topology with the additional assumption the nodes are not allowed to fail or leave.

Item Type: Conference or Workshop Item (Lecture)
Keywords (Croatian): IoT; DHT; Chord; correctness; temporal logic; epistemic logic
Subjects: NATURAL SCIENCES > Mathematics
Divisions: 1500 Chair of Mathematics
Indexed in Web of Science: No
Indexed in Current Contents: No
Date Deposited: 05 Jan 2018 12:07
Last Modified: 08 Jan 2018 11:16

Actions (login required)

View Item View Item


Downloads per month over past year

Nema podataka za dohvacanje citata