Rapport de certification

Transcription

1 Rapport de certification SonicWALL SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Appliances Préparé par : 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 N o de document : CR Version : 1.1 Date : 2 juillet 2014 Pagination : i à iii, 1 à 11

2 AVERTISSEMENT Le produit TI décrit dans le présent rapport de certification et sur le certificat afférent a été évalué 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 3, 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 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 (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 le produit TI est garanti par le CST ou par toute autre organisation qui entérine ce rapport et le certificat afférent. Page i sur 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. 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 5 February 2014 et la cible de sécurité énoncée à 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 (LPC) dans le cadre du SCCC et sur le site portail des Critères communs (site Web officiel du projet des Critères communs). Toute reproduction du présent rapport est autorisée pourvu qu il soit reproduit dans sa totalité. Page ii sur 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 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 Acronymes, abréviations et sigles Références Page iii sur iii -

5 Sommaire Le produit SonicWALL SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Appliances (ci-après désigné ), est la cible de la présente évaluation. s est avéré conforme à la version 1.1 (8 juin 2012) du profil de protection pour dispositifs réseau (NDPP pour Network Devices Protection Profile). Le produit est un logiciel personnalisé tournant sur des plateformes spécialisées et agencé de manière à former un dispositif de gestion unifiée des menaces (UTM pour Unified Threat Management). Les UTM sont des coupe-feu de réseau qui offrent des fonctions supplémentaires tels des capacités antivirus et des systèmes de prévention contre les intrusions (IPS pour Intrusion Prevention System). Le produit est géré à partir d une interface utilisateur graphique (IUG) Web. Il est possible d accéder à cette interface à l aide d un dispositif autorisé sur lequel s exécute un navigateur Web compatible connecté directement à l appareil au moyen d un câble réseau et pouvant communiquer au moyen du protocole HTTPS (en anglais, Hypertext Transfer Protocol Secure). Pour les besoins de la présente évaluation, seule la fonctionnalité relevant du profil de protection pour dispositifs réseau (NDPP) a été évaluée et non la fonction UTM. EWA-Canada est le CECC qui a réalisé cette évaluation. Elle a pris fin le 28 November 2013 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 l évaluation est définie dans la cible de sécurité, laquelle décrit les hypothèses formulées dans le cadre de l évaluation, l environnement projeté du produit, les exigences de sécurité, ainsi que le niveau d assurance (niveau d assurance de l évaluation) auquel il est affirmé que le produit satisfait aux exigences de sécurité. 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 1 du produit indiquent que celui-ci répond aux exigences du profil de protection mentionné. 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 4. Le Centre de la sécurité des télécommunications, à titre d organisme de certification selon le SCCC, affirme que l évaluation du produit 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) dans le cadre du SCCC et dans le portail des Critères communs (site Web officiel du projet 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 11

6 1 Définition de la cible d évaluation Le produit SonicWALL SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Appliances (ci-après désigné ), est la cible de la présente évaluation. Le produit SonicOS s est avéré conforme à la version 1.1 (8 juin 2012) du profil de protection pour dispositifs réseau (NDPP v1.1). 2 Description de la TOE Le produit est un logiciel personnalisé tournant sur des plateformes spécialisées et agencé de manière à former un dispositif de gestion unifiée des menaces (UTM pour Unified Threat Management). Les UTM sont des coupe-feu de réseau qui offrent des fonctions supplémentaires tels des capacités antivirus et des systèmes de prévention contre les intrusions (IPS pour Intrusion Prevention System). Le produit est géré à partir d une interface utilisateur graphique (IUG) Web. Il est possible d accéder à cette interface à l aide d un dispositif autorisé sur lequel s exécute un navigateur Web compatible connecté directement à l appareil au moyen d un câble réseau et pouvant communiquer au moyen du protocole HTTPS (en anglais, Hypertext Transfer Protocol Secure). 3 Fonctions de sécurité évaluées La liste complète des fonctionnalités de sécurité évaluées pour le produit se trouve à la section 6 de la ST. Les modules cryptographiques suivants ont été validés en vertu de la norme FIPS : Module cryptographique NSA 4500 et NSA E5500 Certificat #2189 NSA E8500 et NSA E8510 #2191 NSA E7500 #2104 Série NSA E10000 #2192 NSA 3500 #2188 NSA 250M et NSA 250MW #2193 NSA 2400 et NSA 2400MX #2186 NSA 220, NSA 220W et NSA 240 #2187 NSA E6500 #2185 TZ 105, TZ 105W, TZ 205, TZ 205W, TZ 210, TZ 210W, TZ 215 et TZ 215W #2190 Page 2 sur 11

7 Les responsables ont évalué la bonne mise en œuvre dans le produit des algorithmes cryptographiques suivants, approuvés par le gouvernement du Canada : Algorithme cryptographique Norme Certificat Advanced Encryption Standard (AES) FIPS Rivest, Shamir, Adleman (RSA) FIPS Secure Hash Algorithm (SHA-1) FIPS Keyed-Hash Message Authentication Code (HMAC) FIPS Cible de sécurité La ST associée au présent rapport de certification est définie comme suit : Titre : SonicWall SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Appliances Security Target Version : 2.5 Date : 27 juin 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 4. Il s avère donc que le produit possède les caractéristiques suivantes : a. conformité au profil de protection pour dispositifs réseau, v1.1, 8 juin 2012; b. conforme à la partie 2 étendue des Critères communs, avec des exigences fonctionnelles basées sur les composants fonctionnels de la partie 2, à l exception des exigences suivantes, qui sont explicitement désignées dans la ST. FAU_STG_EXT.1 External Audit Trail Storage; FCS_CKM_EXT.4 Cryptographic Key Destruction; FCS_HTTPS_EXT.1 Extended HTTPS; FCS_IPSEC_EXT.1 Extended IPSEC; FCS_RBG_EXT.1 Extended Cryptographic Operation (Random Bit Generator); FCS_TLS_EXT.1 Extended TLS; FIA_PMG_EXT.1 Password Management; FIA_UAU_EXT.2 Extended Password-Based Authentication Mechanism; FIA_UIA_EXT.1 User Identification and Authentication; FPT_APW_EXT.1 Extended Protection of Administrator Passwords; FPT_SKP_EXT.1 Extended Management of TSF Data (for reading symmetric keys); Page 3 sur 11

8 FPT_TST_EXT.1 TSF Self Test; FPT_TUD_EXT.1 Extended Trusted Update; FTA_SSL_EXT.1 TSF-initiated locking; c. 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. 6 Politique de sécurité Le produit 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 la politique de sécurité se trouvent à la section 6 de la ST. De plus, le applique des politiques de vérification de sécurité, de protection des données utilisateur, d identification et d authentification, de protection de la TSF, d accès à la TOE et de chemins de confiance, et de gestion de la sécurité. D autres détails sur les politiques de sécurité se trouvent à la section 6 de la ST. 7 Hypothèses et clarification de la portée Les utilisateurs du produit devraient tenir compte des hypothèses formulées au sujet de son utilisation et des paramètres environnementaux requis pour l installation du produit et son environnement d exploitation. De cette façon, la TOE sera utilisée 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, qui sont énoncées ci-dessous, figurent également dans la ST. La TOE n a aucune capacité de traitement général (p. ex. compilateurs ou applications utilisateur) à l exception des services nécessaires pour l opération, l administration et le soutien de la TOE. Le personnel responsable de l administration de la TOE respecte et applique les instructions fournies dans la documentation destinée aux administrateurs. 7.2 Hypothèses liées à l environnement L hypothèse suivante, liée à l environnement, figure dans la ST. L environnement assure la sécurité physique, laquelle est proportionnelle à la valeur de la TOE et des données qu elle contient. 8 Configuration évaluée La configuration de évaluée comprend : Le produit SonicOS Enhanced v5.9.0 tournant sur l un des appareils matériels suivants : TZ 105 Page 4 sur 11

9 TZ 105W TZ 205 TZ 205W TZ 215 TZ 215W NSA 220 NSA 220W NSA 240 NSA 250M NSA 250MW NSA 2400 NSA 2400MX NSA 3500 NSA 4500 NSA E5500 NSA E6500 NSA E7500 NSA E8500 NSA E8510 NSA E1040 NSA E10800 NSA E10200 Les documents suivants décrivent les procédures nécessaires à l installation et à l exploitation du produit dans la configuration qui a été évaluée. Dell SonicWALL, Inc. SonicOS Enhanced 5.9 Administrator s Guide Rev A; Dell SonicWALL, Inc. SonicOS FIPS/Common Criteria Release Notes Rev A 07/10 Dell SonicWALL, Inc..0 Release Notes Rev D 08/13 Dell SonicWALL, Inc..0 SuperMassive Series Release Notes Rev A Page 5 sur 11

10 9 Documentation Le produit de Dell SonicWALL, Inc. fournit les documents suivants aux utilisateurs : Dell SonicWALL, Inc. NSA 220 Series Quick Start Poster P/N Rev A 09/11; Dell SonicWALL, Inc. NSA 240 Getting Started Guide P/N Rev A 2/2010; Dell SonicWALL, Inc. NSA 250M or 250MW Quick Start Poster P/N Rev A 01/12; Dell SonicWALL, Inc. NSA 2400 Getting Started Guide P/N Rev A 04/10; Dell SonicWALL, Inc. NSA 2400MX Getting Started Guide P/N Rev A 3/10; Dell SonicWALL, Inc. NSA 5000/4500/3500 Getting Started Guide P/N Rev A 01/11; Dell SonicWALL, Inc. NSA E5500 Getting Started Guide P/N Rev A 3/13; Dell SonicWALL, Inc. NSA E6500 Getting Started Guide P/N Rev A 03/13; Dell SonicWALL, Inc. NSA E7500 Getting Started Guide P/N Rev A 04/13; Dell SonicWALL, Inc. NSA E8500 Getting Started Guide P/N Rev A 04/13; Dell SonicWALL, Inc. NSA E8510 Getting Started Guide P/N Rev A 04/13; Dell SonicWALL, Inc. TZ 105 Series Quick Start Poster P/N Rev A 03/12; Dell SonicWALL, Inc. TZ 205 Series Quick Start Poster P/N Rev A 04/12; Dell SonicWALL, Inc. TZ 215 Series Quick Start Poster P/N Rev A 11/11; Dell SonicWALL, Inc. SuperMassive Series Datasheet; Dell SonicWALL, Inc. SonicOS Enhanced 5.9 Administrator s Guide Rev A; Dell SonicWALL, Inc. SonicOS FIPS/Common Criteria Release Notes Rev A 07/10; Dell SonicWALL, Inc..0 Release Notes Rev D 08/13; Dell SonicWALL, Inc..0 SuperMassive Series Release Notes Rev A. 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, notamment des éléments suivants : Page 6 sur 11

11 Développement : Les évaluateurs ont analysé les spécifications fonctionnelles et la documentation de conception du produit. 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) et les sous-systèmes TSF, de même que le processus des TSF lié à la mise en œuvre des exigences fonctionnelles de sécurité (SFR). Ils ont analysé la description de l architecture de sécurité du produit 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 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 et la manière d utiliser et de gérer le produit. 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. Soutien au cycle de vie : Les évaluateurs ont analysé le système de gestion de la configuration du produit et la documentation connexe. Ils ont constaté que les éléments de configuration du é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 quand il est distribué aux utilisateurs. Les évaluateurs ont examiné les procédures de correction d anomalies qu utilise le développeur du produit. 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 celles-ci é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. Toutes ces activités d évaluation ont obtenu la cote RÉUSSITE. Page 7 sur 11

