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é.<br />Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme l...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00417290 http://tel.archives-ouvertes.fr/docs/00/41/72/90/PDF/Chridi-Najah-Thesis-09.pdf http://tel.archives-ouvertes.fr/docs/00/41/72/90/ANNEX/PhD-Chridi-Slides.pdf |