✦ LIBER ✦

Information Flow Security in Mobile Ambients

✍ Scribed by Agostino Cortesi; Riccardo Focardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Information Flow Security for Boxed Ambi

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

Security boundaries in mobile ambients

✍ Chiara Braghin; Agostino Cortesi; Riccardo Focardi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 391 KB

Flow-sensitive Leakage Analysis in Mobil

✍ Chiara Braghin; Agostino Cortesi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 232 KB

Typed Mobile Ambients in Maude

✍ Fernando Rosa-Velardo; Clara Segura; Alberto Verdejo 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Unwinding in Information Flow Security

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

M3: Mobility Types for Mobile Processes

✍ Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 367 KB