hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Reconstruction and verification of group membership protocols
Eindhoven University of Technology, Eindhoven, The Netherlands.
Eindhoven University of Technology, Eindhoven, The Netherlands.
Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
2010 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

In this paper, we present a process-algebraic specication of group membership protocols specified in [Y. Amir, D. Dolev, S. Kramer and D. Malki, Membership Algorithms for Multicast Communication Groups, Springer-Verlag, 1992]. In order to formalise the protocol and its properties we disambiguate the informal specification provided by the paper. This requires trying different possible interpretations in the formal model and checking the consistency of the assumption and formally verifying the correctness properties. We thus present a formal reconstruction of the membership algorithms and model-check our reconstruction.

sted, utgiver, år, opplag, sider
Eindhoven: Eindhoven University of Technology , 2010. , s. 38
Serie
Computer science report ; 10-08
Emneord [en]
Group Membership Protocols, Formal Specification, Process Algebra, Formal Verification, Model Checking
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20531OAI: oai:DiVA.org:hh-20531DiVA, id: diva2:584472
Tilgjengelig fra: 2013-01-09 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Full text

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 160 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf