Arithmétique et codes secrets
© [FACK Hélène], [2005], INSA de Lyon, tous droits réservés. 1
6.3 Algorithme d’Euclide 22
6.4 Identité de Bezout 23
6.4.1 Conséquences de l’identité de Bezout .................................................... 23
6.5 Eléments inversibles dans
24
7 THEOREMES POUR LA CRYPTOGRAPHIE 26
7.1 Théorème (des restes) chinois 26
7.2 Théorème de Fermat 27
7.2.1 Démonstration du théorème (cf. une démonstration utilisant l’ordre
d’un sous-groupe sur les fiches d’exercices.) ..................................................... 27
7.2.2 Recherche « statistique » de nombres premiers ..................................... 28
7.3 RSA 28
7.4 Technique d’utilisation de RSA 30
8 SECURITE DES SYSTEMES D’INFORMATION 32
8.1 Définitions 32
8.2 Techniques 33
8.3 Exemple : assurer la confidentialité 33
8.4 Exemple : assurer l’authenticité 33
8.5 Exemple : assurer l’intégrité par une fonction de hachage 34
8.6 Exemple de signature numérique 34
8.7 Sécurité et mathématiques 35
8.7.1 Grands nombres premiers ...................................................................... 35
8.8 Attaques de RSA 37
8.8.1 Factorisation de RSA-640 ....................................................................... 37
8.9 La sécurité des cartes bancaires 39
9 EXERCICES 42
9.1 Structures 42
9.2 Congruences 43
9.3 Applications des congruences : NIR 44
9.4 Applications des congruences : Un code correcteur et le code de César 45
9.5 Nombres premiers 46
9.6 Entiers premiers entre eux 48
9.7 Théorème des Fermat / Théorème chinois 49
9.8 RSA 50
10 TEXTES D’EXAMENS 52
10.1 Racines carrées modulaires et chiffrement de Rabin, examen du 17 mai
2005, EURINSA approfondissement « Mathématiques discrètes » 52
10.2 : Groupes cycliques et chiffrement El Gamal, examen du 25 mai 2005,
OT « Mathématiques et Codages » 53
10.3 Matrices à coefficients dans
et chiffrement de Hill, examen du 18
janvier 2006, OT « Mathématiques et Codages » 55
10.4 RSA, théorème de Fermat et nombres pseudo-premiers, examen du 18
avril 2006, EURINSA approfondissement « Mathématiques discrètes » 57