𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Vulnerabilities of one cryptographic protocol

✍ Scribed by D. V. Kop’ev

Book ID
111494943
Publisher
Allerton Press Inc
Year
2009
Tongue
English
Weight
997 KB
Volume
64
Category
Article
ISSN
0027-1322

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

Proof of soundness (integrity) of crypto
Proof of soundness (integrity) of cryptographic protocols
✍ G. J. Simmons 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 592 KB

In 1990 a workshop on the Mathematical Concepts (or Principles) of Dependable Systems was held at the Mathematisches Forschungsinstitut Oberwolfach in Germany. The purpose of the workshop was to examine mathematical techniques developed to make it possible to prove the proper functioning of complex