✦ LIBER ✦

Design and formal verification of a CEM protocol with transparent TTP

✍ Scribed by Zhiyuan Liu, Jun Pang, Chenyi Zhang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and formal verification of a hier

✍ Hemangee K. Kapoor, Praveen Kanakala, Malti Verma… 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 884 KB

Framework and Tool Support for Formal Ve

✍ Peter Herrmann; Heiko Krumm; Olaf Drögehorn; Walter Geisselhardt 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 175 KB

Toward efficient protocol design through

✍ Stylianos Georgoulas; Klaus Moessner 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 256 KB

Formal description and verification of a

✍ Layuan Li 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 363 KB

Formal verification of analog and mixed

✍ Mohamed H. Zaki; Sofiène Tahar; Guy Bois 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 273 KB

Design and verification of a coordinatio

✍ J. P. Thomas 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 164 KB