DU commerce éléctronique, mars Logique et fondements de l’informatique Université Paris II Michel de Rougemont Sens et dénotation Complexité Applications à la sécurité

DU commerce éléctronique, mars Qu’est ce que la logique? 1.Définir le sens d’expressions syntaxiques 2.Raisonnement, preuve, calcul Les applications de la logique: Mathématique, Linguistique, Philosophie Depuis 1950 : Informatique Depuis 2000 : Sécurité informatique

DU commerce éléctronique, mars Sens et dénotation Aristote (-300 BC) : Tous les hommes sont mortels. Socrate est un homme. Donc Socrate est mortel. Al-Khovarezmi (700) :qu’est ce qu’une fonction calculable? Frege (1870) : L’étoile du matin est l’étoile du soir. Tarski (1930) : Dénotation d’une expression mathématique

DU commerce éléctronique, mars Raisonnement et calcul Aristote (-300 BC) : Raisonnement? Al-Khovarezmi (700) : Calcul? Frege (1870) : Raisonnement? Tarski (1930) : Définition? Turing (1930) : Calcul? Gödel (1930) : Limites du raisonnement mathématique?

DU commerce éléctronique, mars Langage des mathématiques A la suite de Tarski, Turing, Gödel Thèse de Church (1936) : calculable = récursif = Turing-calculable Conclusion : certaines formules ne sont pas démontrables. D’autres le sont pour différentes notions de preuves.

DU commerce éléctronique, mars Calcul et machine de Turing Ordinateur = Machine de Turing Fonction primalité : Primalité( )=0 mais la preuve est longue!! (Exponentielle dans la longueur de l’entrée :20) 1972 : Cook et Karp formulent la notion de NP-complétude

DU commerce éléctronique, mars Sens en informatique Un programme décrit un algorithme Quel est le sens d’un programme? Dim LaFeuille ; Set LaFeuille = Document.ValidForm Do While i <= n { If (T(i)=1) Then total =total +1 End if; i=i+1;Loop;} Dénotation classique Complexité de calcul, Robustesse aux erreurs

DU commerce éléctronique, mars Nouvelles interprétations Besoin de logiciels efficaces et surs –Complexité de calcul, –Robustesse aux erreurs Sécurité informatique –Qu’estce qu’un logiciel sur? Vérification de logiciels

DU commerce éléctronique, mars Calcul : complexité et hasard Calcul en temps polynomial (classe P, 1972) Calcul en temps polynomial avec le hasard (classe BPP, 1980) Primalité est BPP Factorisation n’est pas BPP

DU commerce éléctronique, mars Fondements de la sécurité Ce qui est interdit est difficile Fonctions difficiles à calculer –Factorisation –Isomorphisme de graphes O-connaissance Sécurité « prouvée » mathématiquement

DU commerce éléctronique, mars Hasard et algorithme 2 paquets1 paquet Mikado

DU commerce éléctronique, mars Marche aléatoire : espace log n sur un graphe symétrique à n sommets a b c d e e b c d a Au départ du sommet a, 2 tirages 00vers c 01vers d 10vers e 11vers b

DU commerce éléctronique, mars Modèles du hasard Calcul en temps polynomial avec le hasard (classe BPP, 1980) : Machine de Turing probabiliste Primalité est facile Factorisation est difficile Machine quantique Factorisation est facile (Shor, 1996) Modèles biologiques (Adleman 1995)

DU commerce éléctronique, mars Isomorphisme de graphes Permutation : Preuve de l’isomorphisme: 13245

DU commerce éléctronique, mars Non-Isomorphisme de graphes Aucune Permutation ne maintient un isomorphisme: ne maintient pas (1,4) Preuve du non-isomorphisme: Enumérer n! Permutations (120)

DU commerce éléctronique, mars Protocole : non-Isomorphisme de graphes A B Bob veut se convaincre qu’Alice sait si G1 et G2 ne sont pas isomorphes avec une preuve courte. G1 et G2 connus de A et B, n=1000

DU commerce éléctronique, mars Protocole : non-Isomorphisme de graphes A B B tire au sort i=1 ou 2 et choisit Gi (ex: G1) B tire au sort une permutation h : (ex: 24153) B calcule h(Gi)=H et l’envoie à A B demande i à Alice Alice envoie j à Bob : Si (i=j), G1 non iso à G2 Si i = j, G1 iso à G2 h(Gi)=H j=1 k

DU commerce éléctronique, mars Preuve Interactive A B Bob pose des questions à Alice (qui peut mentir) Bob utilise le hasard. Après un temps court (polynomial), Bob Accepte ou rejette.

DU commerce éléctronique, mars O-connaissance de l’isomorphisme A B Preuve classique : A transmet h (ex: 13245) Preuve interactive : Alice génère h’ aléatoire, Calcule h’(G1)=H, transmis à Bob: tire i au sort Alice envoie h’’, l’iso. entre H et Gi h’(G1)=H i=1 h’’ k

DU commerce éléctronique, mars O-connaissance A B Alice ne compromet pas son secret (h) Alice envoie h’’ mais on ne peut pas déduire facilement h à partir de h’’.

DU commerce éléctronique, mars O-connaissance d’un secret ? A B Secret Bob demande : 6542 B1+B3 > 7 B2-B4 <3 3B1-2B2>9 OUI NON Alice répond :

DU commerce éléctronique, mars Applications : sécurité de l’utilisateur A B Alice peut donner des informations qui ne peuvent pas être utilisées à son insu. Bob interagit avec une personne qui peut mentir.

DU commerce éléctronique, mars Utilisateur rationnel ? A B Bob peut-il conclure sur : l’honnêteté d’Alice la rationalité d’Alice ?

DU commerce éléctronique, mars Enchères combinatoires A1 B Ai sont en compétition pour des sous-ensembles de N objets. Ai a-t-il intérêt à bluffer ? A2 A3 A4

DU commerce éléctronique, mars Modèles statistiques Economie Macroéconomie vs. Microéconomie Physique statistique Chaleur, climat, …

DU commerce éléctronique, mars Conclusion 1.Sens et dénotation en Informatique 2.Calcul et hasard 3.Applications du hasard en logique : preuves interactives 4.Applications à la sécurité : O-connaissance 5.Protection de l’utilisateur