✦ LIBER ✦

Automated verification of selected equivalences for security protocols

✍ Scribed by Bruno Blanchet; Martín Abadi; Cédric Fournet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Design of Security Protocols

✍ Chen Hao; John A. Clark; Jeremy L. Jacob 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

Automated Analysis of Security Protocols

✍ Michael Rusinowitch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB

SeVe: automatic tool for verification of

✍ Anh Tuan Luu; Jun Sun; Yang Liu; Jin Song Dong; Xiaohong Li; Thanh Tho Quan 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 527 KB

Efficient verification of security proto

✍ Edmund Clarke; Somesh Jha; Will Marrero 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 297 KB

Model-Based Verification of a Security P

✍ G. Leduc; O. Bonaventure; L. Léonard; E. Koerner; C. Pecheur 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 253 KB