En informatique confidentielle, le serveur de vérification de l'utilisateur (le vérificateur) contrôle le rapport d'attestation reçu d'un TEE de type VM avant de remettre la clé qui déchiffre les données. Quel est l'ensemble de points à vérifier le plus approprié ?

Réponse : A. Que la signature remonte à la clé du fabricant du CPU, que les mesures au démarrage sont celles attendues, que la version de la TCB est au moins égale à la version corrigée et que le nonce envoyé par le vérificateur y figure

La vérification de la signature montre seulement que le rapport provient d'un véritable TEE. Ce qui a démarré à l'intérieur se vérifie en comparant les mesures à des valeurs connues comme correctes, et la présence du nonce envoyé par le vérificateur confirme que le rapport vient d'être produit et n'est pas un rejeu. En outre, un TEE fonctionnant avec un firmware ou un microcode antérieur à la correction d'une vulnérabilité peut lui aussi produire des rapports correctement signés ; on vérifie donc aussi que la version de la TCB inscrite dans le rapport (les numéros de version de sécurité) est au moins égale à la version corrigée. Si le rapport contient l'empreinte d'une clé publique servant à la communication, on peut faire en sorte que la clé remise n'atteigne que cette machine virtuelle.