Virtual Machine of Multos M3 - G230M mask with AMD 113v4
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.
Référence du certificat : | 2013/40 |
---|---|
Date de certification : | 04/07/2013 |
Catégorie : | Cartes à puce |
Référentiel : | Critères Communs version 3.1r3 |
Développeur(s) : | Multos International / Trusted Labs |
Commanditaire(s) : | Multos International |
Centre d'évaluation : | THALES (TCS – CNES) |
Niveau : | EAL7 |
Profil de protection : | |
Accords de reconnaissance : | SOG-IS CCRA |
Augmentations : |