✦ LIBER ✦

A framework for compositional verification of security protocols

✍ Scribed by Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Saša Radomirović

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated verification of selected equiv

✍ Bruno Blanchet; Martín Abadi; Cédric Fournet 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 677 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

Compositional refinement in agent-based

✍ A. K. McIver; C. C. Morgan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 815 KB

The Compositional Security Checker: a to

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

Framework for evaluating security protoc

✍ J.H.P. Eloff; Suzi van Buuren 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 410 KB

A game-theoretic framework for specifica

✍ Mohamed Saleh; Mourad Debbabi 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 385 KB