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.
Totality, definability and boolean circuits / Antonio, Bucciarelli; Salvo, Ivano. - STAMPA. - 1443(1998), pp. 808-819. ((Intervento presentato al convegno Automata, Languages and Programming, 25th International Colloquium tenutosi a Aalborg, Danemark nel July 13-17, 1998.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Totality, definability and boolean circuits |
Autori: | |
Data di pubblicazione: | 1998 |
Rivista: | |
Citazione: | Totality, definability and boolean circuits / Antonio, Bucciarelli; Salvo, Ivano. - STAMPA. - 1443(1998), pp. 808-819. ((Intervento presentato al convegno Automata, Languages and Programming, 25th International Colloquium tenutosi a Aalborg, Danemark nel July 13-17, 1998. |
Handle: | http://hdl.handle.net/11573/389333 |
ISBN: | 9783540647812 |
Appartiene alla tipologia: | 04a Atto di comunicazione a congresso |