FR 2831757 A1 20030502 FR 0113878 A 20011026 PROCEDE DE VERIFICATION DE RECEPTEURS DE TELEVISION A CONTROLE D'ACCES ET RECEPTEUR CORRESPONDANT DESCRIPTION Domaine technique La présente invention a pour objet un procédé de vérification de récepteurs de télévision à contrôle d'accès et un récepteur apte à être vérifié par ce procédé. Etat de la technique Dans la télévision à contrôle d'accès, les données à transmettre sont d'abord embrouillées par un algorithme de chiffrement et les données embrouillées sont ensuite diffusées avec des messages de contrôle d'accès. Les récepteurs des abonnés ayant souscrit l'abonnement approprié sont chargés par des informations constituant un droit d'accès leur permettant de retrouver, dans les messages de contrôle d'accès, la clé nécessaire au désembrouillage des données transmises. A titre d'exemple, le document FR-A-2 448 825 décrit un système utilisant des clés d'abonnement Ci changeant de manière aléatoire à des intervalles relativement longs de l'ordre du mois, et une clé de service K changeant elle aussi de manière aléatoire mais à des intervalles courts de l'ordre de quelques minutes. Les données sont embrouillées à l'aide de la clé de service K. Les messages de contrôle d'accès Mi sont obtenus à partir des clés d'abonnement Ci et de la clé de service K par un algorithme paramétré par les clés d'abonnement Ci. Dans le poste récepteur d'un abonné, la carte à puce qu'il contient a été chargée par les clés correspondant aux abonnements souscrits par l'abonné. Le terminal associé à la carte contient un circuit de restitution de la clé de service K, qui reçoit les messages Mi et qui dispose de la clé d'abonnement Ci contenue dans la carte. Ce circuit restitue la clé de service. Des moyens de désembrouillage retrouvent alors les données en clair. Bien que donnant satisfaction à maints égards, une telle technique présente l'inconvénient d'être sujet à des fraudes. En effet, un récepteur pourrait être modifié par un fraudeur habile pour qu'il puisse recevoir un programme alors même que l'abonné n'a pas acquitté l'abonnement correspondant. Eviter de telles fraudes (ou les réduire), nécessiterait d'effectuer périodiquement des vérifications chez les abonnés pour contrôler l'intégrité de leur récepteur. Ce n'est guère envisageable pour des raisons commerciales évidentes. La présente invention a justement pour but de résoudre ce problème. Exposé de l'invention Selon l'invention, la vérification d'un récepteur est commandée par l'organisme diffuseur et s'effectue par le récepteur lui-même. Si la vérification montre que le récepteur a conservé son intégrité, il continue à fonctionner normalement. Dans le cas contraire, le fonctionnement est modifié, d'une manière ou d'une autre, par exemple par arrêt partiel ou total. Selon l'invention, on s'y prend comme suit : A)-Le diffuseur effectue des calculs paramétrés par un ou plusieurs paramètres déterminés ; - le diffuseur transmet ensuite à chaque récepteur les résultats des calculs qui le concernent, chaque récepteur stockant ces différents résultats ; B)-pour vérifier un récepteur particulier, le diffuseur transmet à ce récepteur le ou paramètres déterminés ; - le récepteur effectue alors le calcul et compare le résultat qu'il obtient avec le résultat correspondant qu'il a stocké ; en cas de désaccord, il modifie son fonctionnement de manière appropriée, par exemple en cessant de fonctionner. Lorsque le récepteur comprend un terminal et une carte à puce, c'est de préférence la carte qui stocke les résultats de calcul transmis par le diffuseur et c'est le terminal qui effectue le calcul en question. Dans une première variante, le terminal transmet le résultat de son calcul à la carte ; celle-ci compare ce résultat avec celui qu'elle stocke et, en cas de différence, elle modifie le fonctionnement du récepteur, par exemple en refusant de continuer à coopérer avec le terminal. Dans une seconde variante, le terminal lit dans la carte celui des résultats qui correspond au calcul qu'il a effectué et compare ce résultat avec celui qu'il a lui-même obtenu ; en cas de différence, il modifie le fonctionnement du récepteur, par exemple en refusant de continuer à coopérer avec la carte. Les paramètres utilisés peuvent être constitués par un premier paramètre correspondant à l'un des abonnements et par un second paramètre constitué par l'une des caractéristiques des récepteurs, par exemple le numéro de série de leur carte à puce (qui est unique). Les algorithmes de calcul mis en oeuvre peuvent être d'un type quelconque : il peut s'agir d'algorithmes de chiffrement symétriques ou asymétriques, de type RSA, de type HASH, de type DES ou de tout autre type. L'algorithme de calcul mis en oeuvre en liaison avec un abonnement n'est pas nécessairement le même que celui qui est mis en oeuvre avec les autres. Cet algorithme peut être introduit dans le terminal à la fabrication ou chargé par le diffuseur au moment de la vérification. La présente invention a également pour objet un récepteur de télévision apte à être contrôlé selon le procédé qui vient d'être défini. Ce récepteur comprend un terminal et une carte à puce contenant des droits d'accès et il est caractérisé en ce que : - la carte contient en outre différents résultats de calcul, - le terminal comprend des moyens aptes à effectuer un calcul déterminé en utilisant un ou plusieurs paramètres déterminés, - le récepteur comprend des moyens pour comparer le résultat du calcul effectué par le terminal avec le résultat correspondant contenu dans la carte, - le récepteur comprend des moyens pour modifier son fonctionnement de manière appropriée en cas de différence entre les deux résultats. Dans une première variante, les moyens pour comparer les résultats sont situés dans la carte, celle-ci étant apte à modifier le fonctionnement du récepteur. Dans une seconde variante, les moyens pour comparer les résultats sont situés dans le terminal, celui-ci étant apte à modifier le fonctionnement du récepteur. L'un des paramètres peut correspondre à l'un des abonnements et un autre paramètre peut être l'une des caractéristiques du récepteur et par exemple le numéro de série de la carte. Exposé détaillé de modes de réalisation particuliers On suppose, à titre d'exemple non limitatif, que l'algorithme de calcul est un algorithme de chiffrement à clé symétrique portant sur le numéro de série de la carte à puce. De tels algorithmes sont déjà utilisés dans le contrôle d'accès, notamment pour retrouver la clé de service (cf. l'introduction). On note Ac, (NSj) l'algorithme utilisant la clé Ci, où l'indice i se rapporte aux n différents abonnements du système (i va de 1 à n), et NSj représente le numéro de série du jlèm' récepteur, l'indice j identifiant le récepteur (j va de 1 à p). Le résultat de ce calcul est noté Ri, j. On suppose que chaque récepteur est muni des n clés d'abonnement Ci. Le diffuseur calcule, à un moment ou à un autre, les np résultats Ri, j, i allant de 1 à n et j de 1 à p. A un récepteur de rang q déterminé (j=q) correspond seulement n résultats Ri, q correspondant aux n clés d'abonnement Ci (i de 1 à n). Pour effectuer la vérification du récepteur de rang q, le diffuseur choisit l'une des clé d'abonnement parmi les n soit Ck, et ordonne au récepteur d'effectuer le calcul en prenant comme paramètre la clé Ck. Ce calcul avait donné le résultat Rk, q lorsque le diffuseur l'avait effectué. Celui-ci calcule donc Ac, (NSq) et compare le résultat avec celui qu'il a déjà reçu du diffuseur et qu'il a stocké. S'il y a égalité entre les résultats, le récepteur continue son fonctionnement normal. Si les résultats sont discordants, ou si le récepteur ne peut même pas effectuer le calcul demandé, il y a eu manipulation frauduleuse du récepteur et le fonctionnement peut être interrompu. Le tableau I résume ces opérations. Ce tableau ne précise pas quels moyens du récepteur effectuent la comparaison des résultats. Dans le tableau II, il est supposé que c'est la carte qui se charge de cette tâche. Dans ce cas, les résultats inscrits dans la carte ne sont pas lisibles par le terminal. Le tableau III correspond au cas où c'est le terminal qui se charge de la comparaison. Dans les deux tableaux II et III l'indice q, repérant le récepteur, a été omis pour simplifier les notations. Tableau 1 DIFFUSEUR RECEPTEUR j=q * Calcule tous les Rij=AC,(NSj) (i de 1 à n) (jdelàp) # Transmet au récepteur q # Stocke Ci (i de 1 à n) Stocke Ri,q Ci (i de 1 à n) Ri,q # Ordonne au récepteur q # Calcule R'k,q=Ac,(NSq) le calcul en stipulant i=k Compare R'k, q et Rk, q soit Ac. Rk, q= (NSq) Tableau II CARTE A PUCE TERMINAL Stocke Ci et Ri. Reçoit l'ordre de calcul avec un (i de 1 à n) Ci déterminé 'Lit dans la carte Ci et NS # Calcule R'i=AC (NS) # Transmet R'i à la carte Compare R'i et Ri Tableau III CARTE A PUCE TERMINAL # Stocke Ci et Ri # Reçoit l'ordre de calcul avec Ci déterminé # Lit dans la carte Ci et NS . Calcule R'i= (NS) 'Lit Ri dans la carte # Compare R'i et Ri A titre d'exemple simple, on peut supposer qu'à chaque récepteur correspond un abonnement. Le diffuseur calcule les n résultats Ri. Au récepteur de rang q correspond un résultat Rq correspondant à la clé d'abonnement Cq et à l'algorithme ACq. Pour effectuer la vérification de ce récepteur, le diffuseur ordonne à celui-ci d'effectuer le calcul en prenant comme paramètre cette clé Cq. Ce calcul avait donné le résultat Rq lorsque le diffuseur l'avait effectué. Le récepteur calcule donc ACq (NSq) et compare le résultat obtenu avec celui Rq qu'il tient du diffuseur. On observera que, dans l'invention, le terminal et la carte à puce sont des produits dynamiques, en ce sens que leurs contenus peuvent varier : à tout moment ils peuvent recevoir de nouveaux droits d'accès et de nouveaux résultats de calcul. L'algorithme de calcul peut faire appel à d'autres clés que les clés d'abonnement proprement dites, et par exemple à des clés diversifiées obtenues à partir d'une clé de base combinée à l'identifiant de chaque carte à puce. Dans ce cas, chaque récepteur effectue un calcul avec une clé qui lui est propre. De même, l'algorithme peut être changé ou modifié dynamiquement REVENDICATIONS 1. Procédé de vérification de récepteurs pour système de télévision à contrôle d'accès, dans lequel un diffuseur transmet à des abonnés ayant souscrit des abonnements les droits d'accès correspondants, les récepteurs stockant ces droits d'accès, ce procédé étant caractérisé en ce que : A) le diffuseur effectue des calculs paramétrés par un ou plusieurs paramètres, - le diffuseur transmet ensuite à chaque récepteur les résultats des calculs qui le concernent, - chaque récepteur stocke ces résultats, B) pour vérifier un récepteur particulier : - le diffuseur transmet à ce récepteur le ou les paramètres déterminés, - le récepteur effectue le calcul et compare le résultat qu'il obtient avec le résultat correspondant qu'il a précédemment stocké, - en cas de différence, le récepteur modifie son fonctionnement de manière appropriée. 2. Procédé selon la revendication 1, dans lequel, chaque récepteur comprenant un terminal et une carte à puce, c'est la carte qui stocke les droits d'accès et les résultats que lui transmet le diffuseur et c'est le terminal qui effectue le calcul demandé par le diffuseur. 3. Procédé selon la revendication2, dans lequel : - le terminal transmet le résultat de son calcul à la carte, - la carte compare le résultat transmis par le terminal et le résultat correspondant qu'elle a reçu du diffuseur, - en cas de différence la carte modifie le fonctionnement du récepteur. 4. Procédé selon la revendication 2, dans lequel : - le terminal lit dans la carte le résultat correspondant au calcul qu'il effectue, - le terminal compare le résultat de son calcul avec le résultat lu dans la carte, - en cas de différence le terminal modifie le fonctionnement du récepteur. 5. Procédé selon la revendication 1, dans lequel le diffuseur effectue des calculs paramétrés par un premier paramètre correspondant à l'un des abonnements et par un second paramètre constitué par l'une des caractéristiques des récepteurs. 6. Procédé selon la revendication 5, dans lequel les calculs effectués par le diffuseur et les récepteurs sont définis par un algorithme de chiffrement dont la clé de chiffrement dépend des clés d'abonnement, ce chiffrement portant sur un nombre qui dépend de l'une des caractéristiques de chaque récepteur. 7. Procédé selon la revendication 6, dans lequel la clé de chiffrement est une clé d'abonnement. 8. Procédé selon la revendication 6, dans lequel la caractéristique chiffrée est le numéro de série de la carte à puce utilisée dans le récepteur. 9. Récepteur de télévision apte à être vérifié par le procédé selon l'une quelconque des revendications 1 à 8, ce récepteur comprenant un terminal et une carte à puce contenant des droits d'accès relatifs à des abonnements, ce récepteur étant caractérisé en ce que : - la carte contient en outre différents résultats de calculs, - le terminal comprend des moyens aptes à effectuer l'un quelconque de ces calculs en utilisant un ou des paramètres prédéterminés, - le récepteur comprend des moyens pour comparer le résultat du calcul effectué par le terminal avec le résultat correspondant contenu dans la carte, - le récepteur comprend des moyens pour modifier son fonctionnement de manière appropriée en cas de différence entre les deux résultats. 10. Récepteur selon la revendication 9, dans lequel les moyens pour comparer les résultats sont situés dans la carte, celle-ci étant apte à modifier le fonctionnement du récepteur. 11. Récepteur selon la revendication 9, dans lequel les moyens pour comparer les résultats sont situés dans le terminal, celui-ci étant apte à modifier le fonctionnement du récepteur. 12. Récepteur selon la revendication 9, dans lequel le terminal utilise un premier paramètre constitué par l'un des droits d'accès contenus dans la carte et un second paramètre constitué par l'une des caractéristiques du récepteur. 13. Récepteur selon la revendication 12, dans lequel le second paramètre utilisé pour effectuer le calcul est le numéro de série unique de la carte.