✦ LIBER ✦

SeVe: automatic tool for verification of security protocols

✍ Scribed by Anh Tuan Luu; Jun Sun; Yang Liu; Jin Song Dong; Xiaohong Li; Thanh Tho Quan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Automated verification of selected equiv

✍ Bruno Blanchet; Martín Abadi; Cédric Fournet 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 677 KB

On automatic verification of self-stabil

✍ Pang, Jun ;Luo, Zhengqin ;Deng, Yuxin 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 159 KB

Efficient verification of security proto

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

The Compositional Security Checker: a to

✍ Focardi, R.; Gorrieri, R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 365 KB

Automatic Verification of a Lip-Synchron

✍ H. Bowman; G. Faconti; J.-P. Katoen; D. Latella; M. Massink 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 184 KB