Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Peer-to-Peer Networking and Applications
Published in: Peer-to-Peer Networking and Applications 5/2015

01-09-2015

Analyzing the exhaustiveness of the Synapse protocol

Authors: Bojan Marinković, Vincenzo Ciancaglini, Zoran Ognjanović, Paola Glavan, Luigi Liquori, Petar Maksimović

Published in: Peer-to-Peer Networking and Applications | Issue 5/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The Synapse protocol is a scalable protocol designed for information retrieval over inter-connected heterogeneous overlay networks. In this paper, we give a formal description of Synapse using the Abstract State Machines framework. The formal description pertains to Synapse actions that manipulate distributed keys. Based on this formal description, we present results concerning the expected exhaustiveness for a number of scenarios and systems maintained by the Synapse protocol, and provide comparisons to the results of the corresponding simulations and experiments. We show that the predicted theoretical results match the obtained experimental results, and give recommendations on the design of systems using Synapse.
previous article MuDA: Multifunctional data aggregation in privacy-preserving smart grid communications
next article A performance comparison of Chord and Kademlia DHTs in high churn scenarios

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Appendix
Available only for authorised users
Literature
1.
Börger E, Stärk R (2003) Abstract state machines a method for high-level system design and analysis. Springer-Verlag
2.
Ciancaglini V, Liquori L, Vanni L (2010) CarPal: interconnecting overlay networks for a community-driven shared mobility. In: TGC 2010. International symposium on trustworthy global computing. Lecture Notes in Computer Science, vol 6084. Springer-Verlag, pp 301–317
3.
Gurevich Y (1995) Evolving algebras 1993: Lipari guide. In: Specification and validation methods. Oxford University Press, pp 9–36
4.
Gurevich Y (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1 (1): 77–111MathSciNetCrossRef
5.
Liquori L, Tedeschi C, Vanni L, Bongiovanni F, Ciancaglini V, Marinković B (2010) Synapse: a scalable protocol for interconnecting heterogeneous overlay networks. In: Networking 2010. Lecture notes in computer science, vol 6091 (p. 410). pp 67–82
6.
Ciancaglini V, Hoang GN, Liquori L (2011) Towards a common architecture to interconnect heterogeneous overlay networks. In: ICPADS 2011. IEEE, pp 817–822
7.
Ciancaglini V, Hoang GN, Maksimović P, Liquori L (2012) An extension and cooperation mechanism for heterogeneous overlay networks. In: Networking 2012. Lecture notes in computer science, vol 7291. pp 10–18
8.
Marinković B, Liquori L, Ciancaglini V, Ognjanović Z (2011) A distributed catalog for digitized cultural heritage. In: ICT innovations 2010, CCIS 83. pp 176–186
9.
Marinković B, Glavan P, Ognjanović Z Formal description of the chord protocol using ASM. At arXiv: 1208.​0712v1
Metadata
Title
Analyzing the exhaustiveness of the Synapse protocol
Authors
Bojan Marinković
Vincenzo Ciancaglini
Zoran Ognjanović
Paola Glavan
Luigi Liquori
Petar Maksimović
Publication date
01-09-2015
Publisher
Springer US
Published in
Peer-to-Peer Networking and Applications / Issue 5/2015
Print ISSN: 1936-6442
Electronic ISSN: 1936-6450
DOI
https://doi.org/10.1007/s12083-014-0293-z

Other articles of this Issue 5/2015

Peer-to-Peer Networking and Applications 5/2015 Go to the issue

OriginalPaper

Dependability and reliability analysis of intra cluster routing technique

OriginalPaper

A P2P streaming architecture supporting scalable media

OriginalPaper

MuDA: Multifunctional data aggregation in privacy-preserving smart grid communications

OriginalPaper

Cost and performance effective data center selection system for scientific federated cloud

OriginalPaper

VoIP-aware network attack detection based on statistics and behavior of SIP traffic

OriginalPaper

A performance comparison of Chord and Kademlia DHTs in high churn scenarios

Premium Partner

    Image Credits