FR 2850228 A1 20040723 FR 0300525 A 20030117 i L'invention concerne un procédé et un système pour garantir l'intégrité d'au moins un logiciel informatique exécutable par au moins un module de chiffrement/déchiffrement ledit au moins un logiciel étant transmis par un émetteur vers un décodeur équipé dudit au moins un module de 5 chiffrement/déchiffrement par l'intermédiaire d'un réseau de transmission d'informations grande distance. Plus précisément, l'invention concerne un procédé dans lequel l'émetteur réalise: a) une étape de chiffrement de signaux d'informations transmis vers 10 le décodeur, b) une étape de transmission vers ledit au moins un module de chiffrement/déchiffrement du décodeur, d'un message contenant l'information nécessaire pour que le décodeur déchiffre les signaux d'informations transmis à l'étape a), et c) une étape de transmission dudit au moins un logiciel informatique vers ledit au moins un module de chiffrement/déchiffrement du décodeur, et dans lequel le décodeur réalise: d) une étape de déchiffrement des signaux d'informations transmis par l'émetteur lors de l'étape a) à l'aide de l'information prévue à cet effet dans 20 le message transmis lors de l'étape b). De tels procédés sont, par exemple, nécessaires dans les systèmes payants de diffusion de chaînes de télévision. En effet, dans ces systèmes, de manière à mettre à jour les décodeurs, l'émetteur diffuse fréquemment des correctifs logiciels destinés à être exécutés par chacun des décodeurs de 25 manière à mettre à jour leur fonctionnalité. Un correctif logiciel est un petit programme exécutable par un calculateur électronique et destiné à modifier certains paramètres ou parties d'un programme plus grand exécutable par ce même calculateur. Ces correctifs logiciels sont également connus sous le terme anglais de "Patch". De manière conventionnelle, chaque décodeur est équipé d'un module de chiffrement/déchiffrement apte à chiffrer et/ou déchiffrer les signaux transmis par l'émetteur de manière à déchiffrer les chaînes de télévision transmises. Ce module est classiquement appelé module de sécurité puisque c'est lui qui a pour fonction de sécuriser les échanges d'informations entre l'émetteur et le décodeur. Ce module de chiffrement/déchiffrement est également apte à exécuter les correctifs logiciels qu'il reçoit. Le module de chiffrement/déchiffrement se présente sous la forme 5 d'un module autonome. Par exemple, aujourd'hui, ce module de chiffrement/déchiffrement est intégré dans une carte à puce qui doit être insérée dans le décodeur pour que celui-ci fonctionne correctement. Aujourd'hui, il existe de nombreux décodeurs construits frauduleusement pour recevoir les chaînes de télévision payantes sans payer. 10 Ces décodeurs sont appelés décodeurs pirates. La partie chiffrement/déchiffrement des signaux reçus étant la plus complexe, ces décodeurs pirates intègrent le plus souvent un module de chiffrement/déchiffrement authentique associé à un dispositif frauduleux de commande de ce module. Le dispositif de commande frauduleux transmet au 15 module de chiffrement/déchiffrement authentique les informations nécessaires pour que celui-ci déchiffre les chaînes de télévision payantes même si ces informations ont été frauduleusement acquises. Pour lutter contre de tels décodeurs pirates, la solution a consisté pendant un temps à diffuser, par l'intermédiaire de l'émetteur, des correctifs 20 logiciels spéciaux dits anti-pirates. Ces correctifs logiciels anti-pirates sont destinés à modifier le fonctionnement du module de chiffrement/déchiffrement authentique de manière à ce que le décodeur pirate dans son ensemble devienne inutilisable. Par exemple, un correctif logiciel anti-pirate peut, après qu'il ait été exécuté par le module de chiffrement/déchiffrement authentique, 25 modifier l'emplacement des zones mémoires vers lesquelles les informations déchiffrées par le module de chiffrement/déchiffrement authentique sont enregistrées ou aller chercher les informations nécessaires au déchiffrement des chaînes de télévision dans un autre emplacement mémoire. Toutefois, les décodeurs pirates les plus récents sont maintenant 30 aptes à supprimer les correctifs logiciels anti-pirates avant qu'ils ne soient reçus par le module de chiffrement/déchiffrement authentique. Ainsi, les correctifs logiciels anti-pirates ne sont pas exécutés par le module de chiffrement/déchiffrement authentique. L'invention vise à remédier à cet inconvénient en proposant un procédé dans lequel la suppression d'un logiciel transmis à un décodeur est rendue plus difficile. L'invention a donc pour objet un procédé tel que décrit ci-dessus caractérisé: - en ce que l'émetteur insère dans le message transmis lors de l'étape b) une information supplémentaire propre à permettre audit au moins un module de chiffrement/déchiffrement de vérifier qu'il a effectivement reçu le ou chaque logiciel informatique transmis à l'étape c), - en ce que ledit au moins un module de chiffrement/déchiffrement vérifie à partir de l'information supplémentaire insérée par l'émetteur dans le message transmis lors de l'étape b) s'il a effectivement reçu le ou chaque logiciel transmis lors de l'étape c), et - en ce que si le ou chaque logiciel n'est pas reçu ledit au moins un 15 module de chiffrement/déchiffrement inhibe l'étape d). Dans le procédé ci-dessus, le module de chiffrement/déchiffrement authentique dont est équipé le décodeur reçoit le message contenant l'information nécessaire pour déchiffrer les signaux d'informations chiffrés transmis par l'émetteur. Ce message contient en plus une information lui 20 permettant de vérifier que tous les correctifs logiciels transmis par l'émetteur lui ont été communiqués. Dès lors, si le module de chiffrement/déchiffrement authentique détecte, à partir de l'information supplémentaire insérée dans le message transmis à l'étape b) qu'un correctif logiciel est manquant, ce module de 25 chiffrement/déchiffrement authentique agit de manière à empêcher le déchiffrement des informations transmises lors de l'étape a). Ce procédé rend la suppression des correctifs logiciels transmis lors de l'étape c) plus difficile. En effet, si le décodeur pirate laisse passer le message contenant 30 l'information supplémentaire pour vérifier la présence de tous les correctifs logiciels transmis, celle-ci est reçue par le module de chiffrement/déchiffrement authentique. Le module de chiffrement/déchiffrement est alors capable de détecter la suppression d'un correctif logiciel et inhibe en réponse le déchiffrement des signaux d'informations transmis lors de l'étape a) c'est-à-dire par exemple des chaînes de télévision. Ainsi, si le décodeur pirate laisse passer le message contenant l'information supplémentaire, il doit également laisser passer l'ensemble des correctifs logiciels transmis lors de l'étape c). Par ailleurs, le décodeur pirate ne peut pas simplement être modifié pour supprimer également le message contenant l'information supplémentaire transmise lors de l'étape b). En effet, ce message contient également les informations nécessaires au déchiffrement des signaux transmis lors de l'étape 10 a). Par conséquent, si ce message est supprimé, le déchiffrement des signaux d'informations transmis lors de l'étape a) est impossible. Par conséquent, grâce à un tel procédé, les décodeurs pirates ne peuvent plus simplement se contenter de supprimer certains messages d'informations ou correctifs logiciels reçus et doivent accéder au contenu du 15 message transmis lors de l'étape b) ce qui s'avère nettement plus compliqué que la suppression pure et simple de certains messages reçus. Suivant d'autres caractéristiques du procédé conforme à l'invention: l'émetteur chiffre le message transmis à l'étape b), et ledit au moins un module de chiffrement/déchiffrement déchiffre le message transmis lors de 20 l'étape b) pour permettre la réalisation de l'étape d); - l'émetteur réalise: e) une étape de construction d'un premier identificateur du ou de chaque logiciel informatique transmis lors de l'étape c), et f) une étape d'insertion de cet identificateur dans le message 25 transmis lors de l'étape b), et ledit au moins un module de chiffrement/déchiffrement réalise: g) une étape de reconstruction de l'identificateur du ou de chaque logiciel informatique à partir du ou de chaque logiciel informatique reçu, h) une étape de comparaison de l'identificateur reconstruit à l'étape 30 g) avec l'identificateur inséré par l'émetteur lors de l'étape f), et i) si l'identificateur reconstruit à l'étape g) ne correspond pas à celui inséré à l'étape f) dans le message transmis à l'étape b), une étape d'inhibition de l'étape d), j) si l'identificateur reconstruit à l'étape g) correspond à l'identificateur inséré à l'étape f) dans le message transmis lors de l'étape b), une étape de validation de l'intégrité du ou de chaque logiciel informatique; - pour garantir l'intégrité d'un ensemble de plusieurs logiciels 5 informatiques exécutables chacun par ledit au moins un module de chiffrement/déchiffrement, l'étape e) comporte une opération de construction d'un seul identificateur pour ledit ensemble de plusieurs logiciels informatiques à transmettre lors de l'étape c) à partir d'informations concernant chacun des logiciels dudit ensemble et l'étape g) consiste à réaliser la même opération que 10 celle réalisée lors de l'étape e) pour reconstruire un identificateur unique correspondant à celui construit lors de l'étape e) si ledit ensemble reçu par le décodeur est identique à celui émis par l'émetteur; - les étapes d), g), h), i) et j) sont réalisées par le même module de chiffrement/déchiffrement; - un premier module de chiffrement/déchiffrement autonome réalise uniquement les étapes d), h), i) et j), et en ce qu'un second module de chiffrement/déchiffrement autonome et indépendant du premier module de chiffrement/déchiffrement et solidaire du décodeur, réalise au moins l'étape g); - l'émetteur réalise en plus: k) une seconde étape de construction d'un second identificateur du ou de chaque logiciel informatique transmis lors de l'étape c), ce second identificateur étant transmis conjointement avec le ou chaque logiciel correspondant lors de l'étape c), et - l'étape g) réalisée par le second module de 25 chiffrement/déchiffrement comporte: - une opération de reconstruction du second identificateur transmis conjointement avec le ou chaque logiciel, uniquement si le second identificateur reconstruit correspond à celui transmis conjointement avec le ou chaque logiciel lors de l'étape c), une 30 opération de reconstruction du premier identificateur insérée dans le message transmis lors de l'étape b) et de transmission de ce premier identificateur reconstruit vers le premier module de chiffrement/déchiffrement pour que ce premier module de chiffrement/déchiffrement puisse procéder à l'étape h); - le premier et le second identificateurs sont obtenus à partir d'un même identificateur du ou de chaque logiciel informatique en chiffrant le même identificateur à l'aide respectivement d'une première et d'une seconde clés de chiffrement différentes; - ledit au moins un module de chiffrement/déchiffrement exécute ledit au moins un logiciel informatique à chaque fois que son intégrité est validée lors de l'étape j). L'invention a également pour objet un support d'enregistrement d'informations comportant des instructions pour l'exécution d'un procédé 10 conforme à l'invention, lorsque lesdites instructions sont exécutées par l'émetteur. L'invention a également pour objet un support d'enregistrement d'informations comportant des instructions pour l'exécution d'un procédé conforme à l'invention, lorsque lesdites instructions sont à exécuter par ledit au 15 moins un module de chiffrement/déchiffrement. L'invention a également pour objet un système pour garantir l'intégrité d'au moins un logiciel informatique exécutable par au moins un module de chiffrement/déchiffrement, le système comportant un émetteur pour transmettre ledit au moins un logiciel informatique par l'intermédiaire d'un 20 réseau de transmission d'informations grande distance, et un décodeur équipé dudit au moins un module de chiffrement/déchiffrement, l'émetteur étant apte: - à chiffrer des signaux d'informations transmis vers le ou chaque décodeur, - à transmettre vers ledit au moins un module de chiffrement/déchiffrement du décodeur, un message contenant l'information nécessaire pour que le décodeur déchiffre lesdits signaux d'informations transmis, et - à transmettre ledit au moins un logiciel informatique vers ledit au 30 moins un module de chiffrement/déchiffrement du décodeur, - à transmettre ledit au moins un logiciel informatique vers ledit au moins un module de chiffrement/déchiffrement du décodeur, le décodeur étant apte à déchiffrer lesdits signaux d'informations transmis par l'émetteur à l'aide de l'information prévue à cet effet contenue dans ledit message transmis par l'émetteur, caractérisé: - en ce que l'émetteur est apte à insérer dans ledit message une information supplémentaire propre à permettre audit au moins module de chiffrement/déchiffrement de vérifier qu'il a reçu le ou chaque logiciel informatique transmis, - en ce que ledit au moins un module de chiffrement/déchiffrement 10 est apte à vérifier à partir de l'information supplémentaire insérée par l'émetteur dans ledit message, s'il a effectivement reçu le ou chaque logiciel transmis par l'émetteur, et - en ce que si le ou chaque logiciel n'est pas reçu ledit au moins un module de chiffrement/déchiffrement est apte à inhiber le déchiffrement desdits 15 signaux d'informations transmis. Suivant d'autres caractéristiques du système conforme à l'invention - le ou chaque décodeur est équipé d'un unique module de chiffrement/déchiffrement amovible; - le ou chaque décodeur est équipé d'au moins deux modules de 20 chiffrement/déchiffrement autonomes et indépendants l'un de l'autre, au moins l'un de ces modules de chiffrement/déchiffrement étant solidaire du châssis du décodeur. L'invention sera mieux comprise à la lecture de la description qui va suivre, donnée uniquement à titre d'exemple et faite en se référant aux dessins 25 sur lesquels: - la figure 1 est une vue schématique de l'architecture d'un premier mode de réalisation d'un système conforme à l'invention; - la figure 2 est un organigramme d'un procédé conforme à l'invention mis en oeuvre dans le système de la figure 1; - la figure 3 est une vue schématique de la structure d'un second mode de réalisation d'un système conforme à l'invention; et - la figure 4 est un organigramme d'un procédé conforme à l'invention mis en oeuvre dans le système de la figure 3. La figure 1 représente un système payant de transmission de chaînes de télévision. Ce système est désigné par la référence générale 2. Les systèmes payants de transmission de chaînes de télévision sont connus. Par conséquent, seules les caractéristiques nécessaires à la compréhension de l'invention seront décrites ici en détails. Le système 2 comporte un émetteur 4 de chaînes de télévision chiffrées, des décodeurs 6 aptes à déchiffrer ces chaînes de télévision et un réseau 8 de transmission d'informations grande distance reliant l'émetteur 4 aux décodeurs 6. Ce réseau 8 est typiquement un réseau hertzien. L'émetteur 4 est capable de diffuser par l'intermédiaire du réseau 8 vers tous les décodeurs 6 du système 2 des signaux d'informations chiffrés, des messages cryptés contenant des informations nécessaires pour déchiffrer les signaux d'informations ainsi que des correctifs logiciels en clair. Les signaux d'informations chiffrés correspondent ici à des chaînes de télévision 15 embrouillées à l'aide d'un mot de contrôle, ce mot de contrôle formant l'information nécessaire pour déchiffrer ou désembrouiller ces chaînes de télévision. A cet effet, l'émetteur 4 comporte une unité 10 apte à réaliser des opérations d'embrouillage des chaînes de télévision diffusées ainsi que des opérations de cryptage du message contenant le mot de contrôle utilisé pour 20 embrouiller les chaînes de télévision. Cette unité 10 est ici réalisée à partir de calculateurs programmables conventionnels aptes à exécuter des instructions enregistrées sur un support d'enregistrement d'informations, ici une mémoire 12. La mémoire 12 comporte des instructions pour l'exécution du procédé de la figure 2 lorsque ces 25 instructions sont exécutées par l'unité 10. De plus, cette mémoire 12 comporte les clés de chiffrement et le ou les mots de contrôle nécessaires à l'exécution du procédé de la figure 2. Les décodeurs 6 sont tous capables de déchiffrer ou désembrouiller les signaux de télévision transmis par l'émetteur 4 à l'aide des informations 30 contenues dans les messages transmis par ce même émetteur 4. Ainsi, puisque tous ces décodeurs 6 remplissent des fonctions similaires, seul un de ces décodeurs 6 est représenté en détail sur la figure 1 pour simplifier l'illustration. Le décodeur 6 comporte un module 16 de chiffrement/déchiffrement apte à décrypter le message crypté transmis par l'émetteur 4 pour en extraire le mot de contrôle et le transmettre à un module 18 de désembrouillage des chaînes de télévision embrouillées. Le module 16 comporte un calculateur programmable conventionnel et un support d'enregistrement formé ici par une mémoire 22. Le calculateur 20 est apte à exécuter des instructions enregistrées dans la mémoire 20. Ici, la mémoire 20 comporte des instructions pour l'exécution du procédé de la figure 2 lorsque lesdites instructions sont exécutées par le calculateur 20. Le 10 module 16 est amovible. Il est par exemple réalisé à partir d'une carte à puce classique. Le décodeur 6 est associé à un poste de télévision 26 propre à afficher les chaînes de télévision désembrouillées par le décodeur 6. Le fonctionnement du système 2 va maintenant être décrit en regard 15 du procédé de la figure 2. L'émetteur 4 procède à une étape 36 de chiffrement et de transmission d'informations vers l'ensemble des décodeurs du système 2 par l'intermédiaire du réseau 8. Les informations transmises par l'émetteur 4 vers les décodeurs 6 comportent les chaînes de télévision embrouillées, des 20 messages contenant les informations nécessaires pour qu'un décodeur puisse désembrouiller ces chaînes de télévision et de temps en temps des correctifs logiciels destinés à mettre à jour les décodeurs 6. Ainsi, lors de l'étape 36, l'émetteur 4 embrouille lors d'une sous-étape 40, la ou les chaînes de télévision diffusées à l'aide d'un mot de contrôle enregistré dans la mémoire 12. Cette 25 sous-étape 40 est classique. Simultanément, l'émetteur 4 transmet, lors d'une sous-étape 42, des correctifs logiciels en clair, c'est-à-dire non chiffrés, vers les décodeurs 6. Ces correctifs logiciels sont chacun classiquement associés à un identificateur CS permettant au décodeur qui les reçoit de vérifier l'intégrité de chacun des 30 logiciels reçus. L'identificateur CS est par exemple ici un "checksum". Lors de la sous-étape 42, l'émetteur 4 réalise également une opération 44 de construction d'un identificateur unique propre à permettre la détection, par chaque décodeur 6, de l'absence ou de la modification d'un des correctifs logiciels reçus parmi la pluralité de correctifs logiciels transmis par un émetteur 4. A cet effet, par exemple, l'émetteur 4 combine tous les checksum de chacun des correctifs logiciels en réalisant une opération ou exclusif entre chacun de ces checksum. Ensuite, l'émetteur 4 crypte, lors d'une opération 46 l'identificateur unique construit lors de l'opération 44 à l'aide d'une clé de chiffrement Kcs contenu par exemple dans la mémoire 12. Le cryptage de l'identificateur unique permet de sécuriser sa transmission par l'intermédiaire du réseau 8 puisque seuls les décodeurs équipés d'une clé de chiffrement correspondante à la clé 10 de chiffrement Kcs seront capables de décrypter cet identificateur unique. Ici, c'est l'identificateur unique qui est crypté pour sécuriser la transmission des correctifs logiciels plutôt que les correctifs logiciels eux-même car cela rend le procédé plus rapide. En effet, l'identificateur unique étant plus petit en taille que l'ensemble des correctifs logiciels transmis, son cryptage est 15 donc beaucoup plus rapide. Lors de l'étape 36, l'émetteur 4 réalise également une sous-étape 50 de transmission d'un message de contrôle des titres d'accès cryptés à l'aide d'une clé de chiffrement KECM. Le message est également connu sous les termes de message ECM (Entitled Control Message). Le message ECM 20 comporte classiquement le mot de contrôle nécessaire pour désembrouiller les signaux de télévision transmis lors de la sous-étape 40. Ici, lors de la sous-étape 50, l'émetteur 4 insère, lors d'une opération 52, l'identificateur unique crypté lors de l'opération 46. Chaque décodeur reçoit à l'étape 60 les informations transmises par 25 l'intermédiaire du réseau 8 par l'émetteur 4. L'ensemble de ces informations reçues est transmis au module 16 de chiffrement/déchiffrement. Le module 16 commence alors par reconstruire, lors d'une opération 62 l'identificateur unique à partir de l'ensemble des correctifs logiciels reçus. Cette opération 62 est par exemple identique à l'opération 44 de manière à ce 30 que l'identificateur unique reconstruit par le module 16 soit identique à l'identificateur unique construit lors de l'opération 44 si tous les correctifs logiciels reçus sont identiques à ceux transmis lors de la sous-étape 42. il Ensuite, le module 16 décrypte le message ECM reçu à l'aide d'une clé de chiffrement KECM correspondant à celle utilisée par l'émetteur 4. Une fois le message ECM décrypté, le module 16 décrypte lors d'une opération 64 l'identificateur unique contenu dans ce message ECM. Il compare alors, lors d'une opération 66, l'identificateur unique reconstruit lors de l'opération 62 à celui décrypté lors de l'opération 64. Si les identificateurs uniques comparés ne sont pas identiques malgré plusieurs tentatives de transmission des différents correctifs logiciels par l'émetteur, alors le module 16 procède à une étape 68 d'inhibition du désembrouillage des 10 chaînes de télévision. A cet effet, par exemple, le module 16 ne transmet pas au module 18 de désembrouillage le mot de contrôle contenu dans le message ECM reçu ou transmet un mot de contrôle erroné. Dans le cas contraire, c'est-à-dire si les deux identificateurs comparés correspondent, alors le module 16 exécute, lors d'une opération 70, 15 les correctifs logiciels reçus et transmet, lors d'une opération 72, le mot de contrôle contenu dans le message ECM au module de désembrouillage 18, qui désembrouille les chaînes de télévision lors d'une opération 74. Ainsi, si le module 16 est utilisé dans un décodeur pirate et que ce décodeur pirate supprime ou modifie un correctif logiciel anti-pirate avant de le 20 transmettre au module 16, ce dernier procède à l'opération 68 et les chaînes de télévision reçues ne sont plus désembrouillées correctement. On remarquera également que le procédé de la figure 2 permet également d'éviter que des correctifs logiciels soient ajoutés à ceux émis par l'émetteur 4 par une personne malveillante équipée de son propre émetteur 25 raccordée au réseau 8. En effet, de tels correctifs logiciels supplémentaires ajoutés par des personnes malveillantes ont souvent pour but soit de détruire le module 16 soit de le rendre inopérant. Ces correctifs logiciels ajoutés par des personnes malveillantes peuvent se présenter sous la forme de virus informatiques. Dans le procédé de la figure 2, l'ajout d'un correctif logiciel est détecté de la même façon que la suppression ou la modification d'un correctif logiciel lors de l'opération 66 et ce correctif logiciel ajouté ne sera pas exécuté. Il a été noté qu'il existe aujourd'hui des cartes à puce falsifiées aptes à se substituer au module 16 authentique dans un décodeur lui-même authentique. Un tel décodeur authentique équipé d'une carte à puce falsifiée ne 5 peut pas être rendu inutilisable même en mettant en oeuvre le procédé de la figure 2, puisque la carte à puce falsifiée ne réalise pas les opérations 62 à 68. Le second mode de réalisation décrit en regard de la figure 3 est un perfectionnement du système de la figure 1 visant à remédier à cet inconvénient. Dans ce second mode de réalisation, l'émetteur ne diffère de l'émetteur 4 de la figure 1 que par le fait que la mémoire 12 comporte des instructions pour l'exécution du procédé de la figure 4 lorsqu'elles sont exécutées par le module de chiffrement/déchiffrement de cet émetteur et les décodeurs 6 sont remplacés par des décodeurs 82. Les décodeurs 82 sont structurellement identiques au décodeur 6 à l'exception du fait qu'il comporte un second module de chiffrement/déchiffrement 84. Le module 84 est similaire au module 16 et comporte un calculateur 86 associé à une mémoire 88. Toutefois, à la différence du module 16, le module 84 est solidaire du châssis du décodeur de manière à ce que toute tentative de suppression de ce module 84 du décodeur 82 résulte en une destruction du décodeur 82. A cet effet, par exemple, le module 84 sera intégré à l'intérieur même d'un composant électronique nécessaire au fonctionnement du décodeur 82. Les mémoires 88 et 22 comportent des instructions pour l'exécution du procédé de la figure 4 lorsqu'elles sont exécutées respectivement par les calculateurs 86 et 20. Les autres éléments sont identiques à ceux de la figure 1 et portent les mêmes références. Le fonctionnement de ce second mode de réalisation va maintenant être décrit en regard du procédé de la figure 4. Le procédé de la figure 4 diffère du procédé de la figure 2 essentiellement par le fait que la sous-étape 42 et l'opération 62 sont d"4 respectivement remplacées par une sous-étape 100 et des opérations 102 à 114. L'émetteur 4, lors de la sous-étape 100, transmet aux décodeurs 82 un ou plusieurs correctifs logiciels. Pour chaque correctif logiciel transmis ou à transmettre, l'émetteur 4 construit un premier identificateur du correctif logiciel à transmettre lors d'une opération 120 et un second identificateur de ce même correctif logiciel lors d'une opération 122. Ici, lors de l'opération 120, l'émetteur 4 calcule de façon conventionnelle une signature électronique du correctif logiciel à transmettre, 10 puis crypte cette signature électronique à l'aide d'une clé de chiffrement KMS. De façon similaire à ce qui a été décrit en regard de la sous-étape 42, cette signature permet d'identifier le correctif logiciel transmis et le cryptage permet de sécuriser la transmission du correctif logiciel. Lors de l'opération 122, l'émetteur construit le second identificateur 15 du correctif logiciel à transmettre en cryptant à l'aide d'une clé de chiffrement Kcs la signature électronique calculée lors de l'opération 120 avant que celle-ci ne soit cryptée à l'aide de la clé KMS. Chaque correctif logiciel accompagné de sa signature électronique calculée lors de l'opération 120 est transmis à l'issue de la sous-étape 100 vers 20 les décodeurs 82. Ici, l'opération 52 d'insertion d'un identificateur unique dans le messaECM transmis est remplacé par une opération 124 d'insertion dans ce message ECM du second identificateur calculé pour chaque correctif logiciel lors de l'opération 122. Ainsi, dans ce second mode de réalisation, le message ECM ne comporte pas un unique identificateur mais au contraire autant de seconds identificateurs que de correctifs logiciels transmis. Lors de la réception des informations transmises par l'émetteur 4 par les décodeurs 82, le module 84 reconstruit, lors de l'opération 102, le premier 30 identificateur pour chaque correctif logiciel reçu. A cet effet, il calcule la signature électronique du correctif logiciel reçu à l'aide du même algorithme que celui utilisé lors de l'opération 120. Ainsi, si le correctif logiciel reçu est identique à celui transmis par l'émetteur 4, la signature reconstruite est identique à celle cryptée à l'aide de la clé KMS lors de l'opération 120. Ensuite, le module 84 décrypte, lors de l'opération 104, la signature électronique transmise avec le correctif logiciel reçu lors de la sousétape 100. Le module 84 compare alors, lors de l'opération 106, la signature électronique reconstruite lors de l'opération 102 à celle décryptée lors de l'opération 104. Si les signatures reconstruites et décryptées ne correspondent pas, le module 84 interrompt, lors d'une opération 108, le traitement de ce 10 correctif logiciel. Dans le cas contraire, c'est-à-dire si les signatures électroniques correspondent, le module 84 reconstruit, lors d'une opération 110, le second identificateur de ce correctif logiciel reçu. Typiquement, cette opération 110 est identique à l'opération 122 appliquée à la signature électronique obtenue soit 15 lors de l'opération 102 soit lors de l'opération 104. Après, le module 84 décrypte le message ECM pour en extraire le second identificateur correspondant au correctif logiciel reçu. Il compare alors, lors de l'opération 112, le second identificateur extrait du message ECM à celui reconstruit lors de l'opération 110. Si ces seconds identificateurs ne sont pas 20 identiques, alors le module 84 procède immédiatement à l'opération 108. Dans le cas contraire, c'est-à-dire si le second identificateur reconstruit correspond à celui reçu par l'intermédiaire du message ECM, alors le module 84 exécute le correctif logiciel si celui-ci lui est destiné. Finalement, le module 84 transmet, lors d'une opération 114, le 25 second identificateur reconstruit lors de l'opération 110 vers le module 16. L'opération 112 permet ici de s'assurer qu'aucun correctif logiciel n'a été supprimé. Le module 16 procède alors immédiatement à l'opération 66 lors de laquelle il compare le second identificateur transmis par le module 84 à celui 30 contenu dans le message ECM. Le reste des opérations réalisées par le module 16 sont identiques à celles décrites en regard de la figure 2. Dans le procédé de la figure 4, l'absence d'un correctif logiciel peut être détectée à la fois par le module 84 et par le module 20. Si l'absence du correctif logiciel est détectée par le module 84, celui-ci interrompt immédiatement son traitement et ne transmet donc pas le second identificateur reconstruit au module 16. Lorsque le module 16 ne reçoit pas le second identificateur, il procède automatiquement à l'opération 68 pour inhiber le désembrouillage des chaînes de télévision. Ainsi, comme dans le premier mode de réalisation, l'absence, l'ajout ou la modification d'un correctif logiciel par rapport à ceux transmis lors de la sous-étape 100 provoque l'arrêt du désembrouillage des chaînes de télévision. Toutefois, contrairement au premier mode de réalisation, même si le 10 module 16 est un module falsifié prévu pour décrypter le message ECM même si les correctifs logiciels sont modifiés, ajoutés ou absents, il est encore possible d'agir sur ce décodeur 82 pour le rendre inopérant. Par exemple, à cet effet, un correctif logiciel sera transmis au module 84 qui après l'avoir exécuté agira sur le décodeur pour le rendre inopérant. Par exemple, le module 84 agira 15 directement sur le module 18 de désembrouillage. Ainsi, un fabriquant de décodeur pirate devra, dans ce second mode de réalisation, non seulement falsifier le module 16 mais également le module 84. Le module 84 étant solidaire et indétachable du châssis du décodeur 82, ce fabriquant de décodeur pirate devra donc également falsifier l'ensemble du décodeur. Le procédé de la 20 figure 4 rend donc très difficile l'utilisation de parties ou de modules de chiffrement/déchiffrement authentiques dans des décodeurs pirates. Finalement, il est à noter qu'un fabriquant de décodeurs pirates confronté au procédé de la figure 2 ou 4 et qui souhaite utiliser dans son décodeur pirate un module de chiffrement/déchiffrement authentique doit 25 éliminer ou modifier l'information supplémentaire insérée dans le message ECM lors des étapes 52 ou 124 pour éviter que son décodeur pirate ne soit vulnérable. Pour ce faire, il doit être capable de décrypter le message ECM, c'est-à-dire qu'il doit intégrer de toute façon dans son décodeur pirate un module de chiffrement/déchiffrement falsifié. Dans ces conditions l'utilisation 30 dans un décodeur pirate d'un module de chiffrement/déchiffrement authentique ne présente plus aucun intérêt. Les systèmes et les procédés décrits ici l'ont été dans le cas particulier d'un système payant de transmission de diffusion de chaînes de télévision. Toutefois, les procédés décrits sont applicables à tout système de transmission d'informations chiffrées dans lesquelles les récepteurs formant décodeurs sont équipés d'un ou plusieurs modules de chiffrement/déchiffrement. Un tel récepteur formant décodeur équipé d'un 5 module de chiffrement/déchiffrement et par exemple, un téléphone mobile équipé d'une carte SIM (Subscriber Identity Module) ou un ordinateur apte à recevoir des logiciels chiffrés. En particulier, il est à noter que dans ces systèmes autre qu'un système de transmission de diffusion de chaînes de télévision, le signal 10 d'informations n'est pas nécessairement embrouillé mais peut également être crypté. Le checksum est remplacé dans une variante par une signature électronique. Le système et le procédé décrits ici l'ont été dans le cas particulier 15 o les différentes opérations de chiffrement/déchiffrement mises en oeuvre sont réalisées à l'aide d'algorithmes de chiffrement asymétrique, de sorte que la clé pour chiffrer est la même que celle pour déchiffrer. Un tel algorithme de chiffrement asymétrique est, par exemple, l'algorithme DES. En variante, certaines ou toutes ces opérations de chiffrement/déchiffrement sont réalisées 20 à l'aide d'algorithmes de chiffrement/déchiffrement asymétrique tels que, par exemple, l'algorithme RSA. Dans cette variante, les mémoires de l'émetteur et des décodeurs doivent être adaptées pour comporter les clés de chiffrement/déchiffrement appropriées. En particulier, et de préférence, les algorithmes de chiffrement mis en oeuvre lors des opérations 120 et 122 sont 25 des algorithmes différents, de sorte que la sécurité du procédé est accrue. Les opérations de déchiffrement correspondant aux opérations 120 et 122 mettent donc également en oeuvre des algorithmes de déchiffrement différents. REVENDICATIONS 1. Procédé pour garantir l'intégrité d'au moins un logiciel informatique exécutable par au moins un module de chiffrement/déchiffrement, ledit au moins logiciel informatique étant transmis par un émetteur vers un décodeur 5 équipé dudit au moins un module de chiffrement/déchiffrement par l'intermédiaire d'un réseau de transmission d'informations grande distance, l'émetteur réalisant: a) une étape (40) de chiffrement de signaux d'informations transmis vers le décodeur, b) une étape (50) de transmission vers ledit au moins un module de chiffrement/déchiffrement du décodeur, d'un message contenant l'information nécessaire pour que le décodeur déchiffre les signaux d'informations transmis à l'étape a), et c) une étape (42, 100) de transmission dudit au moins un logiciel 15 informatique vers ledit au moins un module de chiffrement/déchiffrement du décodeur, le décodeur réalisant: d) une étape (74) de déchiffrement des signaux d'informations transmis par l'émetteur lors de l'étape a) à l'aide de l'information prévue à cet 20 effet dans le message transmis lors de l'étape b), caractérisé: - en ce que l'émetteur insère (en 52, 124) dans le message transmis lors de l'étape b) une information supplémentaire propre à permettre audit au moins un module de chiffrement/déchiffrement de vérifier qu'il a effectivement 25 reçu le ou chaque logiciel informatique transmis à l'étape c), - en ce que ledit au moins un module de chiffrement/déchiffrement vérifie (en 60) à partir de l'information supplémentaire insérée par l'émetteur dans le message transmis lors de l'étape b) s'il a effectivement reçu le ou chaque logiciel transmis lors de l'étape c), et - en ce que si le ou chaque logiciel n'est pas reçu ledit au moins un module de chiffrement/déchiffrement inhibe (en 68) l'étape d). 2. Procédé selon la revendication 1, caractérisé en ce que l'émetteur chiffre (en 50) le message transmis à l'étape b), et en ce que ledit au moins un module de chiffrement/déchiffrement déchiffre le message transmis lors de l'étape b) pour permettre la réalisation de l'étape d). 3. Procédé selon la revendication 1 ou 2, caractérisé en ce que l'émetteur réalise: e) une étape (44, 122) de construction d'un premier identificateur du ou de chaque logiciel informatique transmis lors de l'étape c), et f) une étape (52, 124) d'insertion de cet identificateur dans le message transmis lors de l'étape b), et en ce que ledit au moins un module de chiffrement/déchiffrement 10 réalise: g) une étape (62, 110) de reconstruction de l'identificateur du ou de chaque logiciel informatique à partir du ou de chaque logiciel informatique reçu, h) une étape (66, 112) de comparaison de l'identificateur reconstruit à l'étape g) avec l'identificateur inséré par l'émetteur lors de l'étape f), et i) si l'identificateur reconstruit à l'étape g) ne correspond pas à celui inséré à l'étape f) dans le message transmis à l'étape b), une étape (68, 108) d'inhibition de l'étape d), j) si l'identificateur reconstruit à l'étape g) correspond à l'identificateur inséré à l'étape f) dans le message transmis lors de l'étape b), une étape (66, 20 112) de validation de l'intégrité du ou de chaque logiciel informatique. 4. Procédé selon la revendication 3, pour garantir l'intégrité d'un ensemble de plusieurs logiciels informatiques exécutables chacun par ledit au moins un module de chiffrement/déchiffrement, caractérisé en ce que l'étape e) comporte une opération (44) de construction d'un seul identificateur pour ledit 25 ensemble de plusieurs logiciels informatiques à transmettre lors de l'étape c) à partir d'informations concernant chacun des logiciels dudit ensemble et en ce que l'étape g) consiste à réaliser la même opération que celle réalisée lors de l'étape e) pour reconstruire un identificateur unique correspondant à celui construit lors de l'étape e) si ledit ensemble reçu par le décodeur est identique à 30 celui émis par l'émetteur. 5. Procédé selon la revendication 3 ou 4, caractérisé en ce que les étapes d), g), h), i) et j) sont réalisées par le même module de chiffrement/déchiffrement. 6. Procédé selon la revendication 3 ou 4, caractérisé en ce qu'un premier module de chiffrement/déchiffrement autonome réalise uniquement les étapes d), h), i) et j), et en ce qu'un second module de chiffrement/déchiffrement autonome et indépendant du premier module de chiffrement/déchiffrement et solidaire du décodeur, réalise au moins l'étape g). 7. Procédé selon la revendication 6, caractérisé en ce que l'émetteur réalise en plus: k) une seconde étape (120) de construction d'un second identificateur du ou de chaque logiciel informatique transmis lors de l'étape c), 10 ce second identificateur étant transmis conjointement avec le ou chaque logiciel correspondant lors de l'étape c), et en ce que l'étape g) réalisée par le second module de chiffrement/déchiffrement comporte: - une opération (102) de reconstruction du second identificateur 15 transmis conjointement avec le ou chaque logiciel, - uniquement si le second identificateur reconstruit correspond à celui transmis conjointement avec le ou chaque logiciel lors de l'étape c), une opération (110) de reconstruction du premier identificateur insérée dans le message transmis lors de l'étape b) et de transmission de ce premier 20 identificateur reconstruit vers le premier module de chiffrement/déchiffrement pour que ce premier module de chiffrement/déchiffrement puisse procéder à l'étape h). 8. Procédé selon la revendication 7, caractérisé en ce que le premier et le second identificateurs sont obtenus à partir d'un même identificateur du ou 25 de chaque logiciel informatique en chiffrant le même identificateur à l'aide respectivement d'une première et d'une seconde clés de chiffrement différentes. 9. Procédé selon l'une quelconque des revendications 2 à 8, caractérisé en ce que ledit au moins un module de chiffrement/déchiffrement 30 exécute ledit au moins un logiciel informatique à chaque fois que son intégrité est validée lors de l'étape j). 10. Support (12) d'enregistrement d'informations comportant des instructions pour l'exécution d'un procédé selon l'une quelconque des revendications précédentes, lorsque lesdites instructions sont exécutées par l'émetteur (4). 11. Support (22, 88) d'enregistrement d'informations comportant des instructions pour l'exécution d'un procédé selon l'une quelconque des 5 revendications 1 à 9, lorsque lesdites instructions sont à exécuter par ledit au moins un module de chiffrement/déchiffrement. 12. Système pour garantir l'intégrité d'au moins un logiciel informatique exécutable par au moins un module de chiffrement/déchiffrement (16, 84), le système comportant un émetteur (4) pour transmettre ledit au moins 10 un logiciel informatique par l'intermédiaire d'un réseau (8) de transmission d'informations grande distance, et un décodeur (6, 82) équipé dudit au moins un module de chiffrement/déchiffrement (16, 84), l'émetteur (4) étant apte: - à chiffrer des signaux d'informations transmis vers le ou chaque 15 décodeur, - à transmettre vers ledit au moins un module de chiffrement/déchiffrement du décodeur, un message contenant l'information nécessaire pour que le décodeur déchiffre lesdits signaux d'informations transmis, et - à transmettre ledit au moins un logiciel informatique vers ledit au moins un module de chiffrement/déchiffrement du décodeur, le décodeur (6, 82) étant apte à déchiffrer lesdits signaux d'informations transmis par l'émetteur à l'aide de l'information prévue à cet effet contenue dans ledit message transmis par l'émetteur, 25 caractérisé: - en ce que l'émetteur (4) est apte à insérer dans ledit message une information supplémentaire propre à permettre audit au moins module de chiffrement/déchiffrement (46, 84) de vérifier qu'il a reçu le ou chaque logiciel informatique transmis, - en ce que ledit au moins un module de chiffrement/déchiffrement (16, 84) est apte à vérifier à partir de l'information supplémentaire insérée par l'émetteur dans ledit message, s'il a effectivement reçu le ou chaque logiciel transmis par l'émetteur, et - en ce que si le ou chaque logiciel n'est pas reçu ledit au moins un module de chiffrement/déchiffrement (16, 84) est apte à inhiber le déchiffrement desdits signaux d'informations transmis. 13. Système selon la revendication 12, caractérisé en ce que le ou 5 chaque décodeur (6) est équipé d'un unique module de chiffrement/déchiffrement amovible. 14. Système selon la revendication 12, caractérisé en ce que le ou chaque décodeur (82) est équipé d'au moins deux modules de chiffrement/déchiffrement autonomes et indépendants l'un de l'autre, au moins 10 l'un de ces modules de chiffrement/déchiffrement étant solidaire du châssis du décodeur.