Certification formelle de preuves cryptographiques basées sur les séquences de jeux
Les séquences de jeux sont une méthodologie établie pour structurer les preuves cryptographiques. De telles preuves peuvent être formalisées rigoureusement en regardant les jeux comme des programmes probabilistes et en utilisant des méthodes de vérification de programmes. Cette thèse décrit CertiCry...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
École Nationale Supérieure des Mines de Paris
2010
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00584350 http://pastel.archives-ouvertes.fr/docs/00/58/43/50/PDF/ZANELLA.pdf |