Ce site est une archive officieuse de l'ancien site de l'ANSSI, remplacé fin novembre 2023.
Veuillez aller sur https://cyber.gouv.fr/ pour naviguer le site officiel.

Produits certifiés CC

Virtual Machine of ID Motion V1 G231 mask with AMD 122v1

  • Référence :
    2013/11
  • Date de certification :
    29/03/2013
  • Catégorie : Cartes à puce
  • Référentiel : Critères Communs version 3.1r3
  • Niveau : EAL7
  • Développeur(s) / Commanditaire(s) : Gemalto / Trusted Labs / Gemalto
  • Centre d'évaluation : THALES (TCS - CNES)
  • Accords de reconnaissance : SOG-IS - CCRA

Descriptif du produit

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.