Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Lienabilité des e-passports

Description

Cette séance de cours porte sur la rupture de l'indissociabilité de la norme de l'OACI 9303 pour les e-passports en utilisant la bisimilarity. Il commence par une introduction aux règles de calcul 7 et de réduction, suivie par la modélisation de BAC avec le calcul # et les implications de la vérification MAC. La séance de cours explore ensuite l'indissociabilité du BAC en utilisant l'équivalence des programmes de calcul T, l'équivalence des traces et des exemples illustrant l'équivalence des traces. Il s'inscrit dans l'indissociabilité du BAC en termes d'équivalence des traces et discute d'une attaque contre la mise en œuvre du Royaume-Uni. La conclusion souligne l'utilisation du calcul T pour la modélisation des protocoles cryptographiques et l'officialisation des propriétés de sécurité, en mettant l'accent sur les vulnérabilités des e-Passports à diverses attaques et la nécessité de nouveaux protocoles.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e

Serge Vaudenay

Serge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.

Source officielle

Concepts associés (32)

Protocole cryptographique

Un protocole de sécurité (protocole cryptographique ou protocole de chiffrement) est un protocole abstrait ou concret qui remplit une fonction liée à la sécurité et applique des méthodes cryptographiques, souvent sous forme de séquences de primitives cryptographiques. Un protocole décrit comment les algorithmes doivent être utilisés et inclut des détails sur les structures de données et les représentations, à quel point il peut être utilisé pour implémenter plusieurs versions interopérables d'un programme.

Primitive cryptographique

Une primitive cryptographique est un algorithme cryptographique de bas niveau, bien documenté, et sur la base duquel est bâti tout système de sécurité informatique. Ces algorithmes fournissent notamment des fonctions de hachage cryptographique et de chiffrement. À la création d’un système cryptographique (ou cryptosystème), le concepteur se fonde sur des briques appelées « primitives cryptographiques ». Pour cette raison les primitives cryptographiques sont conçues pour effectuer une tâche précise et ce de la façon la plus fiable possible.

Passeport

vignette|Passeport de la dynastie Qing, Chine, 1898. Un passeport est un document de circulation délivré par le gouvernement d'un État à ses citoyens, pièce d'identité permettant à son porteur de voyager à l'étranger. Toute personne sollicitant l'entrée dans un pays autre que le sien, comme touriste, étudiant ou travailleur, doit remplir certaines formalités et solliciter une autorisation. Pour franchir une frontière, le passeport est généralement requis, pouvant être couplé à un visa.

Cryptographie

thumb|La machine de Lorenz utilisée par les nazis durant la Seconde Guerre mondiale pour chiffrer les communications militaires de haut niveau entre Berlin et les quartiers-généraux des différentes armées. La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets ou clés. Elle se distingue de la stéganographie qui fait passer inaperçu un message dans un autre message alors que la cryptographie rend un message supposément inintelligible à autre que qui de droit.

Clé de chiffrement

Une clé est un paramètre utilisé en entrée d'une opération cryptographique (chiffrement, déchiffrement, scellement, signature numérique, vérification de signature). Une clé de chiffrement peut être symétrique (cryptographie symétrique) ou asymétrique (cryptographie asymétrique). Dans le premier cas, la même clé sert à chiffrer et à déchiffrer. Dans le second cas on utilise deux clés différentes, la clé publique est utilisée au chiffrement alors que celle servant au déchiffrement est gardée secrète : la clé secrète, ou clé privée, et ne peut pas se déduire de la clé publique.

Afficher plus

Séances de cours associées (33)

Introduction à la cryptographie: principes fondamentaux et applications

Couvre les bases de la cryptographie, y compris le cryptage symétrique, les signatures numériques et les normes de communication sécurisée.

Cryptographic Zoo: Fondamentaux

Couvre les concepts fondamentaux de la cryptographie, y compris les primitives, la sécurité, le cryptage et l'authentification, en explorant la cryptographie symétrique et à clé publique, l'accord clé, les schémas d'engagement et les fonctions de hachage.

Régime d'engagement et PRNG

Explore le schéma d'engagement, la fonction de dérivation des clés et le générateur pseudo-aléatoire dans les protocoles cryptographiques, en soulignant leur rôle dans la garantie de l'intégrité et de l'authentification des données.

La cryptographie elliptique en pratique

Explore les applications pratiques de la cryptographie à courbe elliptique dans divers scénarios du monde réel et opérations cryptographiques.

Cryptographie Diffie-Hellman: échange de clés et attaques

Explore l'échange de clés Diffie-Hellman, le problème DDH, les attaques actives et les défis de protocole cryptographique.

Afficher plus

Concepts associés (32)

Protocole cryptographique

Primitive cryptographique