FR 2654851 A1 19910524 FR 8915394 A 19891123 -1 La présente invention a pour objet un procédé et un système pour l'exploitation sécurisée d'un logiciel. De façon plus précise la présente invention concerne la sécurisation de l'exploitation de logiciel par un utilisateur qui a acquis auprès d'un détenteur un droit d'utilisation de ce logiciel. On sait que la protection des logiciels contre des copies illicites par l'utilisateur est très difficile et que cette protection correspond à un intérêt économique réel. Pour protéger certains logiciels de valeur élevée contre une recopie illicite on a proposé d'associer au logiciel une mémoire externe par exemple du type ROM et qui doit être enfichée dans un port d'entrée/sortie du microordinateur sur lequel est exploité le logiciel Si la mémoire externe n'est pas connectée au microordinateur il n'est pas possible de mettre en oeuvre le logiciel correspondant Un tel système de protection présente l'inconvénient d'être passif Il suffit donc au fraudeur d'analyser l'échange des signaux entre la mémoire externe et le microordinateur pour pouvoir ultérieurement simuler une mémoire externe, ce qui rend la protection caduque. Pour éviter cet inconvénient on a également proposé d'associer au support principal d'information sur lequel est enregistré le logiciel qui doit être protégé un support d'information amovible qui est chargé dans un dispositif annnexe au système principal d'exploitation du logiciel Sur ce support amovible est stockée une partie du logiciel. -2- La partie principale du logiciel stockée sur le disque principal du micro-ordinateur n'est pas suffisante pour permettre l'exécution de l'ensemble du logiciel Le support amovible est de préférence du type carte à mémoire électronique avec contrôle d'accès à la mémoire de la carte Cette solution permet d'améliorer la protection du logiciel contre une copie mais elle présente l'inconvénient d'exiger de nombreux dialogues entre le dispositif principal d'exploitation du logiciel et le dispositif annexe dans lequel est introduite la carte à mémoire ce qui réduit très sensiblement la vitesse d'exécution du logiciel. Un objet de l'invention est de fournir un procédé d'exploitation de logiciel protégé contre des copies frauduleuses qui assure le même degré de protection que le système énoncé précédemment mais qui diminue les temps de transit entre le système principal d'exploitation et le système annexe. Pour atteindre ce but, selon l'invention le procédé d'exploitation d'un logiciel à l'aide d'un système comprenant au moins une unité principale d'exploitation dudit logiciel et une unité annexe d'exploitation pour recevoir un support amovible d'informations comportant au moins une zone mémoire et pour permettre l'échange d'informations entre ladite unité principale et ladite zone mémoire se caractérise en ce qu' il comprend les étapes suivantes: On définit dans ledit logiciel un certain nombre de commandes de demande de communication avec ladite unité annexe, lesdites commandes comprenant des premières commandes (Cn) associées à l'élaboration de résultats intermédiaires par ledit logiciel et -3- des deuxièmes commandes (Cn) associées à une demande de résultats intermédiaires pour permettre l'exécution du programme; à l'apparition de chaque première commande (Cn) on inscrit dans ladite zone mémoire ledit résultat intermédiaire; et à l'apparition de chaque deuxième commande (Cn) on lit dans ladite zone mémoire un résultat intermédiaire, par quoi ledit logiciel ne peut être complètement exécuté que si ledit support amovible convenable est présent dans ladite unité annexe. On comprend qu'ainsi le logiciel ne peut être exploité si le support amovible d'informations n'est pas présent dans le système annexe d'exploitation Toutefois la quantité d'informations transitant entre les deux systèmes est réduite ce qui n'augmente pas sensiblement le temps d'exploitation De plus le support amovible d'informations ne comporte initialement aucune information spécifique au logiciel au quel il est associé Il en résulte que la programmation initiale de ce support est simplifiée. Un autre objet de l'invention est de fournir un procédé d'exploitation de logiciel sécurisé qui permette en outre la location du logiciel en ne faisant payer l'utilisateur qu'en fonction du temps effectif d'exploitation dudit logiciel. Un autre objet de l'invention est de fournir un système pour la mise en oeuvre du procédé énoncé ci-dessus. D'autres caractéristiques et avantages de l'invention apparaîtront plus clairement à la lecture de la description -4- qui suit d'un mode de réalisation de l'invention donné à titre d'exemple non limitatif La description se réfère au dessin annexé sur lequel: La figure 1 est une vue d'ensemble du système d'exploitation du logiciel; La figure 2 est un bloc diagrame du circuit de la carte à mémoire constituant le support amovible d'informations; La figure 3 est un organigramme d'une partie du logiciel exploité par le système; et la figure 4 est un organigramme des logiciels mis en oeuvre par le circuit de la carte. Avant de décrire en détail un mode préféré de mise en oeuvre de l'invention on va en expliquer ci-après le principe. Le logiciel qui est chargé initialement dans le système d'exploitation principal comporte la totalité des instructions nécessaires pour qu'il soit exécutable. Cependant ce logiciel comporte à certaines étapes des instructions qui commandent le chargement dans un support d'information annexe, de préférence une carte à mémoire électronique, de certains résultats intermédiaires, ces résultats intermédiaires n'étant pas mémorisés dans le système principal Lorsque, dans le déroulement ultérieur du logiciel, ce résultat intermédiaire doit être utilisé le logiciel comporte une instruction de lecture du résultat intermédiaire dans le support d'information annexe et le logiciel peut alors être exécuté normalement dans le système principal Afin d'éviter qu'un fraudeur ne puisse, à partir d'un ensemble licite constitué par le logiciel et -5- une carte, illicitement analyser et mémoriser les signaux émis par l'unité principale vers l'unité annexe et réciproquement et simuler à partir de cet enregistrement la présence de la carte deux précautions principales sont prises La première consiste à coder à l'aide de clés secrètes tirées de façon aléatoire les informations transitant entre l'unité principale et l'unité annexe Pour toute demande de lecture dans la carte l'instruction émise par le système central est codé à l'aide d'une clé en cours La réponse du système annexe est codée à l'aide d'une nouvelle clé et le système annexe transmet de plus une nouvelle clé aléatoire codée à l'aide de l'ancienne clé Cette nouvelle clé devient la clé en cours Lorsque le système central demande une modification des informations contenues dans la carte ces instructions sont codées par la clé en cours et cette clé en cours est maintenue. La deuxième précaution prise consiste à s'assurer que le temps nécessaire pour l'exécution de différentes parties du logiciel n'est pas excessivement augmentée En effet l'expérience montre que, lorsque l'on cherche à frauder un programme pour l'analyser et le mémoriser, ces opérations entraînent un retard ou une augmentation du temps nécessaire pour l'exécution de la partie correspondante du logiciel Pour mettre en oeuvre cette deuxième précaution, à chaque fois qu'une demande de liaison entre l'unité centrale et l'unité annexe est faite, une information de durée est transmise vers le système annexe c'est à dire vers la carte Cette information de durée est un majorant du temps qui doit normalement s'écouler lors de l'exécution du logiciel entre cette commande et la demande de communication entre l'unité centrale et l'unité annexe suivante Cette information de durée est mémorisée dans la carte et elle est comparée au temps effectif qui s'écoule entre les deux demandes de mise en communication -6- successives Si le temps effectif est supérieur à l'information de durée de temps l'accès à la carte est inhibé rendant ainsi impossible l'exécution du logiciel. En se référant tout d'abord à la figure 1 on va décrire l'ensemble du système pour l'exploitation sécurisée d'un logiciel Il comprend une unité principale d'exploitation du logiciel 10 de type classique Sur la figure on a fait apparaître le clavier 12 d'entrée de données, la fente 14 du lecteur de support magnétique d'information 16 et la mémoire principale du disque dur 18 de l'unité principale. A l'unité principale 10 est associée une unité annexe 20 qui consiste dans un lecteur de carte à mémoire électronique 22 Le lecteur 22 comprend essentiellement un système de guidage de la carte à mémoire 24 dont on a représenté seulement la fente d'introduction 26 un connecteur non représenté et un circuit de traitement 28. Le circuit de traitement 28 a simplement pour but de recevoir les informations émises par l'unité principale 10 ou d'envoyer par celle-ci des informations lues dans la carte et de commander les opérations de lecture ou d'écriture dans le circuit intégré de la carte 24. En se référant maintenant à la figure 2, on va décrire un mode de réalisation du circuit 30 de la carte 24 La carte 24 comprend des contacts externes 32 qui sont reliés notamment au BUS 34 du circuit 30 Reliés au BUS 34 on trouve les composants suivants: un circuit d'horloge 36 délivrant des impulsions de temps; un générateur de nombres aléatoires au pseudo-aléatoires 38; une unité centrale de traitement 40, une mémoire de programme 42, du type ROM; une mémoire de soldes successifs 44, du type EPROM ou EEPROM; et une mémoire volatile 46 qui constitue d'une part une mémoire de travail pour l'unité centrale de traitement 40 et d'autre part une mémoire de stockage non -7- permanent de résultats intermédiaires venant de l'unité prinipale de traitement 10 En d'autres termes la carte 24 est du type à microprocesseur. La carte 24 peut avoir des contacts externes du type ISO ou des contacts multiples alignés disposés le long d'un bord de la carte. La mémoire morte 42 est chargée d'un certain nombre de programmes dont la mise en oeuvre est effectuée par l'unité centrale de traitement 40 On trouve tout d'abord un programme GES de gestion des fonctionnalités du circuit de la carte et des sous-programmes spécifiques Ces derniers comprennent: le sous-programme COD qui sert à coder une information émise vers l'unité principale 10 à l'aide d'une clé qui est soit délivrée par le générateur de nombres aléatoires 38 soit mémorisée temporairement dans la mémoire 46; le sous-programme DECOD qui sert à décoder une information reçue de l'unité principale 10 à l'aide d'une clé mémorisée temporairement dans la mémoire 46; un sous-programme COMP qui sert à comparer une information de durée tn mémorisée dans la mémoire 46 à une information de temps écoulée Tn élaborée à partir des implusions délivrées par l'horloge 36 et d'une information d'initialisation; un sous- programme SOLDES qui sert d'une part à décrémenter une information de solde disponible mémorisée dans la mémoire 44 en fonction des informations de temps écoulé Tn et d'autre part à émettre un signal d'alarme AL lorsque le solde dans la mémoire 44 devient nul ; un sous programme INTERRUPT qui permet d'interrompre l'incrémentation de l'information de temps écoulé Tn à la réception d'un signal spécifique AR et de reprendre cette incrémentation à la réception d'un signal REP; et un sous-programme INHIBIT qui permet d'interdire l'accès au circuit de la carte en fonction des résultats de la mise en -8- oeuvre du sous- programme COMP En d'autres termes le sous-programme INHIBIT est activé pour interdire l'accès au circuit de la carte 24 à chaque fois que le sous-programme COMPAR a détecté un dépassement de temps écoulé Tn par rapport à l'information correspondante de durée tn. En se référant maintenant à la figure 3 qui montre une partie du logiciel L à exécuter, on va expliquer une autre partie de l'invention Sur cette figure on a représenté sous forme d'organigramme une partie du logiciel L stocké sur le support 16, ce support ayant été remis à l'utilisateur en même temps que la carte de sécurisation 24 Le logiciel L est bien sûr chargé dans la mémoire centrale 18 de l'unité principale de traitement 10. Comme le montre la figure 3, le logiciel L comporte des instructions qu'on trouverait dans ce logiciel s'il n'était pas sécurisé conformément à l'invention, et un nombre limité d'instructions qui sont spécifiques à la sécurisation du logiciel selon l'invention On trouve des étapes de traitement 50, 52, 54, 56 et des étapes de test 58 et 60 qui correspondent au logiciel L "normal" c'est à dire non sécurisé On trouve également des instructions de commande de mise en communication avec l'unité auxiliaire 20, c'est à dire avec le circuit 30 de la carte 24. L'ensemble des instructions 62 correspondant à la commande Cn a pour but de transférer vers l'unité auxiliaire 20, et plus précisément vers la mémoire 46 du circuit de la carte un résultat intermédiaire R Ii qui a été élaboré par l'exécution de parties du logiciel L qui précèdent celle qui est représentée sur la figure 3 Par cette commande Cnî 1 le résultat intermédiaire R Ii est mémorisée dans la carte et non dans l'unité centrale de traitement 10. De même l'ensemble des instructions 64 correspondant à la -9- commande Cn est spécifique à la sécurisation du logiciel L selon l'invention A ce stade d'exécution du logiciel L, celui-ci doit disposer d'un résultat intermédiaire R Ib qui a été élaboré précédemment dans l'exploitation du logiciel Comme on l'a expliqué précédemment le résultat intermédiaire R Ib n'est pas mémorisé dans l'unité principale de traitement 10 mais uniquement dans la mémoire 46 du circuit de la carte 24 La commande Cn établit la liaison avec l'unité auxiliaire 20 pour provoquer le transfert du résultat intermédiaire R Ib vers l'unité principale 10 et permettre ainsi la poursuite du déroulement du logiciel L On comprend dès à présent que, si la carte 24 n'est pas présente dans l'unité auxiliaire , le logiciel L ne peut plus être exploité. Le logiciel L selon l'invention comporte un autre type d'informations spécifiques associées aux commandes Cn. A chaque étape d'exécution du logiciel, 52 à 56 sur la figure 3, on peut associer un temps "normal" d'exécution, sl, S 2, S 3, S 4 Donc entre les étapes de commande 62 et 64 on peut définir un temps total maximal d'exécution de cette partie du logiciel compte tenu des étapes de test 58 et 60. Dans le cas particulier de la figure 3, ce temps maximal d'exécution tnest donné par l'expression: tnl = sup (sl, S 2 +s 3, S 4) En même temps que la commande Cn 1 provoque le transfert du résultat intermédiaire R Ii dans la mémoire de la carte 24, cette commande provoque le transfert de l'information de durée tn- l De même la commande Cn provoque le transfert du résultat intermédiaire R Ib de la carte 24 vers l'unité principale 10, et également celui de l'information de durée tn correspondant au temps "normal" -10- d'exécution du logiciel L entre la commande Cn et la commande suivante Cn+I (non représentée sur la figure 3). Afin d'accroître encore la sécurisation de l'exploitation du logiciel, les informations qui transitent de l'unité principale 10 vers l'unité auxiliaire 20 et de l'unité auxiliaire 20 vers l'unité principale 10 sont codées comme on l'a déjà indiqué succinctement Le codage est effectué à l'aide de clés fn qui sont élaborées par le générateur de nombres aléatoires 38 du circuit 30 de la carte 24 Du fait du changement de clé de codage selon un processus qui sera explicité ultérieurement deux exploitations sucessives identiques du logiciel L correspondront à la transmission d'informations codées différentes entre l'unité principale 10 et l'unité annexe du fait du changement des clés On comprend donc que l'ensemble des instructions 62 et 64 comprennent en fait la mise en oeuvre d'un algorithme de codage ( 62) ou de décodage ( 64) à l'aide d'une clé qui a été transmise par la carte à l'unité principale dans une étape précédente Ce processus sera explicité en détail ultérieurement On peut toutefois à ce stade de la description, donner les indications suivantes: A chaque instruction de commande Cn consistant à demander la lecture d'un résultat intermédiaire R Ij déjà mémorisé dans la carte, la carte répond en transmettant à l'unité principale 10 d'une part le résultat intermédiaire RI' codée à l'aide d'une nouvelle clé fn élaborée par le générateur de nombres aléatoires 38 et d'autre part la nouvelle clé fn codée à l'aide de la clé précédente fn-_ A la réception de ces deux informations, l'unité principale décode la nouvelle clé fn à l'aide de la clé précédente fn-1 qu'elle a déjà en mémoire et, à l'aide de cette nouvelle clé fn' elle décode le résultat intermédiaire lu R Ij Lorsqu'une commande Cn émise par l'unité principale consiste dans la transmission à la carte 24 d'un nouveau résultat intermédiaire R Ij qui doit y être mémorisé, le résultat intermédiaire est codé à l'aide de la valeur de clé fn en cours et elle est décodée par la carte à l'aide de cette même clé. Il faut ajouter que le programme résident dans l'unité principale de traitement comporte un sous-programme INTERRUPT lié à la gestion des informations de durée tn* Pour l'exécution de certaines parties du logiciel L, l'utilisateur doit introduire dans l'unité principale des données ou instructions externes à l'aide du clavier 12 associé à l'unité principale On comprend que le temps d'introduction de ces informations externes dépend de l'application particulière faite du logiciel L et également, dans une certaine mesure de l'habileté de l'utilisateur pour taper ces informations sur ce clavier. L'information de durée normale d'exécution tn de la partie du logiciel incluant cette phase d'introduction de données externes est donc pratiquement impossible à déterminer à l'avance Pour résoudre ce problème, à chaque fois que le logiciel L demande l'introduction d'une information à l'aide du clavier 12 ou toute autre opération dont la durée ne peut être déterminée à l'avance, le sous-programme INTERRUPT transmet à la carte 24 un signal AR qui interrompt le décompte des impulsions de temps délivrées par le circuit d'horloge 36 A la fin de l'introduction des données externes le sous-programme INTERRUPT transmet vers la carte 24 un signal REP qui commande la reprise du décompte des impulsions de temps. Ainsi la durée de la phase d'introduction de données n'est pas prise en compte dans la détermination du temps effectif Tn qui s'écoule entre deux signaux de commande consécutifs Le programme résident comporte aussi des moyens pour mémoriser la clé fn reçue du dispositif annexe et pour effacer la clé fn-, reçue précédemment. -12- En se référant plus particulièrement à la figure 4 on va décrire le fonctionnement du système selon l'invention La figure 4 montre l'organigramme du programme GES qui est stocké dans la mémoire 42 de la carte et qui est mis en oeuvre par l'unité centrale de traitement 40 du circuit de la carte. A la réception d'un signal de l'unité principale 10 via le lecteur 20, le programme GES met en oeuvre un test 108 pour déterminer la nature du signal reçu Il s'agit soit d'une commande Cn de demande d'écriture dans la carte ( 102), soit d'une commande Cn+l de demande de lecture dans la carte ( 104); soit d'un signal AR ( 106) soit encore un signal REP ( 108) On va d'abord décrire le déroulement du programme GES, dans le cas o l'information reçue est une commande de demande d'écriture ( 102) Le programme GES appelle le sous-programme DECOD ( 110) pour décoder l'information à l'aide de la clé courante fn qui est mémorisée dans la mémoire 46 Le résultat intermédiaire ainsi décodé R Ii est écrit dans la mémoire 46 ( 112) Le message reçu contient également une information de durée tn ( 114) qui est mémorisée dans la mémoire 46 ( 116) La réception de cette commande Cn provoque également en 118 l'arrêt du décompte ( 120) des impulsions délivrées par le circuit d'horloge 36 pour élaborer l'information de temps effectivement écoulé Tn-1 et l'initialisation ( 118) d'un nouveau décompte d'impulsions d'horloge pour l'élaboration d'une nouvelle information de temps effectivement écoulé Tn Le programme GES appelle alors le sous programme COMP ( 122) pour comparer le temps effectivement écoulé Tn-î à l'information de durée tn-1 précédemment reçue Si Tnktn-1, c'est à dire si le logiciel L a été normalement exécuté, le programme GES appelle le sous-programme SOLDES ( 124) qui décrémente, dans la mémoire 44 le solde précédent d'un montant correspondant à la durée -13- effective d'utilisation Tn- l De plus l'information tnl est effacée de la mémoire 46 Dans le cas contraire (Tnîl>tnî 1) c'est qu'il y a eu une tentative de fraude et le programme GES appelle le sous- programme INHIB ( 125) qui interdit l'accès au circuit de la carte 24 à partir de l'unité principale 10 Le logiciel L ne peut plus être exploité. On va maintenant décrire le déroulement du programme GES dans le cas o le test 100 a détecté la réception d'une commande Cn+ 1 de demande de lecture ( 104) Le programme GES appelle le sous-programme DECOD pour décoder les informations reçues à l'aide de la clé courante f. stockée dans la mémoire 46 On obtient ainsi une nouvelle information de durée tn+l ( 126) qui est mémorisée dans la mémoire 48 ( 128) Puis l'information intermédiaire R Ij est lue dans la mémoire 46 à l'adresse convenable ( 130) Le programme GES appelle alors le sous-programme COD A l'aide du sous-programme COD le résultat intermédiaire R Ij est codé avec une nouvelle clé fn+l délivrée par le générateur de nombres aléatoires 38 De même la nouvelle clé fn+l est codée à l'aide de la clé précédente fn mémorisée ( 134) L'ancienne clé fn est effacée de la mémoire 46 et remplacée par la clé fn+ 1 Comme dans le cas d'une commande de demande d'écriture, le programme GES va gérer les opérations de contrôle du temps d'exécution A la réception de ces informations, le décompte du temps effectif écoulé Tn est arrêté ( 136) et une nouvelle phase de décompte des impulsions d'horloge ( 138) est initiée pour la détermination du nouveau temps effectif écoulé Tn+l* Puis le programme GES appelle le sousprogramme COMP pour comparer le temps effectivement écoulé Tn à l'information de durée tn correspondante précédemment reçue. Si Tn tn c'est qu'il y a eu une tentative de fraude et le programme GES appelle le sous-programme INHIB pour interdire l'accès au circuit de la carte 24. L'étape de test 100 peut également détecter que l'information reçue est le signal AR ( 106) ou le signal REP ( 108) Dans ce cas le programme GES appelle le sous programme INTERRUPT Si c'est l'information qui est reçue AR le sous programme INTERRUPT ( 150) commande l'arrêt du décompte des impulsions de temps servant à élaborer les informations de temps effectif écoulé Tn-1 ou Tn ( 120, 138) Si le signal reçu est le signal REP le sousprogramme INTERRUPT commande la reprise du décompte des impulsions de temps. Dans la description précédente les circuits de la carte 24 n'élaborent une nouvelle clé que si elle reçoit une commande de lecture d'un résultat intermédiaire déjà mémorisé Selon une variante de mise en oeuvre de l'invention, la carte émet une nouvelle clé également en réponse à une commande d'écriture dans la carte L'émission de cette nouvelle clé est associée à l'émission d'un signal d'acquittement. Selon les modes de réalisation précédemment décrits la carte à mémoire ne comporte aucune information spécifique au logiciel particulier avec lequel elle est remise ce qui simplifie bien sûr la programmation initiale de la carte. Il est toutefois possible de prévoir que la carte contienne, par exemple dans la mémoire 44 une information fixe spécifique au logiciel auquel elle est associée Dans -15- ce cas, à chaque fois que la carte est appelée on vérifie que l'information spécifique est bien celle qui est associée au logiciel en cours d'exploitation sur l'unité principale 10. Enfin il faut souligner que l'invention permet une facturation de la "location" du logiciel en fonction du temps effectif d'utilisation En effet lorsque l'utilisateur reçoit un exemplaire du logiciel avec la carte associée, la mémoire 44 comporte un montant initial correspondant à un crédit de temps d'utilisation du logiciel Au fur et à mesure de l'exploitation du logiciel le solde est décrémenté Lorsque ce solde devient nul, l'utilisateur doit verser une nouvelle somme pour qu'on charge dans sa carte un nouveau montant initial correspondant à une nouvelle "location" du logiciel. -16- REVENDICATIONS 1 Procédé d'exploitation d'un logiciel à l'aide d'un système comprenant au moins une unité principale d'exploitation dudit logiciel et une unité annexe d'exploitation pour recevoir un support amovible d'informations comportant au moins une zone mémoire et pour permettre l'échange d'informations entre ladite unité principale et ladite zone mémoire, caractérisé en ce qu'il comprend les étapes suivantes: On définit dans ledit logiciel un certain nombre de commandes de demande de communication avec ladite unité annexe, lesdites commandes comprenant des premières commandes (Cn) associées à l'élaboration de résultats intermédiaires pour ledit logiciel et des deuxièmes commandes (Cn) associées à une demande de résultats intermédiaires pour permettre l'exécution du programme; à l'apparition de chaque première commande (Cn) on inscrit dans ladite zone mémoire ledit résultat intermédiaire; et à l'apparition de chaque deuxième commande (Cn) on lit dans ladite zone mémoire un résultat intermédiaire, par quoi ledit logiciel ne peut être complètement exécuté que si ledit support amovible convenable est présent dans ladite unité annexe. 2 Procédé selon la revendication 1, caractérisé en ce que, dans ledit logiciel, on associe à au moins certaine commandes (Cn) une information de durée (tn) qui est au moins égale au temps d'exécution normale dudit logiciel entre ladite commande (Cn) et la commande suivante (Cn+l); on transmet à ladite unité annexe ladite information de durée (tn) et on compare dans -17- ladite unité annexe le temps qui s'écoule effectivement entre la réception de deux commandes successives et l'information de durée tn; et on inhibe ou non l'accès à ladite unité annexe en fonction du résultat de ladite comparaison. 3 Procédé selon l'une quelconque des revendications 1 et 2, caractérisé en ce que à la réception de chaque deuxième commande (Cn)> ladite unité annexe transmet une réponse codée à l'aide d'une nouvelle clé secrète (fn+î) et une nouvelle clé secrète (fn+>) codée à l'aide de la clé précédente (fn). 4 Procédé selon la revendication 2, dans lequel ledit logiciel est loué par un détenteur à un utilisateur, caractérisé en ce qu'on définit de plus dans la zone mémoire dudit support amovible une deuxième zone de soldes monétaires, en ce qu'au moment de la fourniture du logiciel on inscrit dans ladite deuxième zone un solde monétaire initial et en ce que, lors de l'utilisation dudit logiciel, ledit solde est décrémenté en fonction des informations de temps effectivement écoulé (fn) élaborées par ladite unité annexe. 5 Procédé selon la revendication 4, caractérisé en ce que ladite unité principale est apte à émettre vers ladite annexe des informations d'interruption lors de certaines phases d'exécution dudit logiciel et en ce que ladite unité annexe, à la réception d'une information d'interruption, interrompt la mesure du temps effectivement écoulé depuis la commande (Cn) précédente et donc la décrémentation du solde monétaire. 6 Procédé selon la revendication 3 caractérisé en ce que à la réception de chaque première commande (Cn), ladite -18- unité annexe transmet un signal d'acquittement codé à l'aide d'une nouvelle clé secrète (fnh) et une nouvelle clé secrète (fnh) codée à l'aide de la clé précédente (fn) 7 Système d'exploitation d'un logiciel fourni par un détenteur à un utilisateur comprenant: un premier support dans lequel est mémorisé ledit logiciel; un deuxième support amovible comportant une zone mémoire apte à recevoir des informations; une unité principale pour charger et exécuter ledit logiciel du premier support; et une unité annexe apte à recevoir ledit deuxième support, ladite unité annexe étant reliée à ladite unité principale pour permettre l'échange d'informations entre ladite unité principale et ladite unité annexe; ledit système se caractérisant en ce que: ledit logiciel stocké dans ledit premier support comprend en plus de l'ensemble des insctructions d'exécution, des premières commandes (Cn) pour commander la transmission vers ladte unité annexe des résultats intermédiaires et des deuxièmes commandes (Cn) pour demander à ladite unité annexe la fourniture à l'unité centrale de résultats intermédiaires précédents, et en ce que ladite unité annexe comprend des moyens pour stocker dans la zone mémoire dudit deuxième support amovible lesdits résultats intermédiaires émis par ladite unité -19- principale et pour transmettre à ladite unité principale des résultats intermédiaires à la réception d'une deuxième commande (Cn). 8 Système selon la revendication 7, caractérisé en ce que ledit deuxième support amovile est une carte à mémoire à circuit électronique comprenant des moyens de mémorisation et des moyens de traitement. 9 Système selon la revendication 8, caractérisé dans ledit logiciel, on associe à au moins certaines desdites commandes (Cn) une information de durée (tn) qui est au moins égale au temps d'exécution normale dudit logiciel entre ladite commande (Cn) et la commande suivante (Cn+l), en ce que ladite unité principale comprend des moyens pour émettre vers l'unité annexe ladite information de durée tnl et en ce que lesdits moyens de traitement de la carte comprennent des moyens pour décompter le temps effectif Tn qui s'écoule entre ladite commande Cn et la réception de la commande suivante Cn+l et des moyens pour comparer l'information de durée tn et ledit temps effectif Tn. 10 Système selon l'une quelconque des revendications 7 à 9, caractérisé en ce que lesdits moyens de traitement comprennent des moyens d'élaboration de clés secrètes fn, et des moyens pour élaborer, en réponse à la réception d'une commande Cn, une réponse codée à l'aide de ladite clé fn' et ladite clé fn codée à l'aide de la clé précédent fn-l 11 Système selon la revendication 9, caractérisée en ce que ladite carte comprend des moyens mémoire pour stocker une information de solde monétaire initial lors de la remise de ladite carte avec ledit premier support -20- contenant ledit logiciel et en ce que lesdits moyens de traitement de la carte comprennent des moyens pour décrémenter ledit solde initial en fonction des informations de temps effectif Tn. 12 Système selon l'une quelconque des revendications 7 à 11, caractérisé en ce que ladite unité annexe est un lecteur de cartes à mémoire apte à transmettre vers le circuit de ladite carte des instructions de lecture et des instructions d'écriture d'informations.