Brevet FR3050853A1 — publié le 20171103

DOMAINE DE L'INVENTION L'invention concerne un procédé de traitement de données biométriques, comprenant la vérification du résultat d'un calcul de distance impliquant le calcul d'un polynôme en les composantes des données, entre une donnée biométrique candidate et au moins une donnée biométrique de référence. L'invention s'applique notamment à la vérification d'une authentification ou d'une identification biométrique mise en oeuvre par un dispositif personnel à un individu et non par une unité de traitement considérée digne de confiance comme une unité de traitement gouvernementale. A cet égard, l'invention s'applique avantageusement à la vérification du calcul de distances comprenant le calcul d'un produit scalaire, à savoir des distances de type distance euclidienne ou distance de Hamming. ETAT DE LA TECHNIQUE On connaît déjà des schémas d'identification ou d'authentification dans lesquels un utilisateur présente à une unité de traitement digne de confiance, par exemple à une unité appartenant à une douane, une donnée biométrique que l'unité confronte à une ou plusieurs donnée(s) biométrique(s) de référence enregistrée(s) soit dans un document d'identité de l'utilisateur, soit dans une base de données à laquelle elle a accès. Ce scénario présente l'avantage que le résultat de la comparaison entre les données biométriques est réputé fiable car la comparaison est mise en oeuvre par une unité de confiance. Cependant, l'étape d'identification ou d'authentification, comprenant l'acquisition d'une donnée biométrique fraîche sur l'utilisateur, peut durer un temps important et occasionner la création de files d'attentes. C'est le cas par exemple lors du franchissement d'une douane, où une authentification contre une donnée biométrique contenue dans un passeport d'un individu est mise en oeuvre. Pour éviter ce type de désagrément, on pourrait envisager un scénario alternatif dans lequel l'utilisateur s'authentifierait ou s'identifierait à l'aide d'un dispositif électronique qui lui est personnel, tel qu'un téléphone mobile, et fournirait seulement à l'unité de traitement en charge du contrôle le résultat de cette authentification ou identification. 3050853 2 Dans ce cas, le problème se pose néanmoins de la fiabilité du résultat de l'authentification ou de l'identification, et notamment du résultat de la comparaison entre les données biométriques qui a permis à l'utilisateur de s'authentifier ou de s'identifier. Il est en effet nécessaire de proposer un moyen pour que l'unité de 5 traitement en charge du contrôle puisse vérifier que le résultat est correct et que l'utilisateur n'a pas réalisé de fraude ou d'erreur dans la mise en oeuvre de la comparaison des données biométriques. PRESENTATION DE L'INVENTION 10 L'invention a pour but de résoudre la problématique présentée ci-avant, en proposant un procédé de vérification du résultat d'une comparaison entre deux données biométriques. En particulier, un but de l'invention est de permettre à un utilisateur de réaliser avec un dispositif électronique personnel une authentification ou une 15 identification biométrique, et de permettre à une entité de vérification de vérifier l'exactitude du calcul de distance entre les données biométriques ayant permis cette authentification ou identification. Un autre but de l'invention est de permettre à l'utilisateur de prouver le résultat du calcul de distance entre les données biométriques, au moyen d'un 20 dispositif électronique personnel de faibles capacités de calcul. Un autre but de l'invention est d'être applicable à une authentification ou identification biométrique sur la base des traits biométriques suivants : iris ou forme du visage de l'individu (reconnaissance faciale). Un autre but de l'invention est, dans le cas d'une identification, de permettre 25 de vérifier simultanément le résultat du calcul de distance entre une donnée biométrique candidate et une pluralité de données biométriques de référence. A cet égard, l'invention a pour objet un procédé de traitement de données biométriques, comprenant la vérification du résultat d'un calcul de distance entre 30 une donnée biométrique candidate et au moins une donnée biométrique de référence comprenant chacune un nombre n de composantes indexées, ledit calcul de distance comprenant celui d'un polynôme en les composantes des données biométriques, 3050853 3 le procédé étant mis en oeuvre par une entité de preuve et une entité de vérification, chaque entité étant une unité de traitement comprenant des moyens de traitement et de communication avec l'autre entité, le procédé comprenant des étapes au cours desquelles : 5 - l'entité de preuve communique à l'entité de vérification le résultat du calcul de la distance entre les données biométriques candidate et de référence, ainsi que lesdites données, - l'entité de preuve génère à partir de chaque donnée une fonction d'un nombre d de variables fb(ii,...,id) où d=log2n, définie pour chaque variable sur 10 l'ensemble {0,1}, par reformulation de l'indice i de chaque composante en format binaire, - l'entité de preuve génère à partir de chaque fonction un polynôme de d variables â(xi,...xd),b(xl,...xd) défini sur Fd où F est un corps fini, tel que chaque polynôme b coïncide avec la fonction correspondante fa,fb sur l'ensemble {0,1}d, et 15 génère à partir des polynômes à", b un polynôme p(x1, ...,xd) de d variables de même expression que celui de la distance entre les données, et - l'entité de preuve et l'entité de vérification (V) s'engagent dans un protocole Sumcheck (230) appliqué au polynôme p pour vérifier le résultat du calcul de la distance entre les données. 20 Avantageusement, mais facultativement, le procédé selon l'invention peut en outre comprendre au moins l'une des caractéristiques suivantes : le calcul de distance comprend celui d'un produit scalaire, et le polynôme p comprend au moins un terme g égal à un produit scalaire entre les polynômes â et b : 9(x1, ...,xd) = ...,xd). b(xi, , xd). 25 la distance calculée est le carré de la distance euclidienne, et le polynôme p s'écrit : p(xi, ...,xd) = ...,xd). (x1, , xd) + 13(xi, , xd). , xd) - 2g (xi, , xd). - la distance calculée est la distance de Hamming; et le polynôme p s'écrit : p(xi, , xd) = , xd) + , xd) - 29 , xd). la donnée biométrique candidate et la ou les données biométriques de référence sont initialement détenues par l'entité de preuve, et le procédé 30 comprend une étape préliminaire de masquage, par l'entité de preuve, des 3050853 4 données biométriques, ledit masquage comprenant la génération aléatoire d'une permutation circulaire et d'un vecteur de n composantes, et la mise en oeuvre d'une somme ou de l'opération « ou exclusif » entre chaque donnée permutée par la permutation circulaire et le vecteur généré aléatoirement. 5 chaque polynôme â(xi,...xd) et b(xi,...xd) est de degré un en chaque variable. le polynôme â(xl,...xd) est défini par : vx E Fd,ci(x) = a(Oxi(x) avec : d nxi,k(xk) k=1 et où la fonction xvk (xk) est définie, pour xke(0,1), par : { X»k(xic) = 1 - xk si vk = 0 X»k(xk) = xk Si vk = 1 10 la mise en oeuvre du protocole Sumcheck comprend une série d'itérations pour j compris entre 2 et d-1 au cours desquelles l'entité de vérification génère aléatoirement et communique à l'entité de preuve une valeur ro, et l'entité de preuve génère un polynôme : Pi (Xi) = p(ri, Xi, ...,xd) xifie{0,1}...xde{0,1} 15 et, à chaque itération, o l'entité de preuve dispose pour chaque polynôme â, b d'un tableau Au), Bu) comprenant respectivement toutes les valeurs possibles des fonctions rj-2, Xj-1, xd)et b(ri, ... Xj-i, Xd) pour ... xd) E 20 f0,1Y1-i+1, où chaque valeur rk (k=1,...,j-2) a été générée aléatoirement par l'entité de vérification et transmise à l'entité de preuve lors des itérations précédentes, o l'évaluation d'un polynôme pi en une valeur t est mise en oeuvre par l'entité de preuve à partir des valeurs t, ro et des valeurs des 25 tableaux Au), Bu), et 3050853 5 o l'entité de preuve incrémente les tableaux A°+1), lel) pour l'itération j+1 en remplaçant leurs valeurs par toutes les valeurs possibles Et (ri, ... ri, xi, ... xd) et Rri, ri_i, xd) pour (xi, ...xd) {0,1}d-j , les tableaux étant initialisés pour le polynôme p2 en comprenant toutes les valeurs 5 possibles des polynômes â, b sur l'ensemble [0,1)d. Le procédé peut comprendre la vérification du résultat du calcul d'un produit scalaire entre une donnée biométrique candidate et chacune d'un nombre m de données biométriques de référence, dans lequel les données biométriques de référence sont réunies en une matrice M de taille (n,m) de 10 sorte que les produits scalaires sont obtenus par le produit du vecteur candidat et de la matrice, et, le protocole Sumcheck est mis en oeuvre sur un polynôme P (il, - -- d) tel que : P = à id). ...,rd) où (r1, ...,rd) est un vecteur dont les composantes sont générées aléatoirement par l'entité de vérification. 15 L'invention a également pour objet un procédé d'authentification ou d'identification biométrique d'un individu, comprenant : - la comparaison, par une entité de preuve, d'une donnée biométrique acquise sur un trait biométrique d'un individu à au moins une donnée biométrique de 20 référence par calcul entre lesdites données d'une distance, et - la mise en oeuvre du procédé selon le procédé qui précède pour la vérification du résultat de la comparaison. Avantageusement, mais facultativement, dans le cas d'une authentification, l'entité 25 de preuve est un dispositif électronique personnel à l'individu de type téléphone, ordinateur personnel ou tablette numérique comprenant un calculateur, un capteur d'images, et un module d'acquisition d'une donnée biométrique de référence contenue dans un document d'identité. 30 Selon un autre objet, l'invention concerne un produit programme d'ordinateur, comprenant des instructions de code pour la mise en oeuvre d'opérations de : 3050853 6 acquisition d'une image et conversion de ladite image en une donnée biométrique comprenant n composantes, acquisition d'une donnée biométrique de référence enregistrée dans un document d'identité, la donnée comprenant n composantes, 5 - comparaison des deux données par calcul d'une distance entre les deux données comprenant le calcul d'un polynôme en les composantes des données, - communication du résultat et desdites données à une entité de vérification, - génération à partir de chaque composante a,, b, de chaque donnée d'une fonction d'un nombre d de variables où d=log2n, définie pour 10 chaque variable sur l'ensemble {0,1}, par reformulation de l'indice i de la composante ab bien format binaire, - génération, à partir de chaque fonction, d'un polynôme de d variables â(xi,..-xd) ii(xl,...xd) défini sur un corps fini, tel que chaque polynôme â, b coïncide avec la fonction correspondante a,b sur l'ensemble {0,1}d, et génération, à partir des 15 polynômes â et b d'un polynôme p(xi, ...,xd) de d variables de même expression que celui de la distance entre les données, - engagement, avec l'entité de vérification, dans un protocole de vérification Sumcheck appliqué au polynôme p. 20 Selon un autre objet, l'invention concerne l'application du protocole Sumcheck à un calcul de distance entre une donnée biométrique candidate et au moins une donnée biométrique de référence comprenant chacune n composantes, le calcul de distance comprenant celui d'un polynôme en les composantes des données, dans lequel chaque donnée biométrique est convertie en un polynôme multivarié 25 défini sur un corps fini par : - reformulation de l'indice i de chaque composante de chaque donnée biométrique en format binaire, pour obtenir une fonction (fa, fb) de d variable ou log2n, - extension de chaque fonction (fa, fb) en un polynôme â, b, de d variables 30 défini sur un corps fini, et génération d'un polynôme p à partir des polynômes à et b de même formule que le polynôme de la distance appliquée aux données biométriques. 3050853 7 Dans un mode de réalisation, l'invention concerne un procédé de traitement de données biométriques, comprenant la vérification du résultat d'un calcul de distance entre une donnée biométrique candidate et au moins une donnée biométrique de référence comprenant chacune un nombre n de composantes indexées a' b,, 5 le procédé étant mis en oeuvre par une entité de preuve et une entité de vérification, chaque entité étant une unité de traitement comprenant des moyens de traitement et de communication avec l'autre entité, le procédé comprend des étapes au cours desquelles : - l'entité de preuve communique à l'entité de vérification le résultat du calcul de la 10 distance entre les données biométriques candidate et de référence, ainsi que lesdites données, - l'entité de preuve génère à partir de chaque donnée une fonction d'un nombre d de variables où d=log2n, définie pour chaque variable sur l'ensemble {0,1}, par reformulation de l'indice i de la composante a,, b, en format 15 binaire, - l'unité de traitement de preuve génère à partir de chaque fonction un polynôme de d variables â(xi,...xd),b(xi,...xd) défini sur un corps fini, tel que chaque polynôme â, b coïncide avec la fonction correspondante a,b sur l'ensemble {0,1}d, et génère à partir des polynômes â et b un polynôme p(xi,...,xd) de d 20 variables de même expression que la distance entre les données, et - l'entité de preuve et l'entité de vérification s'engagent dans un protocole au cours duquel : o au cours d'une première étape, l'entité de preuve génère un polynôme pi d'une variable tel que : pi(Xi) = E p(Xi, X2, ..., Xd) x2E{0,1}...xdE{o,i} 25 et communique le polynôme pi à l'entité de vérification qui vérifie que la somme des évaluations du polynôme pi en 0 et 1 est égale au résultat H du calcul de la distance, et dans ce cas, pour tout j de 2 à d-1, o l'entité de vérification génère aléatoirement une valeur ro dans le corps fini 30 et la communique à l'entité de preuve, o l'entité de preuve génère un polynôme ID, tel que : 3050853 8 , Xi, xj+i, xd) et communique à l'entité de vérification le polynôme pi, o l'entité de vérification détermine la valeur du polynôme po en ro et vérifie que pi_1(ro) = pi(0)+R(1), et dans le cas contraire détermine que le résultat du calcul de la distance est faux, puis, o l'entité de vérification génère aléatoirement une valeur rd dans le corps fini, o l'entité de preuve génère un polynôme pd tel que : pd(Xd) = rd-1) Xd) et envoie à l'entité de vérification le polynôme Pd, o l'entité de vérification détermine pd(rd) d'une part, et p(r1, rn_i, rd) d'autre 10 part à partir des vecteurs candidat et de référence, vérifie que pd(rd) = p(ri, , rd_i, rd), et dans ce cas détermine que le résultat du calcul de la distance est exact. Dans un mode de réalisation, l'invention concerne un produit programme 15 d'ordinateur comprenant des instructions pour la mise en oeuvre d'étapes de : - acquisition d'une image et conversion de ladite image en une donnée biométrique comprenant n composantes, - acquisition d'une donnée biométrique de référence enregistrée dans un document d'identité, la donnée comprenant n composantes, 20 - comparaison des deux données par calcul d'une distance entre les deux données, - communication du résultat et desdites données à une entité de vérification, génération à partir de chaque composante a' bi de chaque donnée d'une fonction d'un nombre d de variables où d=log2n, définie pour 25 chaque variable sur l'ensemble {0,1}, par reformulation de l'indice i de la composante a' b, en format binaire, - génération, à partir de chaque fonction, d'un polynôme de d variables â(xi,...xd) b(xl,...xd) défini sur un corps fini, tel que chaque polynôme à", b coïncide avec la fonction correspondante a,b sur l'ensemble {0,1}d, et génération, à partir des 3050853 9 polynômes â et b d'un polynôme p(xi, , xd) de d variables de même expression que la distance entre les données, engagement, avec l'entité de vérification, dans un protocole de vérification comprenant : 5 o génération et envoi à l'entité de vérification d'un polynôme pl tel que Pi(xi) p(X 1, X2, , Xd) X2E{0,1}...XdE{0,1} pour tout j de 2 à d-1, o génération et envoi à l'entité de vérification , à partir de valeurs r1,...ro reçues, d'un polynôme pi tel que : Pi (Xi) = p(ri, , ri _i, Xi, xi +1, , xd) x i'Efo,11...xdE{o,i} o génération et envoi à l'entité de vérification d'un polynôme pd tel que : pd(Xd) = p(r1, X d) 10 lorsqu'il est mis en oeuvre par un calculateur. Le procédé proposé permet de vérifier le résultat d'un calcul de distance entre au moins deux données biométriques. Pour cela le procédé utilise un protocole de type « Sumcheck », qui n'est applicable qu'à des vérifications de 15 calculs de polynômes multivariés. Le procédé proposé permet de convertir des données biométriques en des polynômes multivariés pour permettre l'application du protocole « Sumcheck ». Cette conversion peut être réalisée par une unité de traitement disposant de moyens de calculs limités. Le procédé proposé est applicable notamment à des calculs de distance 20 comprenant le calcul d'un produit scalaire, comme la distance euclidienne au carré ou la distance de Hamming. De plus le procédé est applicable à une vérification du résultat du calcul de distance entre une donnée biométrique et une pluralité de données biométriques de références, pour des applications d'identification, en regroupant les données 25 biométriques de référence en une matrice pour l'application du protocole « Sumcheck ». 3050853 10 DESCRIPTION DES FIGURES D'autres caractéristiques, buts et avantages de la présente invention apparaîtront à la lecture de la description détaillée qui va suivre, au regard des figures annexées, données à titre d'exemples non limitatifs et sur lesquelles 5 - La figure 1 représente schématiquement un système pour l'identification ou l'authentification biométrique d'un individu avec vérification du résultat de la comparaison des données biométriques, - La figure 2 représente schématiquement les principales étapes d'un procédé de traitement de données biométriques selon un mode de réalisation de 10 l'invention. DESCRIPTION DETAILLEE D'AU MOINS UN MODE DE REALISATION DE L'INVENTION 15 Système d'authentification ou d'identification En référence à la figure 1, on a représenté schématiquement un système 1 pour l'identification ou l'authentification biométrique d'individus permettant une vérification du résultat de l'authentification ou de l'identification. Ce système comprend deux unités de traitement 10, 20. La première unité 20 de traitement 10 est une unité personnelle à un individu, comme par exemple son téléphone mobile, comme expliqué ci-après. La deuxième unité de traitement 20 est détenue et contrôlée par une entité auprès de qui l'authentification ou l'identification doit être effectuée, par exemple une entité gouvernementale, douanière, une société, etc. 25 L'une des unités de traitement met en oeuvre une authentification ou une identification sur des données biométriques, et fournit ensuite le résultat à l'autre, qui procède à la vérification de ce résultat. En particulier, dans le cas d'une authentification, la première unité de traitement 10 met en oeuvre l'authentification et fournit le résultat à la deuxième unité de traitement 20 qui vérifie ce résultat. 30 Dans le cas d'une identification, c'est de préférence la deuxième unité de traitement 20 qui a accès à une base de données comprenant des données biométriques de référence, et qui met en oeuvre l'identification biométrique contre ces données de référence à partir d'une donnée biométrique communiquée par la 3050853 11 première unité de traitement 10. La deuxième unité de traitement 20 communique à la première 10 le résultat du calcul pour que la première unité le vérifie. Néanmoins dans le cas de l'identification on peut également envisager d'inverser les rôles de calcul et de vérification. L'unité de traitement 10, 20 mettant en oeuvre le calcul entre les données pour l'authentification ou l'identification est par la suite appelée entité de preuve P, et l'unité de traitement 20, 10 mettant en oeuvre la vérification du calcul entre les données est par la suite appelée entité de vérification V. 10 La première unité de traitement 10 comporte un calculateur 11, tel que par exemple un processeur, un microprocesseur, un contrôleur, un microcontrôleur, un FPGA etc. Ce calculateur est adapté pour exécuter des instructions de code pour mettre en oeuvre le procédé ci-après. 15 La première unité de traitement comprend avantageusement une interface de communication 12 lui permettant de dialoguer à distance avec la deuxième unité de traitement 20, et le cas échéant avec une mémoire distante 30 décrite ci-après. Cette interface de communication 12 est de préférence la combinaison d'une interface de communication sans fil, par exemple de type Wifi ou Bluetooth ou .20 réseau de téléphonie mobile (GPRS, 3G, 4G ou autre) et de tout autre réseau de communication aval faisant le lien avec la deuxième unité de traitement 20 et/ou la mémoire 30. La première unité de traitement 10 comprend également un module 13 25 d'acquisition d'une donnée biométrique sur un trait biométrique d'un individu. Le trait biométrique peut par exemple être la forme du visage, ou un ou plusieurs iris de l'individu. Le module d'acquisition de la donnée biométrique 13 comprend un capteur d'image 14, tel que par exemple un appareil photographique numérique ou une 30 caméra numérique, adapté pour acquérir au moins une image d'un trait biométrique d'un individu, et un module 15 de traitement d'images adapté pour extraire une donnée biométrique à partir d'une image d'un trait biométrique. L'extraction de la donnée biométrique est mise en oeuvre par un traitement de l'image du trait biométrique qui dépend de la nature du trait biométrique. Des 3050853 12 traitements d'images variés pour extraire des données biométriques sont connus de l'Homme du Métier. A titre d'exemple non limitatif, l'extraction de la donnée biométrique peut comprendre une extraction de points particuliers ou d'une forme du visage dans le cas où l'image est une image du visage de l'individu. 5 Le module de traitement d'images 15 est avantageusement un programme comprenant une série d'instructions pouvant être exécuté par le calculateur 11. Il s'agit de préférence d'un module logiciel. L'unité de traitement 10 comprend également un module 16 d'acquisition ou d'accès à au moins une donnée biométrique de référence, afin de comparer une 10 donnée biométrique acquise sur un individu par le module 13 à ladite donnée de référence. Dans un mode de réalisation, l'unité de traitement 10 met en oeuvre une authentification de l'individu, c'est-à-dire compare une donnée biométrique candidate, acquise sur l'individu, à une seule donnée biométrique de référence, 15 censée provenir du même individu, afin de vérifier que l'individu à partir duquel ont été obtenues les deux données est bien le même. Dans ce cas, la donnée biométrique de référence utilisée pour l'authentification est avantageusement une donnée enregistrée dans un document d'identité de l'individu. Par exemple, la donnée biométrique peut être une image du 20 visage figurant sur un document d'identité, ou encore une image du visage ou d'au moins un iris de l'individu enregistré dans une puce radiofréquence contenue dans le document. Selon les cas présentés ci-avant, le module 16 comprend alors soit un capteur d'image, avantageusement le même capteur d'image 14 que celui utilisé 25 pour l'acquisition de la donnée biométrique candidate, soit un lecteur de puce radiofréquence, par exemple un lecteur de type NFC. Le module 16 comprend en outre un programme 17 exécutable par le calculateur, comprenant des instructions de code permettant la commande du capteur d'image ou du lecteur de puce radiofréquence, et le cas échéant le 30 traitement d'une donnée biométrique obtenue par le capteur ou le lecteur pour extraire des éléments à comparer avec la donnée biométrique candidate. Par exemple si la donnée biométrique de référence est une photographie du visage de l'individu figurant sur le document d'identité, le programme exécutable par le module 3050853 13 peut être configuré pour en extraire des points caractéristiques du visage comparables à ceux extraits de la donnée candidate. En variante, une identification biométrique de l'individu peut être mise en oeuvre, au cours de laquelle la donnée biométrique candidate acquise sur l'individu 5 est comparée à une pluralité de données biométriques de référence, en vue de déterminer si l'une des données de référence correspond à la donnée candidate. L'individu est alors identifié comme étant l'individu duquel provient la donnée de référence. Dans ce cas les données biométriques de référence peuvent être stockées 10 dans une mémoire 30 distante de la première (et éventuellement de la deuxième) unité de traitement, comme par exemple une base de données gérée par une entité privée ou gouvernementale, etc. Si l'identification biométrique est réalisée par la première unité de traitement 10, cette unité est adaptée pour accéder à ces données par l'interface de 15 communication à distance 12. Le module 16 comprend alors un programme 17 exécutable par le calculateur 11 et comprenant des instructions de code permettant de commander l'interface de communication à distance 12 pour accéder au contenu de la mémoire 30. C'est le cas représenté sur la figure 1. En variante, c'est la deuxième unité de traitement qui réalise l'identification et 20 détient ces moyens d'accès aux données de références. Avantageusement, toutes les fonctionnalités d'acquisition et de traitement d'une donnée biométrique candidate, d'accès à une donnée biométrique de référence, de comparaison entre la donnée candidate et la ou les donnée(s) de référence pour réaliser l'authentification ou l'identification, et de participation au 25 procédé de vérification du résultat de la comparaison avec la deuxième unité de traitement 20, sont réunies au sein d'un même programme exécutable par le calculateur, avantageusement une application logicielle. Avantageusement, l'application peut être téléchargée au moyen de l'interface de communication à distance 12 pour être installée sur l'unité de traitement 10. 30 La première unité de traitement peut également comprendre une interface Homme Machine 18, typiquement mais non limitativement un écran tactile, permettant d'afficher et de recevoir des informations et des instructions pour la bonne exécution du procédé décrit ci-après par un individu. 3050853 14 La deuxième unité de traitement 20 comporte un calculateur 21, tel que par exemple un processeur, un microprocesseur, un contrôleur, un microcontrôleur, un FPGA etc. Ce calculateur est adapté pour exécuter des instructions de code pour mettre en oeuvre le procédé ci-après. 5 La deuxième unité de traitement 20 comprend avantageusement une interface de communication 22 lui permettant de dialoguer à distance avec la première unité de traitement 10. Cette interface de communication 22 est de préférence la combinaison d'une interface de communication sans fil, par exemple de type Wifi ou Bluetooth ou 10 réseau de téléphonie mobile (GPRS, 3G, 4G ou autre) et de tout autre réseau de communication aval faisant le lien avec la première unité de traitement 10. Avantageusement, dans le cas où le système 1 permet de mettre en oeuvre une identification biométrique d'individus, cette identification peut être mise en oeuvre par la deuxième unité de traitement 20, qui est alors adaptée pour accéder 15 aux données biométriques de référence contenues dans la mémoire distante 30 par l'interface de communication à distance 22. En outre elle comprend alors un module d'accès aux données de référence comprenant alors un programme exécutable par le calculateur 21, et comprenant des instructions de code permettant de commander l'interface de communication à 20 distance 22 pour accéder au contenu de la mémoire 30. Il s'agit d'une variante non représentée du cas représenté en figure 1. L'unité de traitement 20 comprend avantageusement une interface Homme Machine 23, par exemple un écran tactile, ou un écran et un clavier, permettant d'afficher et de recevoir des informations et des instructions pour la mise en oeuvre 25 du procédé décrit ci-après. Très avantageusement, la première unité de traitement 10 décrite ci-avant est un dispositif électronique personnel à l'individu, par exemple un téléphone mobile ou « smartphone », une tablette électronique ou encore un ordinateur 30 personnel. Ceci permet à un individu de réaliser lui-même une authentification avant d'en présenter le résultat à la deuxième unité de traitement 20. Ainsi l'étape chronophage d'authentification comprenant l'acquisition d'une donnée biométrique 3050853 15 fraîche sur l'individu et sa comparaison avec une ou plusieurs données de référence est déportée en amont d'un contrôle par la deuxième unité de traitement 20. Un cas d'application est le franchissement d'une douane par un individu. Celui-ci peut utiliser son dispositif électronique personnel pour réaliser une 5 authentification biométrique contre son passeport avant le franchissement de la douane. Puis, au moment de ce franchissement de la douane, l'individu fournit le résultat à la deuxième unité de traitement 20 agissant en tant qu'entité de vérification V (qui est contrôlée par une autorité gouvernementale, par exemple douanière) au moyen de son dispositif personnel 10. L'entité de vérification ne 10 procède alors qu'à la vérification. Ceci réduit le temps de franchissement de la douane et donc les files d'attente pouvant être occasionnées. Un autre cas d'application est l'embarquement d'un individu dans un moyen de transport, par exemple un avion. L'individu peut, en amont de l'embarquement, acquérir une donnée biométrique fraîche au moyen de son dispositif personnel 10 et 15 communiquer cette donnée à la deuxième unité de traitement 20. Cette unité réalise une identification contre une liste de passagers enregistrés pour l'embarquement, et au moment de l'embarquement, apporte uniquement la preuve de cette identification au dispositif personnel 10 de l'individu en tant qu'entité de vérification V. 20 Dans toute la suite, le procédé est décrit en référence aux entités de preuve P et de vérification V sans expliciter les unités de traitement correspondantes, étant entendu que dans le cas d'une authentification l'entité de preuve P est la première unité de traitement 10, tandis que dans le cas d'une identification l'entité de preuve P est de préférence la deuxième unité de traitement 20. 25 Procédé d'authentification ou d'identification avec vérification En référence à la figure 2, on va maintenant décrire un procédé d'authentification ou d'identification mis en oeuvre par le système 1 décrit ci-avant. Au cours d'une première étape 100, l'entité de preuve P met en oeuvre une 30 authentification ou une identification biométrique d'un individu. Cette étape comprend au préalable la récupération par l'entité de preuve P d'une donnée biométrique candidate et d'au moins une donnée biométrique de référence. 3050853 16 L'acquisition de la donnée biométrique candidate est mise en oeuvre par le module d'acquisition 13 de donnée biométrique candidate de la première unité de traitement 10, par exemple par l'acquisition d'une photographie d'un trait biométrique de l'individu, puis traitement pour obtenir une donnée. Le cas échéant, 5 cette donnée est transmise à l'entité de preuve P si celle-ci est l'unité de traitement 20. L'acquisition de la ou des donnée(s) biométrique(s) de référence peut être mise en oeuvre par le module 16 d'accès à une ou plusieurs donnée(s) 10 biométrique(s) de référence accède de la première unité de traitement 10, qui accède à une donnée biométrique enregistrée dans la puce d'un passeport par lecture de la puce, ou à un ensemble de données enregistrées dans la base de données 30. En variante, elle peut être mise en oeuvre par un module d'accès à des 15 données de référence enregistrées dans la mémoire distante 30 de la deuxième unité de traitement 20. L'entité de preuve P compare ensuite la donnée biométrique candidate à la ou les données biométriques de référence. La mise en oeuvre de la comparaison comprend le calcul d'une distance entre les données, dont la définition varie en 20 fonction de la nature des données biométriques considérées. Le calcul de la distance comprend le calcul d'un polynôme entre les composantes des données biométriques, et avantageusement le calcul d'un produit scalaire. Par exemple, dans le cas où les données biométriques ont été obtenues à partir d'images d'iris, une distance classiquement utilisée pour comparer deux 25 données est la distance de Hamming. Dans le cas où les données biométriques ont été obtenues à partir d'images du visage d'individu, il est courant d'utiliser la distance euclidienne. Ce type de comparaison est connu de l'Homme du Métier et ne sera pas décrit plus en détails ci-avant. 30 L'individu est authentifié ou identifié si la comparaison révèle un taux de similarité entre la donnée candidate et une donnée de référence excédant un certain seuil, dont la définition dépend de la distance calculée. 3050853 17 Vérification de la comparaison Le procédé comprend ensuite une étape 200 de vérification du résultat de la comparaison entre les données biométriques. Cette étape est mise en oeuvre conjointement par l'entité de preuve P et l'entité de vérification V. 5 Chaque donnée biométrique est un vecteur comprenant un nombre entier n de composantes indexées, n étant strictement supérieur à 1. On note a=(ai,...,a,) et b=(111,...b,) les données biométriques candidate et de référence, respectivement, avec leurs composantes ai,bia. L'étape de vérification 200 comprend une première étape 210 au cours de 10 laquelle l'entité de preuve P génère, à partir des données biométriques impliquées dans la comparaison, un polynôme multivarié de même formule que la formule de la distance appliquée entre les données biométriques et qui coïncide avec la valeur de la distance en les valeurs des composantes. Pour ce faire, en notant d = log2n, l'entité de preuve P génère d'abord, au 15 cours d'une sous-étape 211, pour chaque donnée a,b, une fonction fa, fb de d variables, en reformulant l'indice i de chaque composante de la donnée en un vecteur binaire id) où les ij sont à valeurs dans {0,1}. On définit ainsi les fonctions fa et fb : fa: (i1, id) H ai fb: (i1, id) H bi 20 Les fonctions fa et fb sont définies sur {0,1}d. Lors d'une sous-étape 212, l'entité de preuve P étend le domaine de définitions de ces fonctions en générant, à partir de ces fonctions des polynômes de d variables, définis sur Fd où F est un corps fini. Pour xke{0,1), on définit une fonction xxk définie sur le corps F par : fXxk(x) = 1 - x si xk = 0 xxk(x) = x si xk = 1 25 Si l'entrée x de la fonction appartient à {0,1}, alors cette fonction retourne la valeur 1 si x=xk et 0 sinon. En notant y un vecteur comprenant d composantes binaires, et xEIFd on note X' l'extension de la fonction xxk valant 1 si le vecteur x est égal à v et 0 sinon, çette fonction x, étant définie comme suit : 3050853 18 d Xv Xd) = nx'k(xk) k=1 où k est un indice muet à valeurs entières entre 1 et d. Au cours de la sous-étape 212, l'entité de preuve P génère deux polynômes à, b à d variables définis sur le corps IFd à partir respectivement des fonctions a et b 5 comme suit: vxEFd , à(x) = fa(Oxi(x) V xeFd ,b(x) = fb(i)Xi(x) Le polynôme à (respectivement b) est une extension multilinéaire de la fonction fa (respectivement fb), car le terme de droite dans la définition du polynôme est égal à fa(ii,...,id) (respectivement fb(i1,...,id)) pour chaque (i.1, id)6{0,1}d, et donc aux composantes de la donnée a (respectivement b). Ces polynômes sont en 10 outre de degré au plus 1 en chaque variable. A l'issue de ces sous-étapes, la distance entre les deux données biométriques peut donc être reformulée avec ces polynômes. Pour ce faire, l'entité de preuve P génère lors d'une sous-étape 213, à partir des polynômes à et b un polynôme p de d variables. Le polynôme p est de même 15 expression que l'expression de la distance entre les données biométriques, c'est-à- dire que la formule appliquée aux données biométriques pour obtenir la distance entre les données est identique à celle appliquée aux polynômes à et b pour obtenir le polynôme p. Par construction des polynômes à et b, le polynôme p concorde avec la 20 valeur de la distance entre les données biométriques sur l'ensemble {0,1}d. Quelques exemples de polynômes p sont fournis ci-après. En particulier, certaines distances, comme la distance de Hamming et la distance euclidienne, comprennent le calcul d'un produit scalaire entre les deux données comparées. 25 En reprenant les expressions initiales des données biométriques et b=(131,...bn), le produit scalaire se calcule a.1)=-Er_l ai. bi. 3050853 19 Si la formule de la distance entre les deux données est égale à celle du produit scalaire, alors le polynôme p s'écrit comme suit, en reprenant les expressions des polynômes à et b : p(xi, xd) = xd). , xd) Le carré de la distance euclidienne entre deux données biométriques s'écrit 5 comme suit : n (a - b)2 = a2 b2 2a. b = > aie + bi 2 2 ai. bi i=i Le polynôme p pour reformuler cette distance s'écrit alors : p(xi, xd) = xd). xd) + b(xi, xd). 1---)(x1, ..., xd) 2eX1, --- XCI)- 5(X11 --- Xd)- Dans le cas où la distance entre les données est la distance de Hamming, cette distance fournit le nombre de bits différents entre les deux données biométriques comparées. La distance de Hamming s'écrit : cardti tels que ai # 10 En considérant que les composantes des données biométriques sont toujours égales soit à 0 soit à 1, comme ai vaut 0 ou 1, on obtient toujours le résultat : a2=a; et idem pour bi. De plus, (a1-bi)2=0 si aF-bi et (arb1)2=1 si a;#13;, car seuls les quatre cas suivants sont possibles : 15 - ai=bi=1, et alors (a1-bi)2=02=0, - ai=bi=0, et alors (a1-bi)2=02=0, a1=1 et bi=0, et alors (ai-131)2=12=0, - ai=0 et 131=1, et alors (arbi)2=(-1)2=0. De ce fait la distance de Hamming peut être reformulée comme suit : care tels que ai # bi) = 1(ai - bi)2 = al + bl - 2ai. bi = > ai + bi - 2ai.bi i=i i=i i=i 20 Le polynôme p de plusieurs variables généré à partir de la formule de la distance de Hamming est donc le suivant : xd) = xd) + b(xi, xd) - xd). xd) 3050853 20 L'étape de vérification 200 comprend également une étape 220 au cours de laquelle l'entité de preuve P communique à l'entité de vérification V les éléments suivants : - le résultat du calcul de la distance entre les données biométriques, noté H, 5 pour que le résultat de ce calcul soit vérifié par l'entité de vérification, et - les données biométriques a,b ayant servi de base au calcul. Avantageusement, mais facultativement, dans le cas où l'entité de preuve P détient à l'origine la donnée candidate ainsi que les données de référence 10 (typiquement, c'est le cas de l'authentification), l'entité de preuve P peut masquer les données biométriques avant de générer, à partir de ces données, le polynôme p et de communiquer le résultat H ainsi que ces données à l'entité de vérification V, ceci afin de préserver leur confidentialité. Le masquage est adapté pour préserver la valeur de la distance calculée entre les données, c'est-à-dire que la distance entre 15 les données masquées est égale à la distance entre les données non masquées. Dans le cas d'une authentification basée sur la reconnaissance faciale (données biométriques obtenues à partir d'images du visage de l'individu),le calcul de distance mis en oeuvre entre les données est celui d'une distance euclidienne. Le masquage est alors mis en oeuvre en générant aléatoirement une permutation rr 20 et un vecteur de n composantes (t1,...tn) dans le corps fini IF, et en permutant la donnée et lui additionnant le vecteur généré aléatoirement. En notant cl,...cn une donnée initiale, elle est masquée en cm telle que : Cm = Tr(c) +(ti,..., tn) On constate que le carré de la distance euclidienne entre deux données cref et c masquées s'écrit : )2 / 2 (7r(c'f) + (t1, tn) - (c) (t1, tn) = t(c' f) - Tr(c)) = (c' f - c)2 25 Le masquage conserve donc la valeur de la distance entre les données. Dans le cas d'une authentification basée sur la reconnaissance d'iris (données biométriques obtenues à partir d'images d'iris de l'individu), le calcul de distance mis en oeuvre entre les données est celui d'une distance de Hamming. Le 30 masquage est mis en oeuvre en générant aléatoirement une permutation -rr et un 3050853 21 vecteur de n composantes (t1,...tn) dans le corps fini F, et en effectuant l'opération « Ou exclusif » (XOR) entre la donnée permutée et le vecteur aléatoire : cm = rc(c)X0R(ti, ..., Pour pouvoir préserver la distance entre les données biométriques avant et après masquage, la permutation circulaire et le vecteur généré aléatoirement sont 5 les mêmes pour la donnée biométrique candidate et la ou les données biométriques de référence. L'étape de masquage 205 est mise en oeuvre avant l'étape 210 de calcul du polynôme p et l'étape 220 de communication des données et du résultat H de la distance. 10 Puis au cours d'une étape 230, l'entité de preuve P et l'entité de vérification V s'engagent dans un protocole de vérification du résultat H, appelé protocole « Sumcheck ». Le protocole Sumcheck a été décrit dans la publication de S. Arora et B. Barak, Computational Complexity : A modem Approach, Cambridge University 15 Press, New York, NY, USA, 2009. Le protocole « Sumcheck » s'applique de manière générale à la vérification d'un résultat sous la forme : xieto,I 1)x2e{0,1} %coal g(xi, ...,xn) Où g est un polynôme de n variables défini sur IFd et de degré d. Or, l'étape 210 décrite ci-avant a permis de ramener l'expression de la 20 distance entre les données biométriques à un tel polynôme. Par conséquent, le protocole Sumcheck de vérification de la valeur du résultat H peut être appliqué en remplaçant g dans l'équation ci-dessus par le polynôme p défini lors de l'étape 210, car la valeur H de la distance entre les données biométriques transmise à l'entité de vérification V correspond à la valeur suivante : H = p(xi, ...,xn) x1e{0,1) x2d0,11 xne{0,1} 25 On va maintenant décrire la mise en oeuvre du protocole Sumcheck. Description du protocole « Sumcheck » Au cours d'une première étape, l'entité de preuve P génère un polynôme pl d'une variable tel que : 3050853 22 = p(Xi, X2, ..., Xd) x2Ef0,1}...xdEf0,1} L'entité de preuve P communique le polynôme pl à l'entité de vérification V. L'entité de vérification V vérifie que la somme pi(0)+pi(1) des évaluations du polynôme pl en 0 et 1 est égale au résultat H du calcul de la distance qu'elle a reçue à l'étape 220. Si ce n'est pas le cas, alors l'entité de vérification V rejette le 5 résultat H comme étant erroné. Sinon, l'entité de vérification V poursuit le protocole comme suit. Pour tout j de 2 à d-1, une série d'échanges identiques a lieu entre l'entité de vérification et l'entité de preuve, chaque échange se déroulant comme suit. 10 L'entité de 'vérification V génère aléatoirement une valeur dans le corps fini IF et la communique à l'entité de preuve P, L'entité de preuve P génère un polynôme p; tel que : Pi (Xi) = p(ri, xi+i, et communique à l'entité de vérification V le polynôme pi, L'entité de vérification V détermine la valeur du polynôme po en ro et la 15 valeur du polynôme pi en 0 et en 1, et vérifie que po(ri..1) = p;(0)+p;(1). Si l'égalité n'est pas vérifiée, alors l'entité de vérification V détermine que le résultat du calcul de la distance est faux. Si l'égalité est vérifiée, le protocole continue en incrémentant j de 1. A l'issue des itérations de j allant de 2 à d-1, si toutes les vérifications ont été 20 satisfaites, l'entité de vérification V génère aléatoirement une valeur rd dans le corps fini IF. L'entité de preuve P génère un polynôme pd tel que : pd(Xd) et communique à l'entité de vérification V le polynôme pd, L'entité de vérification V détermine pd(rd) d'une part à partir du polynôme pd 25 communiqué par l'entité de preuve P et de la valeur rd qu'elle a générée. D'autre part, l'entité de vérification V détermine la valeur p(ri,...,rd_i,rd) à partir des données biométriques que, lui a transmises l'entité de preuve P. Pour ce faire, l'entité de vérification V reconstruit le polynôme p de la même manière que 3050853 23 décrit en référence à l'étape 210 du procédé à partir des données biométriques, et évalue le polynôme en les valeurs r1,... rd qu'elle a générées. L'entité de vérification V vérifie alors que pd(rd) = p(r1, rd_i, rd), et dans ce cas détermine que le résultat H du calcul de la distance est exact, avec une 5 probabilité très élevée. En effet, il a été démontré que deux polynômes distincts de degré d dont les entrées sont à valeurs dans le corps F ne peuvent coïncider au maximum que sur une proportion de d/IIFI points. Par conséquent, si le résultat H du calcul de la distance des données biométriques par l'entité de preuve P est exact, l'entité de 10 vérification V l'acceptera toujours, et s'il est faux, la probabilité que l'entité de vérification V le rejette est supérieure à (1 - ïiF1)n. Dans le contexte du protocole, IFI>>d de sorte que la probabilité que l'entité de vérification V rejette le résultat est supérieure à 1- ndel. 15 Variantes d'implémentation du protocole Dans la description qui précède du protocole « Sumcheck », lorsque l'entité de preuve P communique un polynôme p-, j compris entre 1 et d, à l'entité de vérification V, elle peut le faire en communiquant les coefficients du polynôme à l'entité de vérification V. L'entité de vérification V évalue ensuite le polynôme obtenu 20 en 0 et en 1 pour toutes les itérations où elle doit vérifier la somme de l'évaluation du polynôme en 0 et en 1. Alternativement, l'entité de preuve P peut fournir à l'entité de vérification V un nombre suffisant d'évaluations du polynôme en différents points pour que l'entité de vérification V puisse ensuite interpoler le polynôme, c'est-à-dire un nombre 25 d'évaluations strictement supérieur au degré du polynôme. Dans le cas où le polynôme correspond à une distance impliquant le calcul d'un produit scalaire, d'après la définition qui a été donnée des polynômes à et 13, ces polynômes sont de degré 1 en chaque variable et le polynôme p est de degré au plus 2 en chaque variable., Dans ce cas il suffit à l'entité de preuve P d'envoyer 30 l'évaluation des polynômes pj pour j=1 à d en seulement trois valeurs. De préférence, pour les polynômes pj, j = 1 à d-1, l'entité de preuve P envoie les évaluations de ces polynômes en 0, en 1, et en une troisième valeur 3050853 24 quelconque, car cela permet à l'entité de vérification V de réutiliser directement les valeurs en 0 et en 1 pour la vérification qu'elle mène à chaque itération. En outre il est possible de rendre plus efficace l'implémentation du protocole Sumcheck et notamment l'expression des polynômes pi, j compris entre 2 et d, à 5 partir du polynôme p. Soit A et B deux tableaux de taille n. Les tableaux A et B sont générés par l'entité de preuve P, de manière à comprendre initialement toutes les valeurs possibles des polynômes à(x1, ...,xd) et xd) pour (x1, ... xd) E {0,1}d. 10 Au cours d'une itération j du protocole Sumcheck, j allant de 2 à d-1, les polynômes ID, doivent être évalués en des points de la forme (r1,...,ro,t,x,,i,...xd}, où t peut prendre les valeurs 0, 1, et une troisième valeur, et les (xi+1, ...,xd)e[0,11d. Ceci implique d'évaluer également les polynômes à et b en des points de la même forme. Or, à chaque itération, les évaluations de ces polynômes 15 peuvent être simplifiées en réutilisant des résultats d'une itération précédente. Par exemple, pour le polynôme p2, on note G= x2, ..., xd) D'après la définition du polynôme à : G = id) Xi (ri, x2, xd) il,...,IdE{o,i}d d G = xii id) nxik(xk) ii,...,idEfo,i,d k = 2 d G= Xo (ri)a(0, , id) nxik(xk) k=2 G= d d + (r1)a(1, nxik(xo Xik(X1c) k=2 k=2 (1- ri)a(0, ..., id) n xik (xk) + r1a(1, , k=2 D'après la définition de la fonction xik on obtient G = x2, ..., xd) = à(0, x2, ..., xd)(1 - ri) + à(1, x2, , xd)ri 3050853 25 On constate donc que l'évaluation du polynôme p2 en 0 ou en 1 peut être faite directement à partir de la valeur de r1 et des valeurs des polynômes à et b, qui se trouvent initialement dans les tableaux A et B. Pour l'évaluation du polynôme p2 en la troisième valeur de t, le même type 5 de raisonnement permet d'obtenir une expression qui n'utilise que des valeurs stockées dans les tableaux A et B : t, X3, , = (1 - t)((1 - r1)à(0,0, x3, , xd ) + r1à(1,0, x3, ... xd )) + t((1 - r1)à(0,1, x3, , xd ) + 7-1E1(1,1, x3, , xd )) Plus généralement, pour tout j compris entre 2 et d-1, l'évaluation du 10 polynôme pi peut être calculée rapidement en fonction de la valeur de ro, de t et des valeurs à(ri, ri_2, 1, ... xd)et b(r1, ... ri_2, xd) obtenues à l'itération précédente, et qui sont enregistrées à chaque itération par l'entité de preuve dans les tableaux A et B mis à jour. On note A(J) et B(J) la version mise à jour à l'itération j des tableaux A et B. 15 Par conséquent, lors de chaque itération de la phase d'échange du protocole Sumcheck, avec j compris entre 2 et d, l'entité de preuve P dispose pour chaque polynôme â, b d'un tableau Aw, B° comprenant respectivement toutes les valeurs possibles des fonctions à(r1, Xj-1, xd)et -6(r1, ... ri-2, xi_i, xd) pour xd) E t0,11d-i+1, 20 où les valeurs r1,...,ro sont les valeurs générées aléatoirement par l'entité de vérification V et transmises à l'entité de preuve P lors d'une itération j, l'évaluation d'un polynôme I), en une valeur t est mise en oeuvre à partir des valeurs t, ro et des valeurs des tableaux Aw, B°, et l'entité de preuve P incrémente les tableaux el), BÙ+l) pour l'itération j+1 en 25 remplaçant leurs valeurs par toutes les valeurs possibles xd) et b(r1, ... ri-i, xd) pour (xi, xd) E Le coût total pour l'implémentation du protocole par l'entité de preuve P est en 0(2d)= 0(n). 30 3050853 26 Cas du calcul d'un produit scalaire avec plusieurs données de référence Dans le cas où l'entité de preuve P réalise une identification biométrique de l'individu, elle peut calculer une distance entre la donnée biométrique candidate et chacune d'une pluralité de données biométriques de référence. Comme indiqué ci- 5 avant, ce cas est de préférence mis en oeuvre avec la deuxième unité de traitement 20 comme entité de preuve, et la première unité de traitement 10 comme entité de vérification V. Alors la première unité de traitement 10 aura préalablement communiqué la donnée biométrique candidate a à la deuxième unité de traitement 20. 10 Avantageusement, dans le cas d'une identification où le calcul de la distance comprend celui d'un produit scalaire entre la donnée candidate et chaque donnée de référence, la vérification est de préférence mise en oeuvre simultanément sur l'ensemble des calculs de distance et les étapes décrites ci-avant sont mises en oeuvre à l'identique en regroupant les données de référence en une matrice. 15 Ainsi, en notant m le nombre de données biométriques de référence, où m est un entier strictement supérieur à 1, M une matrice de n lignes et m colonnes qui représente toutes les données biométriques de référence, fa une fonction qui à une valeur d'indice i associe la composante d'indice i de la donnée candidate a, et M(j,i) une fonction qui à un couple d'indices (j,i) associe la valeur de M;,1, le produit 20 scalaire q entre la donnée candidate et chaque donnée de référence se note : q(i) = fa(i)111(i Lors de la sous-étape 211, en notant d = max(log2n, log2m ), les indices des composantes de la donnée biométrique candidate et de la matrice des données de référence peuvent être reformulés en binaire. Le produit scalaire se réécrit alors comme suit : V(i1, id)Et0,11d, q(i1, id) ='id). t d, id) 25 La sous-étape 212 d'extension des fonctions fa et M à IFd où IF est un corps fini peut également être mise en oeuvre mutatis mutandis. En notant â et M les extensions respectives de fa et M sur le corps Fd la relation précédente devient alors : 3050853 27 V(xi,...,xd)EFd, ci(x1,...,xd) = j d). MVL --- d, X1) Xd) Lors de la sous-étape 213, le polynôme p correspondant aux produits scalaires et coïncidant avec les produits scalaires sur les données biométriques sur {0,1}d est : 'id) = (il, d, xi, ...,xd) 5 Lors de l'étape 220, l'entité de preuve P envoie à l'entité de vérification V les données de références, ainsi que le résultat q du produit scalaire entre la donnée biométrique et la matrice des données de référence M : ViE{1, = Erbi fa(i)MU, Avant la mise en oeuvre du protocole Sumcheck, l'entité de vérification V 10 calcule une extension q de q sur le corps IFd, et génère aléatoirement un vecteur r=(ri,...rd) dans IFd qu'elle communique à l'entité de preuve. L'entité de preuve P envoie alors à l'entité de vérification la valeur q(r). Puis, le protocole Sumcheck est mis en oeuvre à l'identique en remplaçant le polynôme p ci-avant dans le protocole par p(,.i,...,rd)()i, , jd), pour vérifier 15 l'exactitude de la valeur de q(r), la vérification finale ne nécessitant que la connaissance des fonctions à et R. A l'issue du protocole, le fait que la valeur de q évalué en une donnée générée aléatoirement par l'entité de vérification ait été vérifiée par l'entité de vérification permet de prouver que le calcul du produit scalaire entre les données biométrique et de référence est exact. 20 Le procédé proposé ci-avant permet d'exploiter le protocole Sumcheck à la vérification d'une authentification ou d'une identification biométrique. Le rôle joué par l'entité de preuve dans l'implémentation de ce protocole ne nécessite pas de capacité de calculs importantes, ce qui est bien adapté à une implémentation par un 25 dispositif personnel à un individu tel qu'un téléphone mobile. REVENDICATIONS1. Procédé de traitement de données biométriques, comprenant la vérification (200) du résultat d'un calcul de distance entre une donnée biométrique candidate (a) et au moins une donnée biométrique de référence (b) comprenant chacune un nombre n de composantes indexées (a,, b,), ledit calcul de distance comprenant celui d'un polynôme en les composantes des données biométriques, le procédé étant mis en oeuvre par une entité de preuve (P) et une entité de vérification (V), chaque entité étant une unité de traitement comprenant des moyens de traitement (11, 21) et de communication (12, 22) avec l'autre entité, le procédé comprenant des étapes au cours desquelles : l'entité de preuve (P) communique (220) à l'entité de vérification (V) le résultat du calcul de la distance entre les données biométriques candidate et de référence, ainsi que lesdites données, - l'entité de preuve (P) génère (211) à partir de chaque donnée une fonction d'un nombre d de variables fa(i1,-,id), fb(ii,...,id) où d=log2n, définie pour chaque variable sur l'ensemble {0,1}, par reformulation de l'indice i de chaque composante (a,, b,) en format binaire, - l'entité de preuve (P) génère (212) à partir de chaque fonction un polynôme de d variables â(x-1,...xd),ti(xl,...xd) défini sur IFd où IF est un corps fini, tel que chaque polynôme â, b coïncide avec la fonction correspondante fa,fb sur l'ensemble {0,1}d, et génère (213) à partir des polynômes â, b un polynôme p(xi, ...,xd) de d variables de même expression que celui de la distance entre les données, et - l'entité de preuve (P) et l'entité de vérification (V) s'engagent dans un protocole Sumcheck (230) appliqué au polynôme p pour vérifier le résultat du calcul de la distance entre les données. 2. Procédé selon la revendication 1, dans lequel le calcul de distance comprend celui d'un produit scalaire, et le polynôme p comprend au moins un terme g égal à un produit scalaire entre les polynômes à et b : ...,xd) = xd). 3050853 29 3. Procédé selon la revendication 2, dans lequel la distance calculée est le carré de la distance euclidienne, et le polynôme p s'écrit : p(xi, xd) = xd). xd) + (x1, , xd). 15(xl, ... , xd) - 2g (xi, xd). 4. Procédé selon la revendication 2, dans lequel la distance calculée est la distance 5 de Hamming, et/le polynôme p s'écrit : = Et(x1,...,xd) + 15(x1, xd) - 2g(x1, ...,xd). 5. Procédé selon l'une des revendications précédentes, dans lequel la donnée biométrique candidate et la ou les données biométriques de référence sont initialement détenues par l'entité de preuve (P), et le procédé comprend une étape 10 préliminaire de masquage (105), par l'entité de preuve (P), des données biométriques, ledit masquage comprenant la génération aléatoire d'une permutation circulaire et d'un vecteur de n composantes, et la mise en oeuvre d'une somme ou de l'opération « ou exclusif » entre chaque donnée permutée par la permutation circulaire et le vecteur généré aléatoirement. 15 6. Procédé selon l'une des revendications précédentes, dans lequel chaque polynôme â(xl,...xd) et b(xi,...xd) est de degré un en chaque variable. 7. Procédé selon la revendication 6, dans lequel le polynôme â(xl,...xd) est défini 20 par : avec : vx E Fd,à(x) = a(i)xi (x) d xv , xd) = xvk (X1c) k=1 et où la fonction x,k(xk) est définie, pour xke{0,1}, par : fx,,k(xk) = 1 - xk si vk = jl Xvk (xk) = Xk Si Vk = 1 . 8. Procédé selon la revendication 7, dans lequel, la mise en oeuvre du protocole 25 Sumcheck comprend une série d'itérations pour j compris entre 2 et d-1 au cours 3050853 30 desquelles l'entité de vérification (V) génère aléatoirement et communique à l'entité de preuve une valeur ro, et l'entité de preuve (P) génère un polynôme : Pi (Xi) = p(ri, , Xi, xj+1, ...,xd) xj+1E(o,i)...xdE{0,1} et, à chaque itération, l'entité de preuve (P) dispose pour chaque polynôme â, b d'un tableau A(I), 5 B0 comprenant respectivement toutes les valeurs possibles des fonctions ri-2, xd)et b(ri, ri-2, xd) pour (xj_1, ...xd) E {0,11d-j+1 où chaque valeur rk (k=1,...,j-2) a été générée aléatoirement par l'entité de vérification et transmise à l'entité de preuve lors des itérations précédentes, - l'évaluation d'un polynôme pi en une valeur t est mise en oeuvre par l'entité 10 de preuve (P) à partir des valeurs t, ro et des valeurs des tableaux A°), 13°), et - l'entité de preuve (P) incrémente les tableaux M+1), el) pour l'itération j+1 en remplaçant leurs valeurs par toutes les valeurs possibles 11(r1, ri_i, xd) et Rri, ri_i, ...xd) pour (xi__ xd) E 15 les tableaux étant initialisés pour le polynôme p2 en comprenant toutes les valeurs possibles des polynômes â, b sur l'ensemble f0,11d. 9. Procédé selon l'une des revendications 2 à 8, comprenant la vérification du résultat du calcul d'un produit scalaire entre une donnée biométrique candidate et 20 chacune d'un nombre m de données biométriques de référence, dans lequel les données biométriques de référence sont réunies en une matrice M de taille (n,m) de sorte que les produits scalaires sont obtenus par le produit du vecteur candidat et de la matrice, et, le protocole Sumcheck est mis en oeuvre sur un polynôme P(ri,...,rd) --- jd) tel que : P(ri,...,rd) --- 'id) = ---,:h1)-11-4 (J1, --- ri, - -- rd) 25 où (ri., ...,rd) est un vecteur dont les composantes sont générées aléatoirement par l'entité de vérification (V). 3050853 31 10. Procédé d'authentification ou d'identification biométrique d'un individu, comprenant : - la comparaison, par une entité de preuve (P), d'une donnée biométrique acquise sur un trait biométrique d'un individu à au moins une donnée 5 biométrique de référence par calcul entre lesdites données d'une distance (100), et la mise en oeuvre du procédé selon l'une des revendications qui précèdent pour la vérification du résultat de la comparaison. 10 11. Procédé d'authentification selon la revendication précédente, dans lequel l'entité de preuve (P) est un dispositif électronique (10) personnel à l'individu de type téléphone, ordinateur personnel ou tablette numérique comprenant un calculateur (11), un capteur d'images (14), et un module (16) d'acquisition d'une donnée biométrique de référence contenue dans un document d'identité. 15 12. Produit programme d'ordinateur, comprenant des instructions de code pour l'exécution d'un procédé comprenant des étapes de : - acquisition d'une image et conversion de ladite image en une donnée biornétrique comprenant n composantes, 20 acquisition d'une donnée biométrique de référence enregistrée dans un document d'identité, la donnée comprenant n composantes, - comparaison des deux données par calcul d'une distance entre les deux données comprenant le calcul d'un polynôme en les composantes des données, - communication du résultat et desdites données à une entité de vérification, 25 - génération à partir de chaque composante a,, 13, de chaque donnée d'une fonction d'un nombre d de variables a(11,...,id), b(il,...,id) où d=log2n, définie pour chaque variable sur l'ensemble {0,1}, par reformulation de l'indice i de la composante a' b, en format binaire, - génération, à partir de chaque fonction, d'un polynôme de d variables â(xi,..-xd) 30 b(x1,...xd) défini sur un corps fini, tel que chaque polynôme â, 13 coïncide avec la fonction correspondante a,b sur l'ensemble {0,1}d, et génération, à partir des polynômes â et b d'un polynôme p(x1, xd) de d variables de même expression que celui de la distance entre les données, 3050853 32 - engagement, avec l'entité de vérification, dans un protocole de vérification Sumcheck appliqué au polynôme p, lorsque ledit programme est exécuté sur un ordinateur. 5 13. Application du protocole Sumcheck à un calcul de distance entre une donnée biométrique candidate (a) et au moins une donnée biométrique de référence (b) comprenant chacune n composantes, le calcul de distance comprenant celui d'un polynôme en les composantes des données, dans lequel chaque donnée biométrique- est convertie en un polynôme multivarié 10 défini sur un corps fini par : - reformulation de l'indice i de chaque composante de chaque donnée biométrique en format binaire, pour obtenir une fonction (fa, fb) de d variable ou log2n, - extension de chaque fonction (fa, fb) en un polynôme â, S, de d variables 15 défini sur un corps fini, et - génération d'un polynôme p à partir des polynômes â et b de même formule que le polynôme de la distance appliquée aux données biométriques.