✦ LIBER ✦

Security boundaries in mobile ambients

✍ Scribed by Chiara Braghin; Agostino Cortesi; Riccardo Focardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Information Flow Security in Mobile Ambi

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

Typed Mobile Ambients in Maude

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

M3: Mobility Types for Mobile Processes

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

Flow-sensitive Leakage Analysis in Mobil

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

Type Inference for Mobile Ambients in Pr

✍ Elio Giovannetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Deciding Reachability in Mobile Ambients

✍ Giorgio Delzanno; Roberto Montagna 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 262 KB