Reconstruction and verification of group membership protocols

Tyck till om SwePub Sök här!

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

(creator_code:org_t)

Relaterad länk:: http://www.win.tue.n...; visa fler...; https://urn.kb.se/re...; visa färre...

Abstract Ämnesord

Stäng

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.

Av författaren/redakt...: Atif, Muhammad; Cranen, Sjoerd; Mousavi, Mohamma ...

Om ämnet

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.