Contributions à la vérification automatique de protocoles de groupes
Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité. Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2009NAN10069/document |