A Type Inference Algorithm for Secure Ambients

DOI10.1016/S1571-0661(04)00321-4zbMath1268.68120OpenAlexW2103070725MaRDI QIDQ2841272

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00321-4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Space-aware ambients and processes ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A typed encoding of boxed into safe ambients ⋮ Types for ambient and process mobility

Cites Work

• On the Expressiveness of Pure Mobile Ambients
• Controlling interference in ambients
• Anytime, anywhere
• Secure safe ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Type Inference Algorithm for Secure Ambients