PP Embedded Software for Smart Secure Devices Basic and Extended Configurations
Publié le 01 Décembre 2009
Mis à jour le 04 Octobre 2023
Introduction
Ce profil de protection s'applique aux produits smart secure devices composés d'un composant électronique sécurisé (Security IC) embarquant du logiciel de type système d'exploitation (native OS - Operating System). Le composant fournit le processeur, les dispositifs de sécurité, le générateur d'aléa, les ports d'entrée et de sortie, les mémoires volatiles et non volatiles. Le logiciel implémente les fonctionnalités du système d'exploitation telles que le démarrage sécurisé, la gestion de la mémoire, la gestion du cycle de vie et, le cas échéant, des fonctionnalités ou comportements applicatifs.
Référence du certificat : | PP-2009/02 |
---|---|
Date de certification : | 01/12/2009 |
Catégorie : | Profil de Protection - Carte à puce |
Référentiel : | Critères Communs version 3.1 |
Développeur(s) : | Trusted Labs SAS |
Commanditaire(s) : | ANSSI |
Centre d'évaluation : | CEA - LETI |
Niveau : | EAL4+ |
Profil de protection : | |
Accords de reconnaissance : | CCRA SOG-IS |
Augmentations : | ALC_DVS.2, AVA_VAN.5 |