Secure safe ambients

Michele Bugliesi, Giuseppe Castagna. Secure safe ambients. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 222-235, Association for Computing Machinery, 2001. [doi]

Abstract

Abstract is missing.