𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Handling Dependencies in Reorganizing Content Specifications – A Case Study of Case Analysis

✍ Scribed by Helmut Horacek


Book ID
106519217
Publisher
Springer
Year
2006
Tongue
English
Weight
259 KB
Volume
4
Category
Article
ISSN
1570-7075

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Case Studies in the Specification and An
✍ 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