Exploitation de la logique propositionnelle pour la résolution parallèle des problèmes cryptographiques
La démocratisation des ordinateurs, des téléphones portables et surtout de l'Internet a considérablement révolutionné le monde de la communication. Les besoins en matière de cryptographie sont donc plus nombreux et la nécessité de vérifier la sûreté des algorithmes de chiffrement est vitale. Ce...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014REIMS006/document |