Passer au contenu

SGX

Référence d'architectureFeex

Intel SGX (Software Guard Extensions) fournit des fonctionnalités d'exécution en enclave avec un modèle de menaces et une interface logicielle spécifiques. La prise en charge du processeur ne suffit pas à établir qu'une application en enclave peut s'exécuter sur un système donné.

Ce que vous devez savoir

Intel SGX (Software Guard Extensions) fournit des fonctionnalités d'exécution en enclave avec un modèle de menaces et une interface logicielle spécifiques. La prise en charge du processeur ne suffit pas à établir qu'une application en enclave peut s'exécuter sur un système donné.

Comment ça marche

SGX définit la mémoire d'enclave ainsi que des mécanismes d'entrée et de sortie, avec un cache de pages d'enclave géré via la prise en charge de la plateforme et du système d'exploitation. Une application en enclave sépare les composants de confiance et non fiables, et peut recourir à l'attestation pour établir l'identité de l'enclave. La quantité de mémoire d'enclave utilisable et la politique de lancement prise en charge sont spécifiques à la plateforme.

Domaines d'utilité

Une application peut placer un calcul au périmètre restreint et des secrets à l'intérieur d'une enclave tout en traitant l'hôte environnant comme extérieur à sa limite de confiance. Les E/S, les entrées non fiables, le comportement en cas d'exception et les considérations liées aux canaux auxiliaires nécessitent toujours une conception explicite.

Comment vérifier la prise en charge et l'activation

Vérifiez le bit 2 de CPUID.07H.00H:EBX ainsi que les informations de la feuille CPUID 12H spécifique à SGX, puis vérifiez le provisionnement du micrologiciel, la prise en charge du pilote ou de l'environnement d'exécution et les exigences d'attestation de l'application. Respectez la configuration prise en charge exacte de la plateforme.

La capacité, l'activation et l'application doivent être vérifiées séparément. Un processeur peut prendre en charge une protection tandis que le système d'exploitation, l'application ou la politique de la machine virtuelle ne l'active pas. Un champ de prise en charge d'une base de données n'est pas une attestation d'un système en cours d'exécution.

Ce que la fonctionnalité n'établit pas

Une étiquette SGX n'établit pas les détails SGX1/SGX2, le contrôle de lancement flexible, la disponibilité du service d'attestation ou une capacité de mémoire d'enclave particulière. Elle ne rend pas confidentielles des applications non modifiées arbitraires et n'élimine pas tous les canaux auxiliaires.

Compatibilité et performances en pratique

Maintenez le système d'exploitation, le micrologiciel et le runtime concerné à jour. Si une protection révèle un problème de compatibilité, utilisez d'abord les diagnostics du fournisseur et les mises à jour prises en charge. Une activation générale d'une protection peut affecter des applications sans rapport et doit suivre une politique de déploiement et de récupération explicite.

Une liste de contrôle pratique pour la vérification

  1. Enregistrez le modèle exact de processeur ou de plateforme ainsi que les versions de l'application, du système d'exploitation et du runtime concernés. Conservez la formulation de l'erreur ou de l'exigence réelle.
  2. Consultez la référence du fabricant pour ce modèle exact, puis inspectez la capacité effective et l'état activé dans l'environnement où le programme s'exécute.
  3. Comparez chaque exigence du binaire ou du backend sélectionné. Une fonctionnalité au nom similaire, un alias ou une étiquette technologique générale ne suffisent pas.
  4. Confirmez que l'application a sélectionné l'implémentation prévue. Utilisez ses diagnostics documentés et une solution de repli prise en charge lorsque les exigences ne sont pas satisfaites.
  5. Effectuez une seule modification prise en charge à la fois et répétez la même charge de travail. Gardez la configuration d'origine et une procédure de récupération disponibles.

Si la fonctionnalité est répertoriée mais que le logiciel ne peut pas l'utiliser

Commencez par le composant exact en échec. Une base de données matérielle décrit une capacité enregistrée ; le système d'exploitation ou l'hyperviseur peut exposer un environnement effectif différent. Une erreur d'instruction non autorisée nécessite également d'examiner l'instruction fautive réelle et le binaire compilé, car une corruption ou une instruction non prise en charge sans rapport peut produire un symptôme similaire.

Installez la version de l'application, du pilote ou du runtime prise en charge pour la plateforme exacte, et utilisez la version de référence ou de secours documentée par le fournisseur si nécessaire. Une mise à jour logicielle ne peut pas créer une instruction dont le processeur est dépourvu. Les modifications de micrologiciel et de politique de sécurité doivent suivre la procédure du fabricant du système et un plan de récupération plutôt qu'une recette d'optimisation générique.

Sources et portée de cette explication

Intel 64 and IA-32 Architectures Software Developer's Manual · Implémentation de référence pour développeur Intel SGX

Ces références établissent le comportement architectural et les exigences logicielles. Elles ne vérifient pas de manière indépendante chaque valeur de fonctionnalité sur la page d'un modèle matériel associé. Pour la prise en charge d'un modèle, utilisez les preuves du fabricant fournies sur cette page et vérifiez la configuration effective du système. Cet article ne fournit pas de benchmark, de certification ou de date d'évaluation indépendante.

Sources et vérification

Responsabilité éditoriale : Feex. Aucune date de révision indépendante n'est enregistrée. Notre méthodologie de recherche.

Cet article vous a-t-il été utile ?

Un simple oui ou non suffit. Choisissez une raison si vous le souhaitez, ou ajoutez une courte remarque.

Cet article vous a-t-il été utile ?