✦ LIBER ✦

Update Semantics of Security Protocols

✍ Scribed by Arjen Hommersom; John-jules Meyer; Erik De vink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards an Awareness-Based Semantics for

✍ Rafael Accorsi; David Basin; Luca Viganò 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Security Analysis of a Dynamic Program U

✍ Weijia Wang; Lei Hu; Yong Li 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 137 KB

Automated Design of Security Protocols

✍ Chen Hao; John A. Clark; Jeremy L. Jacob 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

Automated Analysis of Security Protocols

✍ Michael Rusinowitch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Security weakness in a dynamic program u

✍ Peng Zeng; Zhenfu Cao; Choo, K.-K.R.; Shengbao Wang 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 143 KB

On the security of recent protocols

✍ John Clark; Jeremy Jacob 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 372 KB