 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00168132, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Modelling and Verification of Cryptographic Protocols (2005) 165 |
|
|
|
|
| Modelling and Verification of Cryptographic Protocols |
|
|
| Roberto M. Amadio 1 |
|
|
| (01/08/2005) |
|
|
|
| Special issue on Modelling and Verification of Cryptographic Protocols of the Journal of Logic and Algebraic Programming |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Cryptographie et sécurité |
| hal-00168132, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00168132 | |
| oai:hal.archives-ouvertes.fr:hal-00168132 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Vendredi 24 Août 2007, 15:53:47 | |
| Dernière modification le : Vendredi 19 Juin 2009, 10:57:02 | |
