𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deductive verification of cryptographic software

✍ Scribed by José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira

Book ID
106573700
Publisher
Springer
Year
2010
Tongue
English
Weight
501 KB
Volume
6
Category
Article
ISSN
1614-5046

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