Research on "Semantics and Logics of Computation"

A Type Inference Algorithm for Secure Ambients

ABSTRACT. We present a bottom-up type inference algorithm for security types in Mobile Ambients. The algorithm, given an untyped process $P$, calculates the minimal set of constraints on security levels such that all the actions during a run of $P$ can be performed without violating the security level priorities. Our algorithm appears as a preliminary step in order to use type systems to ensure security properties in the web scenario.

• ps , ps.gz

BIBTEX.

@inproceedings{Barbanera-Dezani-Salvo-Sassone:01,
   author    = {F. Barbanera, M. Dezani-Ciancaglini, I. Salvo and V. Sassone},
   title     = {A Type Inference Algorithm for Secure Ambients},
   booktitle = {{TOSCA 01}},
   publisher = {Elsevier},
   year      = {2001},
   volume    = {62},
   pages     = {215--236},
  {Electronic Notes in Theoretical Computer Science
		({http://www.elsevier.nl/locate/entcs/volume62.html})},
}