✦ LIBER ✦

Typed Mobile Ambients in Maude

✍ Scribed by Fernando Rosa-Velardo; Clara Segura; Alberto Verdejo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Security boundaries in mobile ambients

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

Information Flow Security in Mobile Ambi

✍ Agostino Cortesi; Riccardo Focardi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 144 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

A Conference Reviewing System in Mobile

✍ Francisco Durán; Alberto Verdejo 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 270 KB