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...

Full description

Bibliographic Details
Main Author: Zalinescu, Eugen
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