Retour au reportage Retour au reportage
20230058_0039

© Christian MOREL / IRISA / CNRS Images

Référence

20230058_0039

Analyse de protocoles cryptographiques afin d’assurer leur sécurité et la protection de la vie privée

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de ces contenus. L'authentification est la légitimité de la demande d’accès. Et la vie privée est l'anonymat et la non traçabilité. Après la conception du protocole, la preuve assistée par ordinateur (preuve mathématique) de certaines propriétés permet d’obtenir des garanties fortes de sécurité sur le protocole.

Institut(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.