12 11 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 É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 é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 Tests fonctionnels indépendants Pendant l évaluation, les évaluateurs ont mis au point des tests indépendants en examinant les documents de conception et les guides d utilisation et d administration, ainsi que la documentation des tests réalisés par le développeur, en observant et exécutant un échantillon de tests du développeur, et en créant des scénarios de test en plus des tests réalisés par le développeur. 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 de l évaluation d EWA-Canada : a. Réexécution des tests du développeur : Cet objectif de test vise à répéter un sousensemble des tests du développeur. b. Activités d assurance exigées par le profil de protection : Ce test vise à exécuter les activités d assurances exigées par le profil de protection dont la TOE annonce la conformité 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 ont principalement porté sur les éléments suivants : a. Activités d assurance exigées par le profil de protection : L évaluateur a exécuté les activités d assurances exigées par le profil de protection auquel la TOE annonce la conformité. b. Utilisation d outils automatisés de balayage des vulnérabilités : Ce test vise à découvrir des vulnérabilités possibles des couches réseau, plateforme et application. 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 8 sur 11

13 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 Le produit a fait l objet d une série complète de tests fonctionnels et de pénétration indépendants, officiellement documentés. Les tests ont eu lieu dans les installations EEPSTI (Évaluation et essais des produits de sécurité des technologies de l information) d EWA-Canada. 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 Résultats des tests Les tests du développeur ainsi que les tests fonctionnels indépendants ont donné les résultats prévus, ce qui donne l assurance que le produit 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 fournit la base d une assurance au titre de la conformité au NDPP v1.1. 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. Page 9 sur 11

