Sfoglia per Autore
A Classification of Security Properties for Process Algebras
1995-01-01 Focardi, Riccardo; Gorrieri, R.
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
1997-01-01 Focardi, Riccardo; Gorrieri, R.
Minumum Feedback Vertex Set in k-Dimensional Hypercubes
1999-01-01 Focardi, Riccardo; Luccio, Flaminia
Information Flow in a Discrete-Time Process Algebra
2000-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
A New Definition of Multilevel Security
2000-01-01 Focardi, Riccardo; R., Gorrieri; R., Segala
Message Authentication through Non Interference
2000-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
A Compiler for Analysing Cryptographic Protocols Using Non-Interference
2000-01-01 Durante, A.; Focardi, Riccardo; Gorrieri, R.
Feedback Vertex Set in Hypercubes
2000-01-01 Focardi, Riccardo; Luccio, Flaminia; D., Peleg
Non Interference for the Analysis of Cryptographic Protocols
2000-01-01 Focardi, Riccardo; Gorrieri, R; Martinelli, F.
CVS at Work: A Report on New Failures upon some Cryptographic Protocol
2001-01-01 Antonio, Durante; Focardi, Riccardo; Roberto, Gorrieri
Foundations of Security Analysis and Design - Tutorial Lectures
2001-01-01 Focardi, Riccardo; R., Gorrieri
Control Flow Analysis for information flow security
2001-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
Classification of Security Properties (Part I: Information Flow)
2001-01-01 Focardi, Riccardo; R., Gorrieri
A new analysis technique for the Sprouts Game
2001-01-01 Focardi, Riccardo; Luccio, Flaminia
Information Flow Security in Mobile Ambients
2001-01-01 Cortesi, Agostino; Focardi, Riccardo
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Computer Languages and Security
2002-01-01 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
Security Boundaries in Mobile Ambient
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo
Primitives for Authentication in Process Algebras
2002-01-01 Bodei, C.; Degano, P.; Focardi, Riccardo; Priami, C.
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