Comment les données d’enclave Intel® Software Guard Extensions (Intel® SGX) sont-ils chiffrées et déchiffrées pendant l’échange de pages ?

Impossible de déterminer comment les données d’enclave sont sécurisées lors de l’échange de pages entre cache de page d’enclave (EPC) et mémoire principale.

• L’instruction ISF convertit une page EPC en mémoire principale et chiffre la page avant de la déplacer. Reportez-vous à l’ISF:annulez une page EPC et écrivez à la section mémoire principale de Intel® 64 et du volume 3D manuel du développeur de logiciels IA-32 : Guide de programmation de système, 4e partie pour plus de détails.
• L’instruction ELDU copie les pages de la mémoire non EPC, ou principale, vers la mémoire EPC, déchiffrant la page avant de la copier dans l’EPC. Reportez-vous à la page ELDB/ELDU/ELDBC/ELDUC:chargez une page EPC et cochez sa section d’état de l’architecture Intel® 64 et IA-32. Volume manuel 3D : Guide de programmation système du développeur de logiciels, partie 4 pour plus de détails.

Reportez-vous à la section EPC et Gestion des pages EPC de Intel® 64 et IA-32 Architectures Software Developer’s Manual Volume 3D: System Programming Guide, Partie 4 pour plus de détails sur la façon dont la paging est traitée dans un système Intel SGX.