✦ LIBER ✦

Secured Information Flow for Asynchronous Sequential Processes

✍ Scribed by Isabelle Attali; Denis Caromel; Ludovic Henrio; Felipe Luna Del Aguila

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Per Model of Secure Information Flow i

✍ Andrei Sabelfeld; David Sands 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 166 KB

Information Flow Security for Boxed Ambi

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

Budgeting process for information securi

✍ Günter Müller 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 125 KB

On information inequalities in sequentia

✍ Jürgen Franz; Ryszard Magiera 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 1015 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

Abstract interpretation of operational s

✍ R. Barbuti; C. Bernardeschi; N. De Francesco 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 106 KB