Sökning: onr:"swepub:oai:DiVA.org:hh-20531" >
Reconstruction and ...
-
Atif, MuhammadEindhoven University of Technology, Eindhoven, The Netherlands
(författare)
Reconstruction and verification of group membership protocols
Förlag, utgivningsår, omfång ...
-
Eindhoven :Eindhoven University of Technology,2010
-
38 s.
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20531
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20531URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:rap swepub-publicationtype
Serie
-
Computer science report ;10-08
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Cranen, SjoerdEindhoven University of Technology, Eindhoven, The Netherlands
(författare)
-
Mousavi, Mohammad Reza,1978-Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou
(författare)
-
Eindhoven University of Technology, Eindhoven, The Netherlands
(creator_code:org_t)
Internetlänk