✦ LIBER ✦

Algebra model and security analysis for cryptographic protocols

✍ Scribed by Jinpeng Huai; Xianxian Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decision problem concerning security for

✍ Toru Fujiwara; Kenichi Taniguchi; Tadao Kasami 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 938 KB

Security and Composition of Multiparty C

✍ Ran Canetti 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 326 KB

Cryptographic protocol security analysis

✍ Xianxian Li; Jinpeng Huai 📂 Article 📅 2006 🏛 Science in China Press (SCP) 🌐 English ⚖ 982 KB

An adaptive cryptographic engine for int

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

A Probabilistic Scheduler for the Analys

✍ Srečko Brlek; Sardaouna Hamadou; John Mullins 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 446 KB

Tree Automata for Detecting Attacks on P

✍ Yohan Boichut; Pierre-Cyrille Héam; Olga Kouchnarenko 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 375 KB