Case Studies in the Specification and Analysis of Protocols in Maude
Dilia E. Rodríguez · Electronic Notes in Theoretical Computer Science · 2000
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.