Brevet FR2998687A1 — publié le 20140530

Domaine technique et art antérieur L'invention s'inscrit dans le domaine des dispositifs électroniques comportant plusieurs environnements d'exécution, dont au moins un est un environnement d'exécution de confiance et un autre un environnement d'exécution polyvalent. Dans un tel dispositif électronique, l'environnement de confiance forme une zone sécurisée du dispositif électronique, propre à celui-ci, et l'environnement polyvalent forme un environnement ouvert et multifonctionnel. Dans cette catégorie de dispositifs on trouve des téléphones portables intelligents, des tablettes tactiles, des microordinateurs, des systèmes intelligents autonomes, fondés sur le concept de « machine to machine » (M2M), par exemple des ordinateurs de bord, et généralement des dispositifs utilisant des microcircuits sécurisés. On rappelle que l'on trouve des microcircuits sécurisés notamment dans les cartes à puce, les cartes mémoire, les authentifieurs USB et les éléments sécurisés (« secure elements »). L'environnement d'exécution de confiance est mis en oeuvre à l'aide d'un processeur sécurisé, qui peut être un processeur dédié à cette tâche, ou avoir d'autres fonctions, et d'une mémoire non-volatile réinscriptible sécurisée, et est basé sur un système d'exploitation de confiance. Ce système d'exploitation de confiance dispose d'un mécanisme de démarrage sécurisé qui vérifie que le dispositif électronique démarre dans un état de confiance, par exemple en vérifiant l'intégrité du code exécuté sur le dispositif électronique, notamment le code du système d'exploitation de confiance. Le système d'exploitation de confiance démarre alors qu'aucun autre système d'exploitation n'a démarré préalablement. L'intégrité de la mémoire non-volatile réinscriptible sécurisée est quant à elle vérifiée par exemple à l'aide de techniques de chiffrement et de vérification d'empreinte (fonction de hachage). Grâce à l'environnement d'exécution de confiance, il est possible de stocker dans le dispositif électronique des données sensibles. Pour conserver le caractère sécurisé de l'environnement d'exécution de confiance, seules des applications de confiance, provenant de sources de confiance (ou certifiées) dont l'utilisateur n'a pas le contrôle, sont installées dans la mémoire de cet environnement et sont exécutées sous la dépendance de son système d'exploitation. Par exemple une application de saisie de code confidentiel (qui peut être un code PIN, ou un code à usage temporaire (« one-time password ») peut être installée dans l'environnement d'exécution de confiance. A côté d'un tel environnement de confiance, les dispositifs électroniques proposent des environnements d'exécution polyvalents permettant d'exécuter avec flexibilité 10 et puissance des applications de très nombreuses sources, notamment des applications téléchargées sur Internet. Sur un dispositif comportant un environnement de confiance et un environnement polyvalent, les environnements de confiance et polyvalent peuvent être en fonctionnement en même temps, sous la réserve que l'environnement de 15 confiance ait été démarré avant l'environnement polyvalent, mais alors quand l'un est actif, l'autre est en mode inactif. Par ailleurs, chaque périphérique du dispositif électronique qui constitue une ressource commune pour les deux environnements, comme c'est le cas en général du clavier ou de l'écran, est contrôlé ou utilisé à un instant donné de manière exclusive par ou à l'un des deux environnements. 20 Néanmoins, il est difficile de savoir, pour l'utilisateur, si les périphériques de son dispositif électronique, notamment l'écran, sont contrôlés à un instant donné, par une application exécutée dans l'environnement d'exécution de confiance ou l'environnement d'exécution polyvalent. C'est un problème et par exemple une attaque contre un dispositif électronique 25 peut consister à installer dans l'environnement d'exécution polyvalent une application qui reproduit le design de la saisie de code confidentiel de l'application de confiance installée dans l'environnement de confiance. Ainsi, l'utilisateur est abusé et dévoile son code confidentiel dans un environnement non sécurisé, ce qui permet à un fraudeur de l'obtenir, par exemple via un réseau auquel le 30 dispositif électronique est connecté. On connait du document EP1688859 une méthode pour qu'une carte à microcircuit puisse authentifier une application téléchargée sur un téléphone 2 9986 87 3 portable. Elle utilise un module d'authentification dans le téléphone, qui conserve des informations dans une région infalsifiable. Mais l'utilisateur n'est pas en mesure, avec ce système, de vérifier l'authenticité de l'application par lui-même. On connait du document US20090089215 une méthode par laquelle un site 5 Internet s'authentifie auprès d'un Internaute par l'utilisation d'information de personnalisation du site Internet. Ce système ne permet pas l'authentification d'une application sur un dispositif électronique. Un but de l'invention est de fournir un système et une méthode pour la personnalisation d'un environnement d'exécution de confiance pour l'utilisateur et notamment l'authentification de l'environnement d'exécution de confiance auprès de l'utilisateur, dans les circonstances où il utilise des fonctions de confiance depuis le système d'exploitation polyvalent. Définition de l'invention et avantages associés Pour atteindre ce but, il est proposé un dispositif électronique comprenant un environnement d'exécution de confiance et un environnement d'exécution polyvalent, caractérisé en ce qu'il comprend des moyens d'obtention d'une information associée à un utilisateur ou partagée avec celui-ci, une mémoire sécurisée pour mémoriser ladite information une fois celle-ci obtenue, et des moyens d'adaptation de l'environnement de confiance pour ledit utilisateur sur la base de ladite information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance via l'environnement d'exécution polyvalent. Grâce aux particularités de ce dispositif, l'environnement de confiance est adapté 25 pour un utilisateur donné, quand cet utilisateur accède à l'environnement d'exécution de confiance via l'environnement polyvalent. Dans certains modes de réalisation, l'information est une information d'authentification de l'environnement d'exécution de confiance auprès de l'utilisateur. Elle peut aussi être une information de personnalisation d'un affichage 30 dudit environnement d'exécution de confiance. Dans certains modes de réalisation, les moyens d'obtention sont mis en oeuvre quand le dispositif électronique est démarré pour la première fois ou sont mis en oeuvre lors d'un démarrage du dispositif électronique au cours duquel un programme de lancement détecte une requête de l'utilisateur. Les moyens d'obtention peuvent être compris ou mis en oeuvre dans l'environnement d'exécution de confiance. L'information peut être obtenue par une entrée de l'utilisateur via une interface homme machine, par exemple sur un clavier. De manière générale, l'information peut comprendre une phrase, un numéro d'identification personnel, une photographie, une couleur, une image, un fond d'écran, une police de caractères, un choix de langue, un choix de monnaie, un numéro de compte bancaire, ou un choix de mode d'interaction avec une application. Egalement, et c'est avantageux en l'absence d'écran, un son, une vibration, une lumière, l'activation d'une LED de touches du clavier peuvent être utilisés. La mémoire sécurisée est sécurisée par des techniques de chiffrement et de vérification d'empreinte ou par le fait qu'elle est embarquée dans un System on Chip ou par le fait qu'il s'agit d'une mémoire dédiée. Les moyens d'adaptation de l'environnement de confiance comprennent un contrôleur sécurisé pour relier un fonctionnement d'un périphérique à un environnement de confiance ou à un environnement polyvalent. De préférence, les moyens d'adaptation de l'environnement de confiance comprennent un processeur sécurisé, et/ou sont compris ou mis en oeuvre dans l'environnement d'exécution de confiance. Avantageusement, les moyens d'exploitation de ladite information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance via l'environnement d'exécution polyvalent comprennent une interface pour l'accès à une application de l'environnement d'exécution de confiance par une application de l'environnement d'exécution polyvalent. Il est également avantageux que, lors d'un démarrage du terminal, un programme de lancement est configuré pour qu'un système d'exploitation de l'environnement d'exécution polyvalent ne soit lancé que quand un système d'exploitation de l'environnement d'exécution de confiance a été lancé avec succès. On précise que dans une architecture les environnements d'exécution polyvalents et de confiance sont compris sur un même chipset. L'invention porte aussi sur un terminal de téléphonie mobile comprenant un dispositif électronique tel que présenté plus haut. L'invention porte aussi sur un procédé d'adaptation d'un dispositif électronique comprenant un environnement d'exécution de confiance et un environnement d'exécution polyvalent, caractérisé en ce qu'il comprend une étape d'obtention d'une information associée à un utilisateur ou partagée avec celui-ci, et une étape de mémorisation de ladite information une fois celle-ci obtenue dans une mémoire sécurisée pour l'adaptation d'une fonction de l'environnement de confiance pour ledit utilisateur sur la base de ladite information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance via l'environnement d'exécution polyvalent. L'invention porte aussi sur un système d'exploitation de confiance comprenant des instructions qui, quand elles sont exécutées par un processeur, mettent en oeuvre un procédé tel que présenté plus haut. Brève description des figures La figure 1 présente un mode de réalisation d'un dispositif selon l'invention. La figure 2 présente un mode général de réalisation d'un procédé selon l'invention. La figure 3 présente un premier mode particulier de réalisation d'un procédé selon l'invention. La figure 4 présente un aspect particulier du premier mode de réalisation évoqué ci-dessus. La figure 5 présente un deuxième mode particulier de réalisation d'un procédé selon l'invention. La figure 6 présente un troisième mode particulier de réalisation d'un procédé selon l'invention. La figure 7 présente un quatrième mode particulier de réalisation d'un procédé selon l'invention. La figure 8 présente un aspect particulier du quatrième mode de réalisation de l'invention. Description détaillée des figures En figure 1, on a présenté un terminal 100 de téléphonie mobile, comprenant un chipset (ou système sur puce) 1000 sur lequel sont présents deux environnements d'exécution, l'un étant un environnement de confiance et étant référencé 1100, l'autre un environnement polyvalent référencé 1200. D'autres architectures sont envisageables, incluant par exemple un chipset par environnement. On rappelle que les environnements d'exécution, de confiance ou polyvalents, comprennent ou sont inclus dans des ensembles électroniques de type chipset ou System on Chip. Plusieurs environnements peuvent être hébergés dans un même chipset ou un même System on Chip, mais dans ce cas, si l'un des environnements est un environnement de confiance, une mémoire non-volatile réinscriptible ou une zone de mémoire non-volatile réinscriptible dont l'accès est contrôlé est dédiée à l'environnement de confiance. Seules les applications vérifiées en authenticité et en intégrité sont installées dans la mémoire non- volatile sécurisée de l'environnement de confiance. Un environnement d'exécution de confiance comprend aussi un processeur sécurisé, qui n'exécute que des applications fournies par la mémoire non-volatile sécurisée. L'environnement de confiance 1100 comprend un système d'exploitation de confiance 1150 et une mémoire non-volatile sécurisée 1160, ainsi qu'un processeur sécurisé 1170. Ce dernier peut être constitué par un unique processeur partagé avec l'environnement d'exécution polyvalent 1200. Il peut aussi ne pas être physiquement sur le chipset 1000. Il a accès aux périphériques que sont l'écran 2000 et le clavier 2100. Un programme de lancement 1300 (« bootloader») mémorisé dans une mémoire non-réinscriptible sécurisé (« bootROM ») du chipset est chargé de procéder, en cas de démarrage du terminal 100, au lancement de l'exécution du système d'exploitation de confiance 1150, et, si celui-ci est exécuté avec succès, de lancer ensuite l'exécution du système d'exploitation de l'environnement d'exécution polyvalent. Ainsi une chaîne d'étapes (« Secure Boot ») est exécutée, la bonne exécution de chaque étape constituant une condition pour l'exécution de la suivante. L'ensemble des étapes permet le démarrage complet du terminal. Le terminal 100 possède un écran 2000 ainsi qu'une interface d'entrée, typiquement un clavier 2100 pour permettre à l'utilisateur d'échanger des informations, par exemple textuelles, avec le terminal. En figure 2, on a présenté un schéma général de fonctionnement de l'invention. Celle-ci comporte une étape d'obtention E10 d'une information pour l'adaptation du système d'exploitation de confiance pour un utilisateur, une étape de mémorisation E20 de ladite information une fois celle-ci obtenue, dans la mémoire sécurisée 1160, puis une étape d'exploitation E30 de ladite information lors d'une utilisation ultérieure du système d'exploitation de confiance 1150. Un premier mode de réalisation est présenté en figure 3. Au cours d'une étape E110, on effectue la configuration du terminal lors d'un premier démarrage de celui-ci après sa mise à la disposition d'un premier utilisateur. Plus précisément, le programme de lancement 1300 authentifie puis lance le système d'exploitation de confiance 1150 et, celui-ci, en s'initialisant lit une information (« flag») dans la mémoire non-volatile sécurisée 1160 l'informant du fait que le démarrage correspond à une première utilisation. Le système d'exploitation de confiance 1150 invite alors l'utilisateur à répondre à certaines questions portant sur les options de configuration qu'il souhaite utiliser sur le terminal 100, comme par exemple la langue des textes affichés. Il peut aussi lui demander de renseigner un champ qualifié de « secret partagé », dont l'utilisateur est informé qu'il s'agit d'une information confidentielle qu'il partagera avec le système d'exécution de confiance 1150, et seulement avec celui-ci, et qui lui permettra de reconnaître qu'une application exécutée sur le terminal 100 l'est dans le cadre du système d'exploitation sécurisé. L'utilisateur renseigne le champ « secret partagé ». L'information est entrée par le clavier 2100, et peut s'afficher sur l'écran 2000, le temps de la saisie. Un exemple de mise en oeuvre est présent sur la saisie d'écran 201 en figure 4. Le secret partagé est enregistré par le système d'exploitation de confiance 1150 dans la mémoire non volatile sécurisée 1160. La configuration du terminal 100 se poursuit, et le système d'exploitation polyvalent peut être lancé à son tour. On précise que la configuration et la personnalisation ainsi effectuées sont sécurisées car aucun système d'exploitation autre que le système d'exploitation de confiance n'est exécuté à ce stade. Au cours d'une étape ultérieure E130, qui peut avoir lieu beaucoup plus tard, éventuellement après une ou plusieurs extinctions du terminal, sans toutefois de reconfiguration de celui-ci, l'utilisateur souhaite utiliser une application de confiance fonctionnant dans le cadre du système d'exploitation de confiance 1150. Cette utilisation peut se faire de la manière suivante : l'utilisateur utilise des applications fonctionnant dans le cadre de l'environnement d'exécution polyvalent 1200, et l'une d'entre elles, par exemple un navigateur Internet, nécessite un accès (nécessairement indirect, puisque ce navigateur est exécuté dans la cadre de l'environnement polyvalent) à une application de confiance fonctionnant dans le cadre de l'environnement d'exécution de confiance 1100, comme par exemple une application de paiement à distance. Le navigateur Internet communique avec une application de confiance du système d'exploitation de confiance via une interface de programmation API (« Application Programming Interface »)1600. L'information secrète est extraite de la mémoire non volatile sécurisée 1160 par l'application de confiance mise en oeuvre dans le cadre du système d'exploitation sécurisé 1170 et est transmise au navigateur Internet qui l'affiche sur l'écran 2000, comme cela apparait sur la saisie d'écran 202. L'application de paiement à distance est activée et des éléments d'affichage générés par l'application de paiement sécurisée sont affichés sur l'écran 2000, et un contrôleur sécurisé 1400 bascule le lien de communication du clavier 2100 vers l'environnement de confiance. D'autres moyens peuvent être utilisés. Pour l'écran 2000, deux mémoires tampons graphiques sont utilisées, chacune étant remplie par l'un des deux environnements. Un contrôleur d'affichage 1500 lit chacune des deux mémoires et affiche le contenu de celle des deux qui est sous le contrôle du système de confiance par-dessus le contenu de l'autre mémoire. D'autres moyens peuvent être utilisés. L'utilisateur, ayant eu retour de son information secrète, peut utiliser en toute confiance l'écran et le clavier, dont il sait qu'ils sont contrôlés par une application mise en oeuvre dans le cadre de l'environnement de confiance. L'utilisateur peut composer son code confidentiel en toute confiance, pour l'application de paiement. Dans un mode de réalisation alternatif représenté en figure 5, au cours d'une étape E210, l'utilisateur appuie sur une combinaison de touches ou une touche dédiée du terminal 100 pour obtenir le démarrage de celui-ci dans un mode de configuration du système d'exploitation de confiance. Le mode de déclenchement précis du mode de configuration est spécifié lors de la fabrication du terminal et écrit dans le programme de lancement du dispositif. Le programme de lancement lance le mode de configuration du système 10 d'exploitation de confiance, lance le système d'exploitation de confiance et l'authentifie. Comme dans le mode de réalisation précédent, le système d'exploitation de confiance 1150 demande son secret partagé à l'utilisateur via le clavier 2100 et l'écran 2000. Le secret partagé est fourni par l'utilisateur et mémorisé dans la 15 mémoire non volatile sécurisée 1160 au cours de l'étape E220. Une étape E230 similaire à l'étape E130 décrite précédemment est mise en oeuvre ultérieurement. Dans un autre mode de réalisation, représenté en figure 6, le procédé est débuté par une étape E310 de définition du secret partagé par un tiers de confiance, par 20 exemple un opérateur de téléphonie mobile auquel l'utilisateur du terminal 100 a souscrit un abonnement. Au cours de l'étape E310, l'opérateur transmet à l'utilisateur, par un canal de communication considéré comme sécurisé, comme par exemple un email signé et chiffré, ou un courrier postal, une information confidentielle. Cette information 25 confidentielle est également transmise par un SMS sécurisé ou un autre protocole sécurisé utilisant le réseau de téléphonie mobile, au terminal 100. Cette étape est optionnelle dans le cas où le code secret est défini lors de la fabrication du dispositif électronique. Seul le système d'exploitation sécurisé 1150 est en mesure de lire l'information confidentielle reçue par le terminal 100. 30 Au cours d'une étape E320, le système d'exploitation sécurisé 1150 enregistre l'information confidentielle dans la mémoire sécurisée non volatile 1160. L'information confidentielle fait ensuite office de secret partagé entre l'utilisateur et le système d'exploitation sécurisé 1150. Une étape E330 d'authentification est mise en oeuvre lors d'utilisation ultérieure de manière similaire à ce qui a été décrit en relation avec les autres modes de réalisation. Dans un autre mode de réalisation, représenté en figure 7, l'information enregistrée dans la mémoire non volatile sécurisée 1160 sert à adapter l'affichage généré sur l'écran 2000 dans le cadre du système d'exploitation sécurisé. Une étape de configuration E410 est effectuée de manière similaire aux étapes E110 ou E210 dans les modes de réalisation des figures 3 et 5. L'information demandée à l'utilisateur n'est pas nécessairement une information confidentielle, et elle concerne l'habillage de l'affichage effectué dans le cadre du système d'exploitation sécurisé ou plus généralement les paramètres qui définissent les interactions (incluant les vibrations, etc ...). Il peut s'agir par exemple d'une couleur, d'une image, d'un fond d'écran ou d'une police de caractères. Une étape E420 de mémorisation, qui est similaire aux étapes E120, E220 ou E320 dans les modes de réalisation correspondants est ensuite effectuée. On précise que la configuration et la personnalisation ainsi effectuées sont sécurisées car aucun système d'exploitation autre que le système d'exploitation de confiance n'est exécuté à ce stade. Dans une étape E430 d'utilisation ultérieure d'une fonction du système d'exploitation de confiance via le système d'exploitation polyvalent, l'affichage des éléments d'affichage générés par le système d'exploitation de confiance est adapté en fonction de l'information mémorisée. Cette adaptation peut être une adaptation de confort, comme l'utilisation d'une couleur préférée de l'utilisateur. En figure 8, on a représenté une vue d'écran 301 au cours de l'étape E410 de configuration, dans une variante où la configuration concerne l'affichage pour une application de confiance particulière. On a aussi figuré une vue d'écran 302 au cours de l'étape E430, correspondant à l'utilisation de l'application de confiance particulière, pour laquelle l'affichage est personnalisé. D'autres aspects mis en oeuvre dans le cadre du système d'exploitation de confiance peuvent être modifiés comme par exemple le choix d'une monnaie par défaut pour les applications de paiement. L'invention n'est pas limitée aux modes de réalisation décrits, mais s'étend à toutes les variantes dans le cadre de la portée des revendications. REVENDICATIONS1. Dispositif électronique (100 ; 1000) comprenant un environnement d'exécution de confiance (1100) et un environnement d'exécution polyvalent (1200), caractérisé en ce qu'il comprend des moyens d'obtention (1150, 1170, 2100) d'une information associée à un utilisateur, une mémoire sécurisée (1160) pour mémoriser ladite information une fois celle-ci obtenue, et des moyens d'adaptation (1150, 1500, 2000) de l'environnement de confiance pour ledit utilisateur sur la base de ladite information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance (1100) via l'environnement d'exécution polyvalent (1200). 2. Dispositif électronique selon la revendication 1, l'information étant une information d'authentification de l'environnement d'exécution de confiance (1100) auprès de l'utilisateur. 3. Dispositif électronique selon la revendication 1 ou la revendication 2, l'information étant une information de personnalisation d'un affichage dudit environnement d'exécution de confiance (1100). 4. Dispositif électronique selon l'une des revendications 1 à 3, dans lequel les moyens d'obtention sont mis en oeuvre quand le dispositif électronique (100) est démarré pour la première fois (Fig. 3, 4). 5. Dispositif électronique selon l'une des revendications 1 à 4, dans lequel les moyens d'obtention sont mis en oeuvre lors d'un démarrage du dispositif 25 électronique (100) au cours duquel un programme de lancement (1300) détecte une requête de l'utilisateur (Fig. 5, 7, 8). 6. Dispositif électronique selon l'une des revendications 1 à 5, dans lequel les moyens d'obtention (1150, 1170, 2100) sont compris ou mis en oeuvre dans l'environnement d'exécution de confiance (1100). 7. Dispositif électronique selon l'une des revendications 1 à 6, dans lequel l'information est obtenue par une entrée de l'utilisateur via une interface homme- machine (2100). 8. Dispositif électronique selon l'une des revendications 1 à 7, l'information comprenant une phrase, un numéro d'identification personnel, une photographie, une image, un fond d'écran, un son, une vibration. 9. Dispositif électronique selon l'une des revendications 1 à 7, l'information comprenant une couleur, une police de caractères, un choix de langue, un choix de monnaie, un numéro de compte bancaire, un choix de mode d'interaction avec une application, une lumière, ou une activation de LEDs de touches de clavier. 10. Dispositif électronique selon l'une des revendications 1 à 9, dans lequel les 15 moyens d'adaptation (1150, 1500, 2000) de l'environnement de confiance comprennent un contrôleur sécurisé (1500) pour relier un fonctionnement d'un périphérique à un environnement de confiance ou à un environnement polyvalent. 11. Dispositif électronique selon l'une des revendications 1 à 10, dans lequel les moyens d'adaptation (1150, 1500, 2000) de l'environnement de confiance sont 20 compris ou mis en oeuvre dans l'environnement d'exécution de confiance (1100). 12. Dispositif électronique selon l'une des revendications 1 à 11, dans lequel les moyens d'exploitation (1150, 1500, 2000) de ladite information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance (1150) via l'environnement d'exécution polyvalent (1200) comprennent une interface (1600) 25 pour l'accès à une application de l'environnement d'exécution de confiance (1100) par une application de l'environnement d'exécution polyvalent (1200). 13. Dispositif électronique selon l'une des revendications 1 à 12, dans lequel lors d'un démarrage du terminal, un programme de lancement (1300) est configuré pour qu'un système d'exploitation de l'environnement d'exécution polyvalent nesoit lancé que quand un système d'exploitation de l'environnement d'exécution de confiance a été lancé avec succès. 14. Dispositif électronique selon l'une des revendications 1 à 13, dans lequel les environnements d'exécution polyvalents (1200) et de confiance (1100) sont 5 compris sur un même chipset (1000). 15. Terminal de téléphonie mobile (100) comprenant un dispositif électronique selon l'une des revendications 1 à 14. 16. Procédé d'adaptation d'un dispositif électronique (100 ; 1000) comprenant un environnement d'exécution de confiance (1100) et un environnement d'exécution 10 polyvalent (1200), caractérisé en ce qu'il comprend une étape d'obtention (E10- E410) d'une information partagée avec un utilisateur, et une étape de mémorisation (E20-E420) de ladite information une fois celle-ci obtenue dans une mémoire sécurisée pour l'adaptation (E30-E430) d'une fonction de l'environnement de confiance pour ledit utilisateur sur la base de ladite 15 information lors d'un accès ultérieur de l'utilisateur audit environnement d'exécution de confiance (1150) via l'environnement d'exécution polyvalent (1200). 17. Système d'exploitation de confiance comprenant des instructions qui, quand elles sont exécutées par un processeur, mettent en oeuvre un procédé selon la 20 revendication 16.