Sécurité des protocoles cryptographiques : aspects logiques et calculatoires
Cette thèse est consacrée au problème de la vérification automatique des protocoles cryptographiques d'un point de vue logique et calculatoire.<br />Dans une première partie, nous abordons la sécurité des protocoles dans le cadre logique (formel). Nous montrons comment spécifier différent...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00140916 http://tel.archives-ouvertes.fr/docs/00/14/09/16/PDF/Baudet2007.pdf |