A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...
A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...
A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...
Security types for mobile safe ambients (2000)
M. Dezani-ciancaglini, I. Salvo
Abstract. The Ambient Calculus and the Safe Ambient Calculus have been recently successfully proposed as models for the Web. They are based on the notions of ambient movement and ambient opening....