✦ LIBER ✦

Compositional refinement in agent-based security protocols

✍ Scribed by A. K. McIver; C. C. Morgan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Composition of Secure Protoco

✍ Yael Tauman Kalai; Yehuda Lindell; Manoj Prabhakaran 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 527 KB

A comparison of different trading protoc

✍ Paolo Pellizzari; Arianna Dal Forno 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 273 KB

Design on PKI-based anonymous mobile age

✍ Meng Xiangsong; Han Fengwu 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 368 KB

An XML-based testing strategy for probin

✍ Daping Wang 📂 Article 📅 2007 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 187 KB

A general protocol to coat titania shell

✍ Rongbo Zheng; Xianwei Meng; Fangqiong Tang 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 827 KB

An agent-based approach towards automati

✍ Maria J. Santofimia; Francisco Moya; Felix J. Villanueva; David Villa; Juan C. L 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 558 KB