๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification of high-level protocol implementations

โœ Scribed by Ken Weaving

Publisher
Elsevier Science
Year
1981
Tongue
English
Weight
469 KB
Volume
4
Category
Article
ISSN
0140-3664

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Practice of Cryptographic Protocol V
The Practice of Cryptographic Protocol Verification
โœ Michael Rusinowitch ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 119 KB

We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related comple

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