Rapport de certification

Transcription

1 Rapport de certification Évaluation EAL 2+ du produit Verdasys Préparé par le Centre de la sécurité des télécommunications Canada à titre d organisme de certification dans le cadre du Schéma canadien d évaluation et de certification selon les Critères communs Gouvernement du Canada, Centre de la sécurité des télécommunications Canada (CSTC), 2012 Numéro de CR document : Version : 1.0 Date : 25 octobre 2012 Pagination : i à iii, 1 à 10

2 AVERTISSEMENT Le produit des technologies de l information (TI) inscrit sur le présent rapport et sur le certificat afférent a été évalué selon la Méthodologie d évaluation commune pour la sécurité des technologies de l information, version 3.1, révision 3, à des fins de conformité aux Critères communs d évaluation de la sécurité des TI, version 3.1, révision 3 par une installation d évaluation approuvée, établie dans le cadre du Schéma canadien d évaluation et de certification selon les Critères communs. Ce rapport et le certificat afférent valent uniquement pour la version indiquée du produit, dans la configuration qui a été évaluée. L évaluation a été effectuée conformément aux dispositions du SCCC, et les conclusions formulées dans le rapport technique d évaluation correspondent aux éléments présentés en preuve. Le présent rapport et le certificat afférent ne constituent pas une homologation du produit TI par le Centre de la sécurité des télécommunications Canada (CSTC) ou par toute autre organisation qui reconnaît ou entérine ce rapport et le certificat afférent, et ne signifie pas, ni implicitement ni explicitement, que le produit TI est garanti par le CSTC ou par toute autre organisation qui entérine ce rapport et le certificat afférent. Page i de iii -

3 AVANT-PROPOS Le Schéma canadien d évaluation et de certification selon les Critères communs (SCCC) offre un service d évaluation par une tierce partie en vue de déterminer la fiabilité des produits de sécurité des TI. Les évaluations sont réalisées par un centre d évaluation selon les Critères communs (CECC) sous la direction de l organisme de certification du SCCC, ce dernier étant géré par le Centre de la sécurité des télécommunications Canada. Un CECC est une installation commerciale qui a obtenu l approbation de l organisme de certification du SCCC en vue d effectuer des évaluations selon les Critères communs. Une des exigences principales, à cette fin, est l obtention de l accréditation selon les prescriptions du Guide ISO/IEC 17025:2005, Prescriptions générales concernant la compétence des laboratoires d étalonnage et d essais. L accréditation est obtenue dans le cadre du Programme d accréditation des laboratoires Canada (PALCAN), régi par le Conseil canadien des normes. Le CECC qui a effectué la présente évaluation est CGI Security Evaluation and Test Facility situé à Ottawa, en Ontario. En décernant le certificat, l organisme de certification affirme que le produit est conforme aux exigences de sécurité précisées dans la cible de sécurité afférente. Une cible de sécurité est un document qui comporte des spécifications requises, définit les activités d évaluation et en établit la portée. L utilisateur d un produit de TI certifié devrait examiner la cible de sécurité, en plus du rapport de certification, pour comprendre les hypothèses formulées dans le cadre de l évaluation, l environnement d utilisation prévu pour le produit, ses exigences de sécurité et le niveau de fiabilité (qui correspond au niveau d assurance de l évaluation) auquel le produit satisfait aux exigences de sécurité. Le présent rapport de certification accompagne le certificat d évaluation du produit daté du 25 octobre 2012, ainsi que la cible de sécurité inscrite à la section 4 du présent rapport. Le rapport de certification, le certificat d évaluation du produit et la cible de sécurité sont affichés sur la liste des produits certifiés dans le cadre du SCCC et sur le site portail des Critères communs (site Web officiel du projet des Critères communs). Le présent rapport de certification fait référence aux marques de commerce et aux marques déposées suivantes : Digital Guardian est une marque déposée de Verdasys Inc.; Verdasys est une marque de commerce de Verdasys Inc.; Microsoft et Windows sont des marques de commerce déposées de Microsoft Corporation. Toute reproduction du présent rapport est autorisée pourvu que ce dernier soit reproduit dans sa totalité. Page ii de iii -

