SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Mousavi Mohammad Reza) ;pers:(Atif Muhammad)"

Sökning: WFRF:(Mousavi Mohammad Reza) > Atif Muhammad

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  • Atif, Muhammad, et al. (författare)
  • Reconstruction and verification of group membership protocols
  • 2010
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
rapport (2)
konferensbidrag (1)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (2)
refereegranskat (1)
Författare/redaktör
Mousavi, Mohammad Re ... (2)
Mousavi, Mohammad Re ... (1)
Osaiweran, Ammar (1)
Cranen, Sjoerd (1)
Lärosäte
Högskolan i Halmstad (3)
Språk
Engelska (3)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (3)

År

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.

 
pil uppåt Stäng

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