FR 2969879 A1 20120629 FR 1061146 A 20101223 Accès anonyme à un service au moyen de certificats agrégés L'invention concerne le domaine des systèmes d'accréditation anonyme pour l'accès à des services, en particulier au moyen de l'attribution de certificats agrégés entre eux. Dans un système d'accréditation courant, une organisation de confiance émet, pour certains utilisateurs, des accréditations certifiées portant sur un ou plusieurs attributs de cet utilisateur. Une telle organisation peut être, par exemple, une mairie émettant des accréditations certifiées consistant en des cartes d'identité, lesquelles présentent un certain nombre d'attributs associés à l'utilisateur du type nom, prénom, date de naissance, adresse, etc. Cette organisation peut également être une université émettant des accréditations certifiées consistant en des cartes d'étudiant, lesquelles présentent certains attributs associés à un étudiant du type nom, prénom, numéro d'étudiant, études suivies, etc. Lorsqu'il souhaite accéder à un service offert par un organisme tiers agissant en tant que fournisseur de services, l'utilisateur peut alors vouloir utiliser de telles accréditations certifiées de façon anonyme, c'est-à-dire en minimisant l'information qu'il fournit à ce fournisseur de service afin d'en obtenir le service désiré. Par exemple, l'accès à certains services spécifiques peut être restreint aux habitants d'une ville. Dans un tel cas, l'utilisateur doit alors prouver qu'il habite bien la bonne ville, de façon certifiée par la mairie, mais il peut ne pas vouloir révéler les autres attributs le concernant sur sa carte d'identité, tels que son nom ou son adresse exacte. Similairement, un étudiant peut vouloir bénéficier d'une ristourne sur un service offert par l'organisme tiers. L'étudiant doit alors prouver qu'il possède une accréditation provenant d'une université, mais peut ne pas vouloir révéler les autres attributs le concernant sur sa carte d'étudiant, tels que son nom ou les études qu'il suit. Pour répondre à ce besoin d'anonymat, il est possible d'envisager des systèmes d'accréditation utilisant des techniques cryptographiques proches des signatures de groupe ou des signatures aveugles. Dans le cas des signatures de groupe, l'organisation certificatrice signe, lors de la phase de création de l'accréditation, l'ensemble des attributs associés à l'utilisateur en ne produisant qu'une seule signature. Cette signature doit être telle que l'organisation certificatrice elle-même ne doit pas être capable d'utiliser cette accréditation afin de se faire passer pour l'utilisateur, ce qui est par exemple possible en utilisant des techniques liées aux schémas de signature de groupe. L'entité de confiance est l'organisation qui délivre des accréditations. Dans les exemples présentés ci-dessus, l'Entité de confiance est la mairie, ou l'université. Une fois l'utilisateur en possession d'une telle accréditation, il peut révéler un ou plusieurs attributs qui lui sont associés, en fonction de la demande de l'organisme tiers agissant en tant que fournisseur de services auprès duquel il requiert un service, en générant, à l'instar des techniques de signature de groupe, une preuve de connaissance des attributs non révélés et une signature sur l'ensemble 1 des attributs, révélés ou non, sans divulguer ni les attributs non révélés ni la signature de l'organisation certificatrice. L'utilisateur préserve de ce fait son anonymat vis-à-vis du monde extérieur. Dans ce cas de figure, il est nécessaire d'utiliser un schéma de signature permettant de signer plusieurs messages/attributs en une seule signature et où le possesseur de la signature est capable de faire une preuve de connaissance de la signature et des messages signés, sans révéler ni la signature, ni l'ensemble de ces messages/attributs qu'il souhaite cacher, tout en gardant la possibilité de donner en clair le ou les attributs qui lui sont demandés par l'organisme tiers. Un tel schéma de signature est consommateur en temps de calcul puisqu'il nécessite de cacher explicitement les attributs non révélés. La taille de la preuve dépend donc du nombre d'attributs initialement certifiés par l'entité émettrice. Par ailleurs, sa mise en oeuvre pratique nécessite l'utilisation de données cryptographiques de taille importante, comme cela est le cas dans la technologie Idemix proposée par IBM. Dans les cas des signatures aveugles, l'idée consiste à faire signer de façon aveugle les attributs par l'organisation certificatrice. L'utilisation d'une telle signature aveugle rend le système d'accréditation plus efficace, au détriment cependant d'une traçabilité accrue de l'utilisateur. Un exemple de ce type de technique est repris dans la technologie UProve proposée par Microsoft. La présente invention a pour objet de remédier aux inconvénients précités des solutions envisagées de l'art antérieur et de proposer une technique alternative d'accréditation anonyme, qui soit potentiellement plus efficace et moins gourmande en temps de calcul et en bande passante et qui permette une simplification des procédures lorsqu'un utilisateur doit faire appel à des accréditations provenant d'organisations différentes. La présente invention propose à cet effet un procédé d'accès anonyme à un service comprenant : l'attribution, par au moins une entité certificatrice, d'une pluralité de certificats à une entité utilisatrice, ces certificats étant calculés à partir d'au moins un attribut associé à l'entité utilisatrice ; le calcul, par l'entité utilisatrice, d'un certificat agrégé à partir d'une pluralité de certificats parmi les certificats attribués à l'entité utilisatrice ; le calcul, par l'entité utilisatrice, d'une preuve de connaissance du certificat agrégé ; et une vérification, effectuée par une entité vérificatrice, d'au moins un de ces certificats au moyen de ladite preuve de connaissance, l'accès au service étant fourni par l'entité vérificatrice à l'entité utilisatrice en fonction du résultat de ladite vérification. Dans un mode de réalisation, l'attribution de la pluralité de certificats à l'entité utilisatrice comprend, pour chacun des certificats attribués par une entité certificatrice, le calcul d'un certificat au moyen d'une donnée publique liée à une clé secrète de l'entité utilisatrice, d'au moins un attribut associé à l'entité utilisatrice et d'une clé secrète de l'entité certificatrice et la transmission du certificat à l'entité utilisatrice, ce qui permet de certifier que l'utilisateur présente bien l'attribut en question tout en ne révélant pas la clé secrète de l'utilisateur. 2 En particulier, le certificat peut être calculé dans le cadre des environnements bilinéaires munis de couplages selon la formule suivante : / l ski 6i = C'nH(glskc' V g2skc' Vmk) k=1 où 61 représente le certificat, C représente la donnée publique liée à la clé secrète de l'entité utilisatrice, lj représente le nombre d'attributs signés par l'entité certificatrice C,, H représente une fonction cryptographique de hachage, g1 et g2 représentent deux générateurs de groupe choisis aléatoirement et de manière uniforme respectivement dans deux groupes bilinéaires d'ordre p, où p est un nombre entier premier, skci représente la clé secrète de l'entité certificatrice, et mi, représente un attribut associé à l'entité utilisatrice. Dans un mode de réalisation avantageux où le certificat calculé par l'entité certificatrice est un certificat provisoire, la donnée publique liée à la clé secrète de l'entité utilisatrice est un engagement sur la clé secrète de l'entité utilisatrice calculé dans l'entité utilisatrice au moyen d'une variable aléatoire avant d'être transmis à l'entité certificatrice et le certificat provisoire reçu par l'entité utilisatrice est démasqué au moyen de ladite variable aléatoire afin d'obtenir le certificat attribué à l'entité utilisatrice. Ceci permet d'empêcher l'entité certificatrice de générer des certificats qu'elle pourrait utiliser à la place de l'utilisateur. En particulier, le démasquage du certificat provisoire comprend le calcul du certificat attribué à l'entité utilisatrice en multipliant le certificat reçu de l'entité certificatrice par la variable (glskc' )-s où g1 représente un générateur de groupe choisi aléatoirement et de manière uniforme dans un groupe d'ordre p, où p est un nombre entier premier, skci représente la clé secrète de l'entité certificatrice et s est une valeur aléatoirement choisie dans l'ensemble Zp des entiers modulo p. Avantageusement, le certificat attribué à l'entité utilisatrice est vérifié par l'entité utilisatrice après le démasquage du certificat provisoire, afin de pouvoir interrompre le protocole d'attribution avant de transmettre une quelconque de preuve de connaissance si ce protocole ne s'est pas bien déroulé. Avantageusement, la donnée publique liée à la clé secrète de l'entité utilisatrice est vérifiée au moyen d'une preuve de connaissance de cette donnée publique, et le calcul du certificat n'est effectué que si le résultat de la vérification de l'engagement est positif, ce qui évite d'effectuer inutilement le calcul du certificat si l'utilisateur n'est pas habilité à obtenir un tel certificat et permet l'envoi d'un message d'erreur si le protocole ne s'est pas bien déroulé. L'étape d'attribution peut comprendre en particulier le calcul, par l'entité utilisatrice, de la donnée publique liée à la clé secrète de l'entité utilisatrice, le calcul d'une première partie de la preuve de connaissance à partir de cette donnée publique liée à la clé secrète et le calcul d'une deuxième partie de la preuve de connaissance à partir d'une donnée aléatoire reçue de l'entité certificatrice. Dans un mode de réalisation particulier, le calcul de l'engagement comprend le calcul d'une première partie de ladite donnée publique liée à la clé secrète de l'entité utilisatrice et le calcul d'une 3 deuxième partie de la donnée publique liée à la clé secrète de l'entité utilisatrice et à au moins un certificat attribué par une autre entité certificatrice. Avantageusement, le calcul de la preuve de connaissance de la pluralité de certificats attribués à l'entité utilisatrice comprend le calcul d'un engagement sur le certificat agrégé, le calcul d'une première partie de la preuve de connaissance à partir de l'engagement sur le certificat agrégé et le calcul d'une deuxième partie de la preuve de connaissance à partir d'une donnée aléatoire reçue de l'entité vérificatrice, ce qui permet de ne pas révéler directement le certificat agrégé et donc de préserver au mieux l' anonymat. La présente invention vise également un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape de calcul d'un certificat ci-avant lorsque ce programme d'ordinateur est exécuté par une unité de calcul située dans une entité certificatrice. La présente invention vise par ailleurs un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape de génération d'une preuve de connaissance d'une pluralité de certificats attribués à une entité utilisatrice ci-avant lorsque ce programme d'ordinateur est exécuté par une unité de calcul située dans une entité utilisatrice. La présente invention vise en outre un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape de vérification au moyen d'une preuve de connaissance d'une pluralité de certificats ci-avant, lorsque ce programme d'ordinateur est exécuté par une unité de calcul située dans une entité vérificatrice. Au titre de la protection recherchée, les programmes d'ordinateur ci-avant sont à considérer comme des produits programme d'ordinateur. La présente invention propose par ailleurs une entité certificatrice, apte à accréditer une entité utilisatrice, comprenant une unité de calcul apte à mettre en oeuvre l'étape de calcul d'un certificat à partir d'au moins un attribut ci-avant, et une unité de communication apte à transmettre ce certificat calculé à l'entité utilisatrice. La présente invention propose également une entité vérificatrice, apte à vérifier une entité utilisatrice, comprenant une unité de communication apte à recevoir une preuve de connaissance d'une pluralité de certificats attribués à l'entité utilisatrice et une unité de calcul apte à mettre en oeuvre l'étape de vérification ci-avant au moyen de cette preuve de connaissance, afin de démarrer la fourniture d'un service à l'entité utilisatrice en fonction du résultat de la vérification. La présente invention propose en outre une entité utilisatrice, apte à requérir un service par l'intermédiaire d'une entité vérificatrice, au moyen d'une preuve de connaissance d'une pluralité de certificats attribués à l'entité utilisatrice par au moins une entité certificatrice, cette entité utilisatrice comprenant une unité de communication apte à recevoir une pluralité de certificats provenant d'au moins une entité certificatrice et une unité de calcul apte à mettre en oeuvre l'étape de calcul d'une preuve de connaissance ci-avant à partir de la pluralité de certificats reçus, l'unité de communication étant apte, en outre, à transmettre la preuve de connaissance à une entité vérificatrice afin de requérir un service. 4 La présente invention vise enfin un système d'accréditation anonyme, pour l'accès anonyme à un service, comprenant au moins une entité certificatrice telle que décrite ci-avant, une entité vérificatrice telle que décrite ci-avant et une entité utilisatrice telle que décrite ci-avant. D'autres caractéristiques et avantages de l'invention apparaîtront à l'examen de la description détaillée ci-après, et des dessins annexés sur lesquels : - la figure 1 illustre les étapes principales d'un procédé d'accès anonyme à un service selon la présente invention ; - la figure 2 illustre en particulier l'étape d'attribution d'un certificat employée par le procédé d'accès anonyme à un service selon la présente invention ; - la figure 3 illustre en particulier les étapes de calcul d'un certificat agrégé à partir des certificats attribués à l'entité utilisatrice, de calcul d'une preuve de connaissance de ces certificats et de vérification de cette preuve de connaissance employées par le procédé d'accès anonyme à un service selon la présente invention ; - la figure 4 illustre plus particulièrement l'étape d'attribution d'un certificat employée par le procédé d'accès anonyme à un service selon un deuxième mode de réalisation de l'invention ; - la figure 5 illustre plus particulièrement l'étape d'attribution d'un certificat employée par le procédé d'accès anonyme à un service selon un troisième mode de réalisation de l'invention ; et - la figure 6 représente schématiquement un système d'accréditation anonyme pour l'accès anonyme à un service, dans lequel est mis en oeuvre le procédé d'accès anonyme à un service selon la présente invention. On se réfere tout d'abord à la figure 1 sur laquelle sont illustrées les étapes principales d'un procédé d'accès anonyme à un service selon la présente invention. Ce procédé d'accès anonyme débute par l'attribution préalable (étape 100) d'une pluralité de certificats à une entité utilisatrice U. Ces certificats sont attribués par au moins une entité certificatrice C,, voire par une pluralité d'entités certificatrices Ci,..., Cj,...,CM, de sorte qu'une même entité certificatrice C, peut attribuer plusieurs certificats à l'entité utilisatrice U. On entend ici par « entité utilisatrice » tout dispositif pouvant être utilisé par un utilisateur et disposant au moins d'une unité de communication, pour communiquer avec d'autres entités, et d'une unité de calcul permettant d'effectuer des calculs sur des données échangées avec ces autres entités, comme cela sera expliqué par la suite. Similairement, on entend ici par «entité certificatrice » tout dispositif disposant au moins d'une unité de communication, pour pouvoir communiquer avec des entités utilisatrices, et d'une unité de calcul permettant d'effectuer des calculs sur des données échangées avec ces entités utilisatrices afin de leur attribuer un certificat, un tel certificat pouvant être agrégés avec d'autres certificats comme cela sera expliqué par la suite. 5 Enfin, on entend ici par « certificat » une ou plusieurs donnée(s), sous forme numérique, permettant à l'entité utilisatrice et son utilisateur de s'authentifier auprès d'un organisme tiers fournissant un service (lequel peut être distinct de l'entité certificatrice) sans lui révéler plus d'information que ce qui est nécessaire pour valider l'accès à ce service et donc en préservant leur anonymat. On peut parler ici également d'accréditation anonyme, auquel cas l'entité certificatrice peut être vue comme étant une entité d'accréditation. Dans la présente invention, un certificat 6, est généré au moyen d'un ou plusieurs attribut(s) mi,...,mk associé(s) à l'entité utilisatrice U. De tels attributs peuvent être en particulier certains attributs de l'utilisateur utilisant cette entité utilisatrice U. Ainsi, pour reprendre l'exemple illustratif d'une entité certificatrice appartenant à une université et d'une entité utilisatrice appartenant à un étudiant, de tels attributs peuvent correspondre au nom de l'étudiant, à son prénom, son numéro d'étudiant, les différents types d'études qu'il suit dans cette université, etc. Dans l'autre exemple illustratif déjà évoqué où l'entité certificatrice appartient cette fois à une mairie émettant des cartes d'identité, ces attributs peuvent correspondre au nom de l'administré, à son prénom, sa date de naissance, son adresse, etc. Ainsi, comme chacun des certificats 6, est généré à partir de tels attributs, l'utilisateur de l'entité utilisatrice peut se servir de tels certificats 6, pour s'authentifier auprès d'un organisme sollicitant la preuve de la certification de tels attributs par une entité certificatrice, au moyen de son entité utilisatrice U, sans révéler plus d'informations pour autant. Une fois qu'un certain nombre de certificats ont été attribués à l'entité utilisatrice U, un certificat agrégé 6a est calculé (étape 200) par l'entité utilisatrice U à partir d'une pluralité de certificats (où N Le procédé d'accès anonyme se poursuit par le calcul (étape 300), par l'entité utilisatrice U, d'une preuve de connaissance PoK6 du certificat agrégé 6a. On entend ici par «preuve de connaissance des certificats 6a» des données, sous forme numérique, calculées à partir de ce certificat agrégé et permettant de prouver que l'utilisateur a la connaissance de ce certificat agrégé, donc des certificats individuels qui le composent, et donc que ces certificats ont bien été attribués à l'entité utilisatrice U par une entité certificatrice, sans pour autant dévoiler ces certificats eux-mêmes. 6 Ici, dans la mesure où chaque certificat 6, a lui-même été obtenu à partir d'attributs associés à l'entité utilisatrice, la preuve de connaissance PoK6 ainsi générée correspond indirectement à une preuve de connaissance du fait que l'utilisateur de l'entité utilisatrice U présente bien ces attributs qui lui sont associés, ce qui permet à l'organisme tiers d'être renseigné à ce sujet sans qu'il n'ait directement accès ni à l'identité de l'utilisateur, ni aux autres attributs préalablement certifiés. Sa seule certitude est que les attributs qu'il obtient appartiennent effectivement à cette entité utilisatrice et qu'ils ont effectivement été certifiés par une entité certificatrice C~. Ce calcul de la preuve de connaissance PoK6, effectuée dans l'entité utilisatrice U, se termine par la transmission de cette preuve de connaissance PoK6 vers une entité vérificatrice V afin d'en obtenir un service. Ainsi, on entend ici par «entité vérificatrice » tout dispositif disposant au moins d'une unité de communication pour pouvoir communiquer avec des entités utilisatrices requérant un service au moyen d'une preuve de connaissance des certificats, d'une unité de calcul pour effectuer des calculs sur des données échangées avec ces entités utilisatrices, afin de vérifier ces données avant de déclencher la fourniture du service. Le service peut alors être soit fourni directement par l'entité vérificatrice, soit fourni par une entité tiers distincte de l'entité vérificatrice auquel cas l'entité vérificatrice est apte à requérir la fourniture du service auprès de cette entité de tiers après avoir vérifié les données. Suite à la réception de la preuve de connaissance PoK6 par cette entité vérificatrice V, une vérification (étape 400) est alors effectuée par cette entité vérificatrice V au moyen de cette preuve de connaissance PoK6 portant sur les certificats 6i ... 6, ... 6N attribués préalablement à l'entité utilisatrice U. L'entité vérificatrice V fournit alors l'accès au service requis à l'entité utilisatrice U en fonction du résultat de cette vérification, c'est-à-dire seulement si cette vérification donne un résultat positif. Dans la présente invention, les certificats 6i ... 6, ... 6N sont agrégeables, c'est-à-dire qu'un certificat agrégé oa peut être obtenu dans l'entité utilisatrice U à partir de l'agrégation de différents certificats attribués par une ou plusieurs entités certificatrices Ci,... Cj,,...,CM, par exemple en multipliant ces certificats. Afin d'obtenir de tels certificats agrégeables, un schéma de signature agrégeable peut être avantageusement employé par l'entité certificatrice C, pour générer un certificat agrégeable en procédant à une signature d'un ou plusieurs attribut(s) avec une clé secrète skci attribuée préalablement à l'entité certificatrice C,, et potentiellement certifiée dans le cadre par exemple d'un système PKI classique. L'intérêt d'utiliser des certificats agrégeables est de permettre d'obtenir un seul certificat agrégé 6a, conçu à partir de plusieurs certificats agrégeables. Ce certificat agrégé oa peut ensuite être vérifié par différentes entités vérificatrices au moyen d'une preuve de connaissance PoK6 d'un tel certificat agrégé. Dans la présente invention, une nouvelle preuve de connaissance PoK6 du certificat agrégé oa est générée, de façon distincte, à chaque requête d'accès de l'entité utilisatrice U auprès d'une entité vérificatrice V afin d'empêcher la traçabilité de l'utilisateur. 7 L'invention se traduit également par un gain potentiel en bande passante et en simplicité d'utilisation dans la mesure où seule une preuve de connaissance d'un certificat agrégé est transmise aux entités vérificatrices V au lieu d'une multitude de certificats distincts et dans la mesure où l'accès à un service tiers ne nécessite pas de preuve dont la quantité de calcul dépendrait du nombre d'attributs initialement certifiés par l'entité émettrice. En particulier, dans un petit dispositif embarqué, le fait de transmettre des données consomme plus de batterie que de faire un calcul. Pour cette raison, l'agrégation de certificats par l'entité utilisatrice U videra moins la batterie que leur transmission. La présente invention permet en outre une simplification des procédures lorsqu'un utilisateur doit faire appel à des accréditations provenant d'organisations différentes, puisqu'un seul certificat agrégé est utilisé. On se réfere maintenant à la figure 2 qui illustre plus particulièrement l'étape 100 d'attribution d'un certificat 6, telle qu'employée par le procédé d'accès anonyme à un service selon la présente invention. Sur cette figure 2 sont représentées, à gauche, les sous-étapes effectuées par l'entité utilisatrice U et, à droite, les sous-étapes effectuées par l'entité certificatrice C,, ainsi que les différentes données échangées entre ces entités au moyen de leur unité de communication respective. L'entité utilisatrice U et l'entité certificatrice C, disposent avantageusement d'une paire de clés privée et publique respective (sku,pku) et (skc'pkc,), par exemple de paires de clés asymétriques conformément à un schéma de cryptographie à clé publique. Ces clés privées et publiques peuvent être obtenues de la façon suivante : a) une procédure d'initialisation SETUP est d'abord exécutée, au cours de laquelle : - Un environnement bilinéaire (p, Gi, G2, e) est choisi où p est un nombre premier, Gi et G2 deux groupes d'ordre p et e un couplage bilinéaire applicable à Glx G2. Dans la suite, Zp désigne l'ensemble des entiers modulo p ; - une fonction cryptographique de hachage résistante aux collisions H : {0,1 } *-> Gi est choisie ; - deux générateurs de groupe gl et u sont choisis aléatoirement de manière uniforme dans Gl ; et - un générateur de groupe g2 est choisi aléatoirement de manière uniforme dans G2. A l'issue de cette procédure d'initialisation, les paramètres globaux (p,G1,G2,e,gi,g2,u,H) sont disponibles. b) une procédure de génération de clés KEY.GEN est ensuite exécutée, au cours de laquelle : - Pour l'entité utilisatrice U : 8 5 - une variable x est choisie aléatoirement de manière uniforme dans Zp , laquelle correspond à la clé privée skU de l'entité utilisatrice U, i.e. skU = x ; - la variable X= gix est calculée, laquelle correspond à la clé publique pkU de l'entité utilisatrice U, i.e. pkU = X. - Pour chaque entité certificatrice Çimpliquée - une variable y est choisie aléatoirement de manière uniforme dans Zp , laquelle correspond à la clé privée skci de l'entité certificatrice U, i.e. skci = y; - les variables Fi,i = gi y et Fi,z = g 2Y sont calculées, afin d'obtenir la clé publique pkq de 10 l'entité certificatrice C,, telle que pkc, = (Fi,i , Fi,z). Une fois ces différents paramètres obtenus au préalable, l'étape 100 d'attribution peut débuter par le calcul (étape 110), par l'entité utilisatrice U, d'une donnée publique C liée à la clé secrète skU de l'entité utilisatrice U, cette donnée publique C permettant de masquer la clé secrète skU tout en autorisant 15 des calculs impliquant cette clé secrète. A titre d'exemple, dans un premier mode de réalisation, cette donnée publique liée à la clé secrète skU peut être calculée selon la formule suivante : (1) C = usk° Une fois la donnée publique C calculée, une première partie R d'une preuve de connaissance 20 PoKc de cette donnée publique C peut être calculée par l'entité utilisatrice, lors d'une étape 120 de calcul d'une partie au moins de la preuve de connaissance. Similairement à la donnée publique C, toujours dans un premier mode de réalisation, cette première partie R de la preuve de connaissance PoKc de la donnée publique C peut être calculée à partir d'une donnée rx, choisie aléatoirement dans Zp , selon la formule suivante : 25 (2) R = u Yx La donnée publique C et la première partie R de la preuve de connaissance PoKc de cette donnée publique C sont alors transmises, sous forme de donnée numérique, à l'entité certificatrice C, (étape 123). Cette entité certificatrice C, renvoie en retour un nombre aléatoire c à l'entité utilisatrice U (étape 30 127), afin de permettre la génération d'une deuxième partie S de la preuve de connaissance PoKc au moyen de cette variable aléatoire c, ce qui est effectué lors de l'étape 130 de calcul d'une deuxième partie S de la preuve de connaissance PoKc de la donnée publique C par l'entité utilisatrice U. Dans un premier mode de réalisation, cette deuxième partie S de la preuve de connaissance PoKc de la donnée publique C peut ainsi être calculé la formule suivante : 35 (3) S = rx + c skU 9 15 Cette deuxième partie S de la preuve de connaissance PoKu est alors transmise vers l'entité certificatrice Ci (étape 135). Une fois en possession de la donnée publique C et de la preuve de connaissance PoKu de cette donnée publique C, l'entité certificatrice Ci peut procéder alors au calcul (étape 150) d'un certificat 61 au moyen de la donnée publique C liée à la clé secrète skU de l'entité utilisatrice U, d'un ou plusieurs attribut(s) m1,..., ml associé(s) à l'entité utilisatrice U et de la clé secrète skuj de l'entité certificatrice Cj. En d'autres termes, cette étape 150 de calcul correspond à la signature, par l'entité certificatrice Ci, d'un ou plusieurs attribut(s) m1,..., mk,..., ml (où 1. > 1 est le nombre d'attributs signés par l'entité certificatrice Cj) associé(s) à l'entité utilisatrice U au moyen de sa clé secrète skuj en appliquant un schéma de signature agrégeable permettant d'obtenir une signature agrégeable correspondant au certificat 6j. A titre d'exemple, dans le premier mode de réalisation introduit précédemment, le certificat 61 peut être calculé ici selon la formule suivante : skc. (4) 6i - C ' 1-1 H (glskci Og ) = C 6k k=1 k=1 Où 6 ~= H(glskci Vg2skc mk )sk i k Ainsi, dans le cas particulier où un seul attribut m1 est certifié par l'entité certificatrice c'est-à- dire où 4=1, cette formule (4) devient alors la formule( suivante : (5) 6i = (C H(glsk~' Og2skcl 20 Il est avantageux de conditionner ce calcul au résultat d'une étape de vérification de la donnée publique C, afin d'éviter d'attribuer un certificat à un utilisateur non habilité. Pour ce faire, une fois en possession de la donnée publique C et de la preuve de connaissance PoKu de cette donnée publique C, et avant tout calcul de certificat, l'entité certificatrice Ci procède à la vérification (étape 140) de la donnée publique C liée à la clé secrète skU de l'entité utilisatrice U, au 25 moyen de la preuve de connaissance PoKu, c'est-à-dire au moyen des première et deuxième parties R et S de la preuve de connaissance PoKu. Ainsi, dans le cas du premier mode de réalisation introduit précédemment, cette vérification peut consister à vérifier si l'égalité suivante est bien respectée : (6) us' = R Cc 30 Si le résultat de cette vérification est positif, c'est-à-dire si l'égalité (4) est bien vérifiée, l'entité certificatrice Ci peut alors procéder au calcul du certificat 61 tel que décrit précédemment. Si ce résultat est négatif, une donnée d'erreur (par exemple une donnée « 0 ») peut être émise et le procédé s'arrête à ce stade. 10 Une fois calculé, le certificat 6, est ensuite transmis (étape 155) à l'entité utilisatrice U où il peut être directement utilisé pour obtenir le certificat agrégé 6a. Dans un mode particulier de réalisation, une ou plusieurs variable(s) auxiliaires d'information 6k' telle(s) que 6k'= H(glsk,. g2skc. mk)skc' peuvent également être transmises à l'entité utilisatrice U à ce stade, et ce pour chaque attribut mi, appartenant à un sous-ensemble M' d'attributs inclus dans l'ensemble de tous les attributs {mk 11 Si cette relation (7) est vérifiée, le résultat de cette vérification est positif : le certificat 6, est validé et peut être utilisé ultérieurement pour construire un certificat agrégé oa permettant de requérir un service impliquant les attributs m1,...,m1 auprès d'une entité vérificatrice, en combinaison éventuellement avec d'autres attributs certifiés par d'autres entités certificatrices. Ce certificat oi peut être mémorisé à cet effet dans l'entité utilisatrice U, éventuellement conjointement avec les variables auxiliaires d'information 6k' qui ont été avantageusement reçues de l'entité certificatrice C~. Cette étape 100 d'attribution, qui aboutit à l'attribution par une entité certificatrice C, d'un certain nombre de (au moins un) certificats oi, à l'entité utilisatrice U peut être répétée pour chacune des M entités certificatrices d'un ensemble d'entités certificatrices C. ce qui aboutit à l'attribution à 1 On se réfere maintenant à la figure 3, laquelle illustre en particulier les étapes de calcul d'un certificat agrégé à partir des certificats attribués à l'entité utilisatrice, de calcul d'une preuve de 11 connaissance de ces certificats et de vérification de cette preuve de connaissance employées par le procédé d'accès anonyme à un service selon la présente invention. Sur cette figure 3 sont représentées, à gauche, les sous-étapes effectuées par l'entité utilisatrice U et, à droite, les sous-étapes effectuées par l'entité vérificatrice V, ainsi que les différentes données échangées entre ces entités au moyen de leur unité de communication respectif. On se place ici dans la situation où, lors de l'étape préalable 100 d'attribution, l'entité utilisatrice a reçu plusieurs certificats attribués respectivement par M entités certificatrices On procède alors au calcul (étape 200) d'un certificat agrégé oa à partir d'un sous-ensemble des certificats préalablement obtenus, par exemple en multipliant ces certificats de sorte que 6a =61*...*6i *...*6N. Cette étape 200 d'agrégation peut être effectuée à la volée par l'utilisateur, lorsque celui souhaite requérir un service par l'intermédiaire d'une entité vérificatrice V. Une fois ce certificat agrégé oa obtenu, l'entité utilisatrice U procède au calcul (étape 300) d'une preuve de connaissance PoK6 des certificats attribués à l'entité utilisatrice au moyen de ce certificat agrégé 6a. L'étape 300 de calcul de cette preuve de connaissance PoK6 peut se décomposer de la façon suivante : - Un engagement D sur le certificat agrégé oa est d'abord calculé (sous-étape 310) au moyen de ce certificat agrégé oa et de la clé secrète skU de l'entité utilisatrice U, par exemple selon la procédure suivante : a) on choisit une variable aléatoire r dans ZP ; b) une première partie d'engagement D1 est calculée à partir de cette variable aléatoire r, telle que D1 = g1r c) une deuxième partie d'engagement Dz est calculée à partir de la clé secrète skU de l'entité utilisatrice U 1 et du certificat agrégé 6a, selon la formule Dz = 6ask, ur L'engagement D sur le certificat agrégé oa correspond alors à la paire (Dl,D2). - Une fois cet engagement D calculé par l'entité utilisatrice U, la preuve de connaissance PoK6 peut être calculée à partir au moins de cet engagement D, de la façon suivante : a) une première partie P de cette preuve de connaissance PoK6peut être calculée par l'entité utilisatrice U, à partir d'une partie au moins de l'engagement D, lors d'une étape 320 de calcul, selon la procédure suivante : 12 5 - on choisit trois variables aléatoires rx, rr et rs dans ZP ; - on calcule les deux variables Pl = glrr , P2 = Dlrx gl rs N - on calcule également P3 = e(Dg2)rx e(u,g2Ys e(u,nF 2)- =1 La première partie P de la preuve de connaissance PoK6 correspond alors au triplet (P1,P2,P3). b) L'engagement D et la première partie P=(P1,P2,P3) de la preuve de connaissance PoK6 sont alors transmis à l'entité vérificatrice V (étape 325), laquelle, suite à la réception de ces données, procède à la sélection d'une valeur aléatoire d dans ZP (étape 330) et envoie en retour cette variable aléatoire d à l'entité utilisatrice U (étape 335). 10 c) Une fois cette variable d reçue, l'entité utilisatrice U procède alors au calcul d'une deuxième partie T de la preuve de connaissance PoK6 (étape 340) à partir de cette variable aléatoire d, par exemple selon la procédure suivante : - une variable sx est calculée telle que tx = x + d - sk ; - une variable sr est calculée telle que tr = rr + d - r ; et 15 - une variable ss est calculée telle que ts = rs + d - r sk . La deuxième partie T de la preuve de connaissance PoK6 correspond alors au triplet de ces variables, i.e. T=(tx,tr,tô)- 20 A l'issue de cette étape 340, la deuxième partie T de la preuve de connaissance PoK6 est transmise (étape 345) à l'entité vérificatrice V, qui dispose alors de l'engagement D sur le certificat agrégé 6a , de la valeur aléatoire d et des deux parties P et T de la preuve de connaissance PoK6 de ce certificat agrégé 6a. Il est alors possible d'effectuer une vérification 400, dans l'entité vérificatrice V, de cette preuve 25 de connaissance PoK6. Une telle vérification peut être réalisée en vérifiant si les trois relations suivantes (8)-(10) sont bien respectées : 1t r =P D1d g D1tx g1 rs (8) (9) P3 N 30 (10) e(D2,g2)'e(hi,g2) rse(u,Wi,2) j=1N 1. \ \d Fj,2 mk),Fj,2) j=1 0=1 Si l'une de ces relations (8) à (10) n'est pas respectée, le résultat de la vérification 300 est négatif, ce qui se traduit par l'émission d'un message d'erreur (par exemple une donnée «0 ») et la non- 13 attribution du service requis par l'entité utilisatrice U auprès de l'entité vérificatrice. Le procédé d'accès anonyme à ce service s'arrête alors à ce stade. Par contre, si toutes les relations (8) à (10) sont respectées, le résultat de la vérification 300 est positif et le service requis par l'entité utilisatrice U auprès de l'entité vérificatrice peut être fourni à cette entité utilisatrice U, par exemple en envoyant un message d'autorisation (étape 405) à l'entité utilisatrice U, ce message pouvant comprendre des données correspondant au service requis lui-même. Dans un mode de réalisation particulier où l'utilisateur souhaite cacher certains des attributs mk, attribués par l'entité certificatrice C, et ayant un indice k appartenant à l'ensemble Mi' inclus dans Mi=11,...,li1, et pour lesquels il a reçu des variables d'information auxiliaires 6k' telles que 6k'= H(glsk'i g2skmk)skc' lors de l'étape 155 de transmission, le certificat agrégé 6a peut être modifié à l'issue de l'étape 200 d'agrégation en utilisant ces variables d'information auxiliaires 6k'. En particulier, si l'utilisateur souhaite cacher les attributs mk dont les indices k appartiennent à un sous-ensemble Mi" inclus dans l'ensemble Mi' ci-avant, l'opération suivante est effectuée sur le certificat agrégé après l'étape 200 d'agrégation, pour le(s) valeur(s) de k appartenant à l'ensemble Mi" : 6a * 6k'-~ 6a Cette transformation du certificat agrégé 6a au moyen d'une ou plusieurs variable(s) auxiliaire(s) 6k' calculée pour un ou plusieurs attribut(s) mk à cacher permet de cacher cet ou ces attribut(s) mk à l'entité vérificatrice V lors du processus d'authentification de l'entité utilisatrice U. Dans ce mode particulier de réalisation, la relation (10) à vérifier devient alors la relation modifiée (10') suivante : N (10') e(Dz, g2)r~ e(hi, g2) "e(u, n N I(/ = P3 e 1l 1kEM /Mi" H (Fi,l Fi, En d'autres termes, cette relation modifiée (10') revient à vérifier une accréditation agrégée sur le sous-ensemble Mi /Mi" valide sous les clefs publiques Fi des entités certificatrices. On se réfere maintenant à la figure 4, laquelle illustre en particulier l'étape d'attribution 100' d'un certificat employée par le procédé d'accès anonyme à un service selon un deuxième mode de réalisation de l'invention. En effet, il est avantageux de masquer la donnée publique liée à la clé secrète skU de l'entité utilisatrice U et la première partie de preuve de connaissance de cette donnée publique générée lors de l'étape d'attribution, afin de mieux protéger l'utilisateur en empêchant l'entité certificatrice C, de générer des certificats qu'elle pourrait délivrer à la place de l'utilisateur. Pour ce faire, dans ce deuxième mode de réalisation, la donnée publique correspond à un engagement sur la clé secrète skU. Le terme d« Une fois cet engagement C' calculé, la première partie R' de la preuve de connaissance PoKc de cet engagement peut être calculée par l'entité utilisatrice, lors d'une étape 120' de calcul, en choisissant 15 deux variables aléatoires rx et rs dans ZP et en calculant la valeur R' selon la formule modifiée (12) suivante, laquelle remplace alors la formule (2) évoquée précédemment en relation avec l'étape 120 du premier mode de réalisation : (12) R'= u' gars L'engagement C' et la première partie R' de la preuve de connaissance PoKc de cet engagement 20 C' sont alors transmises à l'entité certificatrice C, (étape 123'). Suite à la réception de ces données, l'entité certificatrice C, procède à la sélection d'une variable aléatoire c' dans ZP (étape 125') et envoie en retour cette variable aléatoire c' à l'entité utilisatrice U (étape 127'). Une fois cette variable c' reçue, l'entité utilisatrice U procède alors au calcul d'une deuxième 25 partie S' de la preuve de connaissance PoKc de l'engagement C' (étape 130'), cette deuxième partie S' correspondant à la paire de variables (sx, ss) calculées selon les formules modifiées (13) et (14) suivantes, lesquelles remplacent ainsi la formule (3) évoquée précédemment en relation avec l'étape 130 du premier mode de réalisation :, selon la procédure suivante : (13) sx = rx + c'-sk' 30 (14) ss = r + c'-s . La deuxième partie S' de la preuve de connaissance PoKc telle que S'=(sx, ss) est alors transmise vers l'entité certificatrice C, (étape 135'). Une fois en possession de l'engagement C', de la première partie R' de la preuve de connaissance PoKc et de la deuxième partie S'=(sx, ss) de cette preuve de connaissance PoKc, l'entité certificatrice C; 35 peut procéder à la vérification (étape 140') de l'engagement C' en vérifiant si la relation modifiée (15) 10 15 suivante, correspondant à la relation (6) évoquée en relation avec l'étape 140 du premier mode de réalisation, est bien respectée : (15) usxg" =R'-C'c' Si cette relation modifiée (5') n'est pas respectée, le résultat de la vérification 140' est négatif, ce qui se traduit par l'émission d'un message d'erreur et la non-attribution d'un certificat à l'entité utilisatrice U. L'étape 100' d'attribution du certificat s'arrête alors à ce stade. Si, par contre, la relation modifiée (15) est respectée, le résultat de la vérification 140' est positif et l'étape 100' d'attribution peut se poursuivre par le calcul (étape 150') d'un certificat 61 selon la formule (16) suivante, laquelle correspond à la formule (4) employée lors de l'étape 150 de calcul du premier mode de réalisation : / l skci C,.nH(glsk~~ g 2sk~ Om) \ k=1 Le certificat 61 ainsi obtenu correspond au certificat obtenu par la formule (5) dans le premier mode de réalisation multiplié par la variable gis ski. et est donc masqué par une telle variable. Ce certificat 61 n'est alors pas agrégeable en tant que tel et ne peut donc pas être utilisé directement par l'entité utilisatrice U lors de l'étape 200 d'agrégation. A ce titre, ce certificat 61 est un certificat provisoire qui est alors transmis (étape 155') par l'entité certificatrice C, à l'entité utilisatrice U. Afin de rendre son caractère agrégeable à ce certificat provisoire 61 reçu de l'entité certificatrice C,, ce certificat provisoire 61 est ensuite démasqué (étape 160') par l'entité utilisatrice U, selon la formule (17) suivante : -s 6l-ri,1 =6i- g1ski s ~6i Cette opération de démasquage permet d'obtenir un certificat définitif 61 respectant la relation de / l sk ci la formule (4) (i.e. où 6i = C - n H (g1skc, g2skc, mk) ) et donc agrégeable avec d'autres \ k=1 certificats agrégeables. 30 Ce certificat définitif 61 est ensuite avantageusement vérifié (étape 170') au moyen de la relation (7) évoquée en relation avec l'étape 170 du premier mode de réalisation. Comme pour le premier mode de réalisation, cette étape 100' d'attribution selon un deuxième mode de réalisation, qui aboutit à l'attribution par une entité certificatrice C, d'un certificat provisoire (16) (17) 16 5 démasqué en un certificat définitif 6, par l'entité utilisatrice U, peut être répétée pour chacune des M entités certificatrices C, d'un ensemble d'entités certificatrices {C~~i 10 On se réfere maintenant à la figure 5, laquelle illustre également l'étape 100" d'attribution d'un certificat, telle qu'employée par le procédé d'accès anonyme à un service, selon un troisième mode de réalisation de l'invention. Ce troisième mode de réalisation s'applique au cas où l'entité utilisatrice U possède déjà N 15 certificats 6i,..., 6N, obtenus auprès de différentes entités certificatrices CI,...,Cj,...,CM et sollicite l'attribution d'un nouveau certificat 6N+i auprès d'une nouvelle entité certificatrice Cj+i, tout en cherchant à minimiser les données fournies à cette nouvelle entité certificatrice Cj+i. Pour illustrer ce troisième mode de réalisation, on se place dans la situation où l'entité utilisatrice a calculé un certificat agrégé 6a à partir des N certificats 6i,..., 6N, déjà attribués, c'est-à-dire dans le cas N 20 où : 6a = Dans ce troisième mode de réalisation tel qu'illustré sur cette figure 5, l'étape 100" d'attribution débute également par le calcul (étape 110"), par l'entité utilisatrice U, d'une donnée publique C" liée à la clé secrète skU de l'entité utilisatrice U. Cette donnée publique C" comprend une première partie de donnée publique Co" liée à la clé 25 secrète skU, par exemple calculée selon la procédure suivante dans laquelle cette première partie de donnée publique correspond à un engagement sur cette clé secrète skU, similairement à ce qui a été précédemment décrit pour l'étape 110' : a) on choisit une variable aléatoire s dans ZP ; b) on calcule Co = usk° gis Outre cette première partie de donnée publique Co", une deuxième partie de donnée publique Cl" est calculée selon la procédure suivante : a) on choisit une variable aléatoire r dans ZP ; 35 b) on calcule CI "= gi 30 17 15 Enfin, une troisième partie de donnée publique C2" liée à la clé secrète skU et au certificat agrégé 6a est calculée à partir de la clé secrète skU de l'entité utilisatrice U et du certificat agrégé 6a, par exemple selon la formule (18) suivante où cette troisième partie de donnée publique C2" correspond à un 5 engagement sur la clé secrète skU de l'entité utilisatrice U et le certificat agrégé 6a: 1 (18) C2 "= 0-asku . uY Ainsi la donnée publique C" correspond au triplet de données publiques (Co",C1",Cz") et porte aussi bien sur la clé secrète skU de l'entité utilisatrice U que sur le certificat agrégé 6a possédé par l'entité 10 utilisatrice U. Une fois cette donnée publique C" calculée, la première partie R" de la preuve de connaissance PoKc, de cette donnée publique C" peut être calculée par l'entité utilisatrice U, lors d'une étape 120" de calcul, selon la procédure suivante : a) on choisit quatre variables aléatoires rx, rs, rr et rs dans ZP ; b) on calcule Ro = Urxg," R1 = g1rRz = (CI "Y" glrs N c)oncalcule R3 =e(Cz",gz)rx e(u,g2)rs e(u,~ =1 20 La donnée publique C"=(Co",C1",C2") et la première partie R'=(Ro,R1,R2,R3) de la preuve de connaissance PoKc, de cette donnée publique C" sont alors transmises à l'entité certificatrice CN+1 (étape 123"), laquelle, suite à la réception de ces données, procède à la sélection d'une variable aléatoire c" dans Zp (étape 125") et renvoie en retour cette variable aléatoire c" à l'entité utilisatrice U (étape 127"). 25 Une fois cette variable c" reçue, l'entité utilisatrice U procède alors au calcul d'une deuxième partie S" de la preuve de connaissance PoKc, de cette donnée publique C" (étape 130") selon la procédure suivante: a) une variable sx est calculée telle que sx = rx + c"-sku ; 30 b) une variable ss est calculée telle que ss = rs + c"-s ; c) une variable sr est calculée telle que sr = rr + c"-r ; et d) une variable ss est calculée telle que ss =1-8 + c"-r sku . 18 La deuxième partie S" de la preuve de connaissance PoKc, correspond alors au quadruplet de variables (sx,ss,,sr,ss), qui est alors transmis vers l'entité certificatrice C, (étape 135"). Une fois en possession de la donnée publique C", de la première partie R" de la preuve de 5 connaissance PoKc, et de la deuxième partie S" de cette preuve de connaissance PoKc,, l'entité certificatrice Cj+1 procède alors avantageusement à la vérification (étape 140") de la donnée publique C", en vérifiant si les quatre relations suivantes (19)-(22) sont bien respectées : sxgl" u =Ro'(Co") g,' =R1 - (CI "Y" (CI "Y. g1ss Rz N N7 (22) e(C'2 g2)"e(h1,gz) "e(u,nF.2) sx =R3 n lle H(r =1 V ;=1 V=1 Si l'une de ces relations (19) à (22) n'est pas respectée, le résultat de la vérification 140" est 15 négatif, ce qui se traduit par l'émission d'un message d'erreur (par exemple une donnée «0 ») et la non-attribution d'un certificat oN+1 à l'entité utilisatrice U. L'étape 100" d'attribution du certificat s'arrête alors à ce stade. Par contre, si toutes les relations (19) à (22) sont respectées, le résultat de la vérification 140" est positif et l'étape 100" d'attribution peut se poursuivre par le calcul (étape 150") du certificat 6N+1 selon 20 la formule (23) suivante : r; z ~ l ko skc Co H(g1 Og2 \ k=1 (23) 6N+1 Ce certificat 6N+1, lequel est un certificat provisoire au sens où il n'est pas agrégeable en tant que tel, est alors transmis (étape 155") par l'entité certificatrice Cj+1 à l'entité utilisatrice U, où il peut être 25 ensuite transformé en un certificat démasqué (i.e. agrégeable) 6N+1 par l'entité utilisatrice U (étape 160"), selon la formule (24) suivante : -s ski.+i s 6N+1 ' T;+1,1 = 6N+1 ' g1 6N+1 30 Ce nouveau certificat 6N+1 est ensuite avantageusement vérifié (étape 170") au moyen de la relation (25) suivante : (24) 19 (25) e(6N+1,g2) = e(u,Fi,1,z)sku T7e(H(Fi,1,1 Fi,l,a mi),Ti+1,2) k=1 Si cette relation (25) n'est pas respectée, le résultat de la vérification 170" est négatif, ce qui se traduit par l'émission d'un message d'erreur (par exemple une donnée «0 ») et la non-validation du certificat 6N+1 dans l'entité utilisatrice U. Par contre, si la relation (25) est respectée, le résultat de la vérification 170" est positif et le certificat 6N+1 est validé. Il peut alors être mémorisé par l'entité utilisatrice U afin d'être utilisé ultérieurement pour requérir anonymement un service impliquant un des attributs ml,...,ml auprès d'une entité vérificatrice V. On notera ici qu'à la différence des certificats 61 individuellement attribués dans les premier et deuxième modes de réalisation de l'étape d'attribution du procédé, le certificat 6N+1 obtenu dans le troisième mode est un certificat obtenu sur présentation d'un certain nombre de certificats précédemment attribués. Il est ainsi possible de reproduire cette étape 100" d'attribution avec une nouvelle entité certificatrice CN+2, ce qui aboutira à l'attribution d'un nouveau certificat 6N+2, et ainsi de suite, de façon itérative. On se réfère enfin à la figure 6 qui représente schématiquement un système d'accréditation anonyme SAA pour l'accès anonyme à un service, dans lequel est mis en oeuvre le procédé d'accès anonyme à un service décrit précédemment. Ce système d'accréditation anonyme SAA comprend : - une entité utilisatrice U, utilisée par un utilisateur pour requérir anonymement un service auprès d'une entité vérificatrice grâce à au moins un ou plusieurs certificat(s) anonyme(s) attribué(s) par au moins une entité certificatrice C, ; - au moins une entité certificatrice C,, apte à accréditer anonymement une entité utilisatrice U, en lui attribuant un ou plusieurs certificat(s) anonyme(s) ; et - au moins une entité vérificatrice V, apte à vérifier anonymement l'entité utilisatrice U et à lui fournir un service SERV après vérification d'une preuve de connaissance PoK6 portant sur un ou plusieurs certificat(s) anonyme(s). Sur la figure 6 sont illustrées M entités certificatrices distinctes C1,...,Cj,...,CM, ce nombre M pouvant être n'importe quel nombre entier supérieur ou égal à 1. Seule l'entité certificatrice C, est décrite en détail, les autres entités certificatrices étant similaires à cette entité C,. Cette entité certificatrice C, peut être un dispositif informatique de type serveur appartenant à une organisation certificatrice telle qu'une mairie, une université, une préfecture, etc. Cette entité certificatrice C, comprend en particulier une unité de calcul CALCci arrangée pour mettre en oeuvre l'étape 100 d'attribution d'un certificat A; à l'entité utilisatrice U telle que décrite ci- 20 avant. Une telle unité de calcul CALCci peut consister en un processeur, un micro-processeur, ou bien un ordinateur personnel ou un serveur comprenant un tel processeur. Cette entité certificatrice C; comprend en outre une unité de communication COMA, adaptée pour transmettre le certificat provisoire A; généré par l'unité de calcul CALCci à l'entité utilisatrice U auquel il est attribué. Cette unité de communication COMA, peut être implémentée avec des dispositifs de transmission de type radiofréquence, sans-fil ou optique, ou filaires, capables de transmettre des données numériques correspondant à un certificat provisoire A; vers l'entité utilisatrice U, aussi bien que de recevoir de celle-ci des données numériques correspondant à un engagement C et une preuve de connaissance PoKc de cet engagement C. Cette entité certificatrice C, peut comprendre en outre une unité de mémorisation MEMci, connectée à l'unité de calcul CALCci et capable de mémoriser les attributs mi,...,ml associés à l'utilisateur de l'entité utilisatrice U afin de pouvoir les fournir ultérieurement à l'unité de calcul CALCci lorsque celle-ci est amenée à générer un certificat A; . Cette unité de mémorisation MEMc, comprend en outre une partie sécurisée capable de stocker la clé secrète skci attribuée à l'entité certificatrice C~. L'entité vérificatrice V, quant à elle, peut être un dispositif informatique de type serveur appartenant à un organisme tiers apte à délivrer un service, tel que des transports publics, un organisme vendant des billets de concert ou de musée, délivrant des tickets restaurant pour des étudiants, ou donnant accès à des équipements de type bibliothèque ou piscine, entre autres. Cette entité vérificatrice V comprend une unité de communication COMv capable de recevoir une preuve de connaissance PoK6 d'une pluralité de certificats oi,...,6,,...,6N attribués à l'entité utilisatrice. Cette unité de communication COMv peut être implémentée similairement à l'unité de communication COMA, décrite ci-avant. Cette entité vérificatrice V comprend en outre une unité de calcul CALCv capable d'appliquer l'étape de vérification 400 décrite ci-avant à une preuve de connaissance PoK6 reçue de l'entité utilisatrice U et à déclencher la fourniture d'un service SERV à cette entité utilisatrice U en fonction du résultat de cette vérification. Cette unité de calcul CALCv peut être implémentée similairement à l'unité de communication CALCci décrite ci-avant. Dans un mode de réalisation, l'entité vérificatrice V correspond à l'entité fournissant un service, auquel cas l'entité vérificatrice V comprend une unité de fourniture de service, qui peut être l'unité de calcul CALCv elle-même lorsqu'il s'agit de calculer une réduction en fonction de l'âge d'un utilisateur, par exemple. Dans un autre mode de réalisation, l'entité vérificatrice V n'est pas elle-même l'entité fournissant un service, mais prend le rôle d'intermédiaire vérificateur. Dans ce cas, l'unité de communication COMv est apte, en outre, à communiquer avec l'entité fournissant le service requis par l'entité utilisatrice U, afin de déclencher la fourniture du service après que l'unité de calcul CALCv ait vérifié la preuve de connaissance PoK6 reçue de l'entité utilisatrice U. 21 L'entité utilisatrice U, pour sa part, peut prendre la forme d'un dispositif informatique de type ordinateur personnel ou d'un smartphone, voire d'une carte à puce ou d'une étiquette RFID, et comprend une unité de communication COMU, similaire aux unités COMy et COMA décrite précédemment, capable de recevoir au moins un certificat A; calculé par une entité certificatrice C; et de transmettre une preuve de connaissance PoK6 construite à partir des certificats A; reçus de différentes entité certificatrices à l'entité vérificatrice V afin de requérir un service SERV. L'entité utilisatrice U comprend en outre une unité de calcul CALCU capable de mettre en oeuvre l'étape 300 de calcul de la preuve de connaissance PoK6 d'une pluralité de certificats 6i,...,6,,...,6N attribués à l'entité utilisatrice, telle que décrite ci-avant. Une telle unité de calcul CALCU peut être implémentée similairement aux unités de calcul CALCci et CALCU décrites ci-avant. Cette entité utilisatrice U peut comprendre en outre une unité de mémorisation MEMU, connectée à l'unité de calcul CALCU et capable de mémoriser les différents certificats AI,...,Ai,...,AN reçus des entités certificatrices, les certificats 6i,...,6,,...,6N avantageusement obtenus respectivement par démasquage de ces certificats AI,...,Ai,...,AN lorsque ces derniers sont des certificats provisoires, ainsi que le certificat agrégé 6a obtenu à partir de ces certificats. Cette unité de mémorisation MEMU comprend en outre une partie sécurisée capable de stocker la clé secrète skU attribuée à l'entité utilisatrice U. La présente invention vise en outre un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape de génération d'un certificat A; au moyen d'au moins un attribut mi, ci-avant, lorsque ce programme d'ordinateur est exécuté par l'unité de calcul CALCsituée dans l'entité certificatrice C, décrite ci-avant. La présente invention vise aussi un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape 300 de génération d'une preuve de connaissance PoK6 d'une pluralité de certificats attribués à une entité utilisatrice U lorsque ce programme d'ordinateur est exécuté par l'unité de calcul CALCU située dans l'entité utilisatrice U décrite ci-avant. La présente invention vise en outre un programme d'ordinateur comprenant des instructions pour la mise en oeuvre de l'étape 400 de vérification, au moyen d'une telle preuve de connaissance PoK6, d'au moins un certificat attribué à une entité utilisatrice U lorsque ce programme d'ordinateur est exécuté par l'unité de calcul CALCU située dans l'entité vérificatrice V décrite ci-avant. Ces programmes peuvent utiliser n'importe quel langage de programmation, et être sous la forme d'un code source, code objet, ou de code intermédiaire entre code source et code objet, tel que dans une forme provisoirement compilée, ou dans n'importe quelle autre forme souhaitable. L'invention vise aussi un support d'informations lisible par un ordinateur ou processeur de données, et comportant les instructions d'un des programmes mentionnés ci-dessus. Un tel support d'informations peut être n'importe quelle entité ou dispositif capable de stocker le programme. Par exemple, le support peut comporter un moyen de stockage, tel qu'une ROM, par exemple un CD-ROM 22 ou une ROM de circuit microélectronique, ou encore un moyen d'enregistrement magnétique, par exemple une disquette ou un disque dur. Ce support d'informations peut aussi être un support transmissible tel qu'un signal électrique ou optique, qui peut être acheminé via un câble électrique ou optique, par radio ou par d'autres moyens. Le programme selon l'invention peut être en particulier téléchargé sur un réseau de type Internet. Alternativement, le support d'informations peut être un circuit intégré dans lequel le programme est incorporé, le circuit étant adapté pour exécuter ou pour être utilisé dans l'exécution du procédé en question. La présente invention peut trouver application dans tous les domaines dans lesquels des services sont fournis à des utilisateurs en fonction de la fourniture d'informations personnelles concernant ces utilisateurs. La présente invention est notamment particulièrement avantageuse lorsqu'un organisme tiers ne fournit un service que sur la base du croisement d'informations personnelles d'un utilisateur certifiées par une ou (avantageusement) plusieurs organisations certificatrices distinctes, ce qui amène habituellement l'utilisateur à révéler des informations personnelles, non nécessaires en elles-mêmes à l'obtention de ce service mais fournies conjointement avec les informations nécessaires à l'obtention de ce service dans les certificats, à cet organisme tiers. A titre d'exemple, un premier certificat peut être délivré par une mairie sur la base d'un attribut d'un utilisateur prouvant qu'il habite une ville bien précise, parmi d'autres attributs personnels. Un deuxième certificat peut être délivré par une université sur la base d'un attribut de cet utilisateur prouvant qu'il est bien étudiant dans cette université, parmi d'autres attributs personnels comme son âge. Avec la présente invention, l'utilisateur peut alors agréger ces deux certificats afin de requérir une réduction auprès d'un service de transport public qui n'accorde de telles réductions qu'aux habitants de cette ville précise qui sont étudiants. En utilisant le procédé d'accès anonyme de la présente invention, l'utilisateur peut alors obtenir cette réduction spécifique aux seuls étudiants de cette ville, sans avoir besoin de dévoiler d'autres informations personnelles. Bien entendu, l'invention n'est pas limitée aux exemples de réalisation ci-dessus décrits et représentés, à partir desquels on pourra prévoir d'autres modes et d'autres formes de réalisation, sans pour autant sortir du cadre de l'invention. La présente invention peut ainsi s'appliquer au cas où un seul attribut mi est certifié, ce qui correspond au cas où une entité certificatrice émet des certificats sur ce seul attribut mi. Un schéma simple et efficace est ainsi obtenu. Dans ce cas, l'entité certificatrice signe l'attribut mi, qui peut se présenter sous la forme d'un document, lequel peut être en l'occurrence n'importe quelle suite de bits, courte ou longue. La présente invention peut également s'appliquer au cas où plusieurs attributs mi ..., ml sont certifiés, avec 1j>l. Dans ce cas, un document m à signer peut être séparé en plusieurs sous-documents 23 2969879 mi ..., ml , ce qui permet de laisser la liberté à l'utilisateur de cacher certains sous-documents lorsqu'il montre ses accréditations, tout en lui interdisant de cacher d'autres sous-documents. Par ailleurs, un mode de réalisation particulier de preuve de connaissance a été décrit dans le mode de réalisation illustré à la figure 3 en ce qui concerne la preuve de connaissance PoK6 du certificat 5 agrégé oa envoyée à l'entité vérificatrice V lors de la phase d'authentification correspondant aux étapes 300 et 400. Il est cependant évident que la présente invention ne se limite à ce seul mode de réalisation et que la preuve de connaissance PoK6 du certificat agrégé oa envoyée à l'entité vérificatrice V peut consister en une autre forme de donnée publique construite à partir de ce certificat agrégé et permettant de prouver que 10 l'entité utilisatrice U a la connaissance de ce certificat agrégé oa et que les certificats composant ce certificat agrégé ont bien été attribués à l'entité utilisatrice U par une ou plusieurs entité(s) certificatrice(s), sans pour autant dévoiler ces certificats eux-mêmes, ni le certificat agrégé, à l'entité vérificatrice V. 24 REVENDICATIONS1. Procédé d'accès anonyme à un service, caractérisé par : l'attribution (100), par au moins une entité certificatrice (C,), d'une pluralité de certificats (61,6N') à une entité utilisatrice (U), lesdits certificats étant calculés à partir d'au moins un attribut (mi,) associé à l'entité utilisatrice ; le calcul (200), par l'entité utilisatrice (U), d'un certificat agrégé (6a) à partir d'une pluralité de certificats (6i,6N) parmi les certificats attribués à l'entité utilisatrice (U) ; le calcul (300), par l'entité utilisatrice (U), d'une preuve de connaissance (PoK6) du certificat agrégé (6a) ; et une vérification (400), effectuée par une entité vérificatrice (V), d'au moins un desdits certificats au moyen de ladite preuve de connaissance (PoK6),1' accès au service étant fourni par l'entité vérificatrice à l'entité utilisatrice en fonction du résultat de ladite vérification. 2. Procédé d'accès anonyme à un service selon la revendication 1, caractérisé en ce que l'attribution (100) de la pluralité de certificats à l'entité utilisatrice comprend, pour chacun des certificats attribués par une entité certificatrice (C,) : le calcul (150) d'un certificat (6,) au moyen d'une donnée publique (C) liée à une clé secrète (sku) de l'entité utilisatrice, d'au moins un attribut (mi,) associé à l'entité utilisatrice et d'une clé secrète (skui) de l'entité certificatrice; et la transmission (155) du certificat (6,) à l'entité utilisatrice (U). 3. Procédé d'accès anonyme à un service selon la revendication 2, caractérisé en ce que le certificat (6,) est calculé dans le cadre des environnements bilinéaires munis de couplages selon la formule suivante : / 1. skçi 6i = C n H ( lglskci g2skci Vmk ) k =1 où 6, représente le certificat, C représente la donnée publique C liée à la clé secrète de l'entité utilisatrice, lj représente le nombre d'attributs signés par l'entité certificatrice C,, H représente une fonction cryptographique de hachage, gl et g2 représentent deux générateurs de groupe choisis aléatoirement et de manière uniforme respectivement dans deux groupes d'ordre p, où p est un nombre entier premier, skui représente la clé secrète de l'entité certificatrice, et mi, représente un attribut associé à l'entité utilisatrice. 4. Procédé d'accès anonyme à un service selon l'une des revendications 2 ou 3, dans lequel le certificat (6,) calculé par l'entité certificatrice (C,) est un certificat provisoire, l'étape d'attribution (100') étant caractérisée en ce que : 25la donnée publique liée à la clé secrète (skU) de l'entité utilisatrice est un engagement (C') sur la clé secrète (skU) de l'entité utilisatrice calculé (110") dans l'entité utilisatrice (U) au moyen d'une variable aléatoire (s) avant d'être transmis (123') à l'entité certificatrice (C,); le certificat provisoire reçu par l'entité utilisatrice (U) est démasqué (160') au moyen de ladite variable aléatoire (s) afin d'obtenir le certificat (6,) attribué à l'entité utilisatrice (U). 5. Procédé d'accès anonyme à un service selon la revendication 4, caractérisé en ce que le démasquage (160) du certificat provisoire (A;) comprend le calcul du certificat (6,) attribué à l'entité utilisatrice (U) en multipliant le certificat reçu de l'entité certificatrice par la variable (gisk" )-s où gi représente un générateur de groupe choisi aléatoirement et de manière uniforme dans un groupe d'ordre p, où p est un nombre entier premier, skci représente la clé secrète de l'entité certificatrice et s est une valeur aléatoirement choisie dans l'ensemble Zp des entiers modulo p. 6. Procédé d'accès anonyme à un service selon la revendication 4 ou 5, caractérisé en ce que le certificat (6,) attribué à l'entité utilisatrice (U) est vérifié (170) par l'entité utilisatrice après le démasquage (160) du certificat provisoire. 7. Procédé d'accès anonyme à un service selon l'une des revendications 2 à 6, l'étape d'attribution (100) étant caractérisée en ce que : la donnée publique (C) liée à la clé secrète (skU) de l'entité utilisatrice est vérifiée (140) au moyen d'une preuve de connaissance (R,S) de ladite donnée publique (C) ; et le calcul (150) du certificat (A;) n'est effectué que si le résultat de la vérification (140) de l'engagement est positif. 8. Procédé d'accès anonyme à un service selon l'une des revendications 2 à 7, l'étape d'attribution (100) étant caractérisée par : le calcul (110,110"), par l'entité utilisatrice, d'une donnée publique (C) liée à la clé secrète (skU) de l'entité utilisatrice ; le calcul (120) d'une première partie (R) de la preuve de connaissance à partir de la donnée publique (C) liée à la clé secrète (skU); et le calcul (130) d'une deuxième partie (S) de la preuve de connaissance à partir d'une donnée aléatoire (c) reçue de l'entité certificatrice. 9. Procédé d'accès anonyme à un service selon la revendication 8, caractérisé en ce que le calcul (110") de la donnée publique (C") comprend : le calcul d'une première partie (Co") de ladite donnée publique liée à la clé secrète (skU) de l'entité utilisatrice ; et 26le calcul d'une deuxième partie (C2") de la donnée publique liée à la clé secrète (sku) de l'entité utilisatrice et à au moins un certificat attribué par une autre entité certificatrice. 10. Procédé d'accès anonyme à un service selon l'une des revendications 1 à 9, caractérisé en ce que le calcul (300) de la preuve de connaissance (PoK6) de la pluralité de certificats (6,) attribués à l'entité utilisatrice comprend : le calcul (310) d'un engagement (D) sur le certificat agrégé (6a) ; le calcul (320) d'une première partie (P) de la preuve de connaissance (PoK6) à partir de l'engagement (D) sur le certificat agrégé (6a) ; le calcul (340) d'une deuxième partie (T) de la preuve de connaissance (PoK6) à partir d'une donnée aléatoire (d) reçue de l'entité vérificatrice (V). 11. Programme d'ordinateur comprenant des instructions pour la mise en oeuvre respectivement de l'étape de calcul d'un certificat (6,), l'étape de génération d'une preuve de connaissance d'une pluralité de certificats attribués à une entité utilisatrice et l'étape de vérification au moyen de ladite preuve de connaissance d'une pluralité de certificats selon l'une des revendications 1 à 10, lorsque ce programme d'ordinateur est exécuté par une unité de calcul située respectivement dans une entité certificatrice (C,), une entité utilisatrice (U) et une entité vérificatrice (V). 12. Entité certificatrice (C,) apte à accréditer une entité utilisatrice (U), caractérisée en ce qu'elle comprend : une unité de calcul (CALCO apte à mettre en oeuvre l'étape de calcul d'un certificat (6,) à partir d'au moins un attribut (mi,) du procédé d'accès anonyme selon l'une des revendications 1 à 10; et une unité de communication (COMA,) apte à transmettre ledit certificat (6,) à l'entité utilisatrice (U). 13. Entité vérificatrice (V) apte à vérifier une entité utilisatrice (U), caractérisée en ce qu'elle comprend : une unité de communication (COMA) apte à recevoir une preuve de connaissance (PoK6) d'une pluralité de certificats attribués à l'entité utilisatrice ; et une unité de calcul (CALCv) apte à mettre en oeuvre l'étape de vérification (400) du procédé d'accès anonyme selon l'une des revendications 1 à 10 au moyen de ladite preuve de connaissance, afin de démarrer la fourniture d'un service à l'entité utilisatrice en fonction du résultat de la vérification. 14. Entité utilisatrice (U) apte à requérir un service par l'intermédiaire d'une entité vérificatrice (V) au moyen d'une preuve de connaissance (PoK6) d'une pluralité de certificats attribués à l'entité utilisatrice par au moins une entité certificatrice (C,), l'entité utilisatrice (U) étant caractérisée en ce qu'elle comprend : 27une unité de communication (COMU) apte à recevoir une pluralité de certificats (6,) provenant d'au moins une entité certificatrice (C,) ; et une unité de calcul (CALCU) apte à mettre en oeuvre l'étape (300) de calcul d'une preuve de connaissance (PoK6) du procédé d'accès anonyme selon l'une des revendications 1 à 10 à partir de la 5 pluralité de certificats (6,) reçus, l'unité de communication (COMU) étant apte, en outre, à transmettre la preuve de connaissance (PoK6) à l'entité vérificatrice (V) afin de requérir un service. 15. Système d'accréditation anonyme (SAA) pour l'accès anonyme à un service, caractérisé en ce 10 que le système comprend : au moins une entité certificatrice (C,) selon la revendication 12 ; une entité vérificatrice (V) selon la revendication 13 ; et une entité utilisatrice (U) selon la revendication 14. 28