✦ LIBER ✦

The Leader Election Protocol of IEEE 1394 in Maude

✍ Scribed by Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 198 KB
Volume: 36
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80133-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

New protocols for the election of a lead

New protocols for the election of a leader in a ring

✍ A. Marchetti-Spaccamela 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 718 KB

Automatic Verification of the IEEE-1394

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM

✍ Conrado Daws; Marta Kwiatkowska; Gethin Norman 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Case Studies in the Specification and An

Case Studies in the Specification and Analysis of Protocols in Maude

✍ Dilia E. Rodríguez 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 166 KB

We follow the method for the specification and analysis of protocols introduced in [3], further exploiting the capabilities of Maude. Our specifications are highly structured and allow the detection of type flaws, as well as replay attacks. We describe a variation of the search strategy introduced i