Vérification des protocoles cryptographiques et propriétés algébriques
Avec le développement des réseaux de communications comme Internet, le besoin d'assurer la sécurité des échanges a considérablement augmenté. Les communications " sécurisées " sont réalisées par l'utilisation de petits programmes appelés protocoles cryptographiques qui peuvent êt...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00132677 http://tel.archives-ouvertes.fr/docs/00/13/26/77/PDF/Delaune2006.PDF |