14 13 Acronymes, abréviations et sigles Acronyme, abréviation ou sigle AES CECC SCCC LPC GC EAL RTE IUG HMAC HTTPS TI EEPSTI PALCAN RSA SHA SFR ST TOE TSF UTM Description Advanced Encryption Standard (Norme avancée de chiffrement) Centre d évaluation selon les Critères communs Schéma canadien d évaluation et de certification selon les Critères communs Liste des produits certifiés Gestion des configurations Niveau d assurance de l évaluation Rapport technique d évaluation Interface utilisateur graphique Keyed-Hash Message Authentication (Code d authentification de message à base de fonction de hachage) Protocole de transfert hypertexte sécurisé Technologies de l information Évaluation et essais de produits de sécurité des technologies de l information Programme d accréditation des laboratoires Canada Rivest, Shamir, Adleman Secure Hash Algorithm (algorithme de hachage) Exigences fonctionnelles de sécurité Cible de sécurité Target of Evaluation (Cible d évaluation) TOE Security Function (Fonction de sécurité de la TOE) Unified Threat Management (Gestion unifiée des menaces) Page 10 sur 11

15 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 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 3, juillet 2009; c. Méthodologie d évaluation commune pour la sécurité des technologies de l information, CEM, version 3.1, révision 3, juillet 2009; d. SonicWall SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Appliances Security Target, version 2.5, Cible de sécurité, 27 juin 2014; e. Evaluation Technical Report for SonicOS Enhanced v5.9.0 on NSA Series and TZ Series Applances, version 1.0, 28 novembre Page 11 sur 11