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