Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles :<ul><li>traitemen...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Henri Poincaré - Nancy I
2007
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00338362 http://tel.archives-ouvertes.fr/docs/00/33/83/62/PDF/ez-thloria.pdf |