Correctness of the Chord protocol | Zendy

Bojan Marinković | Zendy; Zoran Ognjanović | Zendy; Paola Glavan | Zendy; Anton Kos | Zendy; Anton Umek | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Correctness of the Chord protocol

Author(s) -

Bojan Marinković,

Zoran Ognjanović,

Paola Glavan,

Anton Kos,

Anton Umek

Publication year - 2019

Publication title -

computer science and information systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.244

H-Index - 24

eISSN - 2406-1018

pISSN - 1820-0214

DOI - 10.2298/csis181115017m

Subject(s) - correctness , chord (peer to peer) , computer science , theoretical computer science , distributed computing , protocol (science) , computer network , programming language , medicine , alternative medicine , pathology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research