SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:DiVA.org:hh-20531"
 

Search: onr:"swepub:oai:DiVA.org:hh-20531" > Reconstruction and ...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist
  • Atif, MuhammadEindhoven University of Technology, Eindhoven, The Netherlands (author)

Reconstruction and verification of group membership protocols

  • BookEnglish2010

Publisher, publication year, extent ...

  • Eindhoven :Eindhoven University of Technology,2010
  • 38 s.
  • printrdacarrier

Numbers

  • LIBRIS-ID:oai:DiVA.org:hh-20531
  • https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20531URI

Supplementary language notes

  • Language:English
  • Summary in:English

Part of subdatabase

Classification

  • Subject category:vet swepub-contenttype
  • Subject category:rap swepub-publicationtype

Series

  • Computer science report ;10-08

Notes

  • 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.

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Cranen, SjoerdEindhoven University of Technology, Eindhoven, The Netherlands (author)
  • Mousavi, Mohammad Reza,1978-Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou (author)
  • Eindhoven University of Technology, Eindhoven, The Netherlands (creator_code:org_t)

Internet link

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Atif, Muhammad
Cranen, Sjoerd
Mousavi, Mohamma ...
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
Parts in the series
By the university
Halmstad University

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view