Virtual Machine of ID Motion V1 G231 mask with AMD 122v1
La cible d'évaluation est la fonctionnalité « Virtual Machine of ID Motion V1 - G231 mask with AMD 122v1 » développée par Gemalto et Trusted Labs.
Cette fonctionnalité fait partie du produit « Plateforme ID Motion V1 avec AMD 122v1 sur composants M7801 A12 » développé par Gemalto et Infineon, et certifié par l'ANSSI sous la
référence [ANSSI-CC-2012/85].
Ce produit est de type « carte à puce » en mode contact seul. Il est conçu de façon à ce que
plusieurs applications puissent être chargées et exécutées de façon sécurisée sur la carte à puce. Ces applications sont écrites dans un langage nommé MEL (« Multos Executable Language 1 »).
Les applications en langage MEL sont interprétées par la machine virtuelle («Virtual Machine ») qui est l'objet de cette évaluation.
Référence du certificat : | 2013/11 |
---|---|
Date de certification : | 29/03/2013 |
Catégorie : | Cartes à puce |
Référentiel : | Critères Communs version 3.1r3 |
Développeur(s) : | Gemalto / Trusted Labs |
Commanditaire(s) : | Gemalto |
Centre d'évaluation : | THALES (TCS - CNES) |
Niveau : | EAL7 |
Profil de protection : | |
Accords de reconnaissance : | SOG-IS CCRA |
Augmentations : |