𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Case Studies in the Specification and Analysis of Protocols in Maude

✍ Scribed by Dilia E. Rodríguez

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
166 KB
Volume
36
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

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 in [3] that supports two kinds of optimizations in a simple and modular way. Rodríguez

📜 SIMILAR VOLUMES

Painleve Analysis and the Yang-Mills Equ
Painleve Analysis and the Yang-Mills Equation in Two Specific Cases
✍ A. Roy Chowdhury; Minati Naskar 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

A b s t r a c t . Two important configurations of Yang-Mills fieIds are discussed applying to them the Painleve test of Ablowitz. The case with a constant electric E-field does not a d a i t an exact solution while the cylindrically symmetric self-dual system admits an inverse scattering approach fo