| Authors: | Marinković, Bojan Glavan, Paola Ognjanović, Zoran |
Title: | Proving properties of the Chord protocol using the ASM formalism | Journal: | Theoretical Computer Science | Volume: | 756 | First page: | 64 | Last page: | 93 | Issue Date: | 17-Jan-2019 | Rank: | M23 | ISSN: | 0304-3975 | DOI: | 10.1016/j.tcs.2018.10.025 | Abstract: | This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate distributed keys. We define a minimal set of deterministic constraints and prove that they guarantee the stability of the topological structure of the network and the consistency of data handling. |
Keywords: | Abstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peer | Publisher: | Elsevier | Project: | Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education |
Show full item record
SCOPUSTM
Citations
3
checked on Dec 20, 2024
Page view(s)
21
checked on Dec 22, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.