Méthodes logicielles formelles pour la sécurité des implémentations de systèmes cryptographiques
Les implémentations cryptographiques sont vulnérables aux attaques physiques, et ont donc besoin d'en être protégées. Bien sûr, des protections défectueuses sont inutiles. L'utilisation des méthodes formelles permet de développer des systèmes tout en garantissant leur conformité à des spéc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015ENST0039/document |