4 TABLE DES MATIÈRES AVERTISSEMENT... i AVANT-PROPOS... ii Sommaire Définition de la cible d évaluation Description de la TOE Fonctions de sécurité évaluées Cible de sécurité Conformité aux Critères communs Politique de sécurité Hypothèses et clarification de la portée HYPOTHÈSES LIÉES À L UTILISATION SÛRE HYPOTHÈSES LIÉES À L ENVIRONNEMENT CLARIFICATION DE LA PORTÉE Configuration évaluée Documentation Activités d analyse et d évaluation Essais des produits de sécurité des TI ÉVALUATION DES TESTS PAR LES DÉVELOPPEURS TESTS FONCTIONNELS INDÉPENDANTS TESTS DE PÉNÉTRATION INDÉPENDANTS DÉROULEMENT DES TESTS RÉSULTATS DES TESTS Résultats de l évaluation Commentaires, observations et recommandations de l évaluateur Acronymes, abréviations et sigles Références Page iii de iii -

5 Sommaire Verdasys (ci-après désigné par l appellation Digital Guardian), de Verdasys Inc., est la cible d évaluation pour le niveau d assurance de l évaluation EAL 2 augmentée. Digital Guardian est une solution complète de protection de l information d entreprise (EIP pour Enterprise Information Protection) pour les postes de travail et les serveurs. La solution a été évaluée sur des systèmes d exploitation Microsoft Windows. Les solutions EIP protègent les données exclusives et sensibles d une entreprise tout en conservant l intégrité des processus opérationnels. Digital Guardian préconise une approche globale en matière de sécurité de l information d entreprise et est axé sur l information et les politiques. CGI Security Evaluation and Test Facility est le CECC qui a réalisé cette évaluation. L évaluation a été terminée le 9 octobre 2012 et a été menée conformément aux règles du Schéma canadien d évaluation et de certification selon les Critères communs (SCCC). La portée de l évaluation est définie dans la cible de sécurité, qui indique les hypothèses formulées pendant l évaluation, l environnement d utilisation prévu pour le produit Digital Guardian, les exigences de sécurité, ainsi que le niveau de fiabilité (niveau d assurance de l évaluation) pour lequel il est affirmé que le produit satisfait aux exigences de sécurité des TI. On recommande aux utilisateurs du produit de s assurer que leur environnement d exploitation est conforme à celui qui est défini dans la cible de sécurité, et de tenir compte des observations et des recommandations énoncées dans le présent rapport de certification. Les résultats consignés dans le rapport technique d évaluation (RTE) 1 du produit indiquent que celui-ci répond aux exigences d assurance EAL 2 augmentée pour les fonctions de sécurité qui ont été évaluées. L évaluation a été réalisée selon la Méthodologie d évaluation commune pour la sécurité des technologies de l information, version 3.1, révision 3, afin d en déterminer la conformité aux Critères communs pour l évaluation de la sécurité des technologies de l information, version 3.1, révision 3. Les augmentations prises en compte lors de l évaluation sont les suivantes : ALC_FLR.2 Procédure pour signaler les anomalies. Le Centre de la sécurité des télécommunications Canada, à titre d organisme de certification selon le SCCC, affirme que l évaluation du produit Digital Guardian satisfait à toutes les conditions de l Arrangement relatif à la reconnaissance des certificats liés aux Critères communs et que le produit figurera sur la liste des certifiés dans le cadre du SCCC et sur le portail des Critères communs (site Web officiel du projet des Critères communs). 1 Le rapport technique d évaluation est un document du SCCC qui contient de l information exclusive au propriétaire et/ou à l évaluateur, et qui n est pas rendu public. Page 1 sur 10

6 1 Définition de la cible d évaluation La cible d évaluation (TOE pour Target of Evaluation) pour le niveau d assurance de l évaluation EAL 2 augmenté est le produit Verdasys (ci-après désigné par l appellation Digital Guardian), de 2 Description de la TOE Digital Guardian est une solution complète de protection de l information en entreprise (EIP pour Enterprise Information Protection) pour les postes de travail et les serveurs. La solution a été évaluée sur des systèmes d exploitation Microsoft Windows. Les solutions EIP protègent les données exclusives et sensibles d une entreprise tout en conservant l intégrité des processus opérationnels. Digital Guardian préconise une approche globale en matière de sécurité de l information d entreprise et est axé sur l information et les politiques. 3 Fonctions de sécurité évaluées La section 6 de la ST contient une liste complète des fonctions de sécurité évaluées du produit Digital Guardian. Le module cryptographique suivant a été validé en vertu de la norme FIPS : Module cryptographique N o de certificat Verdasys Secure Cryptographic Module (VSEC) 1607 La mise en application des algorithmes cryptographiques suivants, approuvés par le gouvernement du Canada, a été validée pour le produit Digital Guardian : Algorithme cryptographique Norme N o de certificat Secure Hash Standard (SHS) FIPS Advanced Encryption Standard (AES) FIPS Rivest, Shamir, Adleman (RSA) FIPS Deterministic Random Bit generators ANSI X (DRBG) Keyed-Hash Message Authentication Code (HMAC) FIPS Cible de sécurité La cible de sécurité (ST pour Security Target) associée au présent rapport de certification est définie comme suit : Titre : Cible de sécurité Verdasys. Version : 1.4 Date : 2 octobre 2012 Page 2 sur 10

7 5 Conformité aux Critères communs L évaluation a été réalisée selon la Méthodologie d évaluation commune pour la sécurité des technologies de l information, version 3.1, révision 3, afin d en déterminer la conformité aux Critères communs pour l évaluation de la sécurité des technologies de l information, version 3.1, révision 3. Digital Guardian est : a. conforme à la partie 2 des Critères communs et ses extensions, avec un ensemble d exigences de sécurité fonctionnelles énoncées dans la partie 2 et des exigences de sécurité fonctionnelles additionnelles telles qu elles sont définies dans la ST : ESM_ACD_EXT.1 Access Control Policy Definition, ESM_ACE_XT.1 Access Control Policy Transmission, ESM_DSC_EXT.1 Object Discovery, ESM_OAD_EXT.1 Object Attribute Definition; b. conforme à la partie 3 des Critères communs, sachant que ses exigences d assurance en matière de sécurité ont été tirées uniquement des exigences d assurance de la partie 3; c. conforme au niveau EAL 2 augmenté des Critères communs, contenant toutes les exigences d assurance de sécurité du paquet EAL 2, ainsi que l augmentation suivante : ALC_FLR.2 Procédures pour signaler les anomalies. 6 Politique de sécurité Digital Guardian applique une politique de contrôle d accès axée sur les rôles afin de contrôler l accès des utilisateurs au système. Des détails sur cette politique de sécurité se trouvent à la section 6 de la ST. De plus, le produit Digital Guardian applique des politiques de vérification de sécurité, de protection des données utilisateur, de tolérance aux pannes, de protection de l information en entreprise et de gestion de la sécurité. La section 6 de la ST contient davantage de détails sur ces politiques de sécurité. 7 Hypothèses et clarification de la portée Les utilisateurs du produit Digital Guardian devraient traiter les hypothèses formulées au sujet de son usage et les paramètres d environnement comme des éléments requis pour l installation et l environnement d exploitation, ce qui leur permettra d utiliser la TOE de manière adéquate et sûre. 7.1 Hypothèses liées à l utilisation sûre Les hypothèses sur l utilisation sûre ci-dessous figurent dans la ST : Page 3 sur 10

