scientific article
From MaRDI portal
Publication:2766539
zbMath0988.68544MaRDI QIDQ2766539
Mariangiola Dezani-Ciancaglini, Ivano Salvo
Publication date: 8 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
On abstract interpretation of mobile ambients ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Information flow security in boundary ambients ⋮ A typed encoding of boxed into safe ambients ⋮ Types for the ambient calculus ⋮ A Type Inference Algorithm for Secure Ambients ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus. ⋮ Security boundaries in mobile ambients
This page was built for publication:
