Le produit certifié est la carte à puce « SLJ 52 Gxx yyy AL, version 5.7 » développée par
Trusted Logic et Infineon. Il est composé d'une application pour passeport électronique sur
plateforme jTOP INFv#46 masquée sur composants Infineon SLE78CLX1600PM,
SLE78CLX800P et SLE78CLX360PM.
La présente évaluation porte sur un produit en double composition :
– une première composition dont le résultat est la plate-forme « Java Trusted Open
Platform (jTOP) INFv#46 masquée sur composants SLE78CLX1600PM, SLE78CLX800P et SLE78CLX360PM » et certifiée sous la référence [ANSSI-CC-2013/55]. Le produit résultant est appelé « produit hôte » dans la suite de ce document ;
– une deuxième composition entre l'applet de passeport électronique et le produit hôte
susmentionné.
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 (ICAO) et les profils de
protection Extended Access Control [PP EAC] et Standard Inspection Procedure with PACE[PP PACE].