✦ LIBER ✦

An Engineering Realization Method for Security Protocols

✍ Scribed by Xinghua Li; Deng Li; Shuaituan Li; Jianfeng Ma

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An adaptive cryptographic engine for int

✍ Dandalis, Andreas; Prasanna, Viktor K. 📂 Article 📅 2004 🏛 Association for Computing Machinery 🌐 English ⚖ 259 KB

Cryptographic Protocol || Engineering Pr

✍ Dong, Ling; Chen, Kefei 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 541 KB

A method for symbolic analysis of securi

✍ Michele Boreale; Maria Grazia Buscemi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 421 KB

An attack-finding algorithm for security

✍ Dongxi Liu; Xiaoyong Li; Yingcai Bai 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 940 KB

An efficient and secure authentication p

✍ Md. Monzur Morshed, Anthony Atkins, Hong-Nian Yu 📂 Article 📅 2012 🏛 Institute of Automation, Chinese Academy of Scienc 🌐 English ⚖ 502 KB

Towards an open protocol for secure onli

✍ A.C.M. Fong; S.C. Hui; C.T. Lau 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 244 KB