FR 3098321 A1 20210108 FR 1907284 A 20190701 Description Titre de l'invention : ARCHITECTURE INFORMATIQUE EN NUAGE SECURISEE ET PROCEDE DE SECURISATION Domaine technique [0001] La présente invention concerne une architecture informatique en nuage sécurisée comprenant un premier espace de gestion de données et/ou d'exécution de programmes informatiques dans lequel la gestion des données ou l'exécution des programmes est contrôlée par un utilisateur et un deuxième espace de gestion de données ou d'exécution de programmes informatiques dans lequel la gestion des données ou l'exécution des programmes est contrôlée par un opérateur tiers. Elle concerne en outre un procédé de sécurisation des données et/ou de l'exécution des programmes dans une telle architecture informatique en nuage. Technique antérieure [0002] Les particuliers, entremises et les organisations gouvernementales ont de plus en plus recours à l'informatique en nuage (« cloud computing » en langue anglaise), et ce phénomène est amené à se développer dans les prochaines années. Toutefois, le problème de la sécurité et de la confiance se pose avec de plus en plus de force. Les gouvernements notamment, se soucient de leur souveraineté. Par exemple, l'Etat français a aidé deux acteurs français, OrangeTM Business Service et OVHTM, à faire concurrence aux géants américains tels que AmazonTM AWS et MicrosoftTM Azure dans le domaine de l'informatique en nuage. Les entreprises par ailleurs, hésitent à confier les données et traitements critiques. En effet, les solutions actuelles n'offrent pas les garanties nécessaires, y compris lorsque ces solutions sont considérées comme « souveraines » c'est-à-dire comme dépendantes des états dans lesquels sont domiciliés lesdites entreprises (Orange TM Business Service ou OVHTM en France). Il ne suffit pas en effet d'avoir un fournisseur de services informatiques en nuage national pour résoudre le problème de confiance, car eux-mêmes doivent utiliser du matériel et de logiciels étrangers et surtout peuvent commettre des erreurs ou être attaqués. Résumé de l'invention [0003] Compte tenu de ce qui précède, un problème que ce propose de résoudre l'invention est proposer un procédé de sécurisation d'une architecture informatique en nuage. Plus particulièrement, le problème traité par l'invention est un problème de confiance : comment réaliser une architecture informatique en nuage dans laquelle un utilisateur notamment peut avoir pleinement confiance ?. [0004] La solution proposée de l'invention à ce problème posé a pour premier objet une ar- chitecture informatique en nuage sécurisée comprenant : 2 [0005] un premier espace de gestion de données et/ou d'exécution de programmes infor- matiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un utilisateur ; [0006] un deuxième espace de gestion des données et/ou d'exécution de programmes infor- matiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un opérateur tiers ; [0007] caractérisée en ce qu'elle comprend en outre : [0008] des premières politiques de sécurités appliquées aux données ou à l'exécution des programmes dans le premier espace d'exécution ; [0009] des deuxièmes politiques de sécurité appliquées aux données ou à l'exécution des programmes dans le deuxième espace d'exécution ; [0010] une propriété de sécurité attendue par l'utilisateur, le respect desdites premières et deuxièmes politiques de sécurité garantissant une gestion des données et/ou une exécution de programmes informatiques conforme à cette propriété ; et [0011] une base de confiance garantissant, en absence de violation, l'application des deuxièmes politiques de sécurité dans la gestion des données et/ou l'exécution des programmes dans le deuxième espace d'exécution, ladite base de confiance comprenant, d'une part, une partie matérielle disposant de témoins indicateurs d'accès non autorisés et, d'autre part, une partie logicielle, ladite partie logicielle étant rendue disponible au utilisateur et/ou à un tiers de confiance. [0012] Ainsi, lorsque le utilisateur exécute un programme au moins en partie dans le second espace d'exécution, et que les témoins indicateurs d'accès restent vierges, alors cet utilisateur peut être certain que l'exécution de ce programme satisfait à la propriété. [0013] De manière avantageuse, - la base de confiance comprend un module matériel de sécurité, ledit module matériel de sécurité permettant à l'utilisateur de choisir un certificateur, et dans laquelle la partie logicielle de la base de confiance est rendue disponible à l'utilisateur ; - la partie logicielle de la base de confiance et la manière de la reconstruire est fournie ou rendue disponible à l'utilisateur et/ou à aux tiers de confiance ; - la base de confiance est partie d'un boîtier dont le coeur logiciel, à savoir sa partie la plus complexe, est formellement prouvé ; - sont fournis à l'utilisateur les moyens qui lui permettent d'être convaincu que tous les chemins d'exécution de la partie logicielle de la base de confiance garantissent le respect des deuxièmes politiques de sécurité, dans des conditions de fonctionnement normales ; - l'architecture comporte infrastructure comprenant un sous-ensemble qui comporte un ou plusieurs serveurs physiques formant l'espace (B), une partie matérielle et/ou de la base logicielle de la base de confiance formant boîtier(s) étant associée auxdits serveurs ; - comporte en outre une partie matérielle de la base de confiance formant un boîtier additionnel, ce boîtier additionnel étant disposé à l'entrée du sous-ensemble et disposant 3 de moyens pour filtrer des paquets de données entrant dans le sous-ensemble, cette filtration comportant. une vérification que lesdits paquets de données satisfont à une politique de sécurité. [0014] L'invention a pour second objet un procédé de sécurisation d'une architecture in- formatique en nuage comprenant les étapes selon lesquelles : [0015] on fournit un premier espace de gestion de données et/ou d'exécution de programmes informatiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un utilisateur ; [0016] on fournit un deuxième espace d'exécution de programmes informatiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un opérateur tiers ; [0017] des premières politiques de sécurités sont appliquées aux données et/ou à l'exécution des programmes dans le premier espace d'exécution ; [0018] des deuxièmes politiques de sécurité sont appliquées aux données et/ou à l'exécution des programmes dans le deuxième espace d'exécution ; [0019] on définit une propriété de sécurité attendue par le utilisateur, le respect desdites premières et deuxièmes politiques de sécurité garantissant une gestion et données et/ou une exécution de programmes informatiques conforme à cette propriété ; [0020] on fournit une base de confiance garantissant, en l'absence de violation, l'application des deuxièmes politiques de sécurité dans la gestion des données et/ou l'exécution des programmes dans le deuxième espace d'exécution, ladite base de confiance comprenant, d'une part, une partie matérielle disposant de témoins indicateurs d'accès non autorisés et, d'autre part, une partie logicielle, ladite partie logicielle étant rendue disponible au utilisateur et/ou à un tiers de confiance ; et en ce que [0021] la gestion des données et/ou l'exécution des programmes effectuée par l'utilisateur au moins en partie dans le deuxième espace d'exécution est considérée comme satisfaisante à la propriété attendue par l'utilisateur, si les témoins indicateurs d'accès restent vierges. [0022] De manière avantageuse : - la partie logicielle de la base de confiance et la manière de la reconstruire est fournie ou rendue disponible dans son intégralité à l'utilisateur et/ ou à au tiers de confiance. Brève description des dessins [0023] L'invention sera mieux comprise à la lecture de la description non limitative qui suit, rédigée au regard des dessins annexés, dans lesquels : [0024] [fig.1] la figure 1 est un schéma illustrant une architecture selon l'invention ; [0025] [fig.2A] la figure 2A est une représentation schématique d'un premier exemple de boîtier matériel comportant un coeur prouvé formellement du type ProvenCoreTM, sus- ceptible d'être mis en oeuvre dans une architecture selon l'invention, ledit boîtier étant muni de moyens de filtrage et étant susceptible de former un VPN ; [0026] [fig.213] la figure 2B est une représentation schématique d'un second exemple de boîtier matériel comportant un coeur prouvé formellement du type ProvenCoreTM, susceptible d'être mis en oeuvre dans une architecture selon l'invention, ledit boîtier étant muni de filtrage ; [0027] [fig.3A] la figure 3A est une représentation schématique de salle d'architecture selon l'invention, comportant une pluralité de serveurs, et un ensemble de boîtiers du type des boîtiers montrés aux figures 2A ou 2B, participant à la base de confiance et permettant de réaliser différents cloisonnements, internes et avec l'extérieur ; et [0028] [fig.313] la figure 3B est une représentation schématique de salle d'architecture selon l'invention, comportant une pluralité de serveurs, et un ensemble de boîtiers du type des boîtiers montrés aux figures 2A ou 2B, participant à la base de confiance et permettant de réaliser différents cloisonnements, internes et avec l'extérieur. Description des modes de réalisation [0029] L'invention concerne une architecture informatique en nuage. Un telle architecture comprend généralement un ensemble dc serveurs virtuels, chaque serveur virtuel étant associé à un ou plusieurs disques mémoire virtuels, chaque disque mémoire virtuel étant matérialisé par un ou plusieurs disques mémoire physiques lesdits disques mémoire physiques étant contenus dans des serveurs informatiques physiques. Un utilisateur accède aux services fournis par l'architecture informatique en nuage par exemple au moyen d'un ordinateur personnel, ou d'un serveur qu'il contrôle, ou d'un téléphone via un réseau du type Internet ou du type 3G, 4G ou 5G. [0030] Ainsi que cela est montré à la figure I. l'architecture selon l'invention comprend un premier espace A de gestion des données et/ou d'exécution de programmes informatiques. Dans ce premier espace, les données, ainsi que la manière dont elles sont gérées, et l'exécution des programmes est contrôlée par un utilisateur ou client ou intéressé, ledit utilisateur étant par exemple une personne physique, une entreprise, une organisation gouvernementale, un opérateur, ou un ensemble formé par de telles entités, par exemple un utilisateur personne physique et son entreprise, ayant accès au moins à certains services fournis par l'architecture informatique en nuage. Le premier espace A est par exemple la station de travail de l'utilisateur : un serveur physique, un téléphone futé (« smartphone » en langue anglaise), un ordinateur personnel. [0031] L'architecture comprend en outre un deuxième espace B de gestion des données et/ ou d'exécution de programmes informatiques. Cet espace B est par exemple une salle comprenant un ensemble de serveurs physiques munis de disques physiques typiquement disposés chez l'opérateur ou le fournisseur de services en nuage, donc distants. Dans ce deuxième espace, les gestion des données et/ou l'exécution des programmes est par un opérateur. Le contrôle de l'opérateur sur les données et/ou sur l'exécution des programmes est total ou partiel. Cet opérateur est par exemple un fournisseur de services informatiques en nuage ou un fournisseurs d'infrastructures informatiques. Cet opérateur n'est pas contrôlé par le utilisateur. En pratique et en général, l'utilisateur achète les services qu'il souhaite au scinde l'architecture à l'opérateur. [0032] Dans le cas de la présente invention le utilisateur n'a pas confiance ou n'a pas une entière confiance dans l'opérateur tiers car il ne maitrise pas complètement la gestion de ses données et/ou des programmes qu'il exécute dans l'espace B. [0033] Dans l'architecture selon l'invention, des premières politiques de sécurités (PSA) sont appliquées à la gestion des données et/ou à l'exécution des programmes dans le premier espace d'exécution (A). [0034] Les politiques de sécurité doivent être entendues comme étant des comportement attendus dans les espaces de gestion des données et/ou d'exécution des programmes. Ce sont des ensembles de règles de sécurité qui définissent par exemple, pour les données et/ou les programmes contenus dans l'architecture, la confidentialité, l'intégrité et, avantageusement, la disponibilité. Ces règles peuvent aussi définir les comportements admissibles. Par exemple un fichier de l'utilisateur géré par l'opérateur sera toujours stocké de manière chiffrée avec une clé faisant partie de la base de confiance et qui ne sortira jamais d'un HSM ((« Hardware Security Module » en langue anglaise, Module de Sécurité Matériel en français) ou d'un boitier du type des boîtiers présentés dans la suite de la présente description. Ce fichier peut potentiellement être déchiffré par le HSM ou le boitier dans un espace isolé, c'est-à-dire un domaine de sécurité, typiquement créé dynamiquement par les boitiers de la figure 3A ou 3B, pour être ensuite traité pour le compte de l'utilisateur, puis le résultat sera rechiffi-é par le HSM ou boitier, pour être stocké en dehors de la base de confiance TCB par l'opérateur, puis l'espace - le domaine de sécurité - sera effacé et l'espace libéré ou, autrement dit, les machines utilisées pourront être affectées par l'opérateur à d'autre tâches. Une politique de sécurité peut éventuellement aussi être définie dans le langage XML XCCDF (eXtensible Configuration Checklist Description Format - Format de description de liste à configuration extensible), qui fait partie des spécifications SCAP (Security Content Automation Protocol - protocole d'automation contenu sécmitaire) du NIST (National Institute of Standards and Technology). Ce langage permet de représenter un ensemble structuré de règles de sécurité de façon à supporter l'échange d'informations relatives à la sécurité et par conséquence de généraliser les bonnes pratiques de sécurité. Dans un exemple, la confidentialité peut être conservée, selon une politique de sécurité, c'est-à-dire une règle, par le chiffrement 6 systématique des données. Dans cet exemple simple la règle est « chiffrer de manière systématique les données ». Cc n'est pas la clé de chiffrement. Dans un autre exemple, l'intégrité peut être conservée, selon une politique de sécurité, au moyen d'une surveillance des fichiers de configuration d'une application. Dans ce cas, la règle est « surveiller les fichiers de configuration d'une application ». Dans un autre exemple encore, la disponibilité peut être gérée, selon une politique de sécurité, en réalisant une architecture redondante. La règle est alors « réaliser une architecture redondante ». De manière générale, une politique de sécurité comprend une pluralité de règles : « chiffrer de manière systématique les données ET surveiller les fichiers de configuration d'une application ET réaliser une architecture redondante. Les politiques de sécurité selon l'invention s'appliquent en général non seulement aux données mais aussi aux programmes informatiques ou applications. [0035] Dans l'architecture selon l'invention, des deuxièmes politiques de sécurité (PSB) sont par ailleurs appliquées à la gestion des données et/ou à l'exécution des programmes dans le deuxième espace d'exécution (B). [0036] Selon l'invention, une propriété P de sécurité est attendue par le utilisateur pour la gestion de ses données et/ou l'exécution de programmes informatique dans le premier espace A niais aussi en partie ou en totalité dans le deuxième espace B dans lequel il n'a pas confiance ou dans lequel il a une confiance limitée. Cette propriété P est telle que le respect des premières PSA et deuxièmes politiques de sécurité PSB garantit une gestion des données ou une exécution de programmes informatiques conforme à cette propriété P. Une telle propriété peut être éventuellement décrite comme une politique de sécurité. Par exemple un fichier sensible pourra être traité sans être chiffré dans l'espace A, mais toujours selon les règles définies plus haut à l'extérieur, dans l'espace B et le reste de l'architecture en nuage. [0037] Par ailleurs, l'architecture selon l'invention comprend une base de confiance TCB. Cette base de confiance est une base qui est contrôlée par l'opérateur tiers B. La base de confiance TCB comprend une partie matérielle, à savoir un sous-ensemble physique comprenant par exemple un ou plusieurs ordinateurs/serveurs physique et/ou disques mémoire. Elle comprend par ailleurs une partie logicielle incluant des données et/ou programmes. Cette partie logicielle est généralement un petit sous-ensemble de l'espace B. [0038] La base de confiance garantit l'application des deuxièmes politiques de sécurité PSB dans la gestion des données et/ou l'exécution des programmes dans le deuxième espace d'exécution B. A cet effet, la base de confiance dispose de moyens indicateurs d'accès non autorisés. Plus particulièrement, la partie matérielle de cette base dispose de tels moyens. Elle est donc « tamper evident » en langue anglaise. Si un accès non autorisé à la base est effectué et ce, quelles qu'en soient les causes, notamment une attaque ou 7 une dégradation de fonctionnement volontaire ou non, et si par suite, une violation potentielle ou effective des deuxièmes politiques de sécurité PSB existe, alors des témoins indicateurs de cet accès seront actionnés de sorte que cet accès sera visible à la manière de scellés. Le terme violation est entendu dans un sens large came incluant notamment toutes intrusions, dégradations, ou vols ou modifications non autorisées de données ou des programmes ou corruptions. Les témoins indicateurs témoignent d'un accès non autorisé à la hase de confiance ou d'un compromission de l'intégrité de la base. Dans un exemple, et pour la mise en oeuvre des fonctions précitées de scellé, la base de confiance comprend un module matériel de sécurité (« Hardware Security Module » en langue anglaise ou HSM). Il s'agit d'un composant matériel considéré inviolable, qui offre généralement des fonctions cryptographiques. A noter cependant qu'un module logiciel particulier tel qu'un module de sécurité logiciel peut remplir certaines ou la totalité des fonctions précitées en addition ou à la place d'un HSM. Le utilisateur pourra donc, dans le cadre de l'invention, toujours vérifier a posteriori les témoins de violation pour la partie physique, par exemple une salle machine, des matériels, etc., et inspecter l'authenticité et la conformité de la base de confiance de l'opérateur tiers B. Si les indicateurs de violation sont vierges il sera en mesure d'assurer que les comportements attendus ont été respectés et que son objectif de sécurité a bien été respecté, sans pour autant faire confiance à l'opérateur. Le utilisateur pourra se faire aider en cela - ou utiliser les services - d'un acteur tiers, auquel il est prêt à faire confiance). [0039] Selon l'invention, la partie logicielle de la base de confiance est rendue disponible au utilisateur et/ou à un tiers de confiance. Par exemple, cette partie logicielle et, notamment, au minimum, sa partie sur support réinscriptible, et les moyens de la reconstruire, par exemple le code source, le compilateur, les générateurs, sera fournie ou rendue disponible dans son intégralité au utilisateur et/ou aux tiers qui l'assistent, à savoir des évaluateurs, des certificateurs, des consultants, etc. et auxquels le utilisateur est prêt à faire confiance, en particulier parce qu'il les aura typiquement choisi. De même sont fournis au utilisateur, les moyens, tels que le documentation, les rationnels, les moyens de preuves, etc..., qui permettent à l'homme de l'art d'auditer a priori - certains contrôles pouvant toutefois être reportés pour être faits a posteriori - le respect des propriétés de sécurité annoncées avec un niveau de précision et de détail permettant de se convaincre que tous les chemins d'exécution de cette partie logicielle de la base de confiance garantissent le respect des deuxièmes politiques de sécurité PSB, dans des conditions de fonctionnement normales de la partie matérielle de ladite base, et sous réserve du respect des hypothèses sous-jacentes, par exemple résistance d'un algorithme cryptographique, de la qualité d'un générateur de nombre aléatoire, etc... Il devra couvrir aussi toutes les versions/configurations possible, notamment 8 lorsque la base de confiance de l'opérateur tiers B peut être sujette à mis à jour. Pour se convaincre notamment respect des deuxièmes politiques de sécurité PSB en présence de logiciel ayant un nombre infini de chemins d'exécution possible, on pourra, suivant les cas, faire appel à des techniques de vérification formelles, par exemple de preuves formelles, ou faire de la relecture de code ou des tests exhaustifs lorsque la faible complexité du logiciel ou de la partie du logiciel concernée le permet. On devra aussi avantageusement être en mesure de récréer et/ou valider l'ensemble des champs possibles ou un sur-ensemble de celui-ci et se convaincre que les deuxièmes politiques de sécurité sont bien respectées dans tous les cas. [0040] En définitive, selon r invention, si les premières politiques de sécurité PSA sont sa- tisfaites, le fonctionnement global attendu, c'est-à-dire le fonctionnement normal, en l'absence d'attaque réussie, de cette base de confiance sera conforme aux deuxièmes politiques de sécurité PSB, et permettra donc par voie de conséquence de satisfaire P. [0041] Exemple de module matériel de sécurité (HSM) formant base de confiance [0042] On peut imaginer appliquer l'invention pour réaliser des HSM de nouvelle gé- nération qui seraient beaucoup plus souples d'utilisation et réduiraient considérablement le rôle fabricant d'HSM dans la chainc de confiance. Ils permettraient notamment : [0043] à l'utilisateur de choisir le certificateur, et de contrôler la personnalisation, [0044] dans lesquelles la base de confiance logicielle est clairement identifiée et disponible pour revue, [0045] que l'on peut utiliser tour à tour pour plusieurs utilisateurs sous le contrôle d'un opérateur tiers qui ne serait pas de confiance, [0046] et sont programmables avec de nouvelles fonctions de traitement. [0047] On pourra aussi avantageusement garantir que toute la confiance que l'on porte au fabricant de HSM soit entièrement auditable : il suffira par exemple pour auditer de vérifier que le HSM fourni par le fabricant contient bien les éléments (matériels ou logiciels) attendus, sans qu'on ait besoin par exemple de faire confiance au respect d'une politique de sécurité non vérifiable (ou difficilement vérifiable). On précisera ce point à l'aide d'un exemple dans la suite. [0048] L'espace d'exécution B comprend alors cet HSM de nouvelle génération qui pourrait d'ailleurs être avantageusement implémenté à partir d'un boitier ProvenCorent Tamper resistant ». En effet, le boîtier ProvenCorent possède une racine de confiance, un OS et des applications de sécurité auditables. Ce boîtier formera typiquement une partie de la base de confiance logicielle pour lesquels les moyens tel que la documentation, les rationnels, les moyens de preuve à fournir dans le cadre de l'invention existent et ont notamment pour la plupart été développés pour les besoins de l'évaluation référencée CC EAL7 du ProvenCoreTm. 9 [0049] Des exemples de boîtiers ProvenCoreTM à vocation de filtrage sont montrés au figures 2A et 2B. Ils comportent ici une partie matérielle référencée « Matériel » sur les figures, munies de ports Ethernet Ehtl et Eth2, et portant un coeur prouvé formellement référencé « ProvenCoreTm » sur les figures, ledit coeur prouvé étant susceptible de mettre en oeuvre voire de filtrer des piles de protocoles référencées « Piles de protocoles », le filtrage étant mis en oeuvre au moyen d'un filtre du boîtier, associé (Fig. 2A) ou non (Fig. 2B) à un VPN (Virtual Privatc Network - Réseau Virtuel Privé). D'autres boiticrs ProvenCoreTM pourront avoir d'autres vocations que le filtrage et pourront héberger d'autres applications. Ils pourront dans ce cas disposer d'autres périphériques matériels. Par exemple un boiticr ayant un vocation de HSM pourra embarquer des applications de sécurité de stockage sécurisé, de cryptographie, etc. De tels boiticrs peuvent aussi regrouper différentes fonctionnalités en même temps. [0050] S'agissant de la personnalisation de nism, une identité, son certificat et poten- tiellement quelques autres données racines sont typiquement introduites lors de la phase d'initial isation du HSM. Une manière de faire cela est d'avoir une étape de pré-personnalisation dans laquelle on insère l'identité du HSM, on insère ou on génère une paire de clé asymétriques pour le HSM, ainsi que des certificats ou clés publiques associés à chaque utilisateur qui lui permettront plus tard de créer sa propre racine de confiance, tout cela sous le contrôle des différents utilisateurs ou de leur tiers de confiance qui seront amenés à utiliser cet HSM. Cela demandera typiquement une proximité physique avec le HSM. Ensuite chaque utilisateur pourra tour à tom- personnaliser à distance le HSM pour ses propres besoins et créer ainsi sa propre racine de confiance. Ce faisant, le utilisateur sera par exemple amené à créer un canal de confiance avec le HSM en utilisant par exemple une sécurité de la couche de transport (« Transport Layer Security » en langue anglaise ou TLS) à double authentification avec des clés asymétriques préalablement distribuées. Cette personnalisation conduira typiquement à la génération d'une ou de plusieurs clés de chiffrement. Ces clés, ainsi que les clés privées dédiées au utilisateur, ne sortiront typiquement jamais en clair du HSM. Il sera par contre possible de les chiffrer sur le HSM pour les sauvegarder à l'extérieur que ce soit temporairement entre deux sessions d'un même utilisateur et les restaurer ensuite sur le même HSM ou un autre ou pour restaurer un HSM endommagé. Pour sauvegarder et restaurer sur le même HSM on utilisera typiquement une clé privée connue du seul HSM, pour restaurer un HSM endommagé on utilisera par exemple pour chiffrer les sauvegarde des clés propres à chaque utilisateur, par exemple, une clé publique du utilisateur, ou plus précisément une clé symétrique générée par le HSM et chiffrée avec la clé publique de l'utilisateur pour que ce dernier soit le seul à pouvoir re-personnaliser un HSM de remplacement qui récupérera les données. [0051] Dans l'exemple ci-dessus on a évité le besoin de donner à des tiers, a fortiori humains, la connaissance même transitoire de secrets critiques, car il est très difficile d'auditcr le respect des bonnes politiques de sécurité de ces tiers. On sait auditcr du logiciel ou du matériel dotés des bons moyens d'audits (documentations, etc .) mais généralement pas des processus réalisés par des acteurs tiers sauf à les surveiller en permanence. Pour réduire encore plus les besoins d'opérations nécessitant la présence physique de l'utilisateur ou de son tiers de confiance lors de l'installation ou de la préparation du HSM on pourra par exemple utiliser une fonctionnalité auditablc qui permettra à l'aide d'un secret à usage unique de lancer la personnalisation à distance. Par exemple le HSM à réception de ce secret à usage unique (mot de passe, clé de transport, etc.) chiffré avec sa clé publique démarrera sa personnalisation (génération de clés, etc.), créera une entité qu'il liera à l'utilisateur, avec des mécanismes traditionnels empêchant les « men in the middle attacks » (attaques hommes au milieu). Si le secret a été compromis par l'opérateur l'utilisateur s'en rendra compte. Dans ce cas l'opérateur aura eu accès à un secret critique mais il ne pourra pas l'utiliser sans que l'utilisateur ne s'en aperçoive avant qu'il ne termine la personnalisation de son espace dans le HSM. Ce secret à usage unique n'aura plus aucune utilisé ensuite. [0052] On voit ici que la base de confiance logicielle n'est pas forcément présente dans sa totalité à tout moment. Ici le logiciel servant à la pré-personnalisation ou à la personnalité peut disparaître quand il n'est plus utile. De la même manière certaines parties de la base de confiance ne sont pas encore chargés lors de l'initialisation. De même en cas de possibilité de mis à jour de la base de confiance logicielle les différentes versions ne sont pas généralement gardées dans le système embarqué qui les a utilisés. Mais l'audit devra pouvoir être fait sur tout le logiciel utilisé pendant la vie du produit, ce qui veut dire qu'il faut pouvoir reconstituer toutes ces versions, et parties au moment de l'audit ou des audits/évaluations. Les révisions de la base de confiance n'existeront typiquement pas au moment de l'audit/l'évaluation et devront être audité soit a priori au moment de leur installation soit a posteriori ce qui implique que l'auditeur ait une vue globale et précise des formes que peut prendre la base de confiance logicielle au cours du temps. Cela demande généralement aussi la sauvegarde de toutes ces versions utilisées. [0053] Exemples d'architectures informatiques en nuage selon l'invention [0054] Pour les trois exemples suivants, la même architecture de base sera utilisée. Elle est décrite ici. Le fournisseur de services en nuage (« cloud services provider » en langue anglaise), à savoir l'opérateur tiers selon l'invention, complète son architecture existante réalisée selon l'art antérieur en ajoutant des salles spécifiques. Ces salles spécifiques réalisées selon l'invention sont des salles formant un espace d'exécution B. Elles reçoivent typiquement les mêmes serveurs et équipements que les serveurs et 11 équipements d'une salle classique, mais comporte en outre les moyens définis pour l'architecture selon l'invention, afin de définir un espace d'exécution B sous un contrôle plus strict des utilisateurs (une société, ou une organisation utilisateur) pour certains aspects de sa sécurité. [0055] Dans ces salles spécifiques, le fournisseur de services, à savoir l'opérateur, s'imposera typiquement certaines règles de sécurité spécifiques : par exemple il prendra en compte la notion de « domaine de sécurité ». De tels domaines de sécurité seront par essence associés dynamiquement à des utilisateurs voulant effectuer des opérations sensibles (par exemple des opération sur des données sensibles). Un domaine de sécurité sera associé à (i.e. la propriété d') un seul utilisateur. Il s'interdira par exemple d'utiliser au même moment le même serveur pour exécuter des domaines de sécurité différents ou appartenant à des utilisateurs différents. Il s'imposera par exemple de bien de supprimer les données des serveurs avant de les réaffecter à d'autres domaines de sécurité ou utilisateurs, ou en fin d'utilisation, etc. [0056] Une salle spécifique sera aussi typiquement créée ou préparée sous le contrôle de l'utilisateur ou d'un ou plusieurs de ses tiers de confiance. Elle sera globalement inviolables (« tamper cvident » en langue anglaise). En effet, une fois la salle crée sous le contrôle de l'utilisateur ou de ses tiers de confiance on scellera typiquement la salle de manière à ce qu'un accès physique ou une attaque physique réussie à la salle laisse forcément des traces que l'utilisateur ou de ses tiers de confiance pourront voir lors de ses contrôles réguliers. On peut aussi imaginer, pour plus de réactivité, un système de caméra de sécurité contrôlant les salles spécifiques et consultable en permanence par l'utilisateur, système lui-même « tamper evident » et à contrôler lors des visites régulières de contrôle. [0057] La salle spécifique est munie de moyens conformes à l'invention. Pour cela, on utilise par exemple des boitiers de sécurité que le fournisseur ajoute à côté des serveurs de ses infrastructures habituelles et qui vont permettre de mettent en oeuvre et/ou de contrôler les règles que se sera imposé le fournisseur de services de manière à permettre le respect des propriétés. [0058] La figure 3A montre une salle spécifique d'une architecture informatique en nuage comprenant des serveurs SI, S2 et 53, lesdits serveurs étant disposés dans un réseau R, un boîtier R du type présenté en figures 2A et 2B étant disposé en amont de chaque serveur Si, S2 et S3, et un boîtier additionnel BA étant disposé en entrée de la salle. La figure 3B montre une même salle dans laquelle, en addition encore, un boîtier additionnel encore BAA commande l'ensemble ou une partie des boîtiers disposés en amont des serveurs SI, S2 et S3, ainsi que le boîtier additionnel présenté en figure 3A. [0059] Les boitiers de sécurité B, BA, BAA sont des boitiers de préférence « tamper evident » comprenant une carte informatique à base de ProvenCoreTM tel que décrit 12 dans la littérature "Security Filters for IoT Domain Isolation", Dominique Bolignano, Emhedded Conference. 2018 ; "Security Filters for IoT Demain Isolation-, Dominique Bol ignano, Florence Plateau, ISoLa, 2018. Le noyau ProvenCoreTM. sa chainc de lancement et, plus généralement, sa chainc de confiance, certaines de ses applications entreront typiquement dans la base de confiance logicielle de l'opérateur B. Ces boites authentifient, par exemple, filtrent les commandes et données entrantes dans la salle spécifique de manière à vérifier qu'elles sont conformes aux règles que s'impose le fournisseur de cloud et, plus généralement, sont conformes aux politiques de sécurité PSB. Typiquement, elles filtrent et contrôlent tous les accès réseaux pour chaque machine de l'architecture informatique en nuage de la salle spécifique. On peut par exemple utiliser les boitiers décrits dans le papier sur le filtre. Elles auront potentiellement aussi d'autres fonctions comme certaines fonction d'administration des serveurs (par exemple vidage et préparation des domaines de sécurité)qui ne seraient pas faites à distance. [0060] Le boitier permettant la communication avec r extérieur devra typiquement être capable d'authentifier et ouvrir des canaux sécurisés (premier boitier), alors que les autres n'en auront pas nécessairement besoin (deuxième boitier). On pourra bien entendu optimiser cette architecture en dupliquant certains boitiers pour améliorer les performances ou en réunir certains. On pourra aussi réunir plusieurs boitiers en un seul (en créant des l'altiers à multiples périphériques). On pourra aussi utiliser un réseau dédié (en rouge) pour contrôler/administrer les boitiers : [0061] De manière générale les boitiers à base de ProvenCoreTM sont capables : [0062] d'exécuter des applications de sécurité telles que des applications de filtrage, de mise à jour, d'authentification, ou de VPN. [0063] de configurer la topologie des machines, en particulier des serveur virtuels de la salle spécifique dans laquelle elles sont incluses, ou de ne laisser passer que certaines commandes ou informations dans ladite salle ou auxdites machines/serveurs. Elles peuvent en outre être utilisées pour administrer une machine en particulier un serveur et par exemple l'initialiser, la rebooter, lui charger une nouvelle configuration avant reboot, etc.). Par exemple pour exécuter un certain service sur des données critiques d'un utilisateur il faudra affecter le « serveur cloud 1 » à cet utilisateur. Le boitier correspondant isolera le serveur choisi et le préparera pour la session (il le videra, l'initialisera avec les bons logiciels et les bonnes données qu'il aura dû aller chercher et déchiffrer avec des clés que seuls les boitiers seront capables d'obtenir, etc. Pour cela il pourra jouer le rôle de filtre (mais cela suppose que le cloud administre différemment ces serveurs, ce qui n'est généralement pas souhaitable) ou bien de proxy (le boitier recevra des commandes qu'il exécutera si elles sont permises en les traduisant au besoin. 13 [0064] potentiellement servir de boitier HSM, [0065] et surtout les boîtiers ProvenCoreTM disposent d'une partie logicielle de la base de confiance et la manière de la reconstruire est fournie ou rendue disponible dans son intégralité à l'utilisateur et/ou à aux tiers de confiance. [0066] Exemple d'architecture en nuage d'une entreprise avec services tels des services de tableurs, éditeurs, outils travaillant sur des données sensibles pour l'utilisateur. [0067] Dans ce cas, l'utilisateur est l'entreprise ou l'organisation utilisatrice. [0068] L'espace A est un ordinateur ou le réseau interne de l'entreprise. L'utilisateur est prêt à faire confiance à l'opérateur B pour sa qualité de service niais pas pour la sécurité de ses données. [0069] A certains moments, que ce soit parce qu'on lui laisse des possibilités régulières de vérifier ou parce qu'on lui laisse la possibilité de provoquer spontanément ces opportunités, il fait - ou fait faire - des vérifications, en particulier des vérifications des témoins de violation). En outre, s'il le souhaite, l'utilisateur contrôle la partie logicielle de la base de confiance de B, notamment si certaines vérifications n'ont pas été faites a priori, ou si un contrôle supplémentaire de la base de confiance semble utile. Une personne de confiance de l'entreprise peut le faire elle-même en s'appuyant pour certaines parties par un Centre d'Évaluation de la Sécurité des Technologies de l'Information (CESTI), ou tout autre évaluatcur ou certificateur auquel il fait confiance. La personne de confiance vérifie les scellés et ou l'état du site, vérifie qu'il a bien toutes les versions et applications de la base de confiance, contrôle ou fait évaluer/ auditer certaines applications de sécurité qui ne l'auraient pas été, peut faire certaine vérifications des opérations d'administrations qui auraient été réalisées par le site B et qui font aussi parti de la base de confiance, par exemple demande quelle version est utilisée ou qu'elles ont été les applications chargées. [0070] Mais les principaux contrôles seront typiquement fait au départ : [0071] vérification de l'étanchéité physique de l'espace, vérification de la présence des bons témoins/indicateurs de violation. [0072] vérification que la combinaison des deux politiques de sécurité PSA et PSB assorti potentiellement d'hypothèses sous-jacentes (qui paraissent acceptables pour l'utilisateur) permet bien de respecter objectif de sécurité choisi, [0073] identification précise d'un sous-ensemble du logiciel de B (et ses éventuelles évolutions) qui est conservé entièrement qui peut être utilisé si les témoins de B sont non violés, pour une vérification a posteriori permettant de se convaincre que l'objectif de sécurité a bien été réservé (sous réserve de la satisfaction de PSA) : par exemple vérification de toutes les versions de la TCB utilisées, vérification qu'elles avaient été correctement évalués par l'utilisateur ou son évaluateur de confiance, ré-évaluation au besoin de certaines parties. La base de confiance sera pour une grande partie le logiciel 14 des boitiers (ProvenCore, ses applications, etc.), [0074] vérification que l'architecture permet la conservation des versions de la base de confiance (différentes versions de ProvenCore de ses applications, etc.), [0075] vérification que la qualité des rationnels permettent d'atteindre le niveau de confiance voulu, [0076] on aura typiquement appairé à ce moment les salles serveurs avec les différents uti- lisateurs. On peut ensuite charger ou configurcr soit même un HSM qui va nous être associé, ou on pourra utiliser les HSM de nouvelles générations décrits dans le premier cas d'utilisation décrit. [0077] Les données de l'utilisateur peuvent être stockées dans l'espace en nuage standard (les données sensibles sont chiffrées par des clés qui ne circulent jamais en clair dans l'espace en nuage normal). [0078] Quand un utilisateur a besoin d'exécuter un service dans l'architecture en nuage né- cessitant la mise en oeuvre d'une sécurité, par exemple édition d'un document confidentiel, le fichier chiffré qui est typiquement dans le l'architecture standard est rapatrié dans une salle spécifique selon l'invention, respectant les bonnes contraintes. Un l'altier de cette salle est momentanément affecté à la tâche. Le boiticr crée une zone fermée, i.e un domaine de sécurité, charge (ou contrôle le chargement) les bons logiciels d'éditions ou de traitement, initialise correctement l'ensemble, et effectue toutes les opérations d'administrations associées. [0079] Exemple d'architecture dans laquelle l'utilisateur demande des services tels que des services de tableur ou d'éditeur, l'utilisateur étant un simple utilisateur personne physique. [0080] L'espace A est l'ordinateur de l'utilisateur. A est prêt à faire confiance à B pour sa qualité de service mais pas pour la sécurité de ses données. [0081] L'utilisateur pourra choisir qu'un CESTI, un certificateur, ou une personne de confiance auquel il fait confiance a bien vérifier la ou les salles spécifiques qu'il va utiliser, ce qui veut dire que le fournisseur de service cloud aura fait appel à un nombre et une variété suffisante d'organismes tiers de confiance pour que les utilisateurs de la cible marketing visée puisse y trouver un tiers acceptable. [0082] Exemple dans laquelle l'architecture est une réseau de téléphonie du type 3G. 4G ou 5G [0083] L'utilisateur est par exemple l'opérateur télécom. Mais le matériel utilisé (par exemple infrastructures, base stations, etc.) sont des objets très complexes qui vont constituer l'espace (B) qui sont sous le contrôle de l'opérateur, mais aussi d'une certaine manière du fournisseur, car ce dernier aurait pu s'autoriser l'accès autorisé ou pas au matériel (mis à jours, envoie d'opérations, ect.). L'opérateur est ici l'utilisateur selon l'invention alors que le fournisseur d'infrastructure sera l'opérateur selon l'invention car cc dernier peut potentiellement modifier, opérer, écouter, ou contrôler par des canaux cachés. Un attaquant autre que le fournisseur de service pourrait aussi jouer le rôle d'opérateur selon l'invention. Le monde extérieur (le fournisseur du matériel ainsi que tous les autres acteurs) peut aussi jouer ce rôle selon l'invention. L'invention permettra d'apporter de la confiance à l'utilisateur (l'opérateur de réseau ici). [0084] Exemple chip embarqué avec domaine de sécurité [0085] (A) Un système ou sous système bien rnaitrisé auquel on a confiance pour faire un certain traitement (typiquement un traitement sensible i.e. confidentialité ou surcté). [0086] (B) Calculateur embarqué connecté moins maîtrisé qui peut potentiellement être attaqué (typiquement par l'opérateur selon l'invention) et qui va réaliser certains traitements critiques pour le système (A), [0087] Opérateur : les acteurs de la chainc de valeur qui collectivement développent ce cal- culateur embarqué (fabricant de chip, équipementier, fabricant du &vice etc.)ou un attaquant exploitant une faille Laissée par l'un d'eux. [0088] Solution : Le (un) processeur du calculateur (B) a au moins un espace de sécurité. Par exemple sur des chips à base d'architecture ARMTm Cortex A cet espace pourra être celui de la TrustZoncim, mais contrairement à ce qui est fait habituellement, l'OS de sécurité, i.e. le TEE, la chainc de boot (le boot Secure, une partie du l'ont loader), le code moniteur feront partie de la TCB logicielle au sens de l'invention et devront être traitées comme telles selon l'invention. Cela impliquera notamment une identification précise de la TCB logicielle, et un traitement particulier de celle-ci. Le fabricant du chip va notamment devoir identifia la TCB et donner l'ensemble de la TCB logicielle. [0089] Mais surtout il faut aussi inclure dans la TCB les logiciels utilisés dans la phase amont de personnalisation et de boot (même s'il disparaissent pour des raisons de gaons de place). Il faut aussi inclure les différentes versions quand le base de confiance peut être mis à jour. Pour les phases amont on peut imaginer (1) on fait confiance au matériel (qui doit avoir une certaine forme de tamper evidence) et on a ROM minimale (et documentée et qui peut potentiellement être scannée en mode privilégié (2) ou on utilise un chip « removable » et muni d'un boitier tamper évident que l'on met quand on reçoit l'objet, le téléphone ou l'ECU autombile par exemple (le chio « removable » sera mis à la manière d'une SIM à la manière (l'une SIM). Donc téléphone ou calculateur tamper évident ou pas, on aura slot pour mettre chip removable et contenant tout ou partie de la TCB. [0090] Les chips à base d'architecture ARMTm Cortex A ne sont qu'un exemple. Dans certaines nouvelles générations de chips qu'ils soient à base d'AR1V1 ou pas on peut créer plusieurs espaces de sécurité (l'iMX8 de NXP, ou certaines architectures mufti ou « many » coeurs, telle celle du nouveau processeur européen développé dans le 16 cadre de EH, i.e. European Processor Initiative). Ces espaces de sécurité sont généralement obtenues par programmation du contrôleur mémoire. Les logiciels qui feront ces contrôles feront typiquement aussi partie de la base de confiance logicielle dans le cadre de l'invention. [0091] Exemple remontée d'information critiques et /ou deep learning dans cloud [0092] L'utilisation du cloud pour la remontée et le traitement de données sensibles (par exemple pour le deep learning) est souvent considéré comme problématique notamment pour le respect de la vie privée. On peut combiner les deux aspects décrits dans les exemples « chip distant avec domaine de sécurité » et « architecture en nuage et leur salles spécifiques ». L'espace de sécurité embarqué (B)(par un exemple dans un calculateur ADAS pour la conduite autonome dans l'automobile qui a accès à de nombreuses données sensibles pour le conducteur) communique de manière sécurisé avec un domaine de sécurité dans une salle spécifique du cloud (une autre partie de (B). L'espace d'exécution (A) sera par exemple l'ensemble des calculateurs mieux maitrisés de la voiture qui fournissent les données sensibles au calculateur ADAS (position véhicule, données caméras, etc.). L'utilisateur sera typiquement l'ensemble conducteur/fabricant. [0093] Exemple : utilisation de la puissance inutilisée dans l'embarqué (par exemple processeur d'une voiture au garage). [0094] On utilise un espace de sécurité sur le processeur inutilisé embarqué pour réaliser des traitements pour le compte du cloud (ou des ordinateurs de l'utilisateur). Le cloud ou les ordinateurs de l'utilisateur forment ici l'espace (A) qui va par exemple utiliser cette puissance inutilisée de (B) pour du minage de crypto monnaie, et le processeur (ou le calculateur) inutilisé est (B), par exemple le processeur « many » coeurs principal d'une voiture de nouvelle génération. Le propriétaire de la voiture loue cette puissance inutilisée au mineur (i.e. l'utilisateur) qui sans avoir le contrôle de ce processeur embarqué est assuré du respects de certaines propriétés de sécurité. 17 [Revendication I] [Revendication 2] [Revendication 3] [Revendication 4] [Revendication 5] REVENDICATIONSArchitecture informatique en nuage sécurisée comprenant : un premier espace (A) de gestion de données et/ou d'exécution de programmes informatiques dans lequel la gestion des données ou l'exécution des programmes est contrôlée par un utilisateur ; et un deuxième espace (B) de gestion de données ou d'exécution de programmes informatiques dans lequel la gestion des données ou l'exécution des programmes est contrôlée par un opérateur tiers, caractérisée en ce qu'elle comprend en outre : des premières politiques de sécurités (PSA) appliquées aux données ou à l'exécution des programmes dans le premier espace d'exécution (A) ; des deuxièmes politiques de sécurité (PSB) appliquées aux données ou à l'exécution des programmes dans le deuxième espace d'exécution (B) ; une propriété (P) de sécurité attendue par le utilisateur, le respect desdites premières et deuxièmes politiques de sécurité garantissant une gestion des données et/ou une exécution de programmes informatiques conforme à cette propriété (P) ; et une base de confiance (TCB) garantissant, en l'absence de violation, l'application des deuxièmes politiques de sécurité (PSB) dans la gestion des données et/ou l'exécution des programmes dans le deuxième espace d'exécution (B), ladite base de confiance comprenant, d'une part, une partie matérielle disposant de témoins indicateurs d'accès non autorisés et, d'autre part, une partie logicielle, ladite partie logicielle étant rendue disponible au utilisateur et/ou à un tiers de confiance. Architecture selon la revendication 1, caractérisée en ce que la base de confiance comprend un module matériel de sécurité, ledit module matériel de sécurité permettant à l'utilisateur de choisir un certificateur, et dans laquelle la partie logicielle de la base de confiance est rendue disponible à l'utilisateur. Architecture selon l'une des revendications précédentes, caractérisée en ce que la partie logicielle de la base de confiance et la manière de la reconstruire est. fournie ou rendue disponible à l'utilisateur et/ou à aux tiers de confiance. Architecture selon l'une des revendications précédentes, caractérisée en ce que la base de confiance est partie d'un boîtier dont le coeur logiciel est formellement prouvé. Architecture selon l'une des revendications précédentes, caractérisée en 18 [Revendication 6] [Revendication 7] [Revendication 8] ce que sont fournis à l'utilisateur les moyens qui lui permettent d'être convaincu que tous les chemins d'exécution de la partie logicielle de la base de confiance garantissent le respect des deuxièmes politiques de sécurité, dans des conditions de fonctionnement normales. Architecture selon l'une des revendications précédentes, caractérisée en ce qu'elle comporte infrastructure comprenant un sous-ensemble qui comporte un ou plusieurs serveurs physiques formant l'espace (B), une partie matérielle et/ou de la hase logicielle de la hase de confiance formant boîtier(s) (BT) étant associée auxdits serveurs. Architecture selon la revendication 6, caractérisée en ce qu'elle comporte en outre une partie matérielle de la base de confiance formant un boîtier additionnel (BTA), ce boîtier additionnel étant disposé à l'entrée du sous-ensemble et disposant de moyens pour filtrer des paquets de données entrant dans le sous-ensemble, cette filtration comportant une vérification que lesdits paquets de données satisfont à une politique de sécurité. Procédé de sécurisation d'une architecture informatique en nuage comprenant les étapes selon lesquelles : on fournit un premier espace (A) de gestion de données et/ou d'exécution de programmes informatiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un utilisateur ; on fournit un deuxième espace (B) d'exécution de programmes informatiques dans lequel la gestion des données et/ou l'exécution des programmes est contrôlée par un opérateur tiers ; des premières politiques de sécurités (PSA) sont appliquées aux données et/ou à l'exécution des programmes dans le premier espace d'exécution (A) ; des deuxièmes politiques de sécurité (PSB) sont appliquées aux données et/ou à l'exécution des programmes dans le deuxième espace d'exécution (B) ; on définit une propriété (P) de sécurité attendue par le utilisateur, le respect desdites premières (PSA) et deuxièmes (PSB) politiques de sécurité garantissant une gestion et données et/ou une exécution de programmes informatiques conforme à cette propriété (P) ; on fournit une base de confiance (TCB) garantissant l'application des deuxièmes politiques de sécurité (PSB) dans la gestion des données et/ ou l'exécution des programmes dans le deuxième espace d'exécution 19 [Revendication 9] (B), ladite base de confiance comprenant, d'une part, une partie matérielle disposant de moyens indicateurs d'accès non autorisés et, d'autre part, une partie logicielle, ladite partie logicielle étant rendue disponible au utilisateur et/ou à un tiers de confiance ; et en cc que la gestion des données et/ou l'exécution des programmes effectuée par l'utilisateur au moins en partie dans le deuxième espace d'exécution (B) est considérée comme satisfaisante à la propriété (P) attendue par l'utilisateur, si les témoins indicateurs d'accès restent vierges. Procédé selon la revendication 8, caractérisé en ce que la partie logicielle de la base de confiance et la manière de la reconstruire est fournie ou rendue disponible dans son intégralité à l'utilisateur et/ou à au tiers de confiance.