✦ LIBER ✦

Methodical use of cryptographic transformations in authentication protocols

✍ Scribed by Mao, W.; Boyd, C.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Authenticated Diffie-Hellman key agreeme

✍ Harn, L.; Hsin, W.-J.; Mehta, M. 📂 Article 📅 2005 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 182 KB

Use of a formal description technique in

✍ Vijay Varadharajan 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 734 KB

Analysis of Authentication Protocols in

✍ Ji Ma; Orgun, M.A.; Sattar, A. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 334 KB

Knowledge structure approach to verifica

✍ Kaile Su; Guanfeng Lü; Qingliang Chen 📂 Article 📅 2005 🏛 Science in China Press (SCP) 🌐 English ⚖ 250 KB

Authentication protocol using an identif

✍ Jong Sik Moon; Im-Yeong Lee 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 465 KB

Symbolic Reachability Analysis Using Nar

✍ José Meseguer; Prasanna Thati 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 522 KB