✦ LIBER ✦

Logic for verifying public-key cryptographic protocols

✍ Scribed by Coffey, T.; Saidha, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cryptographic protocol logic: Satisfacti

✍ Simon Kramer 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 439 KB

ENDL: A Logical Framework for Verifying

✍ Qingfeng Chen; Chengqi Zhang; Shichao Zhang 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

A cryptographically sound security proof

✍ Backes, M.; Pfitzmann, B. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 416 KB

Extending NCP for protocols using public

✍ Aviel D. Rubin 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 578 KB

[Lecture Notes in Computer Science] Comp

✍ Leite, João; Torroni, Paolo 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 252 KB

Vehicle Safety Communications (Protocols

✍ Delgrossi, Luca; Zhang, Tao 📂 Article 📅 2012 🏛 John Wiley & Sons, Inc. ⚖ 230 KB