Formal Verification of an Intrusion-Tolerant Group Membership Protocol

• Autores: H. Ramasamy, M. Cukier, W. Sanders
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 86, Nº 12, 2003, págs. 2612-2622
• Idioma: inglés
• Texto completo no disponible (Saber más ...)