| Source | https://cyber.gouv.fr/produits-certifies/pp-embedded-software-smart-secure-devices-basic-and-extended-configurations |
| Date de publication | 2009-12-01T00:00:00 |
| Date de mise à jour | 2023-10-04T00:00:00 |
| Description | 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 |
| Documents | |
