Rapport de certification Memory Arrays avec Memory Gateways Version 5.5.2 Préparé par : Le Centre de la sécurité des télécommunications à 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, 2014 Numéro du 383-4-266-CR document : Version : 1.0 Date : 4 juillet 2014 Pagination : i à iii, 1 à 8
AVERTISSEMENT Les produits de technologies de l information (TI) décrits dans le présent rapport de certification et sur le certificat afférent ont été évalués selon la Méthodologie d évaluation commune des produits de sécurité des TI, 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 4, par un centre d évaluation approuvé établi dans le cadre du Schéma canadien d évaluation et de certification selon les Critères communs (SCCC). Le présent rapport et le certificat afférent valent uniquement pour la version indiquée et la configuration évaluée des produits. 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 des produits TI par le Centre de la sécurité des télécommunications (CST) 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 les produits TI sont garantis par le CST ou par toute autre organisation qui entérine ce rapport et le certificat afférent. - Page i sur iii -
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. 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 mené la présente évaluation est EWA-Canada. En décernant le certificat, l organisme de certification affirme que les produits sont conformes 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 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 relativement aux exigences de sécurité. Le présent rapport de certification accompagne le certificat d évaluation du produit daté du 4 juillet 2014et la cible de sécurité énoncée à la section Error! Reference source not found. 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 (LPC) 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 à la marque de commerce ou la marque déposée suivante : Violin Memory est une marque déposée de Toute reproduction du présent rapport est autorisée pourvu qu il soit reproduit dans sa totalité. - Page ii sur iii -
TABLE DES MATIÈRES AVERTISSEMENT... i AVANT-PROPOS... ii Sommaire... 1 1 Définition de la cible d'évaluation... 2 2 Description de la TOE... 2 3 Politique de sécurité... 3 4 Cible de sécurité... 3 5 Conformité aux Critères communs... 3 6 Hypothèses et clarification de la portée... 3 6.1 HYPOTHÈSES LIÉES À L'UTILISATION SÛRE... 3 6.2 HYPOTHÈSES LIÉES À L'ENVIRONNEMENT... 4 7 Configuration évaluée... 4 8 Documentation... 4 9 Activités d'analyse de l'évaluation... 5 10 Essais des produits de sécurité des TI... 5 10.1 ÉVALUATION DES TESTS PAR LES DÉVELOPPEURS... 6 10.2 TESTS FONCTIONNELS INDÉPENDANTS... 6 10.3 TESTS DE PÉNÉTRATION INDÉPENDANTS... 6 10.4 DÉROULEMENT DES TESTS... 7 10.5 RÉSULTATS DES TESTS... 7 11 Résultats de l'évaluation... 7 12 Commentaires, observations et recommandations de l'évaluateur... 7 13 Acronymes, abréviations et sigles... 8 14 Références... 8 - Page iii sur iii -
Sommaire Les produits Memory Arrays with Memory Gateways Version 5.5.2 (ci-après nommés ), de, sont la cible d évaluation (TOE pour Target of Evaluation). Les résultats de l évaluation démontrent que la fonctionnalité de sécurité de qui a été évaluée satisfait aux exigences du niveau d assurance de l évaluation (EAL pour Evaluation Assurance Level) 2 +. Les produits sont des matrices de mémoire autonomes à des fins particulières. Les produits permettent l opération efficace de milliers de dispositifs flash en tant que matrice de mémoire flash. Ils peuvent être utilisés par les applications exigeant le traitement actif ou l accès rapide à d importants volumes de données. Il est possible de configurer la mémoire flash en tant que numéros d unité logique multiples et d y accéder au moyen des serveurs et des protocoles de transport d accès utilisant des blocs de données standards sur un réseau de stockage (SAN pour Storage Area Network). L accès à un numéro d unité logique peut être limité à une liste de serveurs de numéro d unité logique particulier par des administrateurs autorisés. Le CECC qui a réalisé la présente évaluation est EWA-Canada. L évaluation s est terminée le 12 mai 2014 et a été effectuée selon les règles prescrites par le Schéma canadien d évaluation et de certification selon les Critères communs (SCCC). La portée de cette évaluation est définie par la cible de sécurité (ST pour Security Target), qui indique les hypothèses formulées pendant l évaluation, l environnement prévu pour l utilisation des produits, ainsi que les exigences de sécurité fonctionnelles et d assurance. 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 ainsi que des recommandations énoncées dans le présent rapport de certification. Le Centre de la sécurité des télécommunications, à titre d organisme de certification du SCCC, déclare que l évaluation des produits 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 produits certifiés (LPC) selon les Critères communs et sur le portail des Critères communs (site Web officiel du projet des Critères communs). - Page 1 sur 8 -
1 Définition de la cible d évaluation Les produits Memory Arrays avec Memory Gateways Version 5.5.2 (ci-après nommés ), de sont la cible d évaluation (TOE pour Target of Evaluation) de l évaluation au niveau d assurance de l évaluation (EAL pour Evaluation Assurance Level) 2 +. 2 Description de la TOE Les produits sont des matrices de mémoire autonomes à des fins particulières. Les produits permettent l opération efficace de milliers de dispositifs flash en tant que matrice de mémoire flash. Ils peuvent être utilisés par les applications exigeant le traitement actif ou l accès rapide à d importants volumes de données. Il est possible de configurer la mémoire flash en tant que numéros d unité logique multiples et d y accéder au moyen des serveurs et des protocoles de transport d accès utilisant des blocs de données standards sur un réseau de stockage (SAN pour Storage Area Network). L accès à un numéro d unité logique peut être limité à une liste de serveurs de numéro d unité logique particulier par des administrateurs autorisés. Voici un diagramme de l architecture des produits : - Page 2 sur 8 -
3 Politique de sécurité Les produits appliquent une politique de contrôle d accès axée sur les rôles afin de contrôler l accès de type administration au système. De plus, les produits appliquent des politiques concernant les classes fonctionnelles de sécurité suivantes : vérification de sécurité; gestion de la sécurité; protection des données de l utilisateur; identification et authentification. 4 Cible de sécurité La ST associée au présent rapport de certification est définie comme suit : Memory Arrays avec Memory Gateways Security Target, Version 1.7, 4 mars 2014. 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 4, 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 4. Les produits sont : a. conformes à toutes les exigences d assurance de sécurité du niveau augmenté, ainsi qu à l exigence suivante : ALC_FLR.2. b. conformes à la partie 2 des Critères communs, avec les exigences fonctionnelles de sécurité basées uniquement sur les composants fonctionnels de la partie 2; c. conformes à la partie 3 des Critères communs, avec les exigences d assurance de sécurité basées uniquement sur les composants d assurance de la partie 3. 6 Hypothèses et clarification de la portée Les utilisateurs des produits devraient considérer les hypothèses formulées au sujet de leur utilisation et de leurs paramètres environnementaux, dont entre autres les exigences pour l installation et l environnement opérationnel des produits. 6.1 Hypothèses liées à l utilisation sûre Les hypothèses sur l utilisation sûre, qui sont énoncées ci-dessous, figurent également dans la ST. Une ou plusieurs personnes compétentes seront affectées à la gestion de la TOE et de la sécurité de l information qu elle contient. - Page 3 sur 8 -
Les administrateurs autorisés ne sont ni imprudents, ni sciemment négligents, ni hostiles; ils suivent et respectent les instructions fournies dans la documentation de la TOE. 6.2 Hypothèses liées à l environnement Les hypothèses liées à l environnement, énoncées ci-dessous, figurent dans la ST. Les composants de la TOE seront interconnectés à l aide d un réseau de gestion séparé qui protège le trafic intra-toe contre toute divulgation ou modification par des systèmes ou utilisateurs non fiables. Le matériel et les logiciels essentiels à l application des politiques de sécurité de la TOE seront protégés contre toute modification physique non autorisée. 7 Configuration évaluée La configuration évaluée des produits comprend les modèles d appareils suivants : 6606; 6611; 6616; 6212; 6222; 6232. Chaque modèle comprend les logiciels préinstallés suivants : vmos, c est-à-dire Memory Arrays avec Memory Gateways version 5.5.2, édition 1, tourne sur les contrôleurs de matrice; vshare, c'est-à-dire Memory Arrays avec Memory Gateways Version 5.5.2, édition 7, tourne sur Memory Gateways; Ces modèles fournissent tous la même fonction de sécurité, mais diffèrent dans le débit, le type de flash et la capacité de flash. Les publications Memory Array Installation Guide For Release A5.5.2 and G5.5.2; Violin Memory Arrays Version 5.5.2 Common Criteria Supplement décrivent les procédures nécessaires à l installation et à l opération des produits Violin Memory 6000 Series dans la configuration qui a été évaluée. 8 Documentation Les documents que fournit aux utilisateurs sont les suivants : - Page 4 sur 8 -
Memory Array Installation Guide For Release A5.5.2 and G5.5.2; Memory Array User's Guide For Release A5.5.2 and G5.5.2; Violin Memory Arrays Version 5.5.2 Common Criteria Supplement. 9 Activités d analyse de l évaluation Les activités d analyse de l évaluation ont consisté en une évaluation structurée des produits, y compris de ce qui suit : Développement : Les évaluateurs ont analysé les spécifications fonctionnelles et la documentation de conception des produits et ont déterminé qu elles décrivent l objectif et la méthode d utilisation de chacune des interfaces des fonctions de sécurité de la TOE (TSF pour TOE Security Function). De plus, ils ont déterminé que les spécifications fonctionnelles des produits représentent une instanciation exacte et complète des SRF. Guides : Les évaluateurs ont examiné les guides d utilisation préparatoires et opérationnels des produits et ont constaté qu ils décrivaient suffisamment en détail et sans ambiguïté la façon sûre de transformer la TOE en configuration évaluée et la manière d utiliser et de gérer les produits. 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 des produits et la documentation connexe. Ils ont constaté que les éléments de configuration des produits étaient clairement indiqués. 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é des produits quand il est distribué aux utilisateurs. Les évaluateurs ont examiné les procédures de correction d anomalies utilisées par le développeur pour les produits. 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 cellesci é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 des produits. Toutes ces activités d évaluation ont obtenu la cote RÉUSSITE. 10 Essais des produits de sécurité des TI Les essais comportent les étapes suivantes : évaluation des tests faits par le développeur, exécution de tests fonctionnels indépendants, et exécution de tests de pénétration. - Page 5 sur 8 -
10.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 1. Les évaluateurs ont analysé la couverture des tests du développeur et ont conclu qu elle était 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. 10.2 Tests fonctionnels indépendants Pendant l évaluation, les évaluateurs ont élaboré des tests fonctionnels indépendants en examinant la documentation de conception et les guides. Tous les tests ont été planifiés et documentés de manière suffisamment détaillée pour permettre la reproductibilité des procédures d essai et des résultats. Cette approche de couverture des tests a permis d obtenir la liste ci-dessous des objectifs de test : a. Initialisation, vérification et configuration : Ce test sert à confirmer que la TOE a été initialisée, vérifiée et configurée correctement avant les tests fonctionnels. b. Réexécution des tests du développeur : Ce test vise à répéter un sous-ensemble des tests du développeur. c. Ouvertures de session simultanées et comportement lié à celles-ci : Ce test vise à démontrer le comportement de la TOE lors d ouvertures de session simultanées ainsi que l identification et l autorisation des utilisateurs, la gestion des comptes utilisateur et la gestion de la sécurité qui y sont associées. d. Rôles de sécurité, données TSF et liaisons utilisateur-sujet : Ce test vise à démontrer la gestion des rôles de sécurité, des données TSF et des liaisons utilisateur-sujet. e. Fermeture de session après une période d inactivité : Ce test vise à démontrer la fermeture de la session de la TOE après une période d inactivité. 10.3 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. Utilisation d outils automatisés de balayage des vulnérabilités en vue de découvrir des vulnérabilités possibles des couches réseau, plateforme et application. b. Capture de bannière : Ce test vise à déterminer s il est possible d obtenir de l information utile au moyen de Memory Gateway IP ou de Array Controller Module Management IP de Violin Memory. 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 6 sur 8 -
c. Exploitation de Heartbleed : Ce test vise à déterminer si la TOE est vulnérable à l exploit Heartbleed d OpenSSL, et à tenter de compromettre la TOE en l utilisant. 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. 10.4 Déroulement des tests Les produits ont fait l objet d une série complète de tests fonctionnels et de pénétration indépendants documentés de manière officielle. Les tests ont eu lieu dans les installations EEPSTI (Évaluation et essais des produits de sécurité des technologies de l information). 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. 10.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 les produits se comportent de la manière spécifiée dans la ST et dans les spécifications fonctionnelles. 11 Résultats de l évaluation Cette évaluation a mené à l obtention 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. 12 Commentaires, observations et recommandations de l évaluateur Lorsque la TOE est démarrée, on recommande qu elle reste en fonction, qu elle soit alimentée au moyen d un système d alimentation sans coupure et qu elle soit conservée dans un environnement climatisé avec une bonne circulation d air. - Page 7 sur 8 -
13 Acronymes, abréviations et sigles Acronyme, abréviation ou sigle Description CECC EAL LPC LUN PALCAN RTE SAN SCCC SFR ST TI TOE TSF Centre d évaluation selon les Critères communs Evaluation Assurance Level (niveau d assurance de l évaluation) Liste des produits certifiés Logical Unit Number Programme d accréditation des laboratoires Canada Rapport technique d évaluation Storage Area Network (résau de stockage) Schéma canadien d évaluation et de certification selon les critères communs Security Functional Requirement (exigences fonctionnelles de sécurité) Security Target (cible de sécurité) Technologies de l information Target of Evaluation (cible d évaluation) TOE Security Functionality (fonctionnalité de sécurité de la TOE) 14 Références Voici tous les documents de référence utilisés pour la compilation du présent rapport : a. SCCC, Publication n o 4, Contrôle technique, version 1.8, octobre 2010. b. Critères communs pour l évaluation de la sécurité des technologies de l information, version 3.1, révision 4, septembre 2012. c. Méthodologie d évaluation commune pour la sécurité des technologies de l information, version 3.1, révision 4, septembre 2012. d. Memory Arrays with Memory Gateways Security Target, Version 1.7, 4 mars 2014 e. Evaluation Technical Report for Violin Memory, Inc Memory Arrays with Memory Gateways, v1.0, 12 mai 2014. - Page 8 sur 8 -