FR 2674976 A1 19921009 FR 9104035 A 19910403 DESCRIPTION PROCEDE DE PAIEMENT ELECTRONIQUE PAR CARTE A PUCE A L'AIDE DE JETONS NUMEROTES PERMETTANT LA DETECTION DE FRAUDES La présente invention a pour objet un procédé de paiement électronique par carte à puce à L'aide de jetons numérotés, permettant La détection de frau-10 des On sait qu'aujourd'hui, p Lusieurs types de cartes à puce sont couramment utilisées pour payer des biens ou des services Par exemple, en France, Les télécartes et les cartes PASTEL (marque déposée)15 sont utilisées sur Les publiphones; Les cartes bancai- res sont utilisées chez les commerçants et les cartes PC 2 sont utilisées sur les terminaux VISIOPASS (marque déposée) de télévision à péage. Sur Les publiphones, la consommation des unités de taxe dans Les télécartes est locale et anonyme Des statistiques donnent une idée du trafic écoulé par cabine Le relevé d'opération se réduit au nombre d'unités consommées et au numéro appe Lé Mais, à raison d'un bit par unité consommée, on ne peut pas réa Liser25 un audit des relevés afin de détecter d'éventuelles fausses télécartes On ne sait pas distinguer un bit "authentique" d'un bit "frauduleux". La fraude est combattue par diverses mesures physiques te L Les que La recherche de fils suspects dans La télécarte ou la vérification de gabarits de signaux électroniques Si l'anonymat est bien assuré, La détection rudimentaire de fausses télécartes dépend de la sécurité physique des publiphones. Chez les commerçants, un certificat est calculé à chaque opération avec une carte bancaire à puce Chaque paiement entraîne un relevé d'opération, puis La transmission des paramètres correspondants (une facturette électronique de plusieurs centaines de bits) vers la banque du commerçant pour une opéra- tion ultérieure de compensation avec la banque du client La sécurité est élevée, mais il n'y a pas d'anonymat. Pour l'accès conditionnel, des cartes porte- clés sont utilisées Suivant les versions de porte-clés, les services s'obtiennent à l'abonnement, à la séance ou à la durée La carte PCO sert à un service boursier diffusé par le procédé ANTIOPE La carte PC 1 sert à un contrôLe d'accès à TRANSPAC La carte PC 2 sert au programme VISIOPASS (marque déposée) développé par FRANCE TELECOM L'authentification de la carte et La gestion des titres d'accès sont très perfectionnées Mais la taxation à la durée, disponible aujourd'hui uniquement sur PC 1 et bientôt sur une nouvelle version de PC 2, n'utilise pour le moment qu'un seul bit par jeton. On peut sou Ligner également l'uti Lisation de cartes bancaires sur les publiphones: un seul bit est consommé à chaque unité de taxe Alors que la consommation d'unités reste anonyme, l'achat de chaque bloc de 120 jetons donne lieu à une facturation personnalisée, via le réseau bancaire. Beaucoup de services se paient par des je- tons, des tickets, de la monnaie ou par leur contre-partie électronique Les contre-parties électroniques dans une carte à puce intéressent beaucoup les opérateurs de transports: autoroute, métro, train, bus, tram, taxi, parking Mais il y en a bien d'autres: le téléphone, le radiotéléphone et les services télématiques par exemple. Le problème général posé par ces techniques revient à trouver un procédé de gestion de jetons, économiquement viab Le, permettant à La fois l'anonymat du paiement et La détection des fraudes. Lorsqu'i L s'agit de taxation à La durée, quand un seu L bit est consommé à chaque unité de taxe, on ne sait pas qua Lifier Les jetons pour détecter et diagnostiquer Les fraudes par un audit des re Levés d'opération; on ne sait pas non p Lus résoudre Les conflits entre différents opérateurs de services pui- sant dans un stock commun de jetons. La présente invention a justement pour but de remédier à cette carence en proposant un procédé dans Leque L on uti Lise plusieurs bits pour chaque unité de taxe En d'autres termes, on numérote Les jetons afin de distinguer Le vrai du faux. Cette solution satisfait Les diverses contraintes évoquées ci- dessus: anonymat, viabi Lité, résistance à La fraude Le procédé de L'invention peut être implanté dans toute carte à puce y compris de nouve L Les versions des masques PC 1, PC 2, MP ou TB 100. Avant d'exposer en détai L Les caractéristi- ques et avantages de L'invention, i L n'est pas inuti Le d'effectuer un bref rappe L sur Les cartes à puce. Pour ce faire, on distinguera Les télécartes, Les cartes bancaires et Les nouveaux masques apparus récem- ment. S'agissant de télécartes, on rappe L Le qu'i L s'agit de dispositifs électroniques conçus pour permet- tre Le paiement des télécommunications Aujourd'hui, FRANCE TELECOM vend des télécartes sous emba L Lage sce LLé à des consommateurs anonymes Environ 5 000 000 de téLécartes sont vendues chaque mois P Lus de 000 000 de télécartes ont été produites à ce jour. C'est un marché en pleine expansion. Les composants, dans ces télécartes, mesurent quelques mi L Limètres carrés Il s'agit de simples mémoires dépourvues de possibi Lité de calcul Leurs fabricants souhaiteraient les uti Liser Largement dans d'autres applications Mais les problèmes posés sont difficiles à résoudre, compte tenu des capacités logi- ques fort limitées de ces puces.10 La technologie évoluant et la fraude faisant son apparition, un projet de télécarte de deuxième génération est en cours de développement Le composant est une mémoire dotée d'une logique cab Lée que l'on peut authentifier grâce à un calcul cab Lé Ce composant15 est prévu pour limiter la fraude Toutefois, l'usage du composant dans d'autres applications impliquerait de partager quelques renseignements qu'il vaudrait mieux garder confidentiels, voire secrets Et de toute façon, dans ce composant, les jetons sont encore limi-20 tés à un seul bit par unité de taxe, ce qui interdit de partager Le même stock de jetons entre p Lusieurs opérateurs. S'agissant maintenant des cartes bancaires, on sait qu'aujourd'hui, en France, des puces y sont intégrées Ces puces portent le masque M 4 Le nombre de cartes M 4 produites à ce jour (pas uniquement pour les banques) s'éLève à environ 20 000 000 La taille des puces supportant M 4 est aujourd'hui de quinze à ving mi L Limètres carrés. Chaque carte M 4 est munie d'un secret diversifié Dans chaque système uti Lisant des cartes M 4, des modules de sécurité disposant de la c Lé maîtresse du système savent reconstituer en interne le secret diversifié de toute carte à Laquelle ils35 s'adressent, puis L'utiliser pour vérifier les résultats reçus ou protéger Les actions commandées. Le masque M 4 est personnalisé de diverses manières Les cartes bancaires Le sont en mode B 0. Les cartes M 4 se trouvent donc utilisées dans des 5 applications très diverses Mais, en pratique, il est très difficile de faire coexister plusieurs applications dans une même carte au masque M 4, ce masque n'ayant pas été conçu pour cela. Des nouveaux masques sont apparus récemment, tels que Le masque PC 2 conçu pour La télévision à péage par le CCETT (Centre Commun d'Etudes de TéLédif- fusion et TéLécommunications) et BULL CP 8, le masque MP conçu par BULL CP 8, et le masque TB 100 conçu par PHILIPS et BULL CP 8 Chaque carte porte un (ou plu-15 sieurs) trousseau(x) de clés cryptographiques Dans chaque trousseau, les clés utilisées pour gérer les éLéments du système (c Lés de gestion) sont distinctes des c Lés utilisées pour contrôler l'accès aux services (c Lés d'exploitation) Ces masques sont conçus pour partager la carte entre plusieurs émetteurs de titres d'accès et opérateurs de services Une c Lé maîtresse doit être mise en oeuvre dans un module de sécurité, encore appelé "carte-mère" pour ces divers masques, afin d'ouvrir ou de gérer une entité dans la carte25 d'un utilisateur, encore appelée "carte-fi L Le". Les concepts développés dans ces masques récents sont en cours de normalisation à L'ISO Dans les cartes partagées entre plusieurs applications (cartes dites "multi-services"), une entité maîtresse, matérialisée par un fichier maître appelé "Master Fi Le" (en abrégé MF) a créé des entités dédiées, matérialisées par des fichiers dédiés appelés "Dedicated Files" (en abrégé D Fs) Des entités dédiées} ont pu, à leur tour, créer de nouvelles entités dédiées, de manière récursive Chacun de ces fichiers (MF, DF) contient divers fichiers éLementaires appe Lés "E Lementary Fi Les" (en abrégé E Fs) Le principal droit qu'une entité maîtresse ou dédiée se réserve est alors Le droit de vie et de mort sur chacune des entités dédiées descendant immédiatement d'el Le En tuant une entité, on tue évidemment en même temps toutes celles qui en descendent. Dans une carte mu Lti-services, L'autorité ayant émis la carte est représentée par l'entité maîtresse qui a déLégué une partie de ses pouvoirs à des entités dédiées en Leur attribuant une part des ressources de la carte Plusieurs entités dédiées coexistent dans une même carte sans que La sécurité de L'une n'affecte la sécurité des autres, et sans15 que L'entité maîtresse ne perturbe Les entités dédiées et ne puisse atteindre les secrets qui y sont déposés. Les principales opérations effectuées durant La phase "utilisation" de La vie des cartes mu Lti-services sont Les suivantes: émission: e L Le consiste à créer L'entité maîtresse par L'autorité émettant La carte, personnalisation: e L Le consiste à comp Lé- ter L'entité maîtresse pour L'attribuer à un consommateur, délégation: e L Leconsiste à créer et à attribuer Les ressources de La carte à une entité dédiée matérialisant dans La carte un émetteur de titres d'accès, valorisation: e L Le consiste à noter ou modifier dans une entité dédiée diverses informations matérialisant Les droits d'accès ou décrivant un contrat entre Le consommateur et un opérateur de servi- ces, consommation e L Le consiste à noter ou modifier dans une entité dédiée des informations décrivant L'exécution du contrat entre Le consommateur et un opérateur de services. Pour résoudre Les problèmes posés par ces opérations ja Lonnant La vie des cartes multi-services, Les masques d'aujourd'hui utilisent des algorithmes cryptographiques à c Lé secrète, avec une hiérarchie de c Lés secrètes L'émetteur de cartes dispose d'un trousseau de c Lés maîtresses qui sont diversifiées dans Les cartes en c Lés secondaires, en fonction de données changeant d'une carte à L'autre (numéro de série de La puce ou numéro de compte du consommateur, par exemp Le) Chaque modu Le de sécurité ou chaque carte-mère enregistre et utilise une ou plusieurs c Lés maîtresses Les premières c Lés d'un émetteur de titres d'accès ou d'un opérateur de services sont a Lors transmises sous La protection d'une c Lé apparte- nant à L'émetteur de La carte. IL n'est cependant pas très sûr, pour L'émet- teur de titres d'accès ou pour L'opérateur de services, de distribuer ses propres secrets sous Le contrôLe des secrets d'un autre, fut-i L L'émetteur de La carte, ni pour L'émetteur de cartes de mettre des c Lés maîtresses dans des modu Les de sécurité relativement anonymes et dispersés en grand nombre dans un environnement qui échappe à son contrôle Des algorithmes à c Lé publique seront à terme utilisés dans Les cartes pour améliorer La gestion des clés et L'authentification des cartes Les techniques à apport nu L de connaissance sont L'u Ltime aboutissement des algorithmes à c Lé pub Lique Le procédé objet de L'invention qui va être décrite, est cependant indépendant de La cryptographie utilisée dans Les cartes. La présent éLectroniq connues da Le procéd Dans ce contexte généra L des cartes à puce, te invention propose un procédé de paiement ue qui reprend Les opérations principales ns ce genre de procédé, à savoir: a) une entité émettrice apte à émettre de La monnaie éLectronique attribue à des cartes des moyens de paiement appe Lés jetons, ces jetons étant constitués par des informations binaires écrites dans un fichier mémoire de La carte,b) pour rémunérer, avec une te L Le carte, un service à un opérateur de service, on débite La carte d'un certain nombre de jetons au profit de L'opérateur de servi ce,c) L'opérateur de service comptabi Lise Les jetons reçus et se fait rémunérer en conséquence par L'entité émettrice,é de L'invention étant a Lors caractérisé par Le fait que A) on constitue, dans L'entité émettrice, une Liasse initia Le de t numéros consécu- tifs et on retire de cette Liasse certains numéros choisis de manière quasi-a Lé- atoire, ce qui Laisse subsister une Liasse de numéros disponibles à La vente, B) pour attribuer des jetons à une carte déterminée: on séLectionne de manière quasi-a Léatoire cer- tains numéros de La Liasse de numéros disponibles à La vente, on attribue ces numéros à La carte en guise de jetons, chaque jeton (appe Lé "ticket") étant ainsi constitué par un groupe de bits codant Le numéro attribué en guise de jeton, on retire de La Liasse de numéros disponib Les à La vente Les numéros ainsi attribués, C) pour rémunérer une prestation à L'aide de tickets, La carte révèLe à L'opérateur de service Les numéros de ces tickets, D) L'opérateur de service col Lationne tous Les numéros qu'i L a reçus de diverses cartes et Les retourne à L'entité émettri- ce pour paiement de ses services, Ladite entité vérifiant L'authenticité des numé- ros ainsi retournés. L'émetteur de titres d'accès peut être une banque émettant de La monnaie électronique pour payer toute sorte de services, un organisme émettant des chèques de voyage, ou encore un organisme émettant des jetons pour payer des services spécifiques par20 unités de taxe. La numérotation des jetons, qui est La carac- téristique essentie L Le de L'invention, permet de résou- dre Le prob Lème posé à savoir Le contrôLe de L'authenticité des jetons, tout en préservant25 L'anonymat. De toute façon, Les caractéristiques et avantages de L'invention apparaîtront mieux à La Lumiè- re de La description qui va suivre Cette description30 porte sur des exemp Les de réalisation donnés à titre explicatif et nu L Lement Limitatif et e L Le se réfère à des dessins annexés sur Lesque Ls: La figure 1 i L Lustre schématiquement L'organisation d'un système généra L mettant en oeuvre Le procédé de L'invention; La figure 2 montre une Liasse de numéros, la figure 3 montre une grille de distribu- tion, La figure 4 i L Lustre des gri L Les de vente, La figure 5 montre un mode de réalisation d'un ticket à 2 octets, La figure 6 i L Lustre une grille de con- trôLe. De manière généra Le mais non exclusive, Le procédé de l'invention peut être mis en oeuvre dans un système tel qu'illustré sur La figure 1 Ce système utilise quatre types de cartes à puce: des cartes initiales de gestion (CIG) (de type carte grand-mère) servant à produire des cartes mères de gestion, des cartes-mères de gestion (C Gest) insé- rant des jetons dans les cartes de consom- mation, des cartes de consommation (C Cons) (de type cartes-filles) matérialisant des titres d'accès sous forme de jetons, des cartes d'exploitation (C Exp L) (de type cartes- mères) préLevant des jetons dans Les cartes de consommation (C Cons). Les cartes initiales de gestion (CIG), Les cartes-mères de gestion (C Gest) et les cartes-mères d'exploitation (C Expl) sont émises par un émetteur de cartes qui Les personnalise pour des émetteurs de titres d'accès. Les cartes-filles de consommation (C Cons) sont éga Lement émises par L'émetteur de cartes Suivant Les moda Lités de distribution, ces cartes peuvent soit rester La propriété de L'émetteur de cartes, soit devenir la propriété de leur porteur Anonymes 1 1 de préférence, e L Les pourraient toutefois être person- na L i sées. On notera que, dans certaines réalisations, L'émetteur de cartes peut être confondu avec L'émetteur de titres d'accès. Le but de L'invention est de vendre des jetons numérotés, encore appe Lés "tickets" Ces ti- ckets sont organisés en carnets formés de numéros pris au -hasard dans une Liasse, ou du moins, se Lon un hasard apparent pour un observateur Les ventes au sein de chaque Liasse sont volontairement Limitées pour conserver une forte proportion de numéros invendus (par exemp Le, de L'ordre de 50 %) choisis également au hasard, ou apparemment au hasard Seu L L'émetteur de titres d'accès distingue Les "vrais jetons" des "faux jetons". Les cartes de gestion sont personnalisées afin de responsabiliser Les vendeurs Le hasard, ou tout au moins L'apparence de hasard Liée à des pseu- do-aléas, est introduit dans La numérotation des jetons pour assurer La protection de L'anonymat des consommateurs, permettre un audit des relevés d'opération afin de détecter et diagnostiquer des anomalies, contrôler L'activité des opérateurs de services en situation de concurrence. Grâce à La numérotation des jetons, La fraude dans le cadre de L'invention est détectée et Localisée dès son apparition L'objectif est be L et bien de mettre Le fraudeur en position d'insécurité. Si, à La suite d'un vio L d'une carte de consommation, un trousseau de c Lés et un carnet de tickets sont révéLés dans une Liasse, on ne pourra constituer ensuite de fausses cartes qui passeraient inaperçues.5 De même, si, à La suite du vio L d'une carte de gestion, un trousseau de c Lés et un ensemb Le de numéros vendables sont révéLés dans une Liasse, i L suffit que Le vo L de La carte soit signa Lé pour que Les efforts du fraudeur soient anéantis Et si Le10 -vo L n'est pas signa Lé, on détecte quand même La fraude et Le vendeur suspect. De même encore, si un opérateur veut gonf Ler sa recette en ajoutant des numéros dans ses re Levés d'opération, s'i L invente des numéros, i L ne sait15 pas éviter Les invendus, qui sont de véritables faux jetons Et s'i L répète des numéros déjà reçus, i L se fait repérer avant même que La fraude ne soit suf- fisamment étendue pour devenir rentable. IL faut observer que, puisque La fraude est mesurable, on peut adapter Le niveau des sanctions à L'amp Leur de ce L Le-ci. De façon générale, Les fonctions remp Lies dans Les diverses cartes du système de La figure 1 sont Les suivantes Cartes de gestion L'émetteur de titres d'accès distribue des cartes de gestion à des vendeurs Chaque carte de gestion forme des carnets de tickets dans Le cadre d'une Liasse définie par un identifiant, une période de validité et un trousseau de c Lés secrètes Les ventes de carnets y sont comptabilisées par type de carnets Chaque carte de gestion contrôle ses opéra-35 tions sur une gri L Le de vente (dont La structure sera décrite p Lus Loin), de manière à ce que chaque numéro ne puisse être vendu qu'une seule fois L'identifiant de La Liasse et Le nombre de carnets vendus peuvent être consultés Librement dans La carte de gestion. Mais La consultation de La gri L Le de vente est soumise à une authentification préa Lab Le de L'émet- teur de titres d'accès L'état de La gri L Le est a Lors fourni par La carte de gestion, de préférence sous forme embroui LLée afin que L'observation des données échangées à L'interface ne permette pas de connaître L'état de La gri L Le de vente Ainsi, L'émetteur peut consulter à distance L'état temporaire de ses gri L Les de vente dans ses cartes de gestion chez Les vendeurs. Quand La vente est close, La carte de gestion est retournée par Le vendeur à L'émetteur de titres d'ac-15 cès. L'opération de vente d'un carnet de N tickets comporte L'opération élémentaire suivante répétée n fois: un numéro est pris au hasard; Le premier numéro vendable à partir de ce numéro est sélectionné20 (quand on atteint Le dernier numéro, on revient automa- tiquement au premier); La gri L Le de vente est mise à jour dans La carte de gestion en inversant L'état du bit correspondant au numéro vendu. Cartes de consommation La création d'un carnet de N tickets consiste à écrire, dans un fichier dédié d'une carte de consom- mation, un identifiant de Liasse, une période de va Li- dité, un trousseau de c Lés secrètes et Les N tickets.30 Les numéros transitant entre La carte de gestion et La carte de consommation sont de préférence embroui LLés afin que L'observation des données échangées à L'inter- face ne permette pas de dresser La Liste des numéros vendus. Les numéros des tickets non consommés dans un carnet sont de préférence maintenus secrets dans La carte de consommation I Ls sont révélés un par un au moment de leur consommation Un ticket révélé n'est p Lus uti Lisab Le et n'est p Lus secret Un ticket 5 consommé est invalidé dans la carte de consommation. Si La technologie le permet, Les carnets invalidés, voire même Les tickets invalidés, peuvent être effacés dans La carte de consommation. Cartes d'exploitation L'émetteur de titres d'accès distribue éga Le- ment des cartes d'exploitation aux opérateurs de servi- ces Chaque carte d'exploitation recuei L Le des tickets dans Le cadre de Liasses définies chacune par un15 identifiant, une période de va Lidité et un trousseau de c Lés secrètes L'opération de consommation comporte une authentification réciproque entre La carte de consommation et La carte d'exploitation en utilisant une des c Lés secrètes du trousseau Au cours de cette20 authentification, à La demande de La carte d'exp Loita- tion, des numéros sont révélés par La carte de consom- mation à La carte d'exploitation Les numéros transi- tant entre La carte de consommation et La carte d'exploitation sont de préférence embroui LLés afin25 que L'observation des données échangées à L'interface ne permettent pas de dresser La Liste des numéros consommes. Pour chaque Liasse qu'i L voit, L'opérateur de services recuei L Le donc des numéros qu'i L peut organiser soit en Liste ordonnée de numéros, soit en gri L Le de consommation, suivant Le procédé Le p Lus économique Périodiquement, il signe ces Listes ou ces gri L Les, par exemp Le par un code d'intégrité, puis Les remonte vers Le système centra L pour endos- sement, c'est-à-dire pour récupérer Le paiement de ses services IL prépare des rapports d'anomalie quand il détecte des Liasses en opposition ou sous survei L Lance spéciale En effet, L'émetteur des titres 5 d'accès Lui fournit aussi des Listes noires d'identi- fiants de Liasse et de certains tickets dans certaines Liasses. Différentes étapes particulières du procédé de L'invention vont maintenant être décrites. Tout d'abord, on forme une suite de nombres consécutifs organisée en Liasse Une Liasse est consti- tuée par un identifiant, une période de va Lidité,15 un trousseau de c Lés secrètes et un champ de t numéros consécutifs Ces informations sont créées par un émetteur de titres d'accès La figure 2 montre ainsi schématiquement un champ de t numéros consécutifs (de O à t-1). Une Liasse peut comprendre par exemp Le 64 000 jetons numérotés de O à 63 999, codés chacun par 16 bits; La vente peut être limitée à environ 30 000 numéros dans La Liasse Un carnet peut comporter 10, 20, 60, 90, 120 ou même 240 tickets On peut même vendre à L'unité, bien que ce La n'optimise pas L'uti Li- sation des mémoires dans La carte de consommation. Dans une opération d'émission et de person- na Lisation des cartes initiales de gestion, L'émetteur de cartes prépare des cartes initiales de gestion30 (de type "grand-mères") portant un fichier dédié, avec un identificateur, une première c Lé, une gri L Le de distribution et une possibilité de compter et de repérer Les cartes de gestion produites. Une gri L Le de distribution est i L Lustrée sur La figure 2 EL Le comprend Q mots de R bits chacun (par exempte 250 mots de 256 bits chacun) Tous ces bits sont au départ à L'état 1 (partie a). L'émetteur de titres d'accès comp Lète d'abord Le fichier dédié pour L'attribuer à une Liasse en y mettant L'identifiant de La Liasse et un troussé-au de c Lés secrètes Puis i L écarte une certaine propor- tion de tickets qui ne seront jamais vendus Pour ce faire, dans chacun des Q mots de La grille de distribution, i L met à O un certain nombre de bits10 pris au hasard, ou, du moins, se Lon un hasard apparent pour un observateur L'état de La gri L Le obtenue est i L Lustré sur La partie b de La figure 3 On peut par exemp Le mettre 60 bits à O dans chaque mot de 256 bits Ainsi, 15 000 numéros sont écartés.15 L'émetteur de cartes prépare aussi Les cartes de gestion Chaque carte de gestion porte un fichier dédié, avec un identificateur, une première c Lé, une possibilité de compter Les carnets vendus, et enfin, une gri L Lede vente Une gri L Le de vente comporte20 Q mots de R bits, tous à 1 au départ (par exemple 250 mots de 256 bits) L'émetteur de cartes fournit ces cartes de gestion à L'émetteur de titres d'accès. L'émetteur de titres d'accès comp Lète d'abord Le fichier dédié pour L'attribuer à une Liasse en y mettant L'identifiant de La Liasse et un trousseau de c Lés secrètes IL prépare aussi autant de compteurs que de types de carnets vendab Les Un type correspond par exemple à un nombre de tickets par carnet ou à des conditions particulières de tarification.30 Puis i L y prépare une grille de vente grâce à La carte initiale de gestion, qui permet de distri- buer Les numéros qui sont encore à L'état 1 dans La gri L Le de distribution (Figure 3 b) Pour chacun des Q mots de La gri L Le de distribution, parmi Les bits35 qui sont encore à L'état 1, L'émetteur en choisit un certain nombre au hasard, soit p, ou du moins, se Lon un hasard apparent pour un observateur Par exemple, le nombre p vaut 36 L'émetteur met alors à L'état O: ces p bits dans le mot correspondant de la grille de distribution située dans la carte initiale de gestion (figure 3 c), Les (t-p) autres bits dans le mot correspondant de la grille de vente dans la carte de gestion, on obtient une gril Le de vente GV 1 (figure 4 a). Pour constituer une seconde grille de vente GV 2 (figure 4 b), les mêmes opérations sont effectuées à partir de La nouve L Le grille de distribution (Fig. 3 c) Les grilles de ventes GV 1, GV 2 sont donc disjoin- tes, en ce sens qu'un bit ayant un certain rang ne peut être simultanément à 1 dans les deux grilles. Ainsi, un numéro de la liasse ne peut être vendu qu'une fois. Elément essentiel d'un fichier dédié dans la carte de gestion, la grille de vente permet de constituer progressivement des carnets de tickets et de les vendre: si le j-ième bit de la grille est à 1, alors le ticket correspondant est vendable, si le j-ième bit est à 0, alors Le ticket correspondant n'est pas vendable, à la vente d'un ticket, le bit correspon- dant passe de I à 0. La consultation de L'état des grilles de vente est réservée à L'émetteur de titres d'accès grâce à une authentification de l'émetteur par la carte de gestion. Enfin, L'émetteur de titres d'accès complète La carte de gestion Dans Le fichier maitre, il porte par exemp Le une période de vente Limitant L'utilisation de la carte de gestion Dans le fichier dédié à La Liasse, ilporte par exemp Le un seuil de vente Limitant Le pouvoir de vente de La carte de gestion Par exem- ple, le seuil de vente peut être fixé à 244. En résumé, pour une liasse donnée, Les ensem- bles de tickets vendables par chaque carte de gestion sont disjoints, et, après la c Lôture de vente pour une liasse donnée, La partie commune aux ensembles de numéros invendables dans L'ensemble des cartes de gestion constitue l'ensemb Le des numéros qui ne seront jamais vendus, soit par décision initiale de15 l'émetteur de titres d'accès quand il a initialisé la grille de distribution, soit par décision finale de l'émetteur de titres d'accès quand il a clos la vente de la liasse dans La carte initia Le de gestion. L'émetteur de titre d'accès peut constituer, pour la même liasse, plusieurs cartes de gestion ayant le même pouvoir de vente Chacune de ces cartes de gestion dispose d'un sous-ensemble qui, dans l'exemple pris, comprend 9 000 numéros ( 250 fois ( 256-220)) parmi lesquels elle peut en vendre jusqu'à 6 000 ( 250 fois ( 244-220)). Cependant, Le pouvoir de vente peut varier d'une carte de gestion à L'autre L'émetteur de titres d'accès prépare les cartes de gestion au fur et à mesure des besoins des vendeurs. En pratique, une carte de gestion pourrait évidemment vendre plusieurs Liasses en portant les fichiers dédiés correspondants. Pour la vente de carnets de tickets, on procède alors comme suit On rappe L Le que, dans chaque carte de gestion, i L existe ainsi une grille de vente comportant Q mots de R bits chacun Au départ des ventes, dans chacun de ces mots, il y a déjà R-p bits à L'état 0, fixés par L'émetteur des titres d'accès (dans L'exemp Le pris p Lus haut on a Q= 250, R= 256, t= 64 000 et p= 36 Dans chaque fichier dédié à une Liasse dans chaque carte de gestion, un pointeur cou- rant (qui, dans l'exemp Le de Q= 250 mots, est un octet) est entretenu Il est à zéro au départ des ventes,10 quand La carte de gestion est fournie au vendeur par L'émetteur de titres d'accès. On peut rappeler Les conventions de La grille de vente dans La carte de gestion: si le bit est à 1, alors Le ticket corres- pondant est vendable, si le bit est à 0, alors Le ticket corres- pondant n'est pas vendable, à chaque vente de tickets, Le bit correspondant passe de 1 à 0. Au début de chaque vente de carnet, la carte de gestion vérifie que La date courante figure bien dans La période de vente Si La période n'est pas commencée, La carte refuse la vente Si la période est écou Lée, la carte inva Lide la fonction de vente.25 Durant la vente, à chaque ticket, Le pointeur est incrémenté de 1 modulo Q (par exemp Le 250), c'est- à-dire que L'on passe au mot suivant Puis, un nouvel indice (qui, dans le cas o R= 256, est un octet) est produit au hasard dans la carte de gestion Si le30 jeton correspondant n'est pas vendable (bit à zéro) dans Le mot de R= 256 bits désigné par le pointeur, a Lors L'indice est incrémenté de 1 modu Lo R= 256 jusqu'à trouver un jeton vendable dans le mot pointé. Le numéro du ticket vendu comporte les bits du pointeur et ceux de L'indice, soit 16 bits dans l'exemple pris Le pointeur courant est en poids fort (valant de O à 249) et l'indice courant en poids faible (valant de O à 255) L'indice courant constitue l'information secrète à transférer depuis la carte de gestion jusqu'à la carte de consommation. Il est tout à fait possible d'étendre les numéros des tickets en utilisant une base Le numéro du ticket est alors constitué par la base en poids fort et Les seize bits précédents en poids faible. Cela permet d'utiliser des liasses plus étendues. A la fin de chaque vente de carnet, la carte de gestion met à jour le compteur correspondant au type du carnet vendu Puis elle compte le nombre de bits à zéro dans le mot désigné par le pointeur cou-15 rant Si ce nombre atteint ou dépasse le seuil autori- sé, ( 244 dans l'exemple pris plus haut), alors le pouvoir de vente est épuisé dans le fichier dédié. Par conséquent, la carte de gestion ferme les ventes en invalidant automatiquement le fichier dédié. L'utilisation des cartes de consommation s'effectue alors de la manière suivante Dans une carte de consommation, on trouve des carnets de tickets matérit Lies par autant de fichiers dédiés L'identifica-25 teur d'un fichier dédié repère l'émetteur de titres d'accès Un carnet de tickets comporte l'identifiant de la liasse, une période de validité, un trousseau de clés secrètes Le nombre de tickets du carnet noté par n, le pointeur courant du carnet, la valeur30 maximum du pointeur (par exemple 250, sur un octet), éventuellement la valeur minimum du pointeur (ici O, sur un octet), et enfin une liste de N indices (écrits chacun par exemple sur un octet) Chacun de ces indices est secret tant qu'il n'est pas consommé. En le révélant, la carte consomme le ticket correspon- dant. Le pointeur du carnet dans La carte de consommation est fixé par La va Leur du pointeur courant dans La carte de gestion au moment o le premier numéro 5 a été sélectionné pour former le carnet. Pour consommer des tickets, la carte de consommation donne d'abord la valeur maximum du poin- teur, la valeur minimum du pointeur, puis le pointeur courant qui pointe sur le premier ticket non-consommé.10 Ensuite, La carte de consommation révèle les indices des tickets à la demande. La figure 6 montre un ticket correspondant au cas o le pointeur P et l'indice I sont des octets. Dans L'exemple illustré, Le ticket correspond au sixiè-15 me mot et au 34 ème bit de ce mot, ce qui correspond au numéro 5 x 256 + 34 = 1314. Au niveau du système central, pour chaque liasse émise, Les informations de gestion sont résumées dans une grille de contrôle qui est une suite de 3 t bits, avec t bits pour les consommations et t doublets de 2 bits chacun pour l'état des ventes Une telle grille de contrôle est représentée sur la figure 6 (partie a). Comme illustré sur la figure 6, partie b: si le j-ième bit consommation vaut 1, alors Le j-ième ticket n'a pas encore été présenté par un opérateur, si Le j-ième bit consommation vaut O, alors Le j-ième ticket a déjà été présenté par un opérateur. Comme i L Lustré sur la figure 6, partie c: si Le j-ième doublet de vente vaut 00, a Lors Le j-ième ticket ne sera pas vendu (décision initiale de L'émetteur), si Le j-ième doub Let de vente vaut 01, alors le j-ième ticket ne sera pas vendu (clôture de La vente), si le j-ième doublet de vente vaut 10, a Lors Le j-ième ticket a été vendu, si le j-ième doublet de vente vaut 11, a Lors Le j-ième ticket est en vente. A chaque fois qu'une carte de gestion est consultée ou récupérée, ou qu'une gri L Le de consom- mation est présentée pour endossement, L'émetteur de titres d'accès met à jour Le grille de contrôle15 correspondant à la Liasse. Un rapport d'anomalie est établi dès La première consommation quand le ticket ne sera pas vendu, et à La deuxième consommation dans les autres cas Bien entendu, il peut arriver que l'information20 décrivant la consommation d'un ticket soit portée sur La gri L Le de contrôLe avant L'information décrivant La vente du ticket. Le rapport d'anomalie comprend L'identifiant de la Liasse, Le numéro du ticket et aussi Le nom de l'opérateur ayant endossé Le ticket suspect L'émet- teur de titres d'accès peut éventue L Lement retrouver La carte de gestion qui a vendu le ticket suspect. La spécification des rapports d'anomalies pourra être affinée après la mise en service du système Les rap-30 ports d'anomalies doivent être accessibles par identi- fiant de Liasse et par numéro de ticket, mais aussi par identifiant d'opérateur, voire par identifiant de vendeur. L'émetteur de titres d'accès peut aussi mettre à disposition des opérateurs une partie de L'information sur Les invendus, afin de Le faire parti- ciper au contrôle Pour ce faire, L'émetteur de titres d'accès établit une liste partielle de contrôle d'envi- ron la moitié des numéros écartés initialement Cette liste de contrôle peut avantageusement être insérée dans La carte d'exploitation. Si la transmission des numéros consommés est embrouillée entre la carte de consommation et la carte d'exploitation, alors la Liste de contrôle -10 peut même ne pas être consu Ltab Le par l'opérateur de service. Dans Le cas d'un fichier de titres d'accès matérialisant un carnet de tickets selon le procédé de L'invention, une notion supplémentaire qui est celle d'état du fichier (Libre ou occupé) est uti Le. L'opération de consommation commence par une authentification réciproque et un échange d'informations (identificateurs, identifiant de Liasse, date et heure, so Lde en tickets) entre La carte de consommation et une carte d'exploitation Cette authentification utilise dans le trousseau une c Lé secrète réservée à l'opérateur concerné Le fichier dédié matérialisant Le carnet est alors mis en "état occupé" dans La carte de consommation, qui peut ensuite être déconnectée du système. A la fin de L'opération, une autre authenti- fication réciproque intervient entre la carte de consommation et une carte d'exploitation (ce n'est pas nécessairement La même carte d'exploitation). Cette authentification utilise dans le trousseau une clé secrète appartenant au même opérateur La carte d'exploitation fixe le nombre de tickets demandés. Après la consommation (révélation de numéros), Le fichier de titres d'accès est "libéré"; les tickets consommés peuvent ensuite être détruits dans La carte de consommation. Si La Liasse se trouve en opposition, Le carnet n'est pas refermé, c'est-à-dire que Le fichier reste en "état occupé" Le consommateur est invité à se rendre à un guichet de vente pour régulariser sa situation. REVENDICATIONS 1 Procédé de paiement électronique à L'aide de cartes à microprocesseur dans Leque L: a) une entité émettrice apte à émettre des titres d'accès attribue à des cartes des moyens de paiement appelés jetons, ces jetons étant constitués par des infor- mations binaires écrites dans un fichier mémoire de La carte, b) pour rémunérer, avec une te L Le carte, un service à un opérateur de service, on débite La carte d'un certain nombre de jetons au profit de L'opérateur de servi ce, c) L'opérateur de service comptabilise Les jetons reçus et se fait rémunérer en conséquence par L'entité émettrice, procédé étant caractérisé par Le fait que: A) on constitue, dans L'entité émettrice, une Liasse initia Le de t numéros consécu- tifs et on retire de cette Liasse certains numéros choisis de manière quasi-a Lé- atoire, ce qui Laisse subsister une Liasse de numéros disponibles à La vente, B) pour attribuer des jetons à une carte déterminée: on sélectionne de manière quasi-a Léatoire cer- tains numéros de La Liasse de numéros disponibles à La vente, on attribue ces numéros à La carte en guise de jetons, chaque jeton (appe Lé "ticket") étant ainsi constitué par un groupe de bits codant Le numéro attribué en guise de jeton, ce on retire de La liasse de numéros disponibles à La vente Les numéros ainsi attribués, C) pour rémunérer une prestation à L'aide de tickets, La carte révèLe à L'opérateur de service Les numéros de ces tickets, D) L'opérateur de service co L Lationne tous Les numéros qu'i L a reçus de diverses cartes et Les retourne à L'entité émettri- ce pour paiement de ses services, Ladite entité vérifiant L'authenticité des numé- ros ainsi retournés. 2 Procédé se Lon La revendication 1, caracté- risé par Le fait que, pour constituer La Liasse de numéros disponibles à La vente: on prend une suite de bits tous égaux à 1 en nombre (t) éga L au nombre de numéros consécutifs constituant La Liasse initia Le définie dans L'entité émettrice, on choisit de manière quasi-a Léatoire certains de ces bits et on Les met à 0, ce qui Laisse une gri L Le de bits à 0 et à 1 dite gri L Le de distribution, chaque bit de cette gri L Le de distribution désigne par son rang (j) Le numéro ayant même rang dans La Liasse initia Le consti- tuée dans L'entité émettrice, ce numéro étant considéré comme disponible à La vente si Le bit de La gri L Le de distribu- tion est à 1 et non disponible à La vente si ce bit est à 0. 3 Procédé se Lon La revendication 2, caracté- risé par Le fait qu'on constitue des grilles de vente, par les opérations suivantes: on prend une suite de t bits tous égaux à 1, on choisit dans La gri L Le de distribution p bits à 1, on met à O Les (t-p) bits de La suite de t bits dont les rangs ne correspondent pas aux rangs des p bits à 1 ainsi choisis dans la gri L Le de distribution, ce qui Laisse une suite de p bits à 1 et de t-p bits à 0, constituant une grille de vente, on met à O Les p bits choisis dans La gri L Le de distribution, La vente de tickets à une carte à partir d'une te L Le gri L Le de vente consistant à choisir des bits parmi Les bits à 1 de La gri L Lede vente, Le rang de ces bits choisis indiquant Le rang des numéros à prendre dans La Liasse de numéros disponibles à La vente constituée dans L'entité émettrice, à transmettre ces numéros à La carte et à mettre à O Les bits correspondants dans La gri L Le de vente, toutes Les gri L Les de vente ainsi formées étant constituées de suites de bits disjointes, chaque numéro de La Liasse ne pouvant être ainsi vendu qu'une seu Le fois. 4 Procédé se Lon L'une quelconque des revendications 2 et 3, caractérisé par Le fait que La gri L Le de distribution et Les gri L Les de vente sont organisées en Q mots de R bits, chaque bit de ces gri L Les étant repéré par un premier groupe de bits appelé pointeur, pointant L'un des Q mots et 2 g par un second groupe de bits appe Lé indice identifiant L'un des R bits dans Le mot pointé, un ticket étant ainsi numéroté par deux groupes de bits. 5 Procédé se Lon La revendication 4, caracté- risé par Le fait que Le pointeur et l'indice sont chacun des octets, chaque ticket étant ainsi numéroté par deux octets, un octet en poids fort qui est un pointeur de mot et un octet en poids faible qui est un indice. 6 Procédé se Lon La revendication 5, caracté- risé par Le fait que, pour La vente d'un ticket, Le pointeur est incrémenté d'une unité pour pointer le mot suivant dans La gri Lle de vente, un indice est produit au hasard pour désigner un bit d'un mot, et, si ce bit est à 1, L'indice obtenu est transmis à La carte, et si ce bit est à 0, L'indice est incrémenté d'une unité jusqu'à trouver un bit éga L à 1, L'indice obtenu étant a Lors transmis à La carte. 7 Procédé se Lon L'une quelconque des revendications 1 à 6, caractérisé par Le fait qu'on constitue une gri L Le de contrôle formée de t groupes de 3 bits, chaque groupe de rang j comportant: un premier bit indiquant par son état 0 ou 1 si Le numéro de même rang j de La Liasse a été uti Lisé ou non par une carte, un deuxième et un troisième bits consti- tuant un doub Let dont Les divers états indiquent si Le numéro de rang j a été vendu, est en vente ou ne sera pas vendu. 8 Procédé se Lon L'une quelconque des cations précédentes, caractérisé par Le fait que le fichier dédié matérialisant un carnet de tickets dans une carte de consommation: est mis dans un "état occupé" lors d'une première étape d'authentification récipro- que entre cette carte de consommation et une carte d'exploitation, et est remis dans un "état libre" après consommation du nombre de tickets requis par la carte d'exploitation. 9 Procédé selon la revendication 1, caracté- risé par le fait que les numéros des tickets transitent sous une forme embrouillée durant les échanges respec- tivement entre La carte initiale de gestion et la carte de gestion, entre la carte de gestion et la carte de consommation, entre la carte de consommation et La carte d'exploitation. 10 Procédé selon la revendication 1, caractérisé par Le fait qu'on constitue pour l'opérateur une liste partielle de contrôLe donnant des numéros qui ne seront jamais vendus. 11 Procédé se Lon La revendication 10, caractérisé par Le fait que La Liste partielle de contrôLe de L'opérateur est intégrée dans la carte d'exploitation.