Reconstruction and verification of group membership protocols

M. Atif, S. Cranen, M.R. Mousavi

    Research output: Book/ReportReportAcademic

    46 Downloads (Pure)

    Abstract

    In this paper, we present a process-algebraic speci??cation 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.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Publication statusPublished - 2010

    Publication series

    NameComputer science reports
    Volume1008
    ISSN (Print)0926-4515

    Fingerprint Dive into the research topics of 'Reconstruction and verification of group membership protocols'. Together they form a unique fingerprint.

    Cite this