instructions Intel® Software Guard Extensions (Intel® SGX) qui chiffrent et déchiffrent les données d’enclave 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.