SwePub
Sök i LIBRIS databas

  Utökad sökning

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

Sökning: onr:"swepub:oai:DiVA.org:hh-20531" > Reconstruction and ...

Reconstruction and verification of group membership protocols

Atif, Muhammad, (författare)
Eindhoven University of Technology, Eindhoven, The Netherlands
Cranen, Sjoerd, (författare)
Eindhoven University of Technology, Eindhoven, The Netherlands
Mousavi, Mohammad Reza, 1978- (författare)
Eindhoven University of Technology, Eindhoven, The Netherlands
Eindhoven : Eindhoven University of Technology, 2010
Engelska 38s.
Serie: Computer science report
  • Rapport (övrigt vetenskapligt)
Abstract Ämnesord
Stäng  
  • <p>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.</p>

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Science (hsv//eng)

Nyckelord

Group Membership Protocols
Formal Specification
Process Algebra
Formal Verification
Model Checking

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)
vet (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Atif, Muhammad
Cranen, Sjoerd
Mousavi, Mohamma ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Delar i serien
Av lärosätet
Högskolan i Halmstad

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy