✦ LIBER ✦

A Rewriting Strategy for Protocol Verification

✍ Scribed by Monica Nesi; Giuseppina Rucci; Massimo Verdesca

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 947 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82616-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rewriting-Based Verification of Authenti

Rewriting-Based Verification of Authentication Protocols

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 266 KB

We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then wri

A Logic for Rewriting Strategies

✍ Richard B. Kieburtz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Rewriting Logic as a Framework for Gener

Rewriting Logic as a Framework for Generic Verification Tools

✍ Martin Leucker; Thomas Noll 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 332 KB

A rewriting strategy to verify observati

A rewriting strategy to verify observational congruence

✍ P. Inverardi; M. Nesi 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 797 KB

Protocol verification made simple: a tut

Protocol verification made simple: a tutorial

✍ Mohamed G. Gouda 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 960 KB

Test strategy for indeterministic protoc

Test strategy for indeterministic protocols

✍ Mária Tör″o 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 421 KB