Protocoles cryptographiques : analyse par méthodes formelles
Salvato in:
| Natura: | Article de revue numérique |
|---|---|
| Lingua: | Indéterminée |
| Pubblicazione: |
Techniques de l'ingénieur
2006.
|
| Accesso online: | Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Techniques de l'ingénieur |
| Variante du titre: | Protocoles cryptographiques : analyse par méthodes formelles |