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
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
Information Flow in a Discrete-Time Process Algebra
2000-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
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
Message Authentication through Non Interference
2000-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
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
A new analysis technique for the Sprouts Game
2001-01-01 Focardi, Riccardo; Luccio, Flaminia
Classification of Security Properties (Part I: Information Flow)
2001-01-01 Focardi, Riccardo; R., Gorrieri
Information Flow Security in Mobile Ambients
2001-01-01 Cortesi, Agostino; Focardi, Riccardo
CVS at Work: A Report on New Failures upon some Cryptographic Protocol
2001-01-01 Antonio, Durante; Focardi, Riccardo; Roberto, Gorrieri
Authentication Primitives for Refining Protocol Specifications
2002-01-01 Chiara, Bodei; Pierpaolo, Degano; Focardi, Riccardo; Corrado, Priami
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Freshness Analysis in Security Protocols
2002-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo
Analysing Sprouts
2002-01-01 Focardi, Riccardo; Luccio, Flaminia
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