Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce

Résumé : Dans cet article, nous proposons de décrire les hypothèses d'attaques physiques contre les cartes à puce afin de modéliser ces attaques à haut niveau. Cette modélisation cherche à représenter l'attaque au niveau du langage C par l'injection d'un morceau de code qui simule ses effets. L'intérêt du modèle est qu'il permet de simuler les attaques possibles à un niveau où le programmeur peut comprendre les effets sur le code qu'il développe. Cependant, le nombre d'attaques possibles est très grand ce qui empêche la réalisation exhaustive de tous les tests. Les résultats expérimentaux montrent comment identifier par simulation les attaques par saut qui aboutissent. Enfin, nous présentons nos perspectives de travaux qui concernent la vérification statique de ces codes attaqués.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00596984
Contributor : Jean-François Lalande <>
Submitted on : Monday, May 30, 2011 - 5:07:31 PM
Last modification on : Wednesday, May 15, 2019 - 3:40:53 AM

Identifiers

  • HAL Id : hal-00596984, version 1

Citation

Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande. Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce. Journée Sécurité des Systèmes & Sûreté des Logiciels, May 2011, Saint-Malo, France. ⟨hal-00596984⟩

Share

Metrics

Record views

194