Secure safe ambients (2001)

by M Bugliesi, G Castagna
Venue:In Proc. of the ACM Symposium on Principles of programming languages