FOCARDI, Riccardo

FOCARDI, Riccardo  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 138 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A calculus of challenges and responses 1-gen-2007 CORTESI, AgostinoFOCARDI, RiccardoMAFFEI, Matteo + 4.1 Articolo in Atti di convegno -
A Classification of Security Properties for Process Algebras 1-gen-1995 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Comparison of Three Authentication Properties 1-gen-2003 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 1-gen-2000 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A modular approach to Sprouts 1-gen-2004 FOCARDI, RiccardoLUCCIO, Flaminia 2.1 Articolo su rivista -
A new analysis technique for the Sprouts Game 1-gen-2001 FOCARDI, RiccardoLUCCIO, Flaminia 4.1 Articolo in Atti di convegno -
A New Definition of Multilevel Security 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
An Introduction to Security API Analysis 1-gen-2011 FOCARDI, RiccardoLUCCIO, Flaminia + 3.1 Articolo su libro -
Analysing Sprouts 1-gen-2002 FOCARDI, RiccardoLUCCIO, Flaminia 7.02 Rapporto di ricerca -
Analysis and development of Security APIs for disposable RFID tickets 1-gen-2011 FOCARDI, RiccardoLUCCIO, Flaminia 4.2 Abstract in Atti di convegno -
Analysis of Typed Analyses of Authentication Protocols 1-gen-2005 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
APDU-Level Attacks in PKCS#11 Devices 1-gen-2016 Bozzato, ClaudioFOCARDI, RiccardoPALMARINI, FRANCESCO + 4.1 Articolo in Atti di convegno -
Attacking and Fixing PKCS#11 Security Tokens. 1-gen-2010 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authentication Primitives for Protocol Specifications 1-gen-2003 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authentication Primitives for Refining Protocol Specifications 1-gen-2002 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authentication primitives for secure protocol specifications 1-gen-2005 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Authenticity by tagging and typing 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -