Interpretation functions-based approach to verify secrecy of cryptographic protocols
Les protocoles cryptographiques constituent la base de la sécurité des communications faites le long du réseau Internet et des systèmes distribués. Cependant, une faille à l'intérieur d'un protocole peut entraîner des conséquences indésirables et souvent irréversibles autant pour les indiv...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Université Laval
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/22096 |