Catalogo dei prodotti della ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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 |
File allegati a questo prodotto
Copyright © 2021