✦ LIBER ✦

Secure Information Flow via Linear Continuations

✍ Scribed by Steve Zdancewic; Andrew C. Myers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mediating secure information flow polici

✍ Guo-Qiang Zhang 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 202 KB

Unwinding in Information Flow Security

✍ A. Bossi; R. Focardi; D. Macedonio; C. Piazza; S. Rossi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 449 KB

Gate-Level Information-Flow Tracking for

✍ Tiwari, M.; Xun Li; Wassel, H.M.G.; Mazloom, B.; Mysore, S.; Chong, F.T.; Sherwo 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 711 KB

Information flow security, abstraction a

✍ Seehusen, F.; Stolen, K. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 312 KB

Information Flow Security in Mobile Ambi

✍ Agostino Cortesi; Riccardo Focardi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Information Flow Security for Boxed Ambi

✍ Silvia Crafa; Michele Bugliesi; Giuseppe Castagna 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 613 KB