✦ LIBER ✦

A formalism for visual security protocol modeling

✍ Scribed by J. McDermott; G. Allwein

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal security model for microprocess

✍ Lotz, V.; Kessler, V.; Walter, G.H. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 193 KB

Formal verification of secure group comm

✍ P. de Saqui-Sannes; T. Villemur; B. Fontan; S. Mota; M. S. Bouassida; N. Chridi; 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 647 KB

Formal verification of security protocol

✍ Matteo Avalle, Alfredo Pironti, Riccardo Sisto 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 361 KB

LTL model checking for security protocol

✍ Armando, Alessandro; Carbone, Roberto; Compagna, Luca 📂 Article 📅 2009 🏛 Editions Lavoisier 🌐 English ⚖ 504 KB

A formal model of fair exchange protocol

✍ Sihan Qing; Gaicheng Li 📂 Article 📅 2005 🏛 Science in China Press (SCP) 🌐 English ⚖ 173 KB

A formal model for the security of proxy

✍ Gu Chun-xiang; Zhu Yue-fei; Zhang Ya-juan 📂 Article 📅 2005 🏛 Wuhan University 🌐 English ⚖ 371 KB