FR 3128299 A1 20230421 FR 2111110 A 20211019 Procédé de contrôle d’identité d’un individu de référence, le procédé comprenant des étapes suivantes mises en œuvre par un dispositif de contrôle (1) : sélection (108) de terminaux respectivement associés à des individus faisant partie d’un ensemble d’individus dont les identités sont destinées à être contrôlées par le dispositif de contrôle (1), l’individu faisant partie de l’ensemble d’individus ; envoi (110), à chacun des terminaux sélectionnés, d’une donnée d’entrée associée à l’individu de référence et d’une requête demandant au terminal de mettre en œuvre un premier traitement cryptographique produisant une donnée de sortie à partir de la donnée d’entrée et d’une clé privée propre à l’individu associé au terminal ; réception (112) de chaque donnée de sortie ; et mise en œuvre (114) d’un deuxième traitement cryptographique produisant un résultat de contrôle relatif à l’individu de référence à partir de chaque donnée de sortie. Figure pour l’abrégé : Fig. 3 Procédé de contrôle d’identité utilisant des terminaux d’utilisateur DOMAINE DE L'INVENTION La présente invention concerne un procédé de contrôle d’identité. ETAT DE LA TECHNIQUE Pour sécuriser l’embarquement de passagers à bord d’un avion, une solution envisagée est de constituer une base de données biométriques des passagers avant l’embarquement. Une telle base de données est par exemple réalisée à partir de données biométriques. L’identité des passages peut être contrôlée avant embarquement en interrogeant une telle base de données. La constitution de telles bases de données est soumise dans certaines pays à des réglementations. En particulier, de telles bases de données biométriques ne peuvent être constituées sans une autorisation préalable d’une autorité (par exemple, la CNIL en France). Généralement, l’autorité conditionne cette autorisation à des gages de sécurité. Pour protéger en confidentialité les données stockées dans une telle base de données, une solution envisagée est de les chiffrer. Il pourrait être envisagé de chiffrer les données avec une seule clé. Toutefois, cette solution est dangereuse, car si un attaquant parvient à connaître la clé en question et accède à la base de données, il pourrait en déchiffrer tout le contenu. Une autre solution serait de confier à chaque individu une clé privée, qui serait stockée sur un terminal de l’individu. Toutefois, cette solution est contraignante, car n’est pas généralisable aux individus qui n’ont pas de terminal adapté à cet effet, ou qui ne souhaitent pas que leur terminal soit utilisé à cet effet. Un but de l’invention est de proposer un contrôle d’identité simple et sécurisé, et qui soit auditable. Par un contrôle d’identité « auditable », on entend un contrôle d’identité dont le niveau de sécurité peut être vérifié a posteriori par une autorité indépendante. Il est à cet effet proposé, selon un premier aspect, un procédé de contrôle d’identité d’un individu de référence, le procédé comprenant des étapes suivantes mises en œuvre par un dispositif de contrôle : - sélection de terminaux respectivement associés à des individus faisant partie d’un ensemble d’individus dont les identités sont destinées à être contrôlées par le dispositif de contrôle, l’individu faisant partie de l’ensemble d’individus, - envoi, à chacun des terminaux sélectionnés, d’une donnée d’entrée associée à l’individu de référence et d’une requête demandant au terminal de mettre en œuvre un premier traitement cryptographique produisant une donnée de sortie à partir de la donnée d’entrée et d’une clé privée propre à l’individu associé au terminal, - réception de chaque donnée de sortie, - mise en œuvre d’un deuxième traitement cryptographique produisant un résultat de contrôle relatif à l’individu de référence à partir de chaque donnée de sortie. Dans le procédé proposé, une partie des traitements cryptographiques conduisant au résultat de contrôle d’identité sont confiés aux terminaux des individus à contrôler ayant été sélectionnés. Une telle distribution renforce la sécurité du procédé de contrôle d’identité, car exigerait, pour être cassé, une attaque de tous les dispositifs en présence (dispositif de contrôle 1 et terminaux mis à contribution). Par ailleurs, ce procédé est auditable. Pour cela, un auditeur (par exemple, un représentant de la CNIL en France) peut faire en sorte qu’un terminal en sa possession soit enrôlé auprès du dispositif de contrôle 1, de sorte à permettre à ce terminal d’être mis à contribution en réalisation le premier traitement cryptographique. Le procédé selon le premier aspect peut également comprendre les caractéristiques optionnelles suivantes, qui peuvent être prises seules ou en combinaison à chaque fois que cela est possible. De préférence, sont sélectionnés au moins trois terminaux à l’étape de sélection. De préférence, la donnée de sortie produite par un terminal dépend également d’un aléa généré par le terminal. De préférence : - la donnée d’entrée est une première portion d’un chiffré résultant d’un chiffrement appliqué à des données d’identité de l’individu de référence, - le deuxième traitement cryptographique produit le résultat de contrôle relatif à l’individu de référence à partir de chaque donnée de sortie et à partir d’une deuxième portion du chiffré, - les mises en œuvre du premier traitement cryptographique par les terminaux et la mise en œuvre du deuxième traitement cryptographique par le terminal de contrôle forment ensemble un déchiffrement du chiffré à l’aide d’une clé dépendant des clés privées propres aux individus associés aux terminaux sélectionnés. De préférence, le chiffré résulte d’un chiffrement homomorphe. De préférence, le déchiffrement est un déchiffrement selon le schéma Brakerski/Fan-Vercauteren. De préférence, la donnée de sortie produite par un terminal d’indice i sélectionné est calculée comme suit : où : - désigne la clé privée propre à un individu associé au terminal d’indice i, - désigne la donnée d’entrée, - et sont des aléas générés par le terminal d’indice i, - est un nombre prédéfini, - est la partie entière inférieure de , t étant un entier prédéfini strictement inférieur à , - est un nombre de bits du résultat de contrôle relatif à l’individu de référence. De préférence, le deuxième traitement cryptographique comprend - le calcul de la valeur suivante : où désigne une donnée formant avec la donnée d’entrée un chiffré résultant d’un chiffrement appliqué à des données d’identité de l’individu de référence, et où désigne la donnée de sortie produite par le terminal associé à l’individu d’indice i, et - une extraction de bits de poids les plus faibles d’un nombre modulo , le nombre étant l’entier le plus proche du produit de la valeur calculée par , étant un entier prédéfini strictement inférieur à . De préférence, les terminaux sont sélectionnés en fonction d’un élément d’identité des individus associés aux terminaux. De préférence, les terminaux sont sélectionnés en fonction d’un élément aléatoire vérifiable. De préférence, le procédé selon le premier aspect comprend également une étape d’acquisition d’une donnée biométrique de l’individu de référence, dans lequel la donnée d’entrée est au moins une portion d’un chiffré d’une donnée indiquant si l’individu de référence est référencé dans une base de données biométriques. Il est également proposé, selon un deuxième aspect, un procédé de contrôle d’accès à une zone sécurisée, le procédé comprenant la mise en œuvre, pour chaque individu faisant partie d’un ensemble d’individus candidatant pour accéder à la zone sécurisée, d’un contrôle de l’identité de l’individu par le procédé selon le premier aspect. Il est également proposé, selon un troisième aspect, une mémoire lisible par ordinateur stockant des instructions exécutables par une unité de traitement de données pour l’exécution des étapes du procédé selon le premier aspect ou selon le deuxième aspect. DESCRIPTION DES FIGURES D’autres caractéristiques, buts et avantages de l’invention ressortiront de la description qui suit, qui est purement illustrative et non limitative, et qui doit être lue en regard des dessins annexés sur lesquels : Les figures 1 et 2 illustrent de façon schématique différents dispositifs faisant partie d’un système selon un mode de réalisation, utilisable pour contrôler l’identité d’individus. Les figures 3, 4 et 5 sont des organigrammes d’étapes d’un procédé de contrôle d’identité selon un mode de réalisation. Sur l’ensemble des figures, les éléments similaires portent des références identiques. Procédé de contrôle d’identité d’un individu de référence, le procédé comprenant des étapes suivantes mises en œuvre par un dispositif de contrôle (1) : - sélection (108) de terminaux respectivement associés à des individus faisant partie d’un ensemble d’individus dont les identités sont destinées à être contrôlées par le dispositif de contrôle (1), l’individu faisant partie de l’ensemble d’individus, - envoi (110), à chacun des terminaux sélectionnés, d’une donnée d’entrée associée à l’individu de référence et d’une requête demandant au terminal de mettre en œuvre un premier traitement cryptographique produisant une donnée de sortie à partir de la donnée d’entrée et d’une clé privée propre à l’individu associé au terminal, - réception (112) de chaque donnée de sortie, - mise en œuvre (114) d’un deuxième traitement cryptographique produisant un résultat de contrôle relatif à l’individu de référence à partir de chaque donnée de sortie. Procédé selon la revendication 1, dans lequel sont sélectionnés au moins trois terminaux. Procédé selon l’une des revendications précédentes, dans lequel la donnée de sortie produite par un terminal dépend également d’un aléa généré par le terminal. Procédé selon l’une des revendications précédentes, dans lequel : - la donnée d’entrée est une première portion d’un chiffré résultant d’un chiffrement appliqué à des données d’identité de l’individu de référence, - le deuxième traitement cryptographique produit le résultat de contrôle relatif à l’individu de référence à partir de chaque donnée de sortie et à partir d’une deuxième portion du chiffré, - les mises en œuvre du premier traitement cryptographique par les terminaux et la mise en œuvre du deuxième traitement cryptographique par le terminal de contrôle forment ensemble un déchiffrement du chiffré à l’aide d’une clé dépendant des clés privées propres aux individus associés aux terminaux sélectionnés. Procédé selon la revendication précédente, dans lequel le chiffré résulte d’un chiffrement homomorphe. Procédé selon l’une des revendications précédentes, dans lequel le déchiffrement est un déchiffrement selon le schéma Brakerski/Fan-Vercauteren (BFV). Procédé selon l’une des revendications précédentes, dans lequel la donnée de sortie produite par un terminal d’indice i sélectionné est calculée comme suit : où : - désigne la clé privée propre à un individu associé au terminal d’indice i, - désigne la donnée d’entrée, - et sont des aléas générés par le terminal d’indice i, - est un nombre prédéfini, - est la partie entière inférieure de , t étant un entier strictement inférieur à , - est un nombre de bits du résultat de contrôle relatif à l’individu de référence. Procédé selon l’une des revendications précédentes, dans lequel le deuxième traitement cryptographique comprend : - le calcul de la valeur suivante : où désigne une donnée formant avec la donnée d’entrée un chiffré résultant d’un chiffrement appliqué à des données d’identité de l’individu de référence, et où désigne la donnée de sortie produite par le terminal associé à l’individu d’indice i, et - une extraction de bits de poids les plus faibles d’un nombre modulo , le nombre étant l’entier le plus proche du produit de la valeur calculée par , étant un nombre prédéfini et étant un entier prédéfini strictement inférieur à . Procédé selon l’une des revendications précédentes, dans lequel les terminaux sont sélectionnés en fonction d’un élément d’identité des individus associés aux terminaux. Procédé selon l’une des revendications précédentes, dans lequel les terminaux sont sélectionnés en fonction d’un élément aléatoire vérifiable. Procédé selon l’une des revendications précédentes, comprenant en outre une étape d’acquisition d’une donnée biométrique de l’individu de référence, dans lequel la donnée d’entrée est au moins une portion d’un chiffré d’une donnée indiquant si l’individu de référence est référencé dans une base de données biométriques. Procédé de contrôle d’accès à une zone sécurisée, le procédé comprenant la mise en œuvre, pour chaque individu faisant partie d’un ensemble d’individus candidatant pour accéder à la zone sécurisée, d’un contrôle de l’identité de l’individu par le procédé selon l’une des revendications 1 à 11. Mémoire lisible par ordinateur stockant des instructions exécutables par une unité de traitement de données pour l’exécution des étapes du procédé selon l’une des revendications précédentes.