✦ LIBER ✦

The Security Picalculus and Non-interference (Extended Abstract)

✍ Scribed by Hennessy, Matthew

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The security pi-calculus and non-interfe

✍ Matthew Hennessy 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 352 KB

A secure protocol for the oblivious tran

✍ M. J. Fischer, S. Micali and C. Rackoff 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 79 KB

Path-integral equivalence between the ex

✍ Alain Dresse; Philippe Gregoire; Marc Henneaux 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 355 KB

[Lecture Notes in Computer Science] Info

✍ Varadharajan, Vijay; Mu, Yi 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 158 KB

Fourth-order interference and the extend

✍ Al Hadhrami, H.; Vourdas, A. 📂 Article 📅 2009 🏛 The American Physical Society 🌐 English ⚖ 352 KB

Granularity and the Development of Concu

✍ C.B. Jones 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 238 KB