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.
Hyper-V for Windows Server 2016, Windows Server 2012 R2, and Windows 10
CCEVS-VR-10823-2017 		L4Re Secure Separation Kernel CC Version 1.0.1
BSI-DSZ-CC-1177-2025
name Hyper-V for Windows Server 2016, Windows Server 2012 R2, and Windows 10 L4Re Secure Separation Kernel CC Version 1.0.1
category Other Devices and Systems Operating Systems
scheme US DE
status archived active
not_valid_after 20.11.2019 18.02.2030
not_valid_before 20.11.2017 18.02.2025
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10823-ci.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10823-vr.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10823-st.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf
manufacturer Microsoft Corporation Kernkonzept GmbH
manufacturer_web https://www.microsoft.com https://kernkonzept.com
security_level {} EAL4+, ALC_FLR.3
dgst b1b2607fb23d8185 7929b54ea442ff99
heuristics/cert_id CCEVS-VR-10823-2017 BSI-DSZ-CC-1177-2025
heuristics/cert_lab US BSI
heuristics/extracted_sars ASE_INT.1, ALC_CMS.1, ALC_CMC.1, ASE_OBJ.1, ASE_TSS.1, AGD_PRE.1, ASE_SPD.1, AGD_OPE.1, ADV_FSP.1, ATE_IND.1, ASE_CCL.1, ALC_TSU_EXT.1, AVA_VAN.1, ASE_ECD.1, ASE_REQ.1 ALC_LCD.1, ATE_IND.2, ALC_CMC.4, ADV_IMP.1, ASE_CCL.1, ASE_OBJ.2, ASE_ECD.1, ALC_TAT.1, ASE_INT.1, ADV_ARC.1, ATE_FUN.1, ATE_DPT.1, ATE_COV.2, ALC_DEL.1, ASE_TSS.1, ASE_SPD.1, ALC_CMS.4, AGD_OPE.1, ALC_FLR.3, ADV_FSP.4, ALC_DVS.1, ASE_REQ.2, ADV_TDS.3, AGD_PRE.1, AVA_VAN.3
heuristics/extracted_versions 10, 2012, 2016 1.0.1
heuristics/protection_profiles bdcfdf72c96e5987 {}
protection_profile_links https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp_sv_v1.1.pdf {}
pdf_data/cert_filename st_vid10823-ci.pdf 1177c_pdf.pdf
pdf_data/cert_keywords/cc_cert_id
  • US:
    • CCEVS-VR-VID10823-2017: 1
  • DE:
    • BSI-DSZ-CC-1177-2025: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
pdf_data/cert_keywords/vendor
  • Microsoft:
    • Microsoft Corporation: 1
pdf_data/cert_keywords/eval_facility
  • Leidos:
    • Leidos: 1
pdf_data/cert_keywords/standard_id
  • ISO:
    • ISO/IEC 15408: 2
    • ISO/IEC 18045: 2
pdf_data/cert_metadata
  • /CreationDate: D:20171214143003-05'00'
  • /ModDate: D:20171214143003-05'00'
  • /Producer: iText 2.1.0 (by lowagie.com)
  • pdf_file_size_bytes: 177837
  • 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 st_vid10823-vr.pdf 1177a_pdf.pdf
pdf_data/report_frontpage
  • DE:
  • US:
    • cert_id: CCEVS-VR-10823-2017
    • cert_item: for Microsoft Windows Server 2016, Microsoft Windows Server 2012 R2, and Microsoft Windows 10 Hyper-V
    • cert_lab: US NIAP
  • 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 (.*)']
  • US:
pdf_data/report_keywords/cc_cert_id
  • US:
    • CCEVS-VR-10823-2017: 1
  • DE:
    • BSI-DSZ-CC-1177-2025: 12
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 3
    • EAL 4: 5
    • EAL 4 augmented: 3
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_FSP.1: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.1: 1
    • ALC_CMS.1: 1
    • ALC_TSU_EXT.1: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.1: 1
    • ASE_REQ.1: 1
    • ASE_SPD.1: 1
    • ASE_TSS.1: 1
  • ATE:
    • ATE_IND.1: 1
  • AVA:
    • AVA_VAN.1: 1
  • 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
  • Cisco:
    • Cisco: 1
  • Microsoft:
    • Microsoft: 154
    • Microsoft Corporation: 1
  • NXP:
    • NXP: 1
pdf_data/report_keywords/eval_facility
  • Leidos:
    • Leidos: 7
  • atsec:
    • atsec: 3
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
    • RC:
      • RC4: 1
  • DES:
    • DES:
      • DES: 1
pdf_data/report_keywords/asymmetric_crypto
  • FF:
    • DH:
      • DH: 1
    • DSA:
      • DSA: 1
pdf_data/report_keywords/crypto_scheme
  • KEX:
    • Key Exchange: 1
  • MAC:
    • MAC: 1
pdf_data/report_keywords/crypto_protocol
  • IKE:
    • IKE: 2
  • IPsec:
    • IPsec: 5
  • TLS:
    • SSL:
      • SSL: 1
    • TLS:
      • TLS: 5
  • VPN:
    • VPN: 4
pdf_data/report_keywords/randomness
  • RNG:
    • RNG: 1