8 Une ou plusieurs personnes compétentes ont été assignées à la gestion de la TOE. Les administrateurs autorisés ne sont pas hostiles, ont reçu une formation appropriée et respecteront les instructions fournies dans la documentation de la TOE. Les sujets agissant à titre d utilisateurs de la TOE sont authentifiés par un mécanisme sûr. La TOE est gérée de façon à traiter de manière appropriée les changements au système de TI qu elle contrôle. Une ou plusieurs personnes compétentes seront affectées à la gestion de la TOE et à la sécurité de l information qu elle contient. 7.2 Hypothèses liées à l environnement Les hypothèses liées à l environnement ci-dessous figurent dans la ST : La TOE est installée sur le matériel et le système d exploitation réservés à cette fin. Le matériel et le logiciel de la TOE sur lesquels elle s appuie pour appliquer la politique de sécurité sont protégés contre toute modification non autorisée. Les ressources de traitement de la TOE sont situées dans des installations à accès contrôlé. Les données sur l identité et d attribut des utilisateurs de l agent de la TOE sont transmises au moyen d un répertoire organisationnel sécurisé dans l environnement de la TOE. L environnement de la TOE fournira une voie de communication sécurisée entre le serveur et l agent de la TOE. 7.3 Clarification de la portée Le produit assure la protection contre toute tentative accidentelle ou épisodique de pénétration du système de sécurité par des pirates possédant un potentiel d attaque de base. Digital Guardian n est pas conçu pour assurer une protection contre les tentatives délibérées d attaque par des pirates hostiles et bien financés utilisant des techniques d attaque sophistiquées. 8 Configuration évaluée La configuration évaluée pour le produit Digital Guardian comprend les logiciels suivants : Page 4 sur 10

9 Verdasys Digital Guardian Server v tournant sur Microsoft Windows 2008 R2; Verdasys Digital Guardian Agent v tournant sur Microsoft Windows XP SP3, Server 2003 SP2/R2, ou Server 2008 R2. La publication intitulée Guidance Documentation Supplement, version 1.2, 2 octobre 2012, décrit les procédures d installation et d exploitation du produit Digital Guardian dans sa configuration évaluée. 9 Documentation Les documents que Verdasys fournit aux utilisateurs sont les suivants : a. Guidance Documentation Supplement, version 1.2; b. Installing and Using Digital Guardian Archive and Restore for SQL Server, version 6.0.1; c. Installing and Upgrading Digital Guardian, version 6.0.1; d. Quick Reference Card, Digital Guardian, version 6.0.1; e. Release Notes Digital Guardian 6.0.1, mouture Agent 0107, mouture Server 0042; f. Digital Guardian Rule Implementation Guide, version 6.0.1; g. Digital Guardian Unattended Deployment Guide, version 6.0.1; h. Using Digital Guardian, version 6.0.1; i. What s New, Digital Guardian, version 6.0.1, 30 mars 2012; j. Digital Guardian Server Minimum Requirements, version 6.0; k. Digital Guardian Utilities, version 6.x. 10 Activités d analyse et d évaluation Les activités d analyse et d évaluation ont consisté en une évaluation structurée du produit Digital Guardian, notamment des éléments suivants : Développement : Les évaluateurs ont analysé les spécifications fonctionnelles et la documentation de conception du produit Digital Guardian. Ils ont déterminé que la conception décrit de manière exacte et complète les interfaces des fonctionnalités de sécurité de la TOE (TSF pour TOE security functionality) et les sous-systèmes TSF, de même que le Page 5 sur 10

