Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques
Certains protocoles cryptographiques ont été développés spécifiquement pour assurer quelques propriétés de sécurité dans nos réseaux de communication. Dans le but de s'assurer qu'un protocole remplit ses propriétés de sécurité, des vérifications probabilistes y sont donc entreprises afin d...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | French |
| Published: |
Université Laval
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/22976 |