pdf_data/report_keywords/cipher_mode
  • CBC:
    • CBC: 1
  • ECB:
    • ECB: 1
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
pdf_data/report_keywords/standard_id
  • X509:
    • X.509: 1
  • 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
  • /CreationDate: D:20171214142713-05'00'
  • /ModDate: D:20171214142713-05'00'
  • pdf_file_size_bytes: 564331
  • pdf_hyperlinks: http://www.niap-ccevs.org/
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 25
pdf_data/st_filename st_vid10823-st.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 4: 1
    • EAL4: 2
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_FSP: 1
  • AGD:
    • AGD_OPE: 1
    • AGD_PRE: 1
  • ALC:
    • ALC_CMC: 1
    • ALC_CMS: 1
    • ALC_TSU_EXT: 1
    • ALC_TSU_EXT.1: 6
  • ASE:
    • ASE_CCL: 1
    • ASE_ECD: 1
    • ASE_INT: 1
    • ASE_OBJ: 1
    • ASE_REQ: 1
    • ASE_TSS: 1
  • ATE:
    • ATE_IND: 1
  • AVA:
    • AVA_VAN: 1
  • 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_GEN: 1
    • FAU_GEN.1: 10
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_SAR: 1
    • FAU_SAR.1: 7
    • FAU_SAR.1.1: 1
    • FAU_STG: 1
    • FAU_STG.1: 7
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG_EXT: 1
    • FAU_STG_EXT.1: 8
    • FAU_STG_EXT.1.1: 2
    • FAU_STG_EXT.1.2: 3
  • FCS:
    • FCS_CKM: 1
    • FCS_CKM.1: 17
    • FCS_CKM.1.1: 2
    • FCS_CKM.2: 22
    • FCS_CKM.2.1: 1
    • FCS_CKM_EXT: 1
    • FCS_CKM_EXT.4: 7
    • FCS_CKM_EXT.4.1: 1
    • FCS_CKM_EXT.4.2: 1
    • FCS_COP: 4
    • FCS_COP.1: 65
    • FCS_COP.1.1: 5
    • FCS_ENT_EXT: 1
    • FCS_ENT_EXT.1: 7
    • FCS_ENT_EXT.1.1: 1
    • FCS_RBG_EXT: 1
    • FCS_RBG_EXT.1: 13
    • FCS_RBG_EXT.1.1: 1
    • FCS_RBG_EXT.1.2: 1
    • FCS_TLSC_EXT.1: 12
    • FCS_TLSC_EXT.1.1: 2
    • FCS_TLSC_EXT.1.2: 2
    • FCS_TLSC_EXT.1.3: 2
    • FCS_TLSC_EXT.1.4: 2
    • FCS_TLSC_EXT.1.5: 2
    • FCS_TLSS: 1
    • FCS_TLSS_EXT.1: 12
    • FCS_TLSS_EXT.1.1: 2
    • FCS_TLSS_EXT.1.2: 1
    • FCS_TLSS_EXT.1.3: 1
    • FCS_TLSS_EXT.1.4: 2
    • FCS_TLSS_EXT.1.5: 2
    • FCS_TLSS_EXT.1.6: 2
  • FDP:
    • FDP_HBI_EXT: 1
    • FDP_HBI_EXT.1: 7
    • FDP_HBI_EXT.1.1: 1
    • FDP_PPR_EXT: 1
    • FDP_PPR_EXT.1: 8
    • FDP_PPR_EXT.1.1: 2
    • FDP_PPR_EXT.1.2: 1
    • FDP_PPR_EXT.1.3: 1
    • FDP_RIP_EXT: 2
    • FDP_RIP_EXT.1: 7
    • FDP_RIP_EXT.1.1: 1
    • FDP_RIP_EXT.2: 7
    • FDP_RIP_EXT.2.1: 1
    • FDP_VMS_EXT: 1
    • FDP_VMS_EXT.1: 9
    • FDP_VMS_EXT.1.1: 4
    • FDP_VMS_EXT.1.2: 2
    • FDP_VMS_EXT.1.3: 1
    • FDP_VNC_EXT: 1
    • FDP_VNC_EXT.1: 8
    • FDP_VNC_EXT.1.1: 1
  • FIA:
    • FIA_PMG_EXT: 1
    • FIA_PMG_EXT.1: 7
    • FIA_PMG_EXT.1.1: 1
    • FIA_UAU_EXT: 1
    • FIA_UAU_EXT.2: 6
    • FIA_UAU_EXT.2.1: 1
    • FIA_UIA_EXT: 1
    • FIA_UIA_EXT.1: 10
    • FIA_UIA_EXT.1.1: 1
    • FIA_UIA_EXT.1.2: 1
  • FMT:
    • FMT_MOF.1: 2
    • FMT_MOF_EXT: 1
    • FMT_MOF_EXT.1: 8
    • FMT_MOF_EXT.1.1: 4
    • FMT_MOF_EXT.1.2: 3
    • FMT_MSA: 1
    • FMT_MSA_EXT: 1
    • FMT_MSA_EXT.1: 8
    • FMT_MSA_EXT.1.1: 2
    • FMT_MSA_EXT.1.2: 1
    • FMT_SMO_EXT: 1
    • FMT_SMO_EXT.1: 7
    • FMT_SMO_EXT.1.1: 1
    • FMT_SMR: 1
    • FMT_SMR.2: 7
    • FMT_SMR.2.1: 1
    • FMT_SMR.2.2: 1
    • FMT_SMR.2.3: 1
  • FPT:
    • FPT_DDI_EXT: 1
    • FPT_DDI_EXT.1: 6
    • FPT_DDI_EXT.1.1: 1
    • FPT_DVD_EXT: 1
    • FPT_DVD_EXT.1: 7
    • FPT_DVD_EXT.1.1: 1
    • FPT_EEM_EXT: 1
    • FPT_EEM_EXT.1: 7
    • FPT_EEM_EXT.1.1: 2
    • FPT_HAS_EXT: 2
    • FPT_HAS_EXT.1: 7
    • FPT_HAS_EXT.1.1: 1
    • FPT_HCL_EXT: 1
    • FPT_HCL_EXT.1: 8
    • FPT_HCL_EXT.1.1: 1
    • FPT_HCL_EXT.1.2: 3
    • FPT_HCL_EXT.1.3: 1
    • FPT_HCL_EXT.1.4: 1
    • FPT_RDM_EXT: 1
    • FPT_RDM_EXT.1: 8
    • FPT_RDM_EXT.1.1: 1
    • FPT_TUD_EXT: 1
    • FPT_TUD_EXT.1: 9
    • FPT_TUD_EXT.1.1: 1
    • FPT_TUD_EXT.1.2: 1
    • FPT_TUD_EXT.1.3: 1
    • FPT_TUD_EXT.2: 7
    • FPT_TUD_EXT.2.1: 1
    • FPT_VDP_EXT: 1
    • FPT_VDP_EXT.1: 8
    • FPT_VDP_EXT.1.1: 1
    • FPT_VDP_EXT.1.2: 1
    • FPT_VIV_EXT: 1
    • FPT_VIV_EXT.1: 7
    • FPT_VIV_EXT.1.1: 1
    • FPT_VIV_EXT.1.2: 1
  • FTA:
    • FTA_TAB: 1
    • FTA_TAB.1: 9
    • FTA_TAB.1.1: 1
  • FTP:
    • FTP_TRP: 1
    • FTP_TRP.1: 8
    • FTP_TRP.1.1: 1
    • FTP_TRP.1.2: 1
    • FTP_TRP.1.3: 1
    • FTP_UIF_EXT: 2
    • FTP_UIF_EXT.1: 7
    • FTP_UIF_EXT.1.1: 1
    • FTP_UIF_EXT.2: 7
    • FTP_UIF_EXT.2.1: 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.PHYSICAL: 1
    • A.PLATFORM_INTEGRITY: 1
    • A.TRUSTED_ADMIN: 1
  • O:
    • O.AUDIT: 1
    • O.DOMAIN_INTEGRITY: 1
    • O.MANAGEABLE_NETWORK: 1
    • O.MANAGEMENT_ACCESS: 1
    • O.PLATFORM_INTEGRITY: 1
    • O.VMM_INTEGRITY: 1
    • O.VM_ISOLATION: 1
  • OE:
    • OE.CONFIG: 1
    • OE.PHYSICAL: 1
    • OE.TRUSTED_ADMIN: 1
  • T:
    • T.DATA_LEAKAGE: 1
    • T.PLATFORM_COMPROMISE: 1
    • T.UNAUTHORIZED_ACCESS: 1
    • T.UNAUTHORIZED_MODIFICATION: 1
    • T.UNAUTHORIZED_UPDATE: 1
    • T.UNMANAGEABLE_NW: 1
    • T.USER_ERROR: 1
    • T.VMM_COMPROMISE: 1
    • T.WEAK_CRYPTO: 1
  • 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
  • Cisco:
    • Cisco: 1
  • Microsoft:
    • Microsoft: 54
    • Microsoft Corporation: 4
  • NXP:
    • NXP: 1
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 24
      • AES-128: 1
      • AES-256: 4
    • RC:
      • RC4: 1
  • DES:
    • 3DES:
      • 3DES: 1
    • DES:
      • DES: 2
  • constructions:
    • MAC:
      • HMAC: 29
      • HMAC-SHA-256: 5
      • HMAC-SHA-384: 3
      • HMAC-SHA-512: 2
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 10
    • ECDH:
      • ECDH: 6
      • ECDHE: 4
    • ECDSA:
      • ECDSA: 20
  • FF:
    • DH:
      • DH: 11
      • DHE: 2
      • Diffie-Hellman: 8
    • DSA:
      • DSA: 9
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF: 1
  • SHA:
    • SHA1:
      • SHA-1: 5
      • SHA1: 1
    • SHA2:
      • SHA-2: 4
      • SHA-256: 4
      • SHA-384: 6
      • SHA-512: 5
      • SHA256: 5
      • SHA384: 1
      • SHA512: 1
pdf_data/st_keywords/crypto_scheme
  • KA:
    • Key agreement: 3
  • KEX:
    • Key Exchange: 23
  • MAC:
    • MAC: 11
pdf_data/st_keywords/crypto_protocol
  • IKE:
    • IKE: 31
    • IKEv1: 27
    • IKEv2: 30
  • IPsec:
    • IPsec: 89
  • PGP:
    • PGP: 1
  • SSH:
    • SSH: 2
  • TLS:
    • DTLS:
      • DTLS: 1
    • SSL:
      • SSL: 4
      • SSL 1.0: 1
      • SSL 2.0: 2
      • SSL 3.0: 2
    • TLS:
      • TLS: 100
      • TLS 1.0: 4
      • TLS 1.1: 5
      • TLS 1.2: 4
  • VPN:
    • VPN: 24
  • VPN:
    • VPN: 1
pdf_data/st_keywords/randomness
  • PRNG:
    • DRBG: 2
    • PRNG: 2
  • RNG:
    • RBG: 14
    • RNG: 3
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • CCM:
    • CCM: 3
  • CTR:
    • CTR: 3
  • ECB:
    • ECB: 1
  • GCM:
    • GCM: 6
  • XTS:
    • XTS: 2
pdf_data/st_keywords/ecc_curve
  • NIST:
    • P-192: 2
    • P-256: 16
    • P-384: 16
    • P-521: 14
    • secp256r1: 3
    • secp384r1: 3
    • secp521r1: 2
pdf_data/st_keywords/tls_cipher_suite
  • TLS:
    • TLS_ECDHE_ECDSA_WITH_AES_128_CBC_SHA: 3
    • TLS_ECDHE_ECDSA_WITH_AES_128_CBC_SHA256: 3
    • TLS_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256: 3
    • TLS_ECDHE_ECDSA_WITH_AES_256_CBC_SHA: 3
    • TLS_ECDHE_ECDSA_WITH_AES_256_CBC_SHA384: 3
    • TLS_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384: 3
    • TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA: 2
    • TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA: 2
    • TLS_NULL_WITH_NULL_NULL: 2
    • TLS_RSA_WITH_AES_128_CBC_SHA: 5
    • TLS_RSA_WITH_AES_128_CBC_SHA256: 3
    • TLS_RSA_WITH_AES_256_CBC_SHA: 3
    • TLS_RSA_WITH_AES_256_CBC_SHA256: 1
pdf_data/st_keywords/side_channel_analysis
  • SCA:
    • side-channels: 3
  • SCA:
    • side channels: 3
pdf_data/st_keywords/standard_id
  • FIPS:
    • FIPS 140: 1
    • FIPS 180-4: 3
    • FIPS 186-4: 22
    • FIPS 197: 4
    • FIPS 198-1: 4
    • FIPS 8: 1
    • FIPS PUB 186-4: 6
    • FIPS PUB 197: 2
  • NIST:
    • NIST SP 800-38A: 8
    • NIST SP 800-38C: 5
    • NIST SP 800-38D: 4
    • NIST SP 800-38E: 3
    • NIST SP 800-38F: 3
    • NIST SP 800-56A: 12
    • NIST SP 800-56B: 3
    • NIST SP 800-57: 1
    • NIST SP 800-90A: 1
    • SP 800-132: 1
    • SP 800-56A: 1
    • SP 800-90: 1
  • RFC:
    • RFC 2246: 2
    • RFC 2396: 1
    • RFC 2404: 1
    • RFC 2408: 1
    • RFC 2409: 1
    • RFC 2560: 1
    • RFC 2818: 2
    • RFC 3268: 5
    • RFC 3546: 2
    • RFC 3602: 2
    • RFC 4106: 2
    • RFC 4109: 1
    • RFC 4301: 4
    • RFC 4303: 1
    • RFC 4304: 1
    • RFC 4306: 1
    • RFC 4346: 2
    • RFC 4366: 1
    • RFC 4492: 11
    • RFC 4681: 1
    • RFC 4868: 3
    • RFC 4945: 1
    • RFC 5246: 9
    • RFC 5280: 4
    • RFC 5289: 13
    • RFC 5759: 1
    • RFC 5996: 3
    • RFC 6125: 1
  • X509:
    • X.509: 16
pdf_data/st_metadata
  • /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/convert_garbage True False
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