Secure safe ambients

DOI10.1145/360204.360223zbMath1323.68404OpenAlexW2114569557MaRDI QIDQ5178885

Michele Bugliesi, Giuseppe Castagna

Publication date: 17 March 2015

Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360204.360223

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (13)

On abstract interpretation of mobile ambients ⋮ Space-aware ambients and processes ⋮ Information flow security in boundary ambients ⋮ A typed encoding of boxed into safe ambients ⋮ Types for the ambient calculus ⋮ Flow-sensitive type systems and the ambient calculus ⋮ A Type Inference Algorithm for Secure Ambients ⋮ A Fully Abstract Model for Mobile Ambients ⋮ The seal calculus ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus. ⋮ Behavioural typing for safe ambients ⋮ Security boundaries in mobile ambients

This page was built for publication: Secure safe ambients