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