SonicWall Secure Mobile Access (SMA) v12.1 Security Target Version 0.8 June 30, 2020 Copyright © 2019 SonicWall. All rights reserved. This product is protected by U.S. and international copyright and intellectual property laws. SonicWall™ and SonicWall logo are trademarks of SonicWall in the United States and/or other jurisdictions. All other marks and names mentioned herein may be trademarks of their respective companies. Table of Contents 1 SECURITY TARGET INTRODUCTION...............................................................................................4 SECURITY TARGET REFERENCE......................................................................................................4 TOE REFERENCE ..........................................................................................................................4 TOE OVERVIEW.............................................................................................................................5 1.3.1 TOE Product Type...................................................................................................................5 1.3.2 TOE Usage..............................................................................................................................5 1.3.3 TOE Security Functionality......................................................................................................5 TOE DESCRIPTION ........................................................................................................................6 1.4.1 TOE Architecture.....................................................................................................................6 1.4.1.1 Operating System.........................................................................................................................6 1.4.1.2 File System...................................................................................................................................6 1.4.1.3 Networking Stack Component ......................................................................................................6 1.4.1.4 SNMP Service Component...........................................................................................................6 1.4.1.5 CSP Integrity Service Component ................................................................................................7 1.4.1.6 Tunnel and Avcrypto Service Component ....................................................................................7 1.4.1.7 ExtraWeb and WorkPlace Service Component ............................................................................7 1.4.1.8 AMC Service Component .............................................................................................................7 1.4.1.9 CLI Service Component................................................................................................................7 1.4.1.10 Policy Service Component............................................................................................................7 1.4.2 TOE Components....................................................................................................................8 1.4.2.1 Hardware ......................................................................................................................................8 1.4.2.2 Software........................................................................................................................................8 1.4.2.3 Management Interfaces ................................................................................................................8 1.4.2.4 Physical Interfaces........................................................................................................................9 1.4.3 Physical Boundary of the TOE ................................................................................................9 1.4.4 Deployment and Use...............................................................................................................9 1.4.5 Logical Boundary of the TOE ................................................................................................10 1.4.5.1 Security Audit..............................................................................................................................10 1.4.5.2 Cryptographic Support................................................................................................................10 1.4.5.3 Identification and Authentication.................................................................................................11 1.4.5.4 Security Management.................................................................................................................11 1.4.5.5 Protection of the TSF..................................................................................................................11 1.4.5.6 TOE Access................................................................................................................................11 1.4.5.7 Trusted Path/Channels ...............................................................................................................11 1.4.6 Excluded Functionality ..........................................................................................................11 1.4.7 TOE Guidance and Reference Documents...........................................................................12 2 CONFORMANCE CLAIMS................................................................................................................13 COMMON CRITERIA CONFORMANCE CLAIM....................................................................................13 PROTECTION PROFILE CLAIM........................................................................................................13 2.2.1 Technical Decisions ..............................................................................................................13 PACKAGE CLAIM ..........................................................................................................................15 CONFORMANCE RATIONALE..........................................................................................................15 3 SECURITY PROBLEM DEFINITION.................................................................................................16 THREATS .....................................................................................................................................16 ASSUMPTIONS .............................................................................................................................18 ORGANIZATIONAL SECURITY POLICIES ..........................................................................................19 4 SECURITY OBJECTIVES .................................................................................................................20 SECURITY OBJECTIVES FOR THE TOE...........................................................................................20 SECURITY OBJECTIVES FOR THE OPERATIONAL ENVIRONMENT ......................................................20 5 EXTENDED COMPONENTS DEFINITION .......................................................................................21 EXTENDED SECURITY FUNCTIONAL COMPONENTS.........................................................................21 EXTENDED SECURITY FUNCTIONAL COMPONENTS RATIONALE .......................................................21 6 SECURITY REQUIREMENTS ...........................................................................................................22 SECURITY FUNCTIONAL REQUIREMENTS .......................................................................................22 6.1.1 Security Audit (FAU)..............................................................................................................23 6.1.2 Cryptographic Support (FCS)................................................................................................26 6.1.3 Identification and Authentication (FIA) ..................................................................................28 6.1.4 Security Management (FMT).................................................................................................30 6.1.5 Protection of the TSF (FPT) ..................................................................................................31 6.1.6 TOE Access (FTA) ................................................................................................................32 6.1.7 Trusted Path/Channels (FTP) ...............................................................................................32 SECURITY ASSURANCE REQUIREMENTS........................................................................................33 7 TOE SUMMARY SPECIFICATION....................................................................................................34 SECURITY AUDIT..........................................................................................................................35 CRYPTOGRAPHY ..........................................................................................................................36 IDENTIFICATION AND AUTHENTICATION ..........................................................................................40 SECURITY MANAGEMENT..............................................................................................................43 PROTECTION OF THE SECURITY FUNCTIONALITY.............................................................................44 TOE ACCESS...............................................................................................................................45 TRUSTED PATH/CHANNELS............................................................................................................45 8 ACRONYMS AND TERMINOLOGY..................................................................................................47 ACRONYMS..................................................................................................................................47 PRODUCT ACRONYMS AND TERMINOLOGY.....................................................................................47 Figures and Tables FIGURE 1: TOE ARCHITECTURE .......................................................................................................................8 FIGURE 2: TOE PHYSICAL INTERFACES............................................................................................................9 FIGURE 3: TOE BOUNDARY AND SAMPLE DEPLOYMENT ...................................................................................10 TABLE 1: TOE PLATFORMS AND DEVICES.........................................................................................................4 TABLE 2: SMA APPLIANCES .............................................................................................................................8 TABLE 3: TOE REFERENCE DOCUMENTS .......................................................................................................12 TABLE 4: ST REFERENCE DOCUMENTS ..........................................................................................................12 TABLE 5: TOE THREATS................................................................................................................................16 TABLE 6: TOE ASSUMPTIONS ........................................................................................................................18 TABLE 7: ORGANIZATIONAL SECURITY POLICIES .............................................................................................19 TABLE 8: SECURITY OBJECTIVES FOR THE OPERATIONAL ENVIRONMENT .........................................................20 TABLE 9: EXTENDED COMPONENTS................................................................................................................21 TABLE 10: TOE SECURITY FUNCTIONAL COMPONENTS...................................................................................22 TABLE 11: AUDITABLE EVENTS (TABLE 2 OF THE NDCPP)...............................................................................24 TABLE 12: TOE SECURITY ASSURANCE COMPONENTS ...................................................................................33 TABLE 13: TOE SECURITY FUNCTIONS...........................................................................................................34 TABLE 14: SONICWALL SMA CRYPTOGRAPHY................................................................................................36 TABLE 15: SONICWALL SMA CSPS ...............................................................................................................38 TABLE 16: ACRONYMS...................................................................................................................................47 TABLE 17: TERMINOLOGY ..............................................................................................................................47 1 Security Target Introduction Security Target Reference ST Title: SonicWall Secure Mobile Access (SMA) v12.1 Security Target ST Version: v0.8 ST Author: CygnaCom Solutions Inc. ST Date: 6/30/2020 TOE Reference TOE Developer: SonicWall Evaluation Sponsor: SonicWall TOE Identification: SonicWall Secure Mobile Access (SMA) v12.1 Table 1: TOE Platforms and Devices Series Platforms Build SonicWall Secure Mobile Access SMA 6210 12.1.0-054771 SMA 7210 CC Identification: Common Criteria for Information Technology Security Evaluation, Version 3.1, Revision 5, April 2017. PP Identification: collaborative Protection Profile for Network Devices, Version 2.1, September 2018. 1 Core build 12.1.0-05477 with hotfixes 12.1.0-06384 and 12.1.0-06427 applied. TOE Overview 1.3.1 TOE Product Type The Target of Evaluation [TOE] is a Network Device as defined by the collaborative Protection Profile for Network Devices v2.1 [NDcPP]: “A network device in the context of this cPP is a device composed of both hardware and software that is connected to the network and has an infrastructure role within the network”. 1.3.2 TOE Usage The TOE is the SonicWall Secure Mobile Access (SMA) v12.1 which in the evaluated configuration consists of SMA 6210 and SMA 7210 appliances. SMA is an access gateway that enables an organization to provide anytime, anywhere and any device access to any internal application. TOE consists of a hardware appliance with embedded software components. All SMA appliances are shipped ready for immediate access through a Command Line Interface (CLI) and after basic network configuration through a web-based Appliance Management Console (AMC). However, to ensure secure use the product must be configured prior to being put into production environment as specified in the user guidance. 1.3.3 TOE Security Functionality  Security Audit o Audit record generation for security-relevant events o Interoperability with a remote audit server  Cryptographic Support o Validated cryptographic primitives o Destruction of cryptographic keys o Entropy generation  Identification and Authentication o Authentication failure policies o Password management policies o Password and certificate based authentication  Security Management o Local and remote administration  Protection of the TOE Security Function (TSF) o Self-testing on power-up o Trusted update  TOE Access o Role-based access control o Session timeout and lockout o Access banner  Trusted Path/Channels o Secure channel for remote administrators o Secure channel for communicating with authorized IT entities TOE Description The SonicWall Secure Mobile Access (SMA) v12.1 appliance functions as a remote access gateway operating as an intermediary device between end users on client devices and network resources residing on internal network. The appliance provides multiple access methods for end users or client devices to remotely access internal network resources from untrusted external networks. The SMA administrator configures policies comprised of security rules operating on users and targeting resources that must be satisfied in order to establish remote access. The TOE, SonicWall SMA v12.1, is offered as SMA 6210 and SMA 7210 appliances. The TOE consists of both hardware and software components. The SMA 6210 and SMA 7210 are identical except for CPU, RAM, and SFP+ ports. 1.4.1 TOE Architecture The underlying architecture of each TOE appliance consists of hardware that supports physical network connections, memory, processor and software that implements End User and Control and Configuration. Control and Configuration functionality includes all Security Functionality claimed in this document. While hardware slightly varies between the two appliance models, the software is consistent across all evaluated appliances. There are numerous open source and proprietary components packaged in the software, but only those relevant to the TOE’s SF are presented in this reference architecture (Figure 1: TOE Architecture) for simplicity. 1.4.1.1 Operating System The firmware include an operating system which is based on the open source Linux 4.4 kernel. The Operating System provides a classic ring 3 protected user space for processes and a ring 0 privilege kernel space. The SMA firmware has components residing in both spaces. 1.4.1.2 File System The File System component is a standard part of the Linux-based OS. This component provides persistent storage for all data including CSP's and accessed through a standard API. 1.4.1.3 Networking Stack Component The networking stack component includes support for Transmission Control Protocol (TCP) or User Datagram Protocol (UDP) and is a standard part of the Linux-based OS. This component provides the network transport services for all other components that require network connectivity and is accessed through a standard API. 1.4.1.4 SNMP Service Component The SNMP Server component is standard part of the Linux-based OS. It provides read only SNMP monitoring services for the Cryptographic Module to external network monitoring systems. No CSPs are available for monitoring via this service. 1.4.1.5 CSP Integrity Service Component This is a proprietary component developed by SonicWall. This component runs within the protected kernel space. It provides integrity checks for all CSP parameters including but not limited to Known Answer Tests, Continuous RNDRG validation, tamper detection and prevention and both Non-Fatal and Fatal FIPS Error state handling. 1.4.1.6 Tunnel and Avcrypto Service Component This is a proprietary component developed by SonicWall. This component runs within the protected kernel space. It provides tunneling of traffic all IP packets between End Users and resources located in the enterprise network. This component also implements cryptographic algorithms used by other components. 1.4.1.7 ExtraWeb and WorkPlace Service Component This is proprietary component developed by SonicWall. This component runs as a standard multithreaded process in the user space. It provides access to web resources by proxying web requests between End Users and web resources located in the enterprise network. It utilizes OpenSSL for its transport communications and is compatible with industry standard browsers. 1.4.1.8 AMC Service Component This is a proprietary component developed by SonicWall. This component runs as a Java application within the standard Java Runtime provided by the OpenJDK Java Runtime Environment (JRE) and runs as a standard process in the user space. It underpins remote administrative interface (AMC) and provides the services necessary for Security Administrator(s) to perform their respective roles associated with SF and CSPs. Cryptographic operations are provided by the OpenJDK JRE. 1.4.1.9 CLI Service Component This is a proprietary component developed by SonicWall. It adds proprietary extensions to a set of open source CLI parsers provided by the Operating System. The CLI utilizes the Linux Bash Shell running as a standard process in the user space to execute each of the CLI commands. 1.4.1.10 Policy Service Component This is a proprietary component developed by SonicWall. This component runs as a standard multithreaded process in the user space. It provides authentication and authorization services to all access methods. Figure 1: TOE Architecture 1.4.2 TOE Components 1.4.2.1 Hardware The TOE consists of the following hardware: Table 2: SMA appliances Platform Model Processor Form Specs SMA v12.1 SMA 6210 Intel Core i5-7500 (Kaby Lake) 1U 6 1GB Ports SMA 7210 Intel Xeon E3-1275 v6 (Kaby Lake) 1U 6 1GB, 2 10GB SFP+ Ports 1.4.2.2 Software The TOE is discrete hardware appliance shipped with pre-installed firmware. This firmware consists of multiple components, including SonicWall Operating System. SonicWall Operating System is based on Linux 4.4 kernel. The firmware assigned a uniquely identifiable build number and is the same for each appliance. 1.4.2.3 Management Interfaces The TOE is configured and managed via a web-based Appliance Management Console (AMC) or a local Command Line Interface (CLI). The CLI is accessible from a directly- connected terminal while AMC requires is accessed remotely via web browser. 1.4.2.4 Physical Interfaces Figure 2: TOE Physical Interfaces 1.4.3 Physical Boundary of the TOE The physical boundary of the TOE includes:  The appliance hardware o RJ-45 to serial local management port (Console port) o USB port o Ethernet management port (X0 Ethernet port) The Operational Environment of the TOE includes:  The management workstation with a web browser  External IT servers: o Audit server for external storage of audit records o Certificate Authority and OCSP servers to support X.509 (optional) 1.4.4 Deployment and Use The TOE can be deployed in either a single-homed or dual-homed configuration to fit the network architecture preference of the customer. In single-homed configuration a single network interface is used for both internal and external traffic. In such cases the appliance is usually installed in the demilitarized zone. In dual-home configuration one network interface is used for external traffic and the other interface is used for internal traffic. In either case, the TOE is deployed with access to both the WAN and to the LAN and corporate services for which remote access is desired, as well as to the IT entities in the operational environment such as syslog, etc. Note: The SonicWall SMA does not provide firewall capabilities and should be secured behind a firewall Figure 3: TOE Boundary and sample deployment 1.4.5 Logical Boundary of the TOE The logical boundary of the TOE is defined by implemented security functionality as summarized below. TOE Security Functionality is further described in Section 7 TOE Summary Specification of this document. The SF is defined by the Security Functional Requirements (SFRs) listed in Section 6 of this document. 1.4.5.1 Security Audit The TOE generates audit records for all security-relevant events. For each event, the TOE records the date and time, the type of event, the subject identity, and the outcome of the event logged. The resulting records can be stored locally or securely sent to a designated audit server for archiving. Security Administrators using the appropriate AMC menu can also view audit records locally. The TOE also implements timestamps based on a local system clock to ensure reliable audit information produced. 1.4.5.2 Cryptographic Support The TOE performs the following cryptographic functionality:  Encryption, decryption, hashing, keyed-hash message authentication, random number generation, signature generation and verification utilizing dedicated cryptographic library  Cryptographic functionality is utilized to implement secure channels o TLSv1.2 and TLSv1.1  Entropy is collected from multiple software entropy sources and used to support PRNG seeding with full entropy  Critical Security Parameters (CSPs) internally stored and cleared when no longer in use  X.509v3 certificate-based authentication integrated with TLS protocol The TOE is certified as a FIPS 140-2 level 2 cryptographic module, it internally manages CSPs and implements deletion procedures to mitigate the possibility of disclosure or modification of CSPs. Additionally, the TOE provides functionality to manually clear CSPs (e.g. host RSA keys), that can be invoked by a Security Administrator with appropriate permissions. 1.4.5.3 Identification and Authentication The TOE supports Role-Based Access Control (RBAC) managed by an AAA module that stores and manages permissions of all users and their roles. Before any other action, each user is identified with a login name and authenticated with a password. Each authorized user is associated with assigned role and specific permissions that determine access to TOE features. 1.4.5.4 Security Management The TOE allows remote administration using a TLS session over an internal management Ethernet port and local administration using a console adapter via a separate RJ-45 running RS-232 signaling. Remote administration is conducted over web-based interface (AMC) and local administration conducted over CLI. All of the management functionality is restricted to the Security Administrators of the TOE. Security Administrators are authorized perform configuration and management of the TOE. The term “Security Administrator” is used to refer to any user with administrative role and sufficient permissions. 1.4.5.5 Protection of the TSF The TOE implements a number of measures to protect the integrity of its security features. The TOE protects CSPs, including stored passwords and cryptographic keys, so they are not directly viewable in plaintext. The TOE also ensures that reliable time information is available for both log accountability and synchronization with the operating environment. The TOE employs both dedicated communication channels as well as cryptographic means to protect communication between itself and other components in the operational environment. The TOE performs self-tests to detect internal failures and protect itself from malicious updates. 1.4.5.6 TOE Access The TOE will display a customizable banner when an administrator initiates an interactive local or remote session. The TOE also enforces an administrator-defined inactivity timeout after which the inactive session is automatically terminated. Once a session (local or remote) has been terminated, the TOE requires the user to re-authenticate. 1.4.5.7 Trusted Path/Channels The TOE protects remote sessions by establishing a trusted path secured with TLS between itself and the administrator. The TOE prevents disclosure or modification of audit records by establishing a trusted channel secured with TLS between itself and the audit server. 1.4.6 Excluded Functionality The TOE supports a number of features that are not part of the evaluated functionality. These features are not tested and:  Integration with a domain controller was not evaluated  Any integration and/or communication with a single sign-on (SSO) provider is excluded from the evaluated configuration.  Use of the SNMP management functionality is excluded and it is disabled by default. The use of SNMPv3 for monitoring is not restricted; however, it is not evaluated.  The use of SMTP is not evaluated and should not be configured in the evaluated configuration.  Remote access to CLI over SSH is not evaluated and not enabled in the evaluated configuration.  Synchronization with an NTP server is not evaluated.  ExtraWeb and WorkPlace interfaces and all relevant end-user functionality is not evaluated. o TLS-based VPN functionality is not evaluated o Interoperability with VPN clients, such as Connect Tunnel, is not evaluated o Access Policy setting and enforcement is not evaluated o File Shares is not evaluated o OnDemand Tunnel Agent is not evaluated o Mobile Connect App integration is not evaluated o Web Proxy Agent is not evaluated o LCD controls functionality is not evaluated  The separation of security domains was not evaluated, but multiple domains were concurrently utilized throughout testing  The TOE was tested in a single-homed configuration, dual-homed configuration was not evaluated 1.4.7 TOE Guidance and Reference Documents The following user guidance documents are provided to customers and are considered part of the TOE: Table 3: TOE Reference Documents Reference Title ID SonicWall Secure Mobile Access 12.1 Administration Guide [ADMIN] Configuration for Common Criteria SonicWall SMA v12.1 [CC Addendum] The documents in the following table were used as reference materials to develop this ST. Table 4: ST Reference Documents Reference Title ID Common Criteria for Information Technology Security Evaluation Part 2: Security Functional Components, Version 3.1, Revision 5, April 2017, CCMB-2017-04-002 [CC] collaborative Protection Profile for Network Devices, Version 2.1, September 2018 [NDcPP] 2 Conformance Claims Common Criteria Conformance Claim This Security Target [ST] and the Target of Evaluation [TOE] are conformant to the following Common Criteria [CC] specifications:  Common Criteria for Information Technology Security Evaluation Part 2: Security Functional Components, Version 3.1, Revision 5, April 2017, CCMB-2017-04-002 o Part 2 Conformant with additional extended functional components as specified by the protection profile.  Common Criteria for Information Technology Security Evaluation Part 3: Security Assurance Components, Version 3.1, Revision 5, April 2017, CCMB-2017-04-003 o Part 3 Conformant with additional assurance activities as specified by the protection profile. Protection Profile Claim The TOE claims exact compliance to collaborative Protection Profile for Network Devices, Version 2.1, September 2018 [NDcPP]. 2.2.1 Technical Decisions  TD0484: NIT Technical Decision for Interactive sessions in FTA_SSL_EXT.1 & FTA_SSL.3 o Clarification of the definition of an interactive session o Applied  TD0483: NIT Technical Decision for Applicability of FPT_APW_EXT.1 o Modification of FPT_APW_EXT.1 to only apply to administrative passwords, clarification of definition of Security Administrator o Applied  TD0482: NIT Technical Decision for Identification of usage of cryptographic schemes o Additional TSS documentation in cases where multiple key establishment schemes are utilized o Applied, but only RSA is claimed  TD0481: NIT Technical Decision for FCS_(D)TLSC_EXT.X.2 IP addresses in reference identifiers o Addition of IP addresses as acceptable X.509 identifiers o Applied  TD0480: NIT Technical Decision for Granularity of audit events o Clarification on acceptability of modifying audit level to meet FAU_GEN.1 requirements o Applied  TD0478: NIT Technical Decision for Application Notes for FIA_X509_EXT.1 iterations o Clarification of necessary level of detail in the audit record related to X.509 certificate validation failure, reason for failure o Applied  TD0477: NIT Technical Decision for Clarifying FPT_TUD_EXT.1 Trusted Update o Clarification of applicability of a digital signature and published hash value tests o Applied  TD0475: NIT Technical Decision for Separate traffic consideration for SSH rekey o Clarification of applicability of SSH rekey thresholds o Not applicable, SSH is not claimed  TD0453: NIT Technical Decision for Clarify authentication methods SSH clients can use to authenticate SSH servers o Clarification of authentication only applies to TOEs implementing SSH. o Not applicable, SSH is not claimed  TD0451: NIT Technical Decision for ITT Comm UUID Reference Identifier o Clarification on acceptable reference identifiers o Applied  TD0450: NIT Technical Decision for RSA-based ciphers and the Server Key Exchange message o Clarification on diffie-hellman key agreement parameters only applies to TOEs implementing TLS servers o Applied  TD0447 NIT Technical Decision for Using 'diffie-hellman-group-exchange-sha256' in FCS_SSHC/S_EXT.1.7 o Clarification on claiming custom diffie-hellman groups with SSH o Not applicable, SSH is not claimed  TD0425 – Cut-and-paste Error for Guidance AA o Clarification of the guidance requirements for FTA_SSL.3 o Applied  TD0424 – Clarification - FCS_SSHC/S_EXT1.5 o Formatting of SSH public key algorithm o Not applicable, SSH is not claimed  TD0423 - Clarification about application of RfI#201726rev2 o Clarification on TOE’s capability to generate CSR when using X.509 certificates to identify itself o Applied  TD0412 – FCS_SSHS_EXT.1.5 SFR and AA discrepancy o Clarifies FCS_SSHS_EXT.1.5 Test 2 objective o Not applicable, SSH not claimed  TD0411 – FCS_SSHC_EXT.1.5, Test 1 - Server and client side seem to be confused o Addition of test objective to FCS_SSHC_EXT.1.5. o Not applicable, SSH not claimed  TD0410 – Redundant assurance activities associated with FAU_GEN.1 o Modified the guidance requirements for FAU_GEN.1 o Applied  TD0409 – FIA_AFL.1 to key-based SSH authentication o Clarification for FIA_AFL.1 applicability for password based authentication. o Applied  TD0408 – Local vs. Remote administrator accounts o Modified FIA_UAU_EXT.2, FIA_AFL.1.1 and FIA_AFL.1.2 SFRs, supporting document and application notes; FMT_SMF.1 supporting document modification. o Applied  TD0407 – Handling Certification of Cloud Deployments o Statement on cloud platforms ineligibility for CC certifications with NDcPPv2.1 o Not applicable, the TOE is a physical appliance  TD0402 – RSA-based FCS_CKM.2 Selection o Modified RSA-based key establishment scheme selection to RSAES-PKCS1- v1_5. o Applied  TD0401 – Reliance on external servers to meet SFRs o Clarification on external IT servers vs. implemented functionality o Applied  TD0400 – FCS_CKM.2 and elliptic curve-based key establishment o Clarification that ephemeral key generation is in the scope of FCS_CKM.2 o Applied  TD0399 – Manual installation of CRL (FIA_X509_EXT.2) o Clarification that CRL must be uploaded from a distribution point o Not applicable, the TOE does not claim to support CRL revocation checking  TD0398 – FCS_SSH*EXT.1.1 RFCs for AES-CTR o Modified application note for FCS_SSHS_EXT.1 o Not applicable, SSH not claimed  TD0397 – Fixing AES-CTR Mode Tests o Modified AES-CTR Known Answer Test o Applied  TD0396 – FCS_TLSC_EXT.1.1, Test 2 o Modified FCS_TLSC_EXT.1.1 Test 2 o Applied  TD0395 – Different Handling of TLS1.1 and TLS1.2 o Modified FCS_TLSS_EXT.2.4 and FCS_TLSS_EXT.2.5 Test 2 o Not applicable, TLS Server does not claim support for certificate-based mutual authentication Package Claim The TOE does not claim to be conformant with any pre-defined packages. Conformance Rationale This Security Target claims strict conformance to only one PP – the NDcPP and no extended packages. The Security Problem Definition (SPD) of this ST is consistent with the statement of the SPD in the PP, as the ST claims exact conformance to the PP and no other threats, organizational security policies, or assumptions are added. The security objectives of this ST are consistent with the statement of the security objectives in the PP as the ST claims exact conformance to the PP and no other security objectives are added. The security requirements of this ST are consistent with the statement of the security requirements in the PP as the ST claims exact conformance to the PP. 3 Security Problem Definition Threats This section identifies the threats applicable to the TOE as specified in the PP. Table 5: TOE Threats Threat Name Threat Definition Communications with the Network Device T.UNAUTHORIZED_ADMINISTRATOR_ACCESS Threat agents may attempt to gain administrator access to the network device by nefarious means such as masquerading as an administrator to the device, masquerading as the device to an administrator, replaying an administrative session (in its entirety, or selected portions), or performing man-in-the-middle attacks, which would provide access to the administrative session, or sessions between network devices. Successfully gaining administrator access allows malicious actions that compromise the security functionality of the device and the network on which it resides. T.WEAK_CRYPTOGRAPHY Threat agents may exploit weak cryptographic algorithms or perform a cryptographic exhaust against the key space. Poorly chosen encryption algorithms, modes, and key sizes will allow attackers to compromise the algorithms, or brute force exhaust the key space and give them unauthorized access allowing them to read, manipulate and/or control the traffic with minimal effort. T.UNTRUSTED_COMMUNICATION_CHANNELS Threat agents may attempt to target network devices that do not use standardized secure tunneling protocols to protect the critical network traffic. Attackers may take advantage of poorly designed protocols or poor key management to successfully perform man-in-the-middle attacks, replay attacks, etc. Successful attacks will result in loss of confidentiality and integrity of the critical network traffic, and potentially could lead to a compromise of the network device itself. T.WEAK_AUTHENTICATION_ENDPOINTS Threat agents may take advantage of secure protocols that use weak methods to authenticate the endpoints – e.g., shared password that is guessable or transported as plaintext. The consequences are the same as a poorly designed protocol, the attacker could masquerade as the administrator or another device, and the attacker could insert themselves into the network stream and perform a man-in-the- middle attack. The result is the critical network traffic is exposed and there could be a loss of confidentiality and integrity, and potentially the network device itself could be compromised. Threat Name Threat Definition Valid Updates T.UPDATE_COMPROMISE Threat agents may attempt to provide a compromised update of the software or firmware which undermines the security functionality of the device. Non-validated updates or updates validated using non-secure or weak cryptography leave the update firmware vulnerable to surreptitious alteration. Audited Activity T.UNDETECTED_ACTIVITY Threat agents may attempt to access, change, and/or modify the security functionality of the network device without administrator awareness. This could result in the attacker finding an avenue (e.g., misconfiguration, flaw in the product) to compromise the device and the administrator would have no knowledge that the device has been compromised. Administrator and Device Credentials and Data T.SECURITY_FUNCTIONALITY_COMPROMISE Threat agents may compromise credentials and device data enabling continued access to the network device and its critical data. The compromise of credentials include replacing existing credentials with an attacker’s credentials, modifying existing credentials, or obtaining the administrator or device credentials for use by the attacker. T.PASSWORD_CRACKING Threat agents may be able to take advantage of weak administrative passwords to gain privileged access to the device. Having privileged access to the device provides the attacker unfettered access to the network traffic, and may allow them to take advantage of any trust relationships with other network devices. Device Failure T.SECURITY_FUNCTIONALITY_FAILURE An external, unauthorized entity could make use of failed or compromised security functionality and might therefore subsequently use or abuse security functions without prior authentication to access, change or modify device data, critical network traffic or security functionality of the device. Assumptions This section identifies assumptions applicable to the TOE as specified in the PP. Table 6: TOE Assumptions Assumption Name Assumption Definition A.PHYSICAL_PROTECTION The network device is assumed to be physically protected in its operational environment and not subject to physical attacks that compromise the security and/or interfere with the device’s physical interconnections and correct operation. This protection is assumed to be sufficient to protect the device and the data it contains. As a result, the cPP will not include any requirements on physical tamper protection or other physical attack mitigations. The cPP will not expect the product to defend against physical access to the device that allows unauthorized entities to extract data, bypass other controls, or otherwise manipulate the device. A.LIMITED_FUNCTIONALITY The device is assumed to provide networking functionality as its core function and not provide functionality/ services that could be deemed as general purpose computing. For example the device should not provide computing platform for general purpose applications (unrelated to networking functionality). A.NO_THRU_TRAFFIC_PROTECTION A standard/generic network device does not provide any assurance regarding the protection of traffic that traverses it. The intent is for the network device to protect data that originates on or is destined to the device itself, to include administrative data and audit data. Traffic that is traversing the network device, destined for another network entity, is not covered by the ND cPP. It is assumed that this protection will be covered by cPPs for particular types of network devices (e.g., firewall). A.TRUSTED_ADMINISTRATOR The Security Administrator(s) for the network device are assumed to be trusted and to act in the best interest of security for the organization. This includes being appropriately trained, following policy, and adhering to guidance documentation. Administrators are trusted to ensure passwords/credentials have sufficient strength and entropy and to lack malicious intent when administering the device. The network device is not expected to be capable of defending against a malicious Administrator that actively works to bypass or compromise the security of the device. For TOEs supporting X.509v3 certificate-based authentication, the Security Administrator(s) are expected to fully validate (e.g. offline verification) any CA certificate (root CA certificate or intermediate CA certificate) loaded into the TOE’s trust store (aka 'root store', ' trusted CA Key Store', or similar) as a trust anchor prior to use (e.g. offline verification). A.REGULAR_UPDATES The network device firmware and software is assumed to be updated by an administrator on a regular basis in response to the release of product updates due to known vulnerabilities. Assumption Name Assumption Definition A.ADMIN_CREDENTIALS_SECURE The administrator’s credentials (private key) used to access the network device are protected by the platform on which they reside. A.RESIDUAL_INFORMATION The Administrator must ensure that there is no unauthorized access possible for sensitive residual information (e.g. cryptographic keys, keying material, PINs, passwords etc.) on networking equipment when the equipment is discarded or removed from its operational environment. Organizational Security Policies This section identifies the organizational security policies applicable to the TOE as specified in the PP. Table 7: Organizational Security Policies Policy Name Policy Definition P.ACCESS_BANNER The TOE shall display an initial banner describing restrictions of use, legal agreements, or any other appropriate information to which users consent by accessing the TOE. 4 Security Objectives This section defines the security objectives of the TOE and its supporting environment. The security objectives identify the responsibilities of the TOE and its supporting environment in meeting the security needs. Security Objectives for the TOE The collaborative Protection Profile for Network Devices v2.1 does not define any security objectives for the TOE. Security Objectives for the Operational Environment This section identifies the security objectives as applicable to the operational environment as specified in the PP. These objectives Table 8: Security Objectives for the Operational Environment Objective Name Environmental Security Objective Definition OE.PHYSICAL Physical security, commensurate with the value of the TOE and the data it contains, is provided by the environment. OE.NO_GENERAL_PURPOSE There are no general-purpose computing capabilities (e.g., compilers or user applications) available on the TOE, other than those services necessary for the operation, administration and support of the TOE. OE.NO_THRU_TRAFFIC_PROTECTION The TOE does not provide any protection of traffic that traverses it. It is assumed that protection of this traffic will be covered by other security and assurance measures in the operational environment. OE.TRUSTED_ADMIN Security Administrators are trusted to follow and apply all guidance documentation in a trusted manner. For TOEs supporting X.509v3 certificate-based authentication, the Security Administrator(s) are assumed to monitor the revocation status of all certificates in the TOE's trust store and to remove any certificate from the TOE’s trust store in case such certificate can no longer be trusted. OE.UPDATES The TOE firmware and software is updated by an administrator on a regular basis in response to the release of product updates due to known vulnerabilities. OE.ADMIN_CREDENTIAL_SECURE The administrator’s credentials (private key) used to access the TOE must be protected on any other platform on which they reside. Objective Name Environmental Security Objective Definition OE.RESIDUAL_INFORMATION The Security Administrator ensures that there is no unauthorized access possible for sensitive residual information (e.g. cryptographic keys, keying material, PINs, passwords etc.) on networking equipment when the equipment is discarded or removed from its operational environment. 5 Extended Components Definition The extended components listed in the Table 9 have been sourced from collaborative Protection Profile for Network Devices, Version 2.1, September 2018 [NDcPP]. The extended components, as defined in Section 8.3 of Common Criteria for Information Technology Security Evaluation Part 1: Introduction and general model, Version 3.1, Revision 5, are identified by “_EXT” in the component name. NDcPP Appendix C contains the definitions for all extended components. Extended Security Functional Components Table 9: Extended Components Functional Component 1 FAU_STG_EXT.1 Protected Audit Event Storage 2 FCS_RBG_EXT.1 Cryptographic Operation (Random Bit Generation) 3 FCS_TLSS_EXT.1 TLS Server Protocol 4 FCS_TLSC_EXT.1 TLS Client Protocol 5 FIA_PMG_EXT.1 Password Management 6 FIA_UIA_EXT.1 User Identification and Authentication 7 FIA_UAU_EXT.2 Password-based Authentication Mechanism 8 FIA_X509_EXT.1/Rev X.509 Certificate Validation 9 FIA_X509_EXT.2 X.509 Certificate Authentication 10 FIA_X509_EXT.3 X.509 Certificate Requests 11 FPT_SKP_EXT.1 Protection of TSF Data (for reading of all symmetric keys) 12 FPT_APW_EXT.1 Protection of Administrator Passwords 13 FPT_TST_EXT.1 TSF Testing 14 FPT_STM_EXT.1 Reliable Time Stamps 15 FPT_TUD_EXT.1 Trusted Update 16 FTA_SSL_EXT.1 TSF-initiated Session Locking Extended Security Functional Components Rationale All extended security functional components are sourced directly from the NDcPP and applied verbatim. Exact compliance required by the NDcPP also mandates inclusion of all applicable extended components defined in the PP. 6 Security Requirements Security Functional Requirements Conventions The following conventions have been applied in this document:  Security Functional Requirements – Part 2 of the CC defines the approved set of operations that may be applied to functional requirements: iteration, assignment, selection, and refinement. o Iteration: indicated by adding a string starting with “/” (“FCS_COP.1/Hash”). o Assignment: allows the specification of an identified parameter. Assignments are indicated using bold and are surrounded by brackets (e.g., [assignment]). o Selection: allows the specification of one or more elements from a list. Selections are indicated using bold italics and are surrounded by brackets (e.g., [selection]). o Refinement: are identified with "Refinement:" right after the short name. Additions to the CC text are specified in italicized bold and underlined text. Note 1: Operations already performed in the cPP are not identified in this Security Target. Note 2: Refinements made by the cPP authors will not be identified as refinements in this ST. The “Refinement” identifier is reserved for identifying any refinements made by the ST author.  Explicitly stated Security Functional Requirements (i.e., those not found in Part 2 of the CC) are identified “_EXT” in the component name.) The TOE security functional requirements are listed in Table 10. All SFRs are based on requirements defined in Part 2 of the Common Criteria or defined in the collaborative Protection Profile for Network Devices, Version 2.1, September 2018 [NDcPP]. Table 10: TOE Security Functional Components Functional Components 1 FAU_GEN.1 Audit Data Generation 2 FAU_GEN.2 User Identity Association 3 FAU_STG_EXT.1 Protected Audit Event Storage 4 FCS_CKM.1 Cryptographic Key Generation 5 FCS_CKM.2 Cryptographic Key Establishment 6 FCS_CKM.4 Cryptographic Key Destruction 7 FCS_COP.1/DataEncryption Cryptographic Operation (AES Data Encryption/Decryption) 8 FCS_COP.1/SigGen Cryptographic Operation (Signature Generation and Verification) 9 FCS_COP.1/Hash Cryptographic Operation (Hash Algorithm) 10 FCS_COP.1/KeyedHash Cryptographic Operation (Keyed Hash Algorithm) 11 FCS_RBG_EXT.1 Cryptographic Operation (Random Bit Generation) 12 FCS_TLSS_EXT.1 TLS Server Protocol 13 FCS_TLSC_EXT.1 TLS Client Protocol 14 FIA_PMG_EXT.1 Password Management Functional Components 15 FIA_AFL.1 Authentication Failure Management 16 FIA_UIA_EXT.1 User Identification and Authentication 17 FIA_UAU_EXT.2 Password-based Authentication Mechanism 18 FIA_UAU.7 Protected Authentication Feedback 19 FIA_X509_EXT.1/Rev X.509 Certificate Validation 20 FIA_X509_EXT.2 X.509 Certificate Authentication 22 FIA_X509_EXT.3 X.509 Certificate Requests 22 FMT_MOF.1/ManualUpdate Management of Security Functions Behaviour 23 FMT_MTD.1/CoreData Management of TSF data 24 FMT_MTD.1/CryptoKeys Management of TSF data 25 FMT_SMF.1 Specification of Management Functions 26 FMT_SMR.2 Restrictions on Security Roles 27 FPT_SKP_EXT.1 Protection of TSF Data (for reading of all symmetric keys) 28 FPT_APW_EXT.1 Protection of Administrator Passwords 29 FPT_TST_EXT.1 TSF Testing 30 FPT_TUD_EXT.1 Trusted Update 31 FPT_STM_EXT.1 Reliable Time Stamps 32 FTA_SSL_EXT.1 TSF-initiated Session Locking 33 FTA_SSL.3 TSF-initiated Termination 34 FTA_SSL.4 User-initiated Termination 35 FTA_TAB.1 Default TOE Access Banners 36 FTP_ITC.1 Inter-TSF Trusted Channel 37 FTP_TRP.1/Admin Trusted Path 6.1.1 Security Audit (FAU) FAU_GEN.1 Audit Data Generation FAU_GEN.1.1 The TSF shall be able to generate an audit record of the following auditable events: a) Start-up and shut-down of the audit functions; b) All auditable events for the not specified level of audit; and c) All administrative actions comprising:  Administrative login and logout (name of user account shall be logged if individual user accounts are required for Administrators).  Changes to TSF data related to configuration changes (in addition to the information that a change occurred it shall be logged what has been changed).  Generating/import of, changing, or deleting of cryptographic keys (in addition to the action itself a unique key name or key reference shall be logged).  Resetting passwords (name of related user account shall be logged).  [no other actions] d) Specifically defined auditable events listed in Table 11. FAU_GEN.1.2 The TSF shall record within each audit record at least the following information: a) Date and time of the event, type of event, subject identity, and the outcome (success or failure) of the event; and b) For each audit event type, based on the auditable event definitions of the functional components included in the PP/ST, information specified in column three of Table 11. Table 11: Auditable Events (Table 2 of the NDcPP) Requirement Auditable Events Additional Audit Record Contents FAU_GEN.1 None. None. FAU_GEN.2 None. None. FAU_STG_EXT.1 None. None. FCS_CKM.1 None. None. FCS_CKM.2 None. None. FCS_CKM.4 None. None. FCS_COP.1/DataEncryption None. None. FCS_COP.1/SigGen None. None. FCS_COP.1/Hash None. None. FCS_COP.1/KeyedHash None. None. FCS_RBG_EXT.1 None. None. FIA_AFL.1 Unsuccessful login attempts limit is met or exceeded. Origin of the attempt (e.g., IP address). FCS_TLSS_EXT.1 Failure to establish a TLS session Reason for failure FCS_TLSC_EXT.1 Failure to establish a TLS Session Reason for failure FIA_PMG_EXT.1 None. None. FIA_UIA_EXT.1 All use of the identification and authentication mechanism. Provided user identity, origin of the attempt (e.g., IP address). FIA_UAU_EXT.2 All use of the identification and authentication mechanism. Origin of the attempt (e.g., IP address). FIA_UAU.7 None. None. FIA_X509_EXT.1/Rev Unsuccessful attempt to validate a certificate Reason for failure of certificate validation Any addition, replacement or removal of trust anchors in the TOE's trust store Identification of certificates added, replaced or removed as trust anchor in the TOE's trust store FIA_X509_EXT.2 None. None. FIA_X509_EXT.3 None. None. FMT_MOF.1/ManualUpdate Any attempt to initiate a manual update None. FMT_MTD.1/CoreData None None. FAU_GEN.2 User Identity Association FAU_GEN.2.1 For audit events resulting from actions of identified users, the TSF shall be able to associate each auditable event with the identity of the user that caused the event. FAU_STG_EXT.1 Protected Audit Event Storage FAU_STG_EXT.1.1 The TSF shall be able to transmit the generated audit data to an external IT entity using a trusted channel according to FTP_ITC.1 FAU_STG_EXT.1.2 The TSF shall be able to store generated audit data on the TOE itself. FMT_SMF.1 All management activities of TSF data. None. FMT_SMR.2 None. None. FPT_SKP_EXT.1 None. None. FPT_APW_EXT.1 None. None. FPT_TST_EXT.1 None. None. FPT_TUD_EXT.1 Initiation of update; result of the update attempt (success or failure). None. FPT_STM_EXT.1 Discontinuous changes to time - either Administrator actuated or changed via an automated process. For discontinuous changes to time: The old and new values for the time. Origin of the attempt to change time for success and failure (e.g., IP address). FTA_SSL_EXT.1 (if “terminate the session” is selected) The termination of a local session by the session locking mechanism. None. FTA_SSL.3 The termination of a remote session by the session locking mechanism. None. FTA_SSL.4 The termination of an interactive session. None. FTA_TAB.1 None. None. FTP_ITC.1 Initiation of the trusted channel. Identification of the initiator and target of failed trusted channels establishment attempt. Termination of the trusted channel. Failure of the trusted channel functions. FTP_TRP.1/Admin Initiation of the trusted path. None. Termination of the trusted path. Failures of the trusted path functions. [  TOE shall consist of a single standalone component that stores audit data locally. ] FAU_STG_EXT.1.3 The TSF shall [[delete all log files older than 7 days]] when the local storage space for audit data is full. 6.1.2 Cryptographic Support (FCS) FCS_CKM.1 Cryptographic Key Generation (for asymmetric keys) FCS_CKM.1.1 The TSF shall generate asymmetric cryptographic keys in accordance with a specified cryptographic key generation algorithm: [  RSA schemes using cryptographic key sizes of 2048-bit or greater that meet the following: FIPS PUB 186-4, “Digital Signature Standard (DSS)”, Appendix B.3; ] and specified cryptographic key sizes [assignment: cryptographic key sizes] that meet the following: [assignment: list of standards]. FCS_CKM.2 Cryptographic Key Establishment FCS_CKM.2.1 The TSF shall perform cryptographic key establishment in accordance with a specified cryptographic key establishment method: [  RSA-based key establishment schemes that meet the following: RSAES-PKCS1- v1_5 as specified in Section 7.2 of RFC 8017, “Public-Key Cryptography Standards (PKCS) #1: RSA Cryptography Specifications Version 2.1”; ] that meets the following: [assignment: list of standards]. FCS_CKM.4 Cryptographic Key Destruction FCS_CKM.4.1 The TSF shall destroy cryptographic keys in accordance with a specified cryptographic key destruction method  For plaintext keys in volatile storage, the destruction shall be executed by a [single overwrite consisting of [zeroes]];  For plaintext keys in non-volatile storage, the destruction shall be executed by the invocation of an interface provided by a part of the TSF that o [logically addresses the storage location of the key and performs a [single overwrite consisting of [zeroes]]]; that meets the following: No Standard. FCS_COP.1/DataEncryption Cryptographic Operation (AES Data Encryption/ Decryption) FCS_COP.1.1/DataEncryption The TSF shall perform encryption/decryption in accordance with a specified cryptographic algorithm AES used in [CBC] mode and cryptographic key sizes [128 bits, 256 bits] that meet the following: AES as specified in ISO 18033-3, [CBC as specified in ISO 10116]. FCS_COP.1/SigGen Cryptographic Operation (Signature Generation and Verification) FCS_COP.1.1/SigGen The TSF shall perform cryptographic signature services (generation and verification) in accordance with a specified cryptographic algorithm [RSA Digital Signature Algorithm (rDSA) with a key size (modulus) [2048 bits, 3072 bits]] that meets the following: [For RSA schemes: FIPS PUB 186-4, “Digital Signature Standard (DSS)”, Section 5.5, using PKCS #1 v2.1 Signature Schemes RSASSA-PSS and/or RSASSA- PKCS1v1_5; ISO/IEC 9796-2, Digital signature scheme 2 or Digital Signature scheme 3]. FCS_COP.1/Hash Cryptographic Operation (Hash Algorithm) FCS_COP.1.1/Hash The TSF shall perform cryptographic hashing services in accordance with a specified cryptographic algorithm [SHA- 1, SHA-256] and cryptographic key sizes [assignment: cryptographic key sizes] and message digest sizes [160, 256] bits that meet the following: ISO/IEC 10118-3:2004. FCS_COP.1/KeyedHash Cryptographic Operation (Keyed Hash Algorithm) FCS_COP.1.1/KeyedHash The TSF shall perform keyed-hash message authentication in accordance with a specified cryptographic algorithm [HMAC-SHA-1, HMAC-SHA-256] and cryptographic key sizes [160-bit] and message digest sizes [160, 256] bits that meet the following: ISO/IEC 9797-2:2011, Section 7 “MAC Algorithm 2”. FCS_RBG_EXT.1 Random Bit Generation FCS_RBG_EXT.1.1 The TSF shall perform all deterministic random bit generation services in accordance with ISO/IEC 18031:2011 using [CTR_DRBG (AES)]. FCS_RBG_EXT.1.2 The deterministic RBG shall be seeded by at least one entropy source that accumulates entropy from [[two] software-based noise sources] with a minimum of [256 bits] of entropy at least equal to the greatest security strength, according to ISO/IEC 18031:2011 Table C.1. FCS_TLSC_EXT.1 TLS Client Protocol FCS_TLSC_EXT.1.1 The TSF shall implement [TLS 1.2 (RFC 5246), TLS 1.1 (RFC 4346)] and reject all other TLS and SSL versions. The TLS implementation will support the following ciphersuites: [  TLS_RSA_WITH_AES_128_CBC_SHA as defined in RFC 3268  TLS_RSA_WITH_AES_256_CBC_SHA as defined in RFC 3268  TLS_RSA_WITH_AES_128_CBC_SHA256 as defined in RFC 5246  TLS_RSA_WITH_AES_256_CBC_ SHA256 as defined in RFC 5246 ]. FCS_TLSC_EXT.1.2 The TSF shall verify that the presented identifiers of the following types: [identifiers defined in RFC 6125, IPv4 address in CN or SAN] are matched to reference identifiers. FCS_TLSC_EXT.1.3 When establishing a trusted channel, by default the TSF shall not establish a trusted channel if the server certificate is invalid. The TSF shall also: [  Not implement any administrator override mechanism ]. FCS_TLSC_EXT.1.4 The TSF shall [not present the Supported Elliptic Curves Extension] in the Client Hello. FCS_TLSS_EXT.1 TLS Server Protocol FCS_TLSS_EXT.1.1 The TSF shall implement [TLS 1.2 (RFC 5246), TLS 1.1 (RFC 4346)] and reject all other TLS and SSL versions. The TLS implementation will support the following ciphersuites: [  TLS_RSA_WITH_AES_128_CBC_SHA as defined in RFC 3268  TLS_RSA_WITH_AES_256_CBC_SHA as defined in RFC 3268  TLS_RSA_WITH_AES_128_CBC_SHA256 as defined in RFC 5246  TLS_RSA_WITH_AES_256_CBC_ SHA256 as defined in RFC 5246 ]. FCS_TLSS_EXT.1.2 The TSF shall deny connections from client requesting SSL 2.0, SSL 3.0, TLS 1.0 and [none]. FCS_TLSS_EXT.1.3 The TSF shall [perform RSA key establishment with key size [2048 bits]]. 6.1.3 Identification and Authentication (FIA) FIA_AFL.1 Authentication Failure Management FIA_AFL.1.1 The TSF shall detect when an Administrator configurable positive integer within [1-127] unsuccessful authentication attempts occur related to Administrators attempting to authenticate remotely using a password. FIA_AFL.1.2 When the defined number of unsuccessful authentication attempts has been met, the TSF shall [prevent the offending Administrator from successfully establishing remote session using any authentication method that involves a password until an Administrator defined time period has elapsed]. FIA_PMG_EXT.1 Password Management FIA_PMG_EXT.1.1 The TSF shall provide the following password management capabilities for administrative passwords: a) Passwords shall be able to be composed of any combination of upper and lower case letters, numbers, and the following special characters: [ “!”, “@”, “#”, “$”, “%”, “^”, “&”, “*”, “(”, “)”, [ “_”, “+”,“-”, “=”, “{”, “}”, “[”, “]”, “\”, “:”, “;”, “<”, “>”, “?”, “/”]]; b) Minimum password length shall be configurable to between [4] and [256] characters. FIA_UIA_EXT.1 User Identification and Authentication FIA_UIA_EXT.1.1 The TSF shall allow the following actions prior to requiring the non-TOE entity to initiate the identification and authentication process:  Display the warning banner in accordance with FTA_TAB.1;  [no other actions] FIA_UIA_EXT.1.2 The TSF shall require each administrative user to be successfully identified and authenticated before allowing any other TSF-mediated actions on behalf of that administrative user. FIA_UAU_EXT.2 Password-based Authentication Mechanism FIA_UAU_EXT.2.1 The TSF shall provide a local [password-based] authentication mechanism to perform local administrative user authentication. FIA_UAU.7 Protected Authentication Feedback FIA_UAU.7.1 The TSF shall provide only obscured feedback to the administrative user while the authentication is in progress at the local console. FIA_X509_EXT.1 X.509 Certificate Validation FIA_X509_EXT.1.1/Rev The TSF shall validate certificates in accordance with the following rules:  RFC 5280 certificate validation and certificate path validation supporting a minimum path length of three certificates.  The certificate path must terminate with a trusted CA certificate designated as a trust anchor.  The TSF shall validate a certification path by ensuring that all CA certificates in the certification path contain the basicConstraints extension with the CA flag set to TRUE.  The TSF shall validate the revocation status of the certificate using [the Online Certificate Status Protocol (OCSP) as specified in RFC 6960].  The TSF shall validate the extendedKeyUsage field according to the following rules: o Certificates used for trusted updates and executable code integrity verification shall have the Code Signing purpose (id-kp 3 with OID 1.3.6.1.5.5.7.3.3) in the extendedKeyUsage field. o Server certificates presented for TLS shall have the Server Authentication purpose (id-kp 1 with OID 1.3.6.1.5.5.7.3.1) in the extendedKeyUsage field. o Client certificates presented for TLS shall have the Client Authentication purpose (id-kp 2 with OID 1.3.6.1.5.5.7.3.2) in the extendedKeyUsage field. o OCSP certificates presented for OCSP responses shall have the OCSP Signing purpose (id-kp 9 with OID 1.3.6.1.5.5.7.3.9) in the extendedKeyUsage field. FIA_X509_EXT.1.2/Rev The TSF shall only treat a certificate as a CA certificate if the basicConstraints extension is present and the CA flag is set to TRUE. FIA_X509_EXT.2 X.509 Certificate Authentication FIA_X509_EXT.2.1 The TSF shall use X.509v3 certificates as defined by RFC 5280 to support authentication for [TLS], and [no additional uses]. FIA_X509_EXT.2.2 When the TSF cannot establish a connection to determine the validity of a certificate, the TSF shall [not accept the certificate]. FIA_X509_EXT.3 X.509 Certificate Requests FIA_X509_EXT.3.1 The TSF shall generate a Certificate Request Message as specified by RFC 2986 and be able to provide the following information in the request: public key and [Common Name, Organization, Organizational Unit, Country]. FIA_X509_EXT.3.2 The TSF shall validate the chain of certificates from the Root CA upon receiving the CA Certificate Response. 6.1.4 Security Management (FMT) FMT_MOF.1/ManualUpdate Management of security functions behavior FMT_MOF.1.1/ManualUpdate The TSF shall restrict the ability to enable the functions to perform manual update to Security Administrators. FMT_MTD.1/CoreData Management of TSF Data FMT_MTD.1.1/CoreData The TSF shall restrict the ability to manage the TSF data to Security Administrators. FMT_MTD.1/CryptoKeys Management of TSF Data FMT_MTD.1.1/CryptoKeys The TSF shall restrict the ability to manage the cryptographic keys to Security Administrators. FMT_SMF.1 Specification of Management Functions FMT_SMF.1.1 The TSF shall be capable of performing the following management functions:  Ability to administer the TOE locally and remotely;  Ability to configure the access banner;  Ability to configure the session inactivity time before session termination or locking;  Ability to update the TOE, and to verify the updates using [hash comparison] capability prior to installing those updates;  Ability to configure the authentication failure parameters for FIA_AFL.1;  [ o Ability to configure audit behavior; o Ability to manage the cryptographic keys; o Ability to configure the cryptographic functionality; o Ability to set the time which is used for time-stamps; o Ability to manage the TOE's trust store and designate X509.v3 certificates as trust anchors; o Ability to import X.509v3 certificates to the TOE's trust store; ] FMT_SMR.2 Restrictions on Security Roles FMT_SMR.2.1 The TSF shall maintain the roles: o Security Administrator. FMT_SMR.2.2 The TSF shall be able to associate users with roles. FMT_SMR.2.3 The TSF shall ensure that the conditions:  The Security Administrator role shall be able to administer the TOE locally;  The Security Administrator role shall be able to administer the TOE remotely; are satisfied. 6.1.5 Protection of the TSF (FPT) FPT_SKP_EXT.1 Protection of TSF Data (for reading of all symmetric keys) FPT_SKP_EXT.1.1 The TSF shall prevent reading of all pre-shared keys, symmetric keys, and private keys. FPT_APW_EXT.1 Protection of Administrator Passwords FPT_APW_EXT.1.1 The TSF shall store administrative passwords in non-plaintext form. FPT_APW_EXT.1.2 The TSF shall prevent the reading of plaintext administrative passwords. FPT_TST_EXT.1 TSF Testing FPT_TST_EXT.1.1 The TSF shall run a suite of the following self-tests [during initial start- up (on power on), at the conditions [as specified by FIPS PUB 140-2 Section 4.9.2]] to demonstrate the correct operation of the TSF: [ Power-up self-tests: Integrity check of the cryptographic module Known Answer Tests (KAT) of cryptographic primitives Conditional self-tests: Key generation pairwise consistency tests Continuous random number generator testing ]. FPT_TUD_EXT.1 Trusted Update FPT_TUD_EXT.1.1 The TSF shall provide Security Administrators the ability to query the currently executing version of the TOE firmware/software and [the most recently installed version of the TOE firmware/software]. FPT_TUD_EXT.1.2 The TSF shall provide Security Administrators the ability to manually initiate updates to TOE firmware/software and [no other update mechanism]. FPT_TUD_EXT.1.3 The TSF shall provide a means to verify firmware/software updates to the TOE using a [digital signature mechanism, published hash] prior to installing those updates. FPT_STM_EXT.1 Reliable Time Stamps FPT_STM_EXT.1.1 The TSF shall be able to provide reliable time stamps for its own use. FPT_STM_EXT.1.2 The TSF shall [allow the Security Administrator to set the time]. 6.1.6 TOE Access (FTA) FTA_SSL_EXT.1 TSF-initiated Session Locking FTA_SSL_EXT.1.1 The TSF shall, for local interactive sessions, [  terminate the session] after a Security Administrator-specified time period of inactivity. FTA_SSL.3 TSF-initiated Termination FTA_SSL.3.1 The TSF shall terminate a remote interactive session after a Security Administrator-configurable time interval of session inactivity. FTA_SSL.4 User-initiated Termination FTA_SSL.4.1 The TSF shall allow Administrator-initiated termination of the Administrator’s own interactive session. FTA_TAB.1 Default TOE Access Banners FTA_TAB.1.1 Before establishing an administrative user session the TSF shall display a Security Administrator-specified advisory notice and consent warning message regarding use of the TOE. 6.1.7 Trusted Path/Channels (FTP) FTP_ITC.1 Inter-TSF Trusted Channel FTP_ITC.1.1 The TSF shall be capable of using [TLS] to provide a trusted communication channel between itself and authorized IT entities supporting the following capabilities: audit server, [no other capabilities] that is logically distinct from other communication channels and provides assured identification of its end points and protection of the channel data from disclosure and detection of modification of the channel data. FTP_ITC.1.2 The TSF shall permit the TSF, or the authorized IT entities to initiate communication via the trusted channel. FTP_ITC.1.3 The TSF shall initiate communication via the trusted channel for [transmitting audit records to an audit server]. FTP_TRP.1/Admin Trusted Path FTP_TRP.1.1/Admin The TSF shall be capable of using [TLS] to provide a communication path between itself and authorized remote administrators that is logically distinct from other communication paths and provides assured identification of its end points and protection of the communicated data from disclosure and provides detection of modification of the channel data. FTP_TRP.1.2/Admin The TSF shall permit remote administrators to initiate communication via the trusted path. FTP_TRP.1.3/Admin The TSF shall require the use of the trusted path for initial administrator authentication and all remote administration actions. Security Assurance Requirements Table 12: TOE Security Assurance Components Assurance Components 1 ASE_CCL.1 Conformance claims 2 ASE_ECD.1 Extended components definition 3 ASE_INT.1 ST introduction 4 ASE_OBJ.1 Security objectives for the operational environment 5 ASE_REQ.1 Stated security requirements 6 ASE_SPD.1 Security problem definition 7 ASE_TSS.1 TOE summary specification 8 ADV_FSP.1 Basic functional specification 9 AGD_OPE.1 Operational user guidance 10 AGD_PRE.1 Preparative procedures 11 ALC_CMC.1 Labeling of the TOE 12 ALC_CMS.1 TOE CM coverage 13 ATE_IND.1 Independent testing – conformance 14 AVA_VAN.1 Vulnerability survey All applicable Security Assurance Requirements are specified in the cPP Section 7. 7 TOE Summary Specification This chapter describes the security functions: Table 13: TOE Security Functions Security Objectives SFR 7.1 Security Audit FAU_GEN.1 FAU_GEN.2 FAU_STG_EXT.1 7.2 Cryptography FCS_CKM.1 FCS_CKM.2 FCS_CKM.4 FCS_COP.1/* FCS_RBG_EXT.1 FCS_TLSS_EXT.1 FCS_TLSC_EXT.1 7.3 Identification and Authentication FIA_AFL.1 FIA_PMG_EXT.1 FIA_UIA_EXT.1 FIA_UAU_EXT.2 FIA_UAU.7 FIA_X509_EXT.1/Rev FIA_X509_EXT.2 FIA_X509_EXT.3 7.4 Security Management FMT_MOF.1/ManualUpdate FMT_MTD.1/CoreData FMT_MTD.1/CryptoKeys FMT_SMF.1 FMT_SMR.2 7.5 Protection of the security functionality FPT_SKP_EXT.1 FPT_APW_EXT.1 FPT_TST_EXT.1 FPT_TUD_EXT.1 FPT_STM_EXT.1 7.6 TOE access FTA_SSL_EXT.1 FTA_SSL.3 FTA_SSL.4 FTA_TAB.1 7.7 Trusted path/channels FTP_ITC.1 FTP_TRP.1/Admin SonicWall SMA v12.2 Security Target 35 of 47 Security Audit FAU_GEN.1, FAU_GEN.2, FAU_STG_EXT.1 The TOE is a standalone network device that generates syslog-conformant audit records whenever a management function as defined in FMT_SMF.1 or auditable event as defined in FAU_GEN.1 occurs. The TOE supports six levels of events: Fatal, Error, Warning, Info (the default setting), Verbose, and Debug. The Security Administrator must ensure the level of the audit logging is set to Info to generate all audit records specified in the CC evaluated configuration. For each audited event, the date and time, the type of event, the subject identity (e.g. IP address or user identity), and the outcome are logged. The audit records may also contain event-specific content. The TOE generates audit records for the following administrative tasks related to cryptographic keys:  Generation and destruction of a public and associated private key used to authenticate TOE’s TLS server. Multiple key pairs can exist and identified in the audit records by CN.  Installation and removal of a trusted root or intermediate authority certificate(s) are identified in the audit records by CN.  Generation of CSR and import of a signed certificate used to authenticate TOE’s TLS client. These are unique and identified in the audit records by CN. All audit events recorded locally on the appliance and can also be duplicated over secure channel to an external audit server. On-device audit records reside on a separate 128G /var/log partition. Each log (i.e. management actions, policy, access_servers) exists as a set of 168 log files that collectively operate as a circular archive. Log files are rotated into archive daily with the oldest file overwritten first. In case /var/log partition becomes full, all archived log files older than 7 days are deleted. The viewing and clearing of the local audit trail is restricted to Security Administrators with appropriate permissions in Monitoring Information category. Manually clearing local audit trail wipes all audit records. In this way, the audit records are protected against unauthorized access and deletion. The TOE is designed to securely forward audit records to a designated external audit server over a persistent trusted channel. This external audit server is authenticated by checking X.509v3 certificate and secured with a TLS protocol. When configured, the TOE uploads audit records in syslog (RFC 5424) format as they are generated without any delay. If the connection to the external audit server is lost, the TOE continues to save local audit logs so there is no loss of audit. However, when the connection to the audit server is restored the TOE only forwards the newly generated audit records. There is no automated log reconciliation process (syncing) between the locally stored records with the external audit server upon the re-establishment of the connection. However, the TOE supports multiple simultaneous audit servers enabling high-availability setup. SonicWall SMA v12.2 Security Target 36 of 47 Cryptography FCS_CKM.1, FCS_CKM.2, FCS_CKM.4, FCS_COP.1 (1-4), FCS_RBG_EXT.1, FCS_TLSC_EXT.1, FCS_TLSS_EXT.1 The TOE, a discrete network device, is certified as a cryptographic module. SonicWALL SMA Series v12.1 SMA 6210 and SMA 7210 validated according to FIPS 140-2 as a level 2 a multi-chip standalone cryptographic module. The TOE is covered by CMVP certificate #3597 covering RSA, AES, SHA, HMAC, DRBG and TLS key establishment functionality and includes avcrypto (kernel), libcrypto (OpenSSL), and OpenJDK (Java) implementations. Avcrypto is the kernel cryptographic module and is primarily used for entropy gathering and random number generation invoked by other modules, it also certified to perform additional cryptographic operations that are not utilized by SF in the evaluated configuration. OpenJDK, a Java-based cryptographic module, is used in securing remote web-based administration (AMC) with TLS Server. It is also responsible for secure key generation and certificate storage (via Java KeyStore). Libcrypto (OpenSSL) is used to provide TLS Client functionality for secure communication with external IT servers. This module also provides X.509 certificate validation services to the other components of the TOE. The following Cryptographic Algorithm Validation Program (CAVP) certificates also applicable to the TOE: Table 14: SonicWall SMA Cryptography Requirement Class Requirement Component Implementation Details Certificate # FCS: Cryptographic Support FCS_CKM.1 Cryptographic Key Generation Generating 2048-bit and 3072-bit RSA keypairs validated conforming to FIPS186-4. C619 C620 C621 C622 FCS_CKM.2 Cryptographic Key Establishment RSA-based key establishment that meet RSAES- PKCS1-v1_5 as specified in Section 7.2 of RFC 8017, “Public-Key Cryptography Standards (PKCS) #1: RSA Cryptography Specifications Version 2.1”; Hashing using SHA-1, SHA-256 validated conforming to FIPS 180-3, Secure Hash Standard (SHS). CTR_DRBG (AES-256) random bit generation validated conforming to NIST SP PUB 800-90A. 2048-bit and 3072-bit RSA key generation validated conforming to FIPS186-4 C619 and C620 include the libcrypt RSA key generation; C621 and C622 include OpenJDK(Java) RSA key generation and TLS key derivation function (KDF); C625 and C626 include the OpenSSL TLS key derivation function (KDF) C617 C618 C619 C620 C621 C622 C625 C626 SonicWall SMA v12.2 Security Target 37 of 47 FCS_CKM.4 Cryptographic Key Destruction Destruction of all keys is performed by single direct overwrite followed by a read-verify action. n/a FCS_COP.1/DataEncryp tion Cryptographic Operation (AES Data Encryption/Decryption) AES encryption and decryption used in CBC mode with 128-bit, 256-bit key sizes validated conforming to FIPS PUB 197. C617 C618 C619 C620 C621 C622 FCS_COP.1/SigGen Cryptographic Operation (Signature Generation and Verification) RSA signature generation and verification according to RSASSA-PKCS1v1_5 with 2048-bit and 3072-bit key sizes utilizing SHA-1 (protocol only), SHA-256. RSA signature generation and verification according to RSASSA-PSS with 2048-bit and 3072-bit key sizes SHA-1 (protocol only), SHA-256 and salt. C619 C620 C621 C622 FCS_COP.1/Hash Cryptographic Operation (Hash Algorithm) Hashing using SHA-1, SHA-256 validated conforming to FIPS 180-3, Secure Hash Standard (SHS). C617 C618 C619 C620 C621 C622 FCS_COP.1/KeyedHash Cryptographic Operation (Keyed Hash Algorithm) Keyed hash HMAC-SHA1, HMAC-SHA256, validated conforming to FIPS 198, Keyed-Hash Message Authentication Code (HMAC). Supported cryptographic key sizes: 160 bits and message digest sizes: 160, 256 bits. Keyed hash use matches validated hash algorithms implemented by the module. C617 C618 C619 C620 C621 C622 FCS_RBG_EXT.1 Cryptographic Operation (Random Bit Generation) CTR_DRBG (AES-256) random bit generation validated conforming to NIST SP PUB 800-90A. C617 C618 FCS_TLSC_EXT.1 FCS_TLSS_EXT.1 TLS TOE implements TLS 1.2 and supports certificate- based authentication with the following ciphers:  TLS_RSA_WITH_AES_128_CBC_SHA  TLS_RSA_WITH_AES_256_CBC_SHA  TLS_RSA_WITH_AES_128_CBC_SHA256  TLS_RSA_WITH_AES_256_CBC_ SHA256 TLS KDF conformant to NIST SP 800-135 C617 C618 C619 C620 C621 C622 C625 C626 SonicWall SMA v12.2 Security Target 38 of 47 TOE’s cryptographic modules implement a number of approved and allowed algorithms but they are not utilized in the evaluated configuration. In the evaluated configuration all cryptographic modules operate in the FIPS mode. The TOE uses a software-based random bit generator (DRBG implemented by avcrypto) that complies with NIST SP 800-90A for all cryptographic operations. Each DRBG instance is seeded with full entropy sourced from a Linux Kernel Random Number Generator (LRNG) operating in a blocking mode (/dev/random) with a minimum of 256-bits of entropy. All entropy is extracted, processed, and accumulated by LRNG from multiple software-based noise sources. The following noise sources are used: timing of inter-process communications events (add_interrupt_randomness), nondeterminism of CPU instruction execution time (HAVEGE). Accumulated entropy is not preserved across system reboots. The TOE follows recommendations outlined in the RSAES-PKCS1-v1_5 as specified in RFC 3447, “Public-Key Cryptography Standards (PKCS) #1: RSA Cryptography Specifications Version 2.1” requirements as part of RSA-based key establishment. However, to provide RFC-compliant TLS protocol implementation the TOE utilizes TLS key derivation function (KDF) as specified in NIST SP 800-135. The TOE implements both TLS server and TLS client with a consistent set of configuration parameters. The TOE is designed to destroy Critical Security Parameters (CSPs) when no longer required for use to mitigate the possibility of disclosure. At various times during TOE operation (e.g. an active TLS session) CSPs are present in RAM in plain text, then de-allocated and cleared from memory when no longer needed (e.g. on TLS session termination). Some CSPs (e.g. long term private keys) are also stored on disk and cleared when no longer used. The following table identifies applicable CSPs and summarizes zeroization procedure: Table 15: SonicWall SMA CSPs Identifier Name Generation / Algorithm Purpose Storage Location Zeroization Summary TLS- AMC-Priv Private Key PKCS1v1_5 / RSA X509 private key used for certificate- based authentication RAM (plain text) Disk (ciphertext) Single direct overwrite consisting of zeros followed by a read-verify action. TLS- SENC TLS Session Keys Generated using TLS KDF Symmetric keys for TLS RAM (plain text) Cleared when device is powered down or as part of session termination. Overwritten by a new value. SonicWall SMA v12.2 Security Target 39 of 47 Identifier Name Generation / Algorithm Purpose Storage Location Zeroization Summary AUTH-PW Authentication Passwords SHA256 Credentials used to authenticate the administrator login. Disk (cipher text) Hashed passwords exist in a local database and replaced when changed and saved. The passwords are stored in the ciphertext (hash and salt) form only. Overwritten by a new value RAM (cipher and plain text) Passwords in RAM are zeroized when creating / resetting the password. Both clear text and encrypted forms are stored in RAM. Overwritten by new value. DRBG-EI PRNG Seed key /dev/random Seed key for PRNG RAM (plain text) Cleared when device is powered down or during reboot by the new seed. OS-KEK Keystore encryption key Platform Used to encrypt CSPs in certificate storage RAM (plain text) Disk (plain text) In RAM, cleared when device is powered down or during reboot. On disk, overwritten by zeroization. TLS-AMC-Priv is a private key associated with TOE’s X509 certificate. It exists in non-volatile memory as ciphertext and is part of encrypted java keystore that is in turn protected with OS-KEK key. In the evaluated configuration the TOE supports only TLS v1.1 and TLS v1.2 secure communication protocol that conforms to RFC 5246. The TOE implements TLS server to support remote administration (AMC) and TLS client to secure channel with an audit server. When acting as a server, the TOE authenticates itself with a certificate chain that contains TOE’s RSA-based X.509v3 certificate. When acting as a client, the TOE verifies presented RSA-based X.509v3 certificate prior to finishing TLS negotiation. When RSA-based ciphers are used, then the client retrieves the public key from the server certificate and encrypts the premaster secret with this key. In such cases, no ServerKeyExchange message is needed and no key agreement parameters other than RSA key are exchanged. The TOE supports the following ciphers with both TLS server and client: TLS_RSA_WITH_AES_128_CBC_SHA as defined in RFC 3268 SonicWall SMA v12.2 Security Target 40 of 47 TLS_RSA_WITH_AES_256_CBC_SHA as defined in RFC 3268 TLS_RSA_WITH_AES_128_CBC_SHA256 as defined in RFC 5246 TLS_RSA_WITH_AES_256_CBC_ SHA256 as defined in RFC 5246 The TOE implements reference identifier matching according to RFC 6125 and also supports IPv4 addresses as identifiers. When connecting to an external entity, the reference identifier is specified during configuration of TLS connection. As part of negotiating TLS connection, the TOE will verify that server’s certificate Subject Alternative Name (SAN) or Common Name (CN) contains expected identifier. Supported reference identifiers are FQDN or IPv4 addresses as defined in RFC 3986 in CN or SAN. The CN is checked only if certificate does not contain SAN extension. When the TOE is presented with a certificate that does not have SAN and CN contains a single IP addresses presented, the TOE performs binary comparison between presented and reference identifiers. The TOE is also capable parsing DNS identifiers that include wildcards. The TOE only establishes connection if the peer certificate is valid, trusted, not revoked, and contains an identifier matching reference identifier. The TOE does not implement certificate pinning and does not support Elliptic Curve Extension in the evaluated configuration. Identification and Authentication FIA_PMG_EXT.1, FIA_AFL.1, FIA_UIA_EXT.1, FIA_UAU_EXT.2, FIA_UAU.7, FIA_X509_EXT.1/Rev, FIA_X509_EXT.2, FIA_X509_EXT.3, FMT_MTD.1/CryptoKeys, FCS_TLSC_EXT.1, FCS_TLSS_EXT.1 The TOE functionality can be logically divided into following two categories: End User and Control and Configuration. The Control and Configuration functionality is associated with a dedicated physical interface (X0 Ethernet port as shown in Figure 2: TOE Physical Interfaces), is intended to be LAN-facing, and implements TOE’s administrative functionality via AMC (Appliance Management Console). The AMC is an HTML-based administrative interface behind an authentication prompt. The End User functionality is associated with a dedicated physical interface (X1 Ethernet port as shown in Figure 2: TOE Physical Interfaces), is intended to be WAN-facing, and implements end- user access gateway functionality via WorkPlace web portal. The WorkPlace is an HTML-based end- user interface behind an authentication prompt. This WorkPlace functionality does not include any management or configuration options and does not directly interface with the Control and Configuration. The TOE requires any user to be identified and authenticated before any action. The warning banner is displayed before login prompt on any of the management access points (local CLI or remote AMC interfaces). In the evaluated configuration, the TOE does not allow unauthenticated configuration of the TOE’s network routing/switching services and does not allow any unauthenticated management actions. The TOE permits an administrator to configure the number of unsuccessful authentication attempts within a range of 1 to 127 as well as time allowed before a retry is permitted from 1 to 1440 minutes during which, the authenticating user is locked out. The TOE ensures that authentication failures by remote administrators cannot lead to a situation where no administrator access is available, by distinguishing between local and remote login attempts. SonicWall SMA v12.2 Security Target 41 of 47 A requesting user will be prompted to enter a user name and password upon establishing successful connection. The TOE will then compare entered credentials against the local user database. If the combinations match, the TOE will then attribute (bind) the administratively assigned role (predetermined group of privileges that dictate access to TOE functions) to that user for the duration of the interactive session. For a local administrative session, password character entries are not echoed to the screen. For a remote administrative session, credentials during transmission are protected by a secure channel. Administrative (management) roles are created with specific job functions in mind. Through these roles, users acquire the permissions to perform their associated job function. If a user’s role matches one of the allowed roles for a specific management functionality, then access to such functionality is granted. Multiple users can be assigned the same role, but each user can be assigned only a single role. By default, TOE provides four system-defined administrator roles:  Primary Admin - This user full access to all administrative functionality, can create and delete other administrator accounts, and can access CLI.  Super Admin - This user full access to all administrative functionality and can create and delete other administrator accounts.  Security Admin - This user role has read/write access to security administration and monitoring pages in AMC, and view access to system settings.  System Admin -This role has read/write access to system and monitoring pages, and view access to security pages. For remote administration, implemented as a web-based interface secured with TLS, the TOE configured to authenticate itself with X509 certificates. For both local and remote administration, only username and password-based authentication is supported in the evaluated configuration. Upon successful authentication, the TOE assigns administratively defined role to that user for the duration of the session. Successful login is indicated by TOE offering a home page or a command line prompt. The TOE supports having a minimum of 15 character password length and supports the utilization of upper and lower case, numeric, and special character combinations for password construction. The TOE supports the use of X.509v3 certificates as defined by RFC 5280 to authenticate connections with authorized IT entities and to authenticate itself to remote administrators. When certificate-based authentication is used with remote administrators, the TOE presents its server certificate along with a certificate chain. When certificate-based authentication is used with external IT entities, the TOE validates the presented certificate, checks the chain of trust against the TOE’s internal trust store, and performs certificate revocation check.  Certificate validation includes path validation (checking CA certificates in the chain), certificate processing (validating the signature, checking keyUsage), and extension processing (checking basicConstraints and extendedKeyUsage extensions). SonicWall SMA v12.2 Security Target 42 of 47  Verifying the chain of trust includes validating each certificate in the chain, verifying that each CA certificate has basicConstraints flag set to CA:TRUE, verifying that the certificate path terminates with a valid CA certificate designated as a trust anchor.  Revocation checking is implemented using OCSP and is performed on the intermediate CA and leaf certificates. Regardless of a full chain or leaf/identity certificates being presented to the TOE, revocation is performed on the full chain up to a trust anchor as long as the TOE has all necessary CA certificates to determine the trust. Otherwise, the certificate is rejected as untrusted at an early stage of the certificate validation process. If any of these steps fail, the connection is terminated at the handshake stage. When an X.509v3 certificate is presented during the TLS handshake, the TOE validates the presented certificate and the entire trust chain up to a trust anchor by performing revocation checks. The revocation checks are performed by sending an OCSP requests to an OCSP responders specified in the AIA extension and verifying the signed response. If the connection to a specified OCSP responder cannot be established the TOE’s would reject the certificate. The list of OCSP responders specified in a CA certificate in the authorityInfoAccess extension. The TOE requires an X.509v3 certificate to authenticate its management interface (AMC) and support secure TLS connections with remote administrators. The TOE internally generates a 2048 bit-RSA key pair and uses the public key to produce a Certificate Signing Request (CSR). The CSR is then exported and signed by a CA to generate the TOE’s X.509v3 certificate. In addition to the TOE’s X.509v3 certificate, the signing CA’s certificate must also be installed on the TOE. The TOE is capable of authenticating with both CA-signed and self-signed certificates, but in the evaluated configuration the TOE’s X.509v3 certificate must be signed by a trusted CA. The TOE will verify that server’s certificate Subject Alternative Name (SAN) or Common Name (CN) contains expected identifier. Supported reference identifiers are FQDN or IPv4 addresses as defined in RFC 3986 in CN or SAN. The TOE’s certificate must contain the following parameters:  subjectAltName with an IP or FQDN identifier  keyUsage with keyEncipherment and digitalSignature bits set  extendedKeyUsage with serverAuthentication bits set Creation of the CSR, exporting it for the CA to sign, and installation of the signed X.509v3 certificate must be performed by a Security Administrator. The TOE performs revocation checking on the signed CSR and all intermediate CAs at the time of loading. Instructions for generating the TOE’s CSR, and installing both the TOE’s X.509v3 certificate and the CA’s X.509v3 certificate, are provided in the Administration Guide. The TOE supports the following methods to load a Certificate Signing Request (CSR) signed by a trusted CA:  Upload the certificate in PEM format as a file  Manually copy-paste the base-64 encoded certificate SonicWall SMA v12.2 Security Target 43 of 47 When a Security Administrator is adding the CA certificate to the trust store, the certificate in PEM format is downloaded and installed. Prior to adding a new CA to its existing list of trusted certificates, the TOE verifies the following:  Digital signature check on the certificate  The basicConstraints extension is present with the CA flag set to TRUE  The keyUsage has the keyCertSign bit is set  The certificate has not expired All certificates are stored in a private, persistent location on the TOE. Only Security Administrators with sufficient privileges have an ability to access, generate, or load a certificate. Security Management FMT_MOF.1/Manual Update, FMT_MTD.1/Core Data, FMT_SMF.1, FMT_SMR.2 The TOE supports remote administration via a web-based interface, called Appliance Management Console (AMC), secured with TLS channel and consigned to a dedicated physical interface (X0 Ethernet port as shown in Figure 2: TOE Physical Interfaces). The TOE supports local administration, command-line interface (CLI), via a directly connected console adapter connected to a dedicated RJ-45 console port. The TOE is designed to be primarily managed via web-based AMC interface that offers all management functions through a GUI. The CLI is a command-line interface restricted to a limited subset of management functionality aimed at initial configuration (Setup Tool) and system status monitoring. The CLI permits authorized administrators to set system time, verify audit logs, and restart appliance. The term “Security Administrator” is used to refer to any administrator account, by default Super Admin, Security Admin, and System Admin roles. By default, AMC is configured with a primary administrator that has full access to all areas of AMC. Only the primary administrator can add, edit, or delete other administrator accounts and roles. Multiple individuals can be assigned Security Administrator role. Each Security Administrator can manage the TOE via AMC, access to CLI requires Super Admin role. The TOE requires each user to be successfully authenticated before allowing any other action on behalf of that user. Both the remote management interface (AMC) and the local management interface (CLI) require each Security Administrator to enter their credentials (username and password) for authentication and identification before any TSF-mediated actions can be performed on behalf of the Security Administrator. The TOE implements role-based access control (RBAC). Using RBAC, access and authorization is controlled based on a user’s role. All of the management functions are restricted to the Security Administrators of the TOE. Security Administrators with appropriate permission can perform the following management actions: configure the access banner, configure the session inactivity timer, update the TOE, configure the authentication failure policy, configure audit behavior, manage the cryptographic keys, set time, manage the TOE’s trust store and import X.509v3 certificates, restart and shut down the TOE, and review the audit records. SonicWall SMA v12.2 Security Target 44 of 47 The role and its permission determines the functions the user can perform, the primary administrator can grant additional administrative controls to other roles. For defining administrator roles, the features in AMC are grouped into four categories. For each category, it is possible to specify the permissions granted to a role. The four categories of administrator permissions: security administration, system configuration, system maintenance, system monitoring. The permission level for each category can be set to one of the following: modify, view, none. It is understood that not all administrators will have sufficient permissions assigned to them to perform each administrative function discussed in this document. Specifically, the TOE restricts the ability to perform manual update to the roles with modify permission level in system maintenance category. Likewise, the TOE restricts the ability to manage the TOE’s trust store X.509v3 certificates associated with AMC to the roles with modify permission level in system configuration category. Manual update functionality is restricted to the Security Administrators with appropriate permissions. The TOE supports both published hash and digital signature based update. To initiate a manual update, Security Administrator first has to download a binary file from the https://www.mysonicwall.com After downloading the binary file, Security Administrator installs (and verifies) the file by logging into the AMC web interface, selecting System Configuration -> Maintenance, clicking Update in the System Software updates area, browsing to select the file, then clicking on Install Update. The TOE will return an error if the verification of the signature on the binary file fails. Alternatively, Security Administrator can perform a manual published hash comparison. Protection of the security functionality FPT_SKP_EXT.1, FPT_APW_EXT.1, FPT_TST_EXT.1, FPT_STM.EXT.1, FPT_TUD_EXT.1, The TOE is a standalone appliance designed to function independently, as a result, both security functionality and measures to protect security functionality are focused on self-protection. The TOE employs both a dedicated communication channels (i.e. separate physical RJ-45 ports for management) as well as cryptographic means (i.e. encrypted secure channels) to protect remote administration. The TOE protects critical security parameters (CSP) such as stored passwords and cryptographic keys so they are not directly accessible via normal administrative interfaces. Locally stored password information is obscured by use of hashing (SHA256). Additionally, when login-related configuration information is accessed through local TOE interfaces it is obfuscated by representing input with a series of asterisks. The TOE is a hardware appliance that implements hardware-based real-time clock managed by an embedded OS, which also controls the exposure of administrative functions. This clock is used to produce reliable timestamps that are available for audit trail generation, synchronization with the operational environment, session inactivity checks, and certificate expiration validation. The TOE performs diagnostic self-tests during start-up and generates audit records to document failure. Some low-level critical failure modes can prevent TOE start-up and as a result will not generate audit records. In such cases, TOE appliance would enter failure mode displaying error codes, typically displayed on the console. By default, the TOE in the evaluated configuration (FIPS mode) will reboot or to stop with errors displayed when non-critical errors are encountered. The SonicWall SMA v12.2 Security Target 45 of 47 cryptographic module performs self-tests during startup; the messages are displayed on the console and audit records generated for both successful and failed tests. Self-tests comply with the FIPS 140-2 requirements for self-testing. The module performs known-answer algorithm testing, integrity testing, and conditional self-testing. Failure of any of the FIPS mode tests during boot process will stop start-up process and prompt the user to reload. For all start-up tests, successful completion is indicated by reaching operational status. The diagnostic self-tests monitor the TOE against a set of anticipated faults, therefore outside of failure mode induced by failing self-tests, the TSF is assumed to operate correctly. Upgrading the TOE is a multi-step process that must be performed by a Security Administrator. An authorized user must authenticate to the secure support website where the software downloads are available. The downloaded image must be then transferred to the appliance using an administrative interface. The binary file can be manually verified using the published hash comparison. Upon successful comparison, the administrator can then initiate the upgrade. The TOE also performs verification of the signature contained in the binary file and returns an error message if the verification fails. The version of the current system software and the product serial number are displayed at the bottom of the left-hand navigation bar on every page in the remote administrative interface (AMC). TOE access FTA_SSL.3, FTA_SSL.4, FTA_SSL_EXT.1, FTA_TAB.1 The TOE implements local administrative access via command line interface (CLI) and remote administrative access via web-based AMC interface. In both cases, the TOE will display a customizable banner when an administrator initiates an interactive session either locally or remotely. The TOE is designed to lock accounts after a number of unsuccessful login attempts. The TOE’s minimum lockout value must be configured to a non 0 value to enforce an administrator-defined inactivity timeout after which the inactive session is automatically terminated. Once a session (local or remote) has been terminated, the TOE requires the user to re-authenticate. The administrator can force termination of current session by issuing the logout command exit with CLI or by clicking log out with AMC. Trusted path/channels FTP_ITC.1, FTP_TRP.1 The TOE protects remote management sessions by establishing a trusted path (secured with TLS) between itself and the administrator connected to a dedicated RJ-45 LAN management port. When a client attempts to connect, the TOE and the client will negotiate the preferred and mutually acceptable secure ciphersuite offered by the server to protect the session. If the cipher be selected, or the protocol version cannot be agreed on, the connection is dropped. After initial connection, protocol negotiation, and key exchange, a symmetrical encryption is used to transmit encrypted application data. After successful TLS handshake all traffic between the TOE and the external entity is encrypted using AES‐CBC-128 or AES-CBC-256 symmetric encryption algorithm. Password- based authentication is encapsulated in this encrypted TLS channel. For certificate-based authentication, RSA key pair associated with TOE’s X.509v3 server certificate is generated by the TOE and the private key is protected by the TSF. SonicWall SMA v12.2 Security Target 46 of 47 The TOE protects communications with the audit server by establishing a trusted channel between itself and the audit server. To implement this trusted channel, the TOE uses TLS v1.2 (and is also backwards compatible with TLS v1.1) protocol with certificate-based authentication. For certificate- based authentication, presented certificate (x.509v3) is first cryptographically validated, confirmed as issued by a trusted CA, checked for revocation, and then identifiers compared. Trusted CAs have to be imported into the TOE and manually added to the TOE’s trust store. SonicWall SMA v12.2 Security Target 47 of 47 8 Acronyms and Terminology Acronyms The following table defines CC and Product specific acronyms used within this Security Target. Table 16: Acronyms Acronym Definition CC Common Criteria CSP Critical Security Parameter FIPS Federal Information Processing Standard IT Information Technology NIST National Institute of Standards and Technology OE Operational Environment OS Operating System OSP Organizational Security Policy PP Protection Profile RFC Request for Comment SAR Security Assurance Requirement SFR Security Functional Requirement ST Security Target TOE Target of Evaluation TSF TOE Security Function Product Acronyms and Terminology The following table defines the CC and Product-specific terminology used within this Security Target. Table 17: Terminology Terminology Definition AAA Authentication, Authorization, and Accounting (AAA). A security architecture for distributing systems for controlling remote access to services. RADIUS Remote Authentication Dial-In User Service (RADIUS) protocol that includes authentication and authorization. RSA Ron Rivest, Adi Shamir, Leonard Adleman. Public-key cryptosystem algorithm. HTTP Hypertext Transfer Protocol IP Internet Protocol SSH Secure Shell TLS Transport Layer Security