10 processus des TSF lié à la mise en œuvre des exigences fonctionnelles de sécurité (SFR pour security functional requirements). Les évaluateurs ont analysé la description de l architecture de sécurité du produit Digital Guardian et ont déterminé que le processus d initialisation est sécurisé, que les fonctions de sécurité sont protégées contre le trafiquage et les contournements, et que les domaines de sécurité sont maintenus. De plus, ils ont indépendamment vérifié que les renvois dans les documents de conception sont corrects. Guides : Les évaluateurs ont examiné les guides d utilisation préparatoires et opérationnels du produit Digital Guardian et ont déterminé qu ils décrivent suffisamment en détail et sans ambiguïté la façon de transformer de manière sûre la TOE en configuration évaluée, ainsi que la manière de l utiliser et de l administrer. Ils ont examiné et testé les guides d utilisation préparatoires et opérationnels et ont déterminé qu ils sont complets et suffisamment détaillés pour assurer une configuration sûre. Support au cycle de vie : Les évaluateurs ont analysé le système de gestion de la configuration du produit Digital Guardian et la documentation connexe. Ils ont constaté que les éléments de configuration du produit Digital Guardian étaient clairement indiqués. Le système de gestion de la configuration du développeur a été observé lors de la visite des lieux, et les évaluateurs ont constaté que ce système est évolué et bien développé. Les évaluateurs ont examiné la documentation de livraison et ont établi qu elle décrit toutes les procédures nécessaires pour préserver l intégrité du produit Digital Guardian quand il est distribué aux utilisateurs. Les évaluateurs ont examiné les procédures de correction d anomalies utilisées par Verdasys pour Digital Guardian. Lors d une visite du site, ils ont également examiné la preuve générée par le respect des procédures. Ils ont conclu que les procédures étaient adéquates et permettaient de pister et de corriger les anomalies de sécurité et de communiquer cette information, et les corrections pertinentes, aux utilisateurs du produit. Estimation des vulnérabilités : Les évaluateurs ont effectué une analyse de vulnérabilité indépendante du produit Digital Guardian. De plus, ils ont effectué une recherche dans les bases de données des vulnérabilités disponibles dans le domaine public afin de cerner des vulnérabilités potentielles du produit Digital Guardian. Les évaluateurs ont relevé des vulnérabilités qui pouvaient faire l objet de tests dans l environnement opérationnel du produit Digital Guardian. Toutes ces activités d évaluation ont obtenu la cote RÉUSSITE. 11 Essais des produits de sécurité des TI Les tests au niveau EAL 2 comportent les étapes suivantes : évaluation des tests réalisés par le développeur, exécution de tests fonctionnels indépendants et exécution de tests de pénétration. Page 6 sur 10

11 11.1 Évaluation des tests par les développeurs Les évaluateurs ont vérifié que le développeur avait satisfait à ses responsabilités en matière de tests en examinant les preuves connexes ainsi que les résultats consignés dans le RTE 2. Les évaluateurs ont analysé la couverture des tests du développeur et ont conclu qu elle est complète et précise. La correspondance entre la spécification fonctionnelle et les tests indiqués dans la documentation des tests du développeur est complète Tests fonctionnels indépendants Pendant l évaluation, les évaluateurs ont élaboré des tests fonctionnels afin d étayer les tests du développeur en examinant la documentation de conception et les guides, en examinant la documentation des tests du développeur, en répétant un sous-ensemble des procédures de test du développeur et en créant des scénarios de test allant au-delà des tests réalisés par le développeur. Tous les tests ont été planifiés et consignés de manière suffisamment détaillée pour permettre de répéter les procédures d essai et les résultats. Cette approche de couverture des tests a permis d obtenir la liste ci-dessous des objectifs de test de l évaluation de CGI Security Evaluation and Test Facility. a. Réexécution des tests de développeur L objectif de test est de répéter les tests de développeur. b. Tests d un évaluateur indépendant L objectif du test est de mettre à l essai la fonctionnalité évaluée au moyen de tests d un évaluateur indépendant. Les tests suivants ont été menés : Initialisation L objectif de test est d obtenir les procédures de détermination de la configuration du système afin de s assurer que la TOE testée est correcte. Identification et authentification L objectif de test est de confirmer que les utilisateurs ayant un nom d utilisateur ou un mot de passe invalide ne puissent pas accéder à la TOE. Gestion de la sécurité L objectif de test vise à vérifier la gestion des attributs, des fonctions et des rôles de sécurité. Panne de réseau L objectif de test est de tester la capacité de reprise des agents Digital Guardian quand le réseau est en panne. 2 Le rapport technique d évaluation est un document du SCCC qui contient de l information exclusive au propriétaire et/ou à l évaluateur, et qui n est pas rendu public. Page 7 sur 10

12 Règles de protection L objectif de test est de vérifier l utilisation de règles de protection lors de la création d un modèle d enregistrement sécurisé. Déchiffrement après l expiration L objectif de test est de vérifier s il est possible de récupérer une clé expirée ayant été utilisée pour chiffrer un fichier avant son expiration afin de le déchiffrer Tests de pénétration indépendants Après l examen indépendant des bases de données sur les vulnérabilités du domaine public et de tous les résultats de l évaluation, les évaluateurs ont effectué des tests indépendants et limités de pénétration. Les tests de pénétration concernaient principalement ce qui suit : a. Le contournement On a tenté de contourner le mode furtif afin d identifier le logiciel Digital Guardian Agent. On a tenté de manipuler les politiques appliquées du produit Digital Guardian Agent afin de permettre à un pirate d effectuer une saisie d écran de données sensibles et d imprimer ces saisies d écran. On a tenté de contourner l utilisation de la liste noire. On a tenté de renverser la politique en copiant des données dans d autres flux de données pour pouvoir en faire la lecture. b. Attaques par élévation des privilèges L objectif de test est de tenter d élever des privilèges en exploitant un des drapeaux «SK». c. Évitement des politiques de chiffrement L objectif de test est de tenter d éviter les politiques de chiffrement en renversant la façon par laquelle le chiffrement est appliqué. Les tests de pénétration indépendants n ont permis de découvrir aucune vulnérabilité exploitable dans l environnement d exploitation prévu Déroulement des tests Digital Guardian a fait l objet d une série complète de tests fonctionnels et de pénétration indépendants, formellement documentés. Les tests ont eu lieu dans les installations EEPSTI (Évaluation et essais des produits de sécurité des technologies de l information) de CGI Security Evaluation and Test Facility. Des représentants de l organisme de certification du SCCC ont assisté à une partie des tests indépendants. Les activités détaillées de test, y compris les configurations, les procédures, les scénarios de test, les résultats prévus et les résultats observés, sont documentées dans un document de résultats de test distinct. Page 8 sur 10

13 11.5 Résultats des tests Les tests réalisés par le développeur et les tests fonctionnels indépendants ont produit les résultats prévus, ce qui donne l assurance que le produit Digital Guardian se comporte de la manière spécifiée dans la ST et dans les spécifications fonctionnelles. 12 Résultats de l évaluation Cette évaluation a constitué la base du niveau d assurance EAL 2 +. Toutes les activités d évaluation ont obtenu la cote RÉUSSITE. Ces résultats sont corroborés par les preuves contenues dans le RTE. 13 Commentaires, observations et recommandations de l évaluateur Au cours des tests et de l évaluation des vulnérabilités, l évaluateur a noté que le serveur Verdasys Digital Guardian contient un grand nombre d options de configuration. L évaluateur recommande que tous les administrateurs potentiels suivent une formation professionnelle d une installation de formation qualifiée sur le produit et les systèmes d exploitation de l agent Digital Guardian cible. 14 Acronymes, abréviations et sigles Acronyme, abréviation ou sigle Description CECC Centre d évaluation selon les Critères communs EAL Niveau d assurance de l évaluation (pour Evaluation Assurance Level) EEPSTI Évaluation et essais de produits de sécurité des technologies de l information EIP Protection de l information de l entreprise (pour Enterprise Information Protection) GC Gestion des configurations LPC Liste des produits certifiés PALCAN Programme d accréditation des laboratoires Canada RTE Rapport technique d évaluation SCCC Schéma canadien d évaluation et de certification selon les Critères communs SFR Exigences fonctionnelles de sécurité (pour Security Functional Requirement) ST Cible de sécurité (pour Security Target) TI Technologie de l information TOE Cible d évaluation (pour Target of Page 9 sur 10

14 Acronyme, abréviation ou sigle TSF Description Evaluation) Fonctionnalité de sécurité de la TOE (pour TOE Security Functionality) 15 Références Voici tous les documents de référence utilisés pour la compilation du présent rapport : a. SCCC, Publication n 4, Contrôle technique, version 1.8, octobre b. Critères communs pour l évaluation de la sécurité des technologies de l information, version 3.1, révision 3, juillet c. Méthodologie d évaluation commune pour la sécurité des technologies de l information, CEM, version 3.1, révision 3, juillet d. Verdasys, version 1.4, cible de sécurité, 2 octobre e. Verdasys, version 1.0, RTE du 9 octobre Page 10 sur 10