Security of cryptographic protocols: decidability and transfer resultats
Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Résumé
This thesis is developed in the framework of the symbolic analysis of security protocols. The contributions are represented by decidability and transfer results in the following directions which are major topics in protocol verification:
- treatment of the cryptographic primitives: CBC encryption, blind signatures;
- security properties: strong secrecy, existence of key cycles;
- approaches for protocol security: construction of the secure protocols.
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 :
- traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle;
- propriétés de sécurité : secret fort, existence de cycles de clefs;
- approches pour la sécurité : construction de protocoles sûrs.