𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Several cryptographic applications ofΣ-protocol

✍ Scribed by Chunming Tang; Zheng-an Yao

Book ID
107347121
Publisher
Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Year
2009
Tongue
English
Weight
313 KB
Volume
22
Category
Article
ISSN
1009-6124

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