Reconstruction and verification of group membership protocols

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    89 Downloads (Pure)

    Samenvatting

    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.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    StatusGepubliceerd - 2010

    Publicatie series

    NaamComputer science reports
    Volume1008
    ISSN van geprinte versie0926-4515

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Reconstruction and verification of group membership protocols'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit