TrustCB B.V. Registered address: Van den Berghlaan 48, 2132 AT Hoofddorp, The Netherlands nscib@trustcb.com https://trustcb.com/common-criteria/nscib/ https://nscib.nl TrustCB B.V. is a registered company at the Netherlands Chamber of Commerce (KVK), under number 858360275. Version 2023-11 ® TrustCB is a registered trademark. Any use or application requires prior approval. Certification Report STSafe VJ200 v1.4.1 Sponsor and developer: STMicroelectronics S.r.l. Via Giovanni Maggio’, Z.I. Marcianise Sud Marcianise (CE) Italy Evaluation facility: SGS Brightsight B.V. Brassersplein 2 2612 CT Delft The Netherlands Report number: NSCIB-CC-2400059-01-CR Report version: 1 Project number: NSCIB-2400059-01 Author(s): Alireza Rohani, Kjartan Jæger Kvassnes Date: 17 September 2024 Number of pages: 11 Number of appendices: 0 Reproduction of this report is authorised only if the report is reproduced in its entirety. Page: 2/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. CONTENTS Foreword 3 Recognition of the Certificate 4 International recognition 4 European recognition 4 1 Executive Summary 5 2 Certification Results 6 2.1 Identification of Target of Evaluation 6 2.2 Security Policy 6 2.3 Assumptions and Clarification of Scope 6 2.3.1 Assumptions 6 2.3.2 Clarification of scope 6 2.4 Architectural Information 6 2.5 Documentation 7 2.6 IT Product Testing 7 2.6.1 Testing approach and depth 7 2.6.2 Independent penetration testing 7 2.6.3 Test configuration 8 2.6.4 Test results 8 2.7 Reused Evaluation Results 8 2.8 Evaluated Configuration 8 2.9 Evaluation Results 8 2.10 Comments/Recommendations 9 3 Security Target 10 4 Definitions 10 5 Bibliography 11 Page: 3/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. Foreword The Netherlands Scheme for Certification in the Area of IT Security (NSCIB) provides a third-party evaluation and certification service for determining the trustworthiness of Information Technology (IT) security products. Under this NSCIB, TrustCB B.V. has the task of issuing certificates for IT security products, as well as for protection profiles and sites. Part of the procedure is the technical examination (evaluation) of the product, protection profile or site according to the Common Criteria assessment guidelines published by the NSCIB. Evaluations are performed by an IT Security Evaluation Facility (ITSEF) under the oversight of the NSCIB Certification Body, which is operated by TrustCB B.V. in cooperation with the Ministry of the Interior and Kingdom Relations. An ITSEF in the Netherlands is a commercial facility that has been licensed by TrustCB B.V. to perform Common Criteria evaluations; a significant requirement for such a licence is accreditation to the requirements of ISO Standard 17025 “General requirements for the accreditation of calibration and testing laboratories”. By awarding a Common Criteria certificate, TrustCB B.V. asserts that the product or site complies with the security requirements specified in the associated (site) security target, or that the protection profile (PP) complies with the requirements for PP evaluation specified in the Common Criteria for Information Security Evaluation. A (site) security target is a requirements specification document that defines the scope of the evaluation activities. The consumer should review the (site) security target or protection profile, in addition to this certification report, to gain an understanding of any assumptions made during the evaluation, the IT product's intended environment, its security requirements, and the level of confidence (i.e., the evaluation assurance level) that the product or site satisfies the security requirements stated in the (site) security target. Reproduction of this report is authorised only if the report is reproduced in its entirety. Page: 4/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. Recognition of the Certificate Presence of the Common Criteria Recognition Arrangement (CCRA) and the SOG-IS logos on the certificate indicates that this certificate is issued in accordance with the provisions of the CCRA and the SOG-IS Mutual Recognition Agreement (SOG-IS MRA) and will be recognised by the participating nations. International recognition The CCRA was signed by the Netherlands in May 2000 and provides mutual recognition of certificates based on the Common Criteria (CC). Since September 2014 the CCRA has been updated to provide mutual recognition of certificates based on cPPs (exact use) or STs with evaluation assurance components up to and including EAL2+ALC_FLR. For details of the current list of signatory nations and approved certification schemes, see http://www.commoncriteriaportal.org. European recognition The SOG-IS MRA Version 3, effective since April 2010, provides mutual recognition in Europe of Common Criteria and ITSEC certificates at a basic evaluation level for all products. A higher recognition level for evaluation levels beyond EAL4 (respectively E3-basic) is provided for products related to specific technical domains. This agreement was signed initially by Finland, France, Germany, The Netherlands, Norway, Spain, Sweden and the United Kingdom. Italy joined the SOG-IS MRA in December 2010. For details of the current list of signatory nations, approved certification schemes and the list of technical domains for which the higher recognition applies, see https://www.sogis.eu. Page: 5/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. 1 Executive Summary This Certification Report states the outcome of the Common Criteria security evaluation of the STSafe VJ200 v1.4.1. The developer of the STSafe VJ200 v1.4.1 is STMicroelectronics S.r.l. located in Marcianise, Italy and they also act as the sponsor of the evaluation and certification. A Certification Report is intended to assist prospective consumers when judging the suitability of the IT security properties of the product for their particular requirements. The TOE is a is an embedded secure element (eSE) with a Java Card System compliant with Java Card specifications version 3.0.5 with all the mandatory features, plus the following additions: • support for the int type (including the intx package) and object deletion. • support for Sensitive Results augmentation package. The TOE can host and manage Java Card applets from different stakeholders (user, original equipment manufacturer (OEM), hardware integrator, service provider). The TOE has been evaluated by SGS Brightsight B.V. located in Delft, The Netherlands. The evaluation was completed on 17 September 2024 with the approval of the ETR. The certification procedure has been conducted in accordance with the provisions of the Netherlands Scheme for Certification in the Area of IT Security [NSCIB]. The scope of the evaluation is defined by the security target [ST], which identifies assumptions made during the evaluation, the intended environment for the STSafe VJ200 v1.4.1, the security requirements, and the level of confidence (evaluation assurance level) at which the product is intended to satisfy the security requirements. Consumers of the STSafe VJ200 v1.4.1 are advised to verify that their own environment is consistent with the security target, and to give due consideration to the comments, observations and recommendations in this certification report. The results documented in the evaluation technical report [ETR] 1 for this product provide sufficient evidence that the TOE meets the EAL5 augmented (EAL5+) assurance requirements for the evaluated security functionality. This assurance level is augmented with ALC_DVS.2 (Sufficiency of security measures) and AVA_VAN.5 (Advanced methodical vulnerability analysis). The evaluation was conducted using the Common Methodology for Information Technology Security Evaluation, Version 3.1 Revision 5 [CEM] for conformance to the Common Criteria for Information Technology Security Evaluation, Version 3.1 Revision 5 [CC] (Parts I, II and III). TrustCB B.V., as the NSCIB Certification Body, declares that the evaluation meets all the conditions for international recognition of Common Criteria Certificates and that the product will be listed on the NSCIB Certified Products list. Note that the certification results apply only to the specific version of the product as evaluated. 1 The Evaluation Technical Report contains information proprietary to the developer and/or the evaluator, and is not available for public review. Page: 6/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. 2 Certification Results 2.1 Identification of Target of Evaluation The Target of Evaluation (TOE) for this evaluation is the STSafe VJ200 v1.4.1 from STMicroelectronics S.r.l. located in Marcianise, Italy. The TOE is comprised of the following main components: Delivery item type Identifier Version Hardware ST33K1M5A/ ST33K1M5M (Maskset name: K4A0) B02 Software Firmware 3.1.4 Operational OS 01040100 Neslib 6.8.2 Storekeeper 4.1.2 Weaver applet 1.9 To ensure secure usage a set of guidance documents is provided, together with the STSafe VJ200 v1.4.1. For details, see section 2.5 “Documentation” of this report. 2.2 Security Policy The TOE is an embedded secure element (eSE) with a Java Card System compliant with Java Card specifications version 3.0.5 with all the mandatory features, plus the following additions: • support for the int type (including the intx package) and object deletion. • support for Sensitive Results augmentation package The TOE can host and manage Java Card applets from different stakeholders (user, original equipment manufacturer (OEM), hardware integrator, service provider). 2.3 Assumptions and Clarification of Scope 2.3.1 Assumptions The assumptions defined in the Security Target are not covered by the TOE itself. These aspects lead to specific Security Objectives to be fulfilled by the TOE-Environment. For detailed information on the security objectives that must be fulfilled by the TOE environment, see section 4.1.2 of the [ST]. 2.3.2 Clarification of scope The evaluation did not reveal any threats to the TOE that are not countered by the evaluated security functions of the product. 2.4 Architectural Information The TOE is a composition of a Java Card OS with an open configuration with the ST33K1M5 IC platform and includes Neslib and Storekeeper. It can also host and manage Java Card applets from different stakeholders (user, original equipment manufacturer (OEM), hardware integrator, service provider). The TOE also includes additional functionality to support the secure storage (OEM Secure Storage, Weaver and Storekeeper). Page: 7/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. Figure 1 shows the high-level architecture of the TOE. In pink the underlying platform, in blue the software components and interfaces and in green the out-of-scope applications 2.5 Documentation The following documentation is provided with the product by the developer to the customer: Identifier Version STSAFE VJ200 – Operational guidance document (AGD_OPE) rev E STSAFEVJ200 – Preparative Procedure (AGD_PRE) Rev C 2.6 IT Product Testing Testing (depth, coverage, functional tests, independent testing): The evaluators examined the developer’s testing activities documentation and verified that the developer has met their testing responsibilities. 2.6.1 Testing approach and depth The developer performed extensive testing on functional specification, subsystem and module level. All parameter choices were addressed at least once. All boundary cases identified were tested explicitly, and additionally the near-boundary conditions were covered probabilistically. The testing was largely automated using industry standard and proprietary test suites. Test scripts were used extensively to verify that the functions return the expected values. The underlying hardware and crypto-library test results are extendable to composite evaluations, because the underlying platform is operated according to its guidance and the composite evaluation requirements are met. For the testing performed by the evaluators, the developer provided samples and a test environment. The evaluators reproduced a selection of the developer tests, as well as a small number of test cases designed by the evaluator. 2.6.2 Independent penetration testing The methodical analysis performed was conducted along the following steps: • When evaluating the evidence in the classes ASE, ADV and AGD the evaluator considers whether potential vulnerabilities can already be identified due to the TOE type and/or specified behavior in such an early stage of the evaluation. • For ADV_IMP a thorough implementation representation review is performed on the TOE. During this attack oriented analysis the protection of the TOE is analyzed using the knowledge gained from all previous evaluation classes. This results in the identification of (additional) Page: 8/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. potential vulnerabilities. For this analysis will be performed according to the attack methods in [JIL-AM]. An important source for assurance in this step is the technical report [ETRfC-HW] of the underlying platform. • All potential vulnerabilities are analyzed using the knowledge gained from all evaluation classes and information from the public domain. A judgment was made on how to assure that these potential vulnerabilities are not exploitable. The potential vulnerabilities are addressed by penetration testing, a guidance update or in other ways that are deemed appropriate. The total test effort expended by the evaluators was spent between July 10th 2024 and August 16th 2024, with 7.2 man-weeks in total for testing. During that test campaign, 35% of the total time was spent on perturbation attacks, 54% side-channel attacks, and 11% software attacks. 2.6.3 Test configuration The following version was used for testing: • STSafe VJ200 v1.4.1 2.6.4 Test results The testing activities, including configurations, procedures, test cases, expected results and observed results are summarised in the [ETR], with references to the documents containing the full details. The developer’s tests and the independent functional tests produced the expected results, giving assurance that the TOE behaves as specified in its [ST] and functional specification. No exploitable vulnerabilities were found with the independent penetration tests. The algorithmic security level of cryptographic functionality has not been rated in this certification process, but the current consensus on the algorithmic security level in the open domain, i.e., from the current best cryptanalytic attacks published, has been taken into account. The algorithmic security level exceeds 100 bits for all evaluated cryptographic functionality as required for high attack potential (AVA_VAN.5). For composite evaluations, please consult the [ETRfC] for details. 2.7 Reused Evaluation Results There has been extensive reuse of the ALC aspects for the sites involved in the development and production of the TOE, by use of four Site Technical Audit Reports. No sites have been visited as part of this evaluation. 2.8 Evaluated Configuration The TOE is defined uniquely by its name and version number STSafe VJ200 v1.4.1. 2.9 Evaluation Results The evaluation lab documented their evaluation results in the [ETR], which references an ASE Intermediate Report and other evaluator documents. To support composite evaluations according to [COMP] a derived document [ETRfC] was provided and approved. This document provides details of the TOE evaluation that must be considered when this TOE is used as platform in a composite evaluation. The verdict of each claimed assurance requirement is “Pass”. Based on the above evaluation results the evaluation lab concluded the STSafe VJ200 v1.4.1, to be CC Part 2 extended, CC Part 3 conformant, and to meet the requirements of EAL5 augmented with ALC_DVS.2 and AVA_VAN.5. This implies that the product satisfies the security requirements specified in Security Target [ST]. The Security Target claims ‘demonstrable’ conformance to the Protection Profile [PP]. Page: 9/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. 2.10 Comments/Recommendations The user guidance as outlined in section 2.5 “Documentation” contains necessary information about the usage of the TOE. Certain aspects of the TOE’s security functionality, in particular the countermeasures against attacks, depend on accurate conformance to the user guidance of both the software and the hardware part of the TOE. There are no particular obligations or recommendations for the user apart from following the user guidance. Please note that the documents contain relevant details concerning the resistance against certain attacks. In addition, all aspects of assumptions, threats and policies as outlined in the Security Target not covered by the TOE itself must be fulfilled by the operational environment of the TOE. The customer or user of the product shall consider the results of the certification within his system risk management process. For the evolution of attack methods and techniques to be covered, the customer should define the period of time until a re-assessment for the TOE is required and thus requested from the sponsor of the certificate. The strength of the cryptographic algorithms and protocols was not rated in the course of this evaluation. This specifically applies to the following proprietary or non-standard algorithms, protocols and implementations: none. Page: 10/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. 3 Security Target The STSafe VJ200 Security Target, Version E, Date: 2024-08-20 [ST] is included here by reference. 4 Definitions This list of acronyms and definitions contains elements that are not already defined by the CC or CEM: IT Information Technology ITSEF IT Security Evaluation Facility JIL Joint Interpretation Library NSCIB Netherlands Scheme for Certification in the area of IT Security PP Protection Profile TOE Target of Evaluation OEM Original Equipment Manufacturing SM Secure Messaging Page: 11/11 of report number: NSCIB-CC-2400059-01-CR, dated 17 September 2024 ® TrustCB is a registered trademark. Any use or application requires prior approval. 5 Bibliography This section lists all referenced documentation used as source material in the compilation of this report. [CC] Common Criteria for Information Technology Security Evaluation, Parts I, II and III, Version 3.1 Revision 5, April 2017 [CEM] Common Methodology for Information Technology Security Evaluation, Version 3.1 Revision 5, April 2017 [COMP] Joint Interpretation Library, Composite product evaluation for Smart Cards and similar devices, Version 1.5.1, May 2018 [ETR] Evaluation Technical Report STSafe VJ200 – EAL5+, 24-RPT-501, v4.0, dated: 16 September 2024 [ETRfC] Evaluation Technical Report for Composition “STSafe VJ200” – EAL5+, 24- RPT-502, v4.0, dated: 16 September 2024 [HW-CERT] NSCIB-CC-2300112-01 Certificate, ST33K1M5A and ST33K1M5M B02, issued on 04-10-2023 [HW-ETRfC] Evaluation Technical Report for Composition "ST33K1M5A and ST33K1M5M B02" - EAL6+, 23-RPT-975 v1.0, 30 August 2023 [HW-ST] ST33K1M5A and ST33K1M5M B02 Security Target for composition, Rev B02.1, May 2023 [JIL-AAPS] JIL Application of Attack Potential to Smartcards, Version 3.2.1, February 2024 [JIL-AMS] Attack Methods for Smartcards and Similar Devices, Version 2.4, January 2020 (sensitive with controlled distribution) [NSCIB] Netherlands Scheme for Certification in the Area of IT Security, Version 2.6, 02 August 2022 [PP] Java Card System – Open Configuration Protection Profile, April 2020, version 3.1, registered under the reference BSI-CC-PP-0099-V2-2020 [ST] STSafe VJ200 Security Target, Version E, Date: 2024-08-20 (This is the end of this report.)