Comparing certificates Experimental feature

You are comparing two certificates. By default, only differing attributes are shown. Use the button below to show/hide all attributes.

Showing only differing attributes.
iTrustee on Kirin 980
ANSSI-CC-2020/67 		L4Re Secure Separation Kernel CC Version 1.0.1
BSI-DSZ-CC-1177-2025
name iTrustee on Kirin 980 L4Re Secure Separation Kernel CC Version 1.0.1
category Trusted Computing Operating Systems
scheme FR DE
status archived active
not_valid_after 30.07.2025 18.02.2030
not_valid_before 30.07.2020 18.02.2025
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/certificat-2020_67.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi-cc-2020_67fr.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi-cible-cc-2020_67en.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf
manufacturer Huawei Technologies Co. Ltd. Kernkonzept GmbH
manufacturer_web https://www.huawei.com https://kernkonzept.com
security_level EAL2+ EAL4+, ALC_FLR.3
dgst 00a165c01f329ac3 7929b54ea442ff99
heuristics/cert_id ANSSI-CC-2020/67 BSI-DSZ-CC-1177-2025
heuristics/cert_lab THALES BSI
heuristics/extracted_sars ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, ALC_CMS.2, ASE_INT.1, ASE_REQ.2, AVA_TEE.2, AGD_PRE.1, ASE_ECD.1, AVA_VAN.2, ADV_TDS.1, ASE_SPD.1, ALC_CMC.2, ADV_FSP.2, ATE_COV.1, AGD_OPE.1, ALC_DEL.1, ASE_TSS.1, ADV_ARC.1 ADV_TDS.3, AVA_VAN.3, ALC_FLR.3, ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, ASE_INT.1, ALC_CMC.4, ASE_REQ.2, AGD_PRE.1, ATE_IND.2, ATE_DPT.1, ASE_ECD.1, ADV_IMP.1, ALC_LCD.1, ASE_SPD.1, ATE_COV.2, ALC_DVS.1, ALC_TAT.1, AGD_OPE.1, ALC_CMS.4, ALC_DEL.1, ASE_TSS.1, ADV_FSP.4, ADV_ARC.1
heuristics/extracted_versions 980 1.0.1
heuristics/scheme_data
heuristics/protection_profiles 5956bec789a2f3ad {}
protection_profile_links https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/anssi-profil_PP-2014_01.pdf {}
pdf_data/cert_filename certificat-2020_67.pdf 1177c_pdf.pdf
pdf_data/cert_keywords/cc_cert_id
  • FR:
    • ANSSI-CC-2020/67: 2
    • ANSSI-CC-PP-2014/01-M01: 1
  • DE:
    • BSI-DSZ-CC-1177-2025: 1
pdf_data/cert_keywords/cc_protection_profile_id
  • ANSSI:
    • ANSSI-CC-PP-2014/01-M01: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL2: 3
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
pdf_data/cert_keywords/cc_sar
  • AVA:
    • AVA_TEE.2: 1
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
pdf_data/cert_keywords/vendor
  • Huawei:
    • Huawei: 1
    • Huawei Technologies: 2
pdf_data/cert_keywords/eval_facility
  • Thales:
    • THALES/CNES: 1
pdf_data/cert_keywords/standard_id
  • ISO:
    • ISO/IEC 15408: 2
    • ISO/IEC 18045: 2
pdf_data/cert_metadata
  • /Author:
  • /CreationDate: D:20200805112010+02'00'
  • /Creator: PScript5.dll Version 5.2.2
  • /ModDate: D:20200805112010+02'00'
  • /Producer: Acrobat Distiller 11.0 (Windows)
  • /Title:
  • pdf_file_size_bytes: 495597
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /Keywords: "Common Criteria, Certification, Zertifizierung, Kernkonzept, Mikrokernel L4Re"
  • /Subject: Common Criteria, Certification, Zertifizierung, Kernkonzept, Mikrokernel L4Re
  • /Title: Urkunde BSI-DSZ-CC-1177-2025
  • pdf_file_size_bytes: 230300
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
pdf_data/report_filename anssi-cc-2020_67fr.pdf 1177a_pdf.pdf
pdf_data/report_frontpage
  • FR:
    • cc_security_level: EAL 2 augmenté AVA_TEE.2
    • cc_version: Critères Communs version 3.1 révision 5
    • cert_id: ANSSI-CC-2020/67
    • cert_item: iTrustee on Kirin 980
    • cert_item_version: Version 3.0
    • cert_lab: THALES / CNES 290 allée du Lac, 31670 Labège, France
    • developer: Huawei Technologies France 18 quai du Point du Jour, 92659 Boulogne Billancourt Cedex Huawei Central Software Building Q27, No. 156 Beiqing Rd, Shi- Chuang-Ke-Ji-Shi-Fan-Yuan, Hai-Dian District, Beijing 100095 P.R.China Hisilicon No. 1599, Xinjinqiao Rd, Pudong Distrinct, Shanghai, 201206, P.R.China Commanditaire Huawei Technologies France 18 quai du Point du Jour, 92659 Boulogne Billancourt Cedex
    • match_rules: ['Référence du rapport de certification(.+)Nom du produit(.+)Référence/version du produit(.*)Conformité à un profil de protection(.+)Critères d’évaluation et version(.+)Niveau d’évaluation(.+)Développeurs(.+)Centre d’évaluation(.+)Accords de reconnaissance applicables']
    • ref_protection_profiles: Trusted Execution Environement Référence GPD_SPE_021, version 1.2.1 certifié ANSSI-CC-PP-2014/01-M01 le 13 décembre 2016
  • DE:
  • FR:
  • DE:
    • cert_id: BSI-DSZ-CC-1177-2025
    • cert_item: L4Re Secure Separation Kernel CC Version 1.0.1
    • cert_lab: BSI
    • developer: Kernkonzept GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
pdf_data/report_keywords/cc_cert_id
  • FR:
    • ANSSI-CC-2020/67: 17
    • ANSSI-CC-PP-2014/01: 1
    • ANSSI-CC-PP-2014/01-M01: 2
  • DE:
    • BSI-DSZ-CC-1177-2025: 12
pdf_data/report_keywords/cc_protection_profile_id
  • ANSSI:
    • ANSSI-CC-PP-2014/01: 1
    • ANSSI-CC-PP-2014/01-M01: 2
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 2
    • EAL 3: 1
    • EAL 5: 1
    • EAL 7: 1
    • EAL2: 3
    • EAL4: 1
  • ITSEC:
    • ITSEC E3 Elémentaire: 1
  • EAL:
    • EAL 1: 1
    • EAL 2: 3
    • EAL 4: 5
    • EAL 4 augmented: 3
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC: 1
    • ADV_FSP: 1
    • ADV_IMP: 1
    • ADV_INT: 1
    • ADV_SPM: 1
    • ADV_TDS: 1
  • AGD:
    • AGD_OPE: 2
    • AGD_PRE: 2
  • ALC:
    • ALC_CMC: 1
    • ALC_CMS: 1
    • ALC_DEL: 1
    • ALC_DVS: 1
    • ALC_FLR: 2
    • ALC_TAT: 1
  • ASE:
    • ASE_CCL: 1
    • ASE_ECD: 1
    • ASE_INT: 1
    • ASE_OBJ: 1
    • ASE_REQ: 1
    • ASE_SPD: 1
    • ASE_TSS: 1
  • ATE:
    • ATE_COV: 1
    • ATE_DPT: 1
    • ATE_FUN: 1
    • ATE_IND: 1
  • AVA:
    • AVA_TEE: 1
    • AVA_TEE.2: 4
    • AVA_VAN: 2
  • ALC:
    • ALC_FLR: 3
    • ALC_FLR.3: 4
pdf_data/report_keywords/cc_claims
  • OE:
    • OE.HARDWARE: 1
    • OE.NOEVIL: 1
    • OE.PHYSICAL: 1
pdf_data/report_keywords/vendor
  • Huawei:
    • Huawei: 11
    • Huawei Technologies: 3
  • NXP:
    • NXP: 1
pdf_data/report_keywords/eval_facility
  • atsec:
    • atsec: 3
pdf_data/report_keywords/symmetric_crypto
  • DES:
    • DES:
      • DES: 1
pdf_data/report_keywords/hash_function
  • MD:
    • MD5:
      • MD5: 3
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
pdf_data/report_keywords/tee_name
  • other:
    • TEE: 9
    • iTrustee: 20
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
    • CCMB-2017-04-004: 1
  • NIST:
    • NIST SP 800-90A: 3
  • BSI:
    • AIS 1: 1
    • AIS 14: 1
    • AIS 19: 1
    • AIS 23: 1
    • AIS 32: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • 7] Final Evaluation Technical Report, Version 2, 2025-02-04, atsec information security GmbH, (confidential document) 7 specifically • AIS 1 Anforderungen an Aufbau und Inhalt von Einzelprüfberichten für Evaluationen: 1
    • Separation Kernel CC, Version 1.0.1 Konfigurationsliste, Version 1.0, 2024-11-18, Kernkonzept GmbH (confidential document) [9] L4Re Secure Boot Guidance, 2022-10-07, Kernkonzept GmbH [10] L4Re Configuration Guidance: 1
    • being maintained, is not given any longer. In particular, prior to the dissemination of confidential documentation and information related to the TOE or resulting from the evaluation and certification: 1
pdf_data/report_metadata
  • /Author:
  • /CreationDate: D:20200805112204+02'00'
  • /Creator: PScript5.dll Version 5.2.2
  • /ModDate: D:20200805112204+02'00'
  • /Producer: Acrobat Distiller 11.0 (Windows)
  • /Title:
  • pdf_file_size_bytes: 267925
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 16
pdf_data/st_filename anssi-cible-cc-2020_67en.pdf 1177b_pdf.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177: 2
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 2: 3
    • EAL2: 1
  • EAL:
    • EAL 4: 1
    • EAL4: 2
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 6
    • ADV_FSP.1: 3
    • ADV_FSP.2: 14
    • ADV_TDS.1: 9
  • AGD:
    • AGD_OPE.1: 8
    • AGD_PRE.1: 8
  • ALC:
    • ALC_CMC.2: 1
    • ALC_CMS.1: 1
    • ALC_CMS.2: 1
    • ALC_DEL.1: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 4
    • ASE_INT.1: 5
    • ASE_OBJ.2: 3
    • ASE_REQ.1: 2
    • ASE_REQ.2: 2
    • ASE_SPD.1: 2
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV.1: 5
    • ATE_FUN.1: 4
  • AVA:
    • AVA_TEE: 4
    • AVA_TEE.2: 16
    • AVA_VAN: 2
    • AVA_VAN.2: 6
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.4: 1
    • ADV_IMP.1: 1
    • ADV_TDS.3: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.4: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 1
    • ALC_FLR.3: 6
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.2: 1
    • ASE_REQ.2: 1
    • ASE_SPD.1: 1
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV.2: 1
    • ATE_DPT.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.3: 1
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_ARP.1: 6
    • FAU_ARP.1.1: 1
    • FAU_SAA.1: 1
    • FAU_SAR.1: 6
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_STG.1: 6
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
  • FCS:
    • FCS_CKM.1: 1
    • FCS_CKM.4: 1
    • FCS_COP: 12
    • FCS_COP.1: 21
    • FCS_RNG: 3
    • FCS_RNG.1: 10
    • FCS_RNG.1.1: 2
    • FCS_RNG.1.2: 2
  • FDP:
    • FDP_ACC: 26
    • FDP_ACC.1: 9
    • FDP_ACF: 22
    • FDP_ACF.1: 11
    • FDP_IFC: 18
    • FDP_IFC.1: 6
    • FDP_IFC.2: 2
    • FDP_IFF: 17
    • FDP_IFF.1: 7
    • FDP_ITC.1: 1
    • FDP_ITC.2: 1
    • FDP_ITT: 15
    • FDP_ITT.1: 3
    • FDP_RIP: 7
    • FDP_RIP.1: 1
    • FDP_ROL: 7
    • FDP_ROL.1: 2
    • FDP_SDI: 1
    • FDP_SDI.2: 15
    • FDP_SDI.2.1: 1
    • FDP_SDI.2.2: 1
  • FIA:
    • FIA_ATD.1: 10
    • FIA_ATD.1.1: 1
    • FIA_UID.1: 1
    • FIA_UID.2: 9
    • FIA_UID.2.1: 1
    • FIA_USB.1: 8
    • FIA_USB.1.1: 1
    • FIA_USB.1.2: 1
    • FIA_USB.1.3: 1
  • FMT:
    • FMT_MSA: 43
    • FMT_MSA.1: 4
    • FMT_MSA.3: 7
    • FMT_SMF.1: 19
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 16
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPT:
    • FPT_FLS: 1
    • FPT_FLS.1: 13
    • FPT_FLS.1.1: 1
    • FPT_INI: 4
    • FPT_INI.1: 13
    • FPT_INI.1.1: 2
    • FPT_INI.1.2: 2
    • FPT_INI.1.3: 2
    • FPT_ITT: 10
    • FPT_ITT.1: 1
    • FPT_STM: 5
    • FPT_STM.1: 2
    • FPT_TEE.1: 6
    • FPT_TEE.1.1: 1
    • FPT_TEE.1.2: 1
  • FDP:
    • FDP_ACC: 30
    • FDP_ACC.1: 4
    • FDP_ACC.2: 8
    • FDP_ACF: 30
    • FDP_ACF.1: 20
    • FDP_IFC.2: 7
    • FDP_IFC.2.1: 1
    • FDP_IFC.2.2: 1
    • FDP_IFF.1: 6
    • FDP_IFF.1.1: 1
    • FDP_IFF.1.2: 1
    • FDP_IFF.1.3: 1
    • FDP_IFF.1.4: 1
    • FDP_IFF.1.5: 1
    • FDP_RIP.1: 5
    • FDP_RIP.1.1: 1
  • FIA:
    • FIA_UID.2: 6
    • FIA_UID.2.1: 1
  • FMT:
    • FMT_MSA: 39
    • FMT_MSA.1: 5
    • FMT_MSA.3: 15
    • FMT_MTD: 5
    • FMT_MTD.1: 1
    • FMT_SMF: 1
    • FMT_SMF.1: 5
    • FMT_SMF.1.1: 1
    • FMT_SMR: 6
    • FMT_SMR.1: 6
  • FPR:
    • FPR_UNO.1: 5
    • FPR_UNO.1.1: 1
pdf_data/st_keywords/cc_claims
  • A:
    • A.PROTECTIO: 1
    • A.PROTECTION_AFTER_DELILVERY: 1
    • A.PROTECTION_AFTER_DELIVERY: 2
    • A.ROLLBACK: 4
    • A.TA_DEVEL: 1
    • A.TA_DEVELOPMENT: 3
  • O:
    • O.CA_TA_IDENTIFICATIO: 1
    • O.CA_TA_IDENTIFICATION: 8
    • O.INITIALIZATION: 24
    • O.INSTANCE_TIME: 7
    • O.KEYS_USAGE: 13
    • O.OPERATION: 32
    • O.RNG: 8
    • O.ROLLBACK_PROTECTION: 1
    • O.RUNTIME_CONFIDENTI: 1
    • O.RUNTIME_CONFIDENTIALITY: 22
    • O.RUNTIME_INTEGRITY: 24
    • O.TA_AUTHENTICITY: 16
    • O.TA_ISOLATION: 19
    • O.TA_PERSISTENT_TIME: 1
    • O.TEE_DATA_PROTECTI: 2
    • O.TEE_DATA_PROTECTIO: 1
    • O.TEE_DATA_PROTECTION: 16
    • O.TEE_ID: 7
    • O.TEE_ISOLATION: 14
    • O.TRUSTED_STORAGE: 26
  • OE:
    • OE.INTEGRATION_CONFIGURATION: 8
    • OE.PROTECTION_AFTER_DELIVERY: 8
    • OE.ROLLBACK: 6
    • OE.SECRETS: 4
    • OE.TA_DEVELOPMENT: 6
    • OE.TEE_ID: 3
  • OP:
    • OP.EXTRACT_KEY: 4
    • OP.LOAD: 3
    • OP.STORE: 4
    • OP.USE_KEY: 4
  • OSP:
    • OSP.INTEGRA: 1
    • OSP.INTEGRATION_CONFIGURATION: 3
    • OSP.SECRETS: 4
  • T:
    • T.ABUSE_FUNCT: 12
    • T.CLONE: 10
    • T.FLASH_DUMP: 4
    • T.IMPERSONATION: 6
    • T.PERTURBATION: 12
    • T.RAM: 8
    • T.RNG: 7
    • T.ROGUE_CODE_EXECUTI: 1
    • T.ROGUE_CODE_EXECUTION: 11
    • T.SPY: 7
    • T.STORAGE_CORRUPTION: 9
    • T.TEE_FIRMWARE_DOWNG: 1
    • T.TEE_FIRMWARE_DOWNGRADE: 5
  • A:
    • A.ENVIRONMENT: 2
    • A.NOEVIL: 2
    • A.PHYSICAL: 2
  • O:
    • O.AVAILABILITY: 11
    • O.CONFIDENTIALITY: 19
    • O.INTEGRITY: 5
  • OE:
    • OE.HARDWARE: 2
    • OE.NOEVIL: 2
    • OE.PHYSICAL: 2
  • T:
    • T.DEPLETION: 2
    • T.DISCLOSURE: 2
    • T.MODIFICATION: 2
pdf_data/st_keywords/vendor
  • Huawei:
    • Huawei: 24
    • Huawei Technologies Co: 74
  • Thales:
    • Thales: 1
  • NXP:
    • NXP: 1
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 3
  • DES:
    • 3DES:
      • 3DES: 2
    • DES:
      • DES: 1
  • constructions:
    • MAC:
      • CMAC: 6
      • HMAC: 8
      • HMAC-SHA-256: 1
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 1
    • ECDH:
      • ECDH: 1
    • ECDSA:
      • ECDSA: 1
  • FF:
    • DH:
      • DH: 1
  • RSA:
    • RSA 2048: 1
    • RSA2048: 2
pdf_data/st_keywords/hash_function
  • MD:
    • MD5:
      • MD5: 3
  • SHA:
    • SHA1:
      • SHA-1: 1
      • SHA1: 4
    • SHA2:
      • SHA224: 4
      • SHA256: 4
      • SHA384: 4
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 2
pdf_data/st_keywords/crypto_protocol
  • IPsec:
    • IPsec: 1
  • VPN:
    • VPN: 1
  • VPN:
    • VPN: 1
pdf_data/st_keywords/randomness
  • RNG:
    • RNG: 27
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • CCM:
    • CCM: 1
  • CTR:
    • CTR: 2
  • GCM:
    • GCM: 1
  • OFB:
    • OFB: 1
  • XTS:
    • XTS: 3
pdf_data/st_keywords/side_channel_analysis
  • SCA:
    • side-channels: 1
  • SCA:
    • side channels: 3
pdf_data/st_keywords/tee_name
  • other:
    • TEE: 336
    • iTrustee: 93
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS31: 1
  • FIPS:
    • FIPS 180-4: 3
    • FIPS 197: 2
    • FIPS 46: 1
    • FIPS 81: 1
  • PKCS:
    • PKCS #1: 3
    • PKCS #3: 1
    • PKCS1: 2
  • RFC:
    • RFC 2202: 1
    • RFC 3610: 1
    • RFC 4231: 2
pdf_data/st_metadata
  • /Author: Huawei Technologies Co.,Ltd.
  • /CreationDate: D:20191108172443+01'00'
  • /Creator: Microsoft® Word 2013
  • /ModDate: D:20191108172443+01'00'
  • /Producer: Microsoft® Word 2013
  • /Subject: Technical Document
  • /Title: Huawei iTrustee V3.0 on Kirin 980 Security Target
  • pdf_file_size_bytes: 1854064
  • pdf_hyperlinks: mailto:[email protected], http://www.huawei.com/
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 71
  • /Author: Kernkonzept GmbH
  • /Keywords: L4Re Operating System Framework, L4Re Hypervisor, Microkernel, Operating system
  • /Subject: L4Re SSK
  • /Title: Security Target for L4Re Secure Separation Kernel CC 1.0.1
  • pdf_file_size_bytes: 621521
  • pdf_hyperlinks: https://l4re.org/doc/group__l4__icu__api.html
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 61
state/cert/pdf_hash Different Different
state/cert/txt_hash Different Different
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different