TY  - JOUR
AU  - Barbanera, Franco
AU  - Dezani-Ciancaglini, Mariangiola
AU  - Salvo, Ivano
AU  - Sassone, Vladimiro
PY  - 2002
DA  - 2002//
TI  - A Type Inference Algorithm for Secure Ambients
JO  - Electronic Notes in Theoretical Computer Science
SP  - 83
EP  - 101
VL  - 62
PB  - Elsevier
AB  - 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 present a bottom-up algorithm that, given an untyped process P, computes a minimal set of constraints on security levels such that all actions during runs of P are performed without violating the security level priorities. Such an algorithm appears to be a prerequisite to use type systems to ensure security properties in the web scenario.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Barbanera2002.pdf
UR  - https://doi.org/10.1016/S1571-0661(04)00321-4
DO  - 10.1016/S1571-0661(04)00321-4
N1  - TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types
ID  - Barbanera_etal2002
ER  -