Carte à puce TL ICAO LDS : applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20ID masquée sur le composant SLE66CLX800PE

Publié le 17 Juillet 2009 Mis à jour le 17 Juillet 2014
Introduction

Le produit évalué est la carte à puce TL ICAO LDS, version 2.0, développée par Trusted Logic.

Il est constitué d'une applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20ID de Trusted Logic, elle-même masquée sur le composant SLE66CLX800PE d'Infineon technologies AG.

La cible d'évaluation (TOE pour Target Of Evaluation) est le résultat d'une double composition :
- une première composition entre la plate-forme JCLX80jTOP20ID (système d'exploitation et plate-forme Java Card Open) et le composant SLE66CLX800PE d'Infineon Technologies, qui correspond à la carte à puce « JCLX80jTOP20ID : Java Trusted Open Platform sur composant SLE66CLX800PE », certifiée sous la référence [DCSSI-2008_43] (dans la suite de ce document, ce produit sera désigné par « produit hôte ») ;
- une deuxième composition entre l'applet de passeport électronique et le produit susmentionné, qui correspond au produit ici certifié.

Le produit implémente les fonctionnalités de document de voyage électronique telles que spécifiées par l'Organisation de l'Aviation Civile Internationale (cf. [OACI]) et le profil de protection Extended Access Control (cf [PP EAC]).

Référence du certificat : 2009/21
Date de certification : 17/07/2009
Catégorie : Cartes à puce
Référentiel : Critères Communs version 3.1r2
Développeur(s) : Trusted Logic - Infineon Technologies AG
Commanditaire(s) : Trusted Logic
Centre d'évaluation : Serma Technologies
Niveau : EAL4+
Profil de protection : BSI-PP-0026
Accords de reconnaissance : SOG-IS CCRA
Augmentations : ALC_DVS.2, AVA_VAN.5