Sfoglia per Autore
A Calculus of Bounded Capacities
2003-01-01 Franco, Barbanera; Bugliesi, Michele; MARIANGIOLA DEZANI, Ciancaglini; Vladimiro, Sassone
Authenticity by tagging and typing
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Type Based Discretionary Access Control
2004-01-01 Bugliesi, Michele; Colazzo, D; Crafa, S.
Access Control for Mobile Agents: the Calculus of Boxed Ambients
2004-01-01 Bugliesi, Michele; Castagna, G.; Crafa, S.
Compositional Analysis of Authentication Protocols
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei
Typed Processes in Untyped Contexts
2005-01-01 Bugliesi, Michele; Giunti, M.
Second Workshop on Object Oriented Developments (WOOD 2004)
2005-01-01 Bono, V; Drossopoulou, S; Bugliesi, Michele
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols
2005-01-01 Bugliesi, Michele; Rossi, Sabina
Communication and Mobility Control in Boxed Ambients
2005-01-01 Bugliesi, Michele; Crafa, S; Merro, M; Sassone, V.
Analysis of Typed Analyses of Authentication Protocols
2005-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
2006-01-01 Bugliesi, Michele; Preneel, B; Sassone, V; Wegener, I; Editors,
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
2006-01-01 Bugliesi, Michele; Preneel, B; Sassone, V; Wegener, I; Editors,
Dynamic Types for Authentication
2007-01-01 Bugliesi, Michele; Focardi, Riccardo; M., Maffei
Space-aware ambients and processes
2007-01-01 Barbanera, F; Bugliesi, Michele; DEZANI CIANCAGLINI, M; Sassone, V.
Secure implementations of typed channel abstractions
2007-01-01 Bugliesi, Michele; Giunti, M.
Static vs Dynamic Typing for Access Control in Pi-Calculus
2007-01-01 Bugliesi, Michele; D., Macedonio; Rossi, Sabina
A Theory of Adaptable Contract-based Service Composition.
2008-01-01 G., Bernardi; Bugliesi, Michele; D., Macedonio; Rossi, Sabina
Language Based Secure Communication
2008-01-01 Bugliesi, Michele; Focardi, Riccardo
Security Abstractions and Intruder Models
2009-01-01 Bugliesi, Michele; Focardi, Riccardo
A Type System for Discretionary Access Control
2009-01-01 Bugliesi, Michele; Colazzo, D; Crafa, S; Macedonio, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile