Sfoglia per Autore
Principles for Entity Authentication
2003-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei
Compositional Analysis of Authentication Protocols
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei
Access Control for Mobile Agents: the Calculus of Boxed Ambients
2004-01-01 Bugliesi, Michele; Castagna, G.; Crafa, S.
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.
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
Typed Processes in Untyped Contexts
2005-01-01 Bugliesi, Michele; Giunti, M.
Analysis of Typed Analyses of Authentication Protocols
2005-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Communication and Mobility Control in Boxed Ambients
2005-01-01 Bugliesi, Michele; Crafa, S; Merro, M; Sassone, V.
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,
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
Dynamic Types for Authentication
2007-01-01 Bugliesi, Michele; Focardi, Riccardo; M., Maffei
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
A Type System for Discretionary Access Control
2009-01-01 Bugliesi, Michele; Colazzo, D; Crafa, S; Macedonio, M.
Compliance Preorders for Web Services.
2009-01-01 Bugliesi, Michele; Macedonio, Damiano; L., Pino; Rossi, Sabina
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