✦ LIBER ✦

Secure Protocol Composition

✍ Scribed by Datta, Anupam; Derek, Ante; Mitchell, John C.; Pavlovic, Dusko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Information-Theoretically Secure Protoco

✍ Kushilevitz, Eyal; Lindell, Yehuda; Rabin, Tal 📂 Article 📅 2010 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 294 KB

Security and Composition of Multiparty C

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

Compositional refinement in agent-based

✍ A. K. McIver; C. C. Morgan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 815 KB

Secure SCTP – A Versatile Secure Transpo

✍ Esbold Unurkhaan; Erwin P. Rathgeb; Andreas Jungmaier 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 431 KB

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB

New secure email protocol promised

📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 252 KB