CLEARSY accompagne de grands acteurs de l’industrie de la micro-électronique dans la certification selon la norme Critères Communs, un référentiel international (ISO/CEI 15408) servant de référence pour le développement et l’évaluation de produits et systèmes d’information manipulant des données sensibles. Cette certification vise notamment à garantir la confidentialité, l’intégrité et la disponibilité des informations. CLEARSY intervient sur des évaluations de niveau EAL6 et EAL6+.
Le rôle de CLEARSY est de développer des modèles formels, c’est-à-dire des descriptions mathématiques explicites d’un système, de ses données, de ses comportements et des propriétés attendues, permettant d’effectuer des preuves logiques de conformité et de sûreté. Ces modèles démontrent que les produits certifiés respectent la politique de sécurité définie, autrement dit l’ensemble des règles et exigences garantissant la protection des données et des fonctions sensibles du système.
À l’issue de l’évaluation, l’ANSSI délivre la certification attestant du niveau de sécurité atteint par le produit.