| Riccardo Capella < Riccardo Focardi < Riccardo Gallotti | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000506 (2010) | Riccardo Focardi [Italie] ; Flaminia L. Luccio [Italie] | Secure Upgrade of Hardware Security Modules in Bank Networks |
| 000570 (2010) | Matteo Centenaro [Italie] ; Riccardo Focardi [Italie] | Match It or Die: Proving Integrity by Equality |
| 000612 (2010) | Andrea Falcone [Italie] ; Riccardo Focardi [Italie] | Formal Analysis of Key Integrity in PKCS#11 |
| 001F09 (2004) | Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] | Classification of Security Properties |
| 002F17 (2000) | Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] | Non Interference for the Analysis of Cryptographic Protocols |
| 002F27 (2000) | Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] | Message Authentication through Non Interference |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i -k "Riccardo Focardi"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i \
-Sk "Riccardo Focardi" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= TelematiV1
|flux= Istex
|étape= Checkpoint
|type= indexItem
|index= Author.i
|clé= Riccardo Focardi
}}
| This area was generated with Dilib version V0.6.31. |  |