Sfoglia per Autore
Information Leakage Detection in Boundary Ambients
2003-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
Classification of Security Properties (Part II: Network Security)
2004-01-01 Focardi, Riccardo; Roberto, Gorrieri; Fabio, Martinelli
Nesting analysis of mobile ambients
2004-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; Carla, Piazza
Compositional Analysis of Authentication Protocols
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei
Foundations of Security Analysis and Design II - Tutorial Lectures
2004-01-01 Focardi, Riccardo; R., Gorrieri
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
2004-01-01 Focardi, Riccardo; G., Zavattaro
Verifying Persistent Security Properties.
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C.; Rossi, Sabina
How tasty is a cannibal? A strategy for the mesh cannibal game
2004-01-01 Focardi, Riccardo; Luccio, Flaminia
Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW17)
2004-01-01 Focardi, Riccardo
A modular approach to Sprouts
2004-01-01 Focardi, Riccardo; Luccio, Flaminia
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients
2004-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Authenticity by tagging and typing
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Unwinding in Information Flow Security
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Macedonio, D; Piazza, C; Rossi, Sabina
The ro-spi Calculus at Work: Authentication Case Studies
2004-01-01 Focardi, Riccardo; M., Maffei
Static Analysis of Authentication
2005-01-01 Focardi, Riccardo
Authentication primitives for secure protocol specifications
2005-01-01 C., Bodei; P., Degano; Focardi, Riccardo; C., Priami
Special Issue on CSFW16
2005-01-01 Focardi, Riccardo
Inferring Authentication Tags
2005-01-01 Focardi, Riccardo; Maffei, M.; Placella, F.
Bridging Language-Based and Process Calculi Security
2005-01-01 Focardi, Riccardo; Rossi, Sabina; Sabelfeld, A.
Analysis of Typed Analyses of Authentication Protocols
2005-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, 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