Produits certifiés CC


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

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

Descriptif du produit

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]).