Sfoglia per Autore
Information Flow Security in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Computer Languages and Security
2002-01-01 Cortesi, Agostino; Focardi, Riccardo
Proofs Methods for Bisimulation based Information Flow Security
2002-01-01 Focardi, Riccardo; C., Piazza; Rossi, Sabina
Primitives for Authentication in Process Algebras
2002-01-01 Bodei, C.; Degano, P.; Focardi, Riccardo; Priami, C.
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Security Boundaries in Mobile Ambient
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo
A Survey of Name-Passing Calculi and Crypto-Primitives
2002-01-01 Bugliesi, Michele; Giuseppe, Castagna; Silvia, Crafa; Focardi, Riccardo; Vladimiro, Sassone
Transforming processes to check and ensure Information Flow Security
2002-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Control Flow Analysis of Mobile Ambients with Security Boundaries
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo
Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW16)
2003-01-01 Focardi, Riccardo
Proceedings of 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03)
2003-01-01 Focardi, Riccardo; G., Zavattaro
Principles for Entity Authentication
2003-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei
Authentication Primitives for Protocol Specifications
2003-01-01 C., Bodei; P., Degano; Focardi, Riccardo; C., Priami
Refinement Operators and Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Real-Time Information Flow Analysis
2003-01-01 Focardi, Riccardo; Gorrieri, R.; Martinelli, F.
A Comparison of Three Authentication Properties
2003-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
BANANA: A tool for Boundary Ambients Nesting ANAlysis
2003-01-01 C., Braghin; Cortesi, Agostino; S., Filippone; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Information Leakage Detection in Boundary Ambients
2003-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
Complexity of Nesting Analysis in Mobile Ambients
2003-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; 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