Produits certifiés CC


Virtual Machine of Multos M3 – G230M mask with AMD 113v4

  • Référence :
    2013/40
  • Date :
    04/07/2013
  • Catégorie : Cartes à puce
  • Référentiel : Critères Communs version 3.1r3
  • Niveau : EAL7
  • Développeur(s) / Commanditaire(s) : Multos International / Trusted Labs / Multos International
  • 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 Multos M3 – G230M mask with AMD 113v4 » développée par Multos International et Trusted Labs.

Cette fonctionnalité fait partie du produit « Plateforme Multos M3 avec AMD 113v4 masquée sur composant SLE78CLX1600PM » développé par Multos International et Infineon, et certifié par l'ANSSI sous la référence [ANSSI-CC-2013/39].

Ce produit est de type « carte à puce » en mode contact, et en mode sans contact si l'interface Mifare est supportée par le composant. 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.