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