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.
PikeOS Separation Kernel 4.2.2
BSI-DSZ-CC-1041-2018 		S3SSE2A (S3SSE2A_20240430) ( ANSSI-CC-2024/26)
ANSSI-CC-2024/26
name PikeOS Separation Kernel 4.2.2 S3SSE2A (S3SSE2A_20240430) ( ANSSI-CC-2024/26)
category Operating Systems ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme DE FR
status archived active
not_valid_after 09.12.2023 22.07.2029
not_valid_before 10.12.2018 22.07.2024
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041c_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Certificat-ANSSI-CC-2024_26fr.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2024_26fr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Cible-ANSSI-CC-2024_26en.pdf
manufacturer SYSGO AG Samsung Electronics Co., Ltd.
manufacturer_web https://www.sysgo.com https://www.samsung.com
security_level ALC_FLR.3, EAL3 EAL6+, ASE_TSS.2
dgst bcd676cbe8f74379 ec832cac23bb8b42
heuristics/cert_id BSI-DSZ-CC-1041-2018 ANSSI-CC-2024/26
heuristics/cert_lab BSI []
heuristics/extracted_sars AVA_VAN.2, ALC_FLR.3 ASE_CCL.1, ASE_OBJ.2, ALC_CMC.5, ATE_DPT.3, AVA_VAN.5, ASE_INT.1, ASE_REQ.2, ATE_FUN.2, ADV_IMP.2, AGD_PRE.1, ATE_IND.2, ASE_ECD.1, ALC_TAT.3, ALC_LCD.1, ALC_DVS.2, ADV_TDS.5, ASE_SPD.1, ATE_COV.3, ADV_INT.3, ASE_TSS.2, ALC_CMS.5, AGD_OPE.1, ADV_FSP.5, ALC_DEL.1, ADV_SPM.1, ADV_ARC.1
heuristics/extracted_versions 4.2.2 26, 2024
heuristics/report_references/directly_referenced_by BSI-DSZ-CC-1041-V2-2022 ANSSI-CC-2025/38, ANSSI-CC-2025/20
heuristics/report_references/indirectly_referenced_by BSI-DSZ-CC-1041-V2-2022 ANSSI-CC-2025/38, ANSSI-CC-2025/20
heuristics/st_references/directly_referenced_by {} ANSSI-CC-2025/20
heuristics/st_references/indirectly_referenced_by {} ANSSI-CC-2025/20
heuristics/protection_profiles {} cf0f01bcd7be3e9c
maintenance_updates
protection_profile_links {} https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0084b_pdf.pdf
pdf_data/cert_filename 1041c_pdf.pdf Certificat-ANSSI-CC-2024_26fr.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1041-2018: 1
  • FR:
    • ANSSI-CC-2024/26: 2
pdf_data/cert_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-2014: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 3: 1
    • EAL 3 augmented: 1
  • EAL:
    • EAL2: 1
    • EAL6: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
  • ASE:
    • ASE_TSS.2: 1
pdf_data/cert_keywords/eval_facility
  • CEA-LETI:
    • CEA - LETI: 1
pdf_data/cert_keywords/standard_id
  • ISO:
    • ISO/IEC 15408: 2
    • ISO/IEC 18045: 2
pdf_data/cert_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20181213114818+01'00'
  • /Creator: Writer
  • /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO AG, PikeOS, Separation Kernel"
  • /ModDate: D:20181213121418+01'00'
  • /Producer: LibreOffice 5.2
  • /Subject: Zertifizierung Operating System; Urkunde
  • /Title: Certification Report BSI-DSZ-CC-1041-2018
  • pdf_file_size_bytes: 901999
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /CreationDate: D:20240725101939+02'00'
  • /Creator: Acrobat PDFMaker 23 pour Word
  • /Keywords:
  • /ModDate: D:20240725102107+02'00'
  • /Producer: Adobe PDF Library 23.1.175
  • pdf_file_size_bytes: 168991
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 2
pdf_data/report_filename 1041a_pdf.pdf ANSSI-CC-2024_26fr.pdf
pdf_data/report_frontpage
  • FR:
  • DE:
    • cc_security_level: Common Criteria Part 3 conformant EAL 3 augmented by ALC_FLR.3
    • cc_version: Product specific Security Target Common Criteria Part 2 conformant
    • cert_id: BSI-DSZ-CC-1041-2018
    • cert_item: PikeOS Separation Kernel 4.2.2
    • cert_lab: BSI
    • developer: SYSGO AG
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
    • ref_protection_profiles: None
  • FR:
  • DE:
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1041-2018: 15
  • FR:
    • ANSSI-CC-2024/26: 2
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-2014: 1
    • BSI-PP-0084-2014: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 2
    • EAL 2+: 1
    • EAL 3: 4
    • EAL 3 augmented: 3
    • EAL 4: 1
  • EAL:
    • EAL2: 2
    • EAL6: 1
    • EAL7: 1
  • ITSEC:
    • ITSEC E6 Elevé: 1
pdf_data/report_keywords/cc_sar
  • ALC:
    • ALC_FLR: 3
    • ALC_FLR.3: 4
  • ALC:
    • ALC_FLR: 1
  • ASE:
    • ASE_TSS.2: 1
  • AVA:
    • AVA_VAN: 1
pdf_data/report_keywords/eval_facility
  • atsec:
    • atsec: 3
  • CEA-LETI:
    • CEA - LETI: 1
  • CESTI:
    • CESTI: 3
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
  • DES:
    • 3DES:
      • TDES: 1
    • DES:
      • DES: 1
pdf_data/report_keywords/randomness
  • TRNG:
    • DTRNG: 2
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
pdf_data/report_keywords/tee_name
  • AMD:
    • PSP: 4
pdf_data/report_keywords/standard_id
  • BSI:
    • AIS 32: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • Report, Version 3, 21.11.2018, Final Evaluation Technical Report, atsec information security GmbH, (confidential document) [8] Configuration list for the TOE, 03.09.2018, Master Document List, 16162-9101- MDL.xlsx: 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
pdf_data/st_filename 1041b_pdf.pdf Cible-ANSSI-CC-2024_26en.pdf
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084: 2
    • BSI-CC-PP-0084-: 1
    • BSI-PP-0084: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 3: 5
    • EAL 3 augmented: 1
    • EAL 3+: 1
  • EAL:
    • EAL 4: 1
    • EAL 4 augmented: 1
    • EAL6: 7
    • EAL6 augmented: 3
pdf_data/st_keywords/cc_sar
  • ALC:
    • ALC_FLR.3: 4
  • AVA:
    • AVA_VAN.2: 3
  • ADV:
    • ADV_ARC: 1
    • ADV_ARC.1: 5
    • ADV_FSP: 2
    • ADV_FSP.4: 2
    • ADV_FSP.5: 3
    • ADV_IMP: 1
    • ADV_IMP.2: 1
    • ADV_INT.3: 1
    • ADV_SPM.1: 8
    • ADV_TDS.5: 1
  • AGD:
    • AGD_OPE: 1
    • AGD_OPE.1: 1
    • AGD_PRE: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC: 1
    • ALC_CMC.5: 1
    • ALC_CMS: 2
    • ALC_CMS.4: 1
    • ALC_CMS.5: 3
    • ALC_DEL: 1
    • ALC_DEL.1: 1
    • ALC_DVS: 1
    • ALC_DVS.2: 2
    • ALC_LCD.1: 1
    • ALC_TAT.3: 1
  • APE:
    • APE_ECD: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 2
    • ASE_OBJ.2: 1
    • ASE_REQ.1: 1
    • ASE_REQ.2: 1
    • ASE_SPD.1: 1
    • ASE_TSS.2: 11
  • ATE:
    • ATE_COV: 1
    • ATE_COV.3: 1
    • ATE_DPT.3: 1
    • ATE_FUN.2: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN: 2
    • AVA_VAN.5: 5
pdf_data/st_keywords/cc_sfr
  • FDP:
    • FDP_ACC: 14
    • FDP_ACC.2: 13
    • FDP_ACF: 31
    • FDP_ACF.1: 28
    • FDP_IFC.2: 8
    • FDP_IFF.1: 11
  • FIA:
    • FIA_UID.2: 6
  • FMT:
    • FMT_MSA.1: 6
    • FMT_MSA.3: 7
    • FMT_MSA.3.1: 2
    • FMT_MTD: 12
    • FMT_MTD.1: 3
    • FMT_SMF.1: 5
    • FMT_SMR.1: 7
  • FRU:
    • FRU_RSA: 10
    • FRU_RSA.2: 4
  • FAU:
    • FAU_GEN: 2
    • FAU_GEN.1: 1
    • FAU_SAS: 8
    • FAU_SAS.1: 12
    • FAU_SAS.1.1: 2
  • FCS:
    • FCS_CKM: 14
    • FCS_CKM.1: 14
    • FCS_CKM.4: 7
    • FCS_COP: 15
    • FCS_COP.1: 9
    • FCS_RNG: 17
    • FCS_RNG.1: 14
    • FCS_RNG.1.1: 1
    • FCS_RNG.1.2: 1
  • FDP:
    • FDP_ACC: 10
    • FDP_ACC.1: 20
    • FDP_ACC.1.1: 1
    • FDP_ACF: 14
    • FDP_ACF.1: 17
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_IFC: 1
    • FDP_IFC.1: 23
    • FDP_IFC.1.1: 1
    • FDP_IFF.1: 3
    • FDP_ITC.1: 9
    • FDP_ITC.2: 9
    • FDP_ITT: 1
    • FDP_ITT.1: 18
    • FDP_ITT.1.1: 1
    • FDP_SDC: 4
    • FDP_SDC.1: 14
    • FDP_SDC.1.1: 2
    • FDP_SDI: 1
    • FDP_SDI.1: 2
    • FDP_SDI.2: 8
    • FDP_SDI.2.1: 1
    • FDP_SDI.2.2: 1
    • FDP_UCT.1: 9
    • FDP_UCT.1.1: 1
    • FDP_UIT.1: 9
    • FDP_UIT.1.1: 1
    • FDP_UIT.1.2: 1
  • FIA:
    • FIA_API: 6
    • FIA_API.1: 12
    • FIA_API.1.1: 2
  • FMT:
    • FMT_LIM: 22
    • FMT_LIM.1: 28
    • FMT_LIM.1.1: 2
    • FMT_LIM.2: 32
    • FMT_LIM.2.1: 2
    • FMT_MSA: 2
    • FMT_MSA.1: 12
    • FMT_MSA.1.1: 1
    • FMT_MSA.3: 16
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_SMF: 1
    • FMT_SMF.1: 9
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 6
  • FPT:
    • FPT_FLS: 1
    • FPT_FLS.1: 21
    • FPT_FLS.1.1: 1
    • FPT_ITT: 1
    • FPT_ITT.1: 16
    • FPT_ITT.1.1: 1
    • FPT_PHP: 3
    • FPT_PHP.3: 20
    • FPT_PHP.3.1: 1
  • FRU:
    • FRU_FLT: 1
    • FRU_FLT.1: 1
    • FRU_FLT.2: 17
    • FRU_FLT.2.1: 1
  • FTP:
    • FTP_ITC.1: 13
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
    • FTP_TRP.1: 4
pdf_data/st_keywords/cc_claims
  • A:
    • A.EXCLUSIVE_RESOURCES: 3
    • A.HARDWARE: 3
    • A.PHYSICAL: 3
    • A.PRIVILEGED_EXECUTABLES: 3
    • A.TRUSTWORTHY_PERSONNEL: 3
  • OE:
    • OE.EXCLUSIVE_RESOURCES: 3
    • OE.HARDWARE: 2
    • OE.PHYSICAL: 2
    • OE.PRIVILEGED_EXECUTABLES: 3
    • OE.TRUSTWORTHY_PERSONNEL: 3
  • OT:
    • OT.API_PROTECTION: 5
    • OT.CONFIDENTIALITY: 6
    • OT.INTEGRITY: 4
    • OT.RESOURCE_AVAILABILIT: 1
    • OT.RESOURCE_AVAILABILITY: 5
  • T:
    • T.DEPLETION: 4
    • T.DISCLOSURE: 4
    • T.EXECUTION: 4
    • T.MODIFICATION: 4
  • O:
    • O.AES: 5
    • O.MEM_ACCESS: 1
    • O.RND: 6
    • O.TDES: 7
  • T:
    • T.RND: 5
pdf_data/st_keywords/vendor
  • Samsung:
    • Samsung: 17
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 30
  • DES:
    • 3DES:
      • TDEA: 1
      • TDES: 17
      • Triple-DES: 5
    • DES:
      • DES: 9
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 2
pdf_data/st_keywords/pq_crypto
  • CRYSTALS:
    • CRYSTALS: 3
  • PQC:
    • PQC: 2
pdf_data/st_keywords/hash_function
  • SHA:
    • SHA2:
      • SHA-2: 1
    • SHA3:
      • SHA-3: 1
pdf_data/st_keywords/crypto_protocol
  • PGP:
    • PGP: 2
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 11
    • RNG: 8
  • TRNG:
    • DTRNG: 24
    • TRNG: 1
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 1
  • ECB:
    • ECB: 4
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • Malfunction: 26
    • malfunction: 11
    • physical tampering: 3
  • SCA:
    • DPA: 3
    • Leak-Inherent: 23
    • Physical Probing: 4
    • Physical probing: 2
    • SPA: 2
    • physical probing: 9
    • side channel: 1
    • side-channel: 3
    • timing attacks: 1
  • other:
    • reverse engineering: 4
pdf_data/st_keywords/tee_name
  • AMD:
    • PSP: 30
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS31: 1
    • BSI-AIS31: 2
  • CC:
    • CCMB-2017-04-001: 2
    • CCMB-2017-04-002: 2
    • CCMB-2017-04-003: 2
    • CCMB-2017-04-004: 2
  • FIPS:
    • FIPS197: 1
  • NIST:
    • NIST SP 800-38A: 2
    • NIST SP 800-67: 2
pdf_data/st_metadata
  • /Author: Dominic Eschweiler
  • /BuildID: S5400
  • /Company:
  • /CreationDate: D:20181122132307+01'00'
  • /Creator: Acrobat PDFMaker 15 for Word
  • /DOORS-Baseline: N.A.
  • /DocID: 00101-8000-ST
  • /Keywords:
  • /ModDate: D:20181122132319+01'00'
  • /Producer: Adobe PDF Library 15.0
  • /Revision: 20.6
  • /SourceModified: D:20181122121241
  • /Status: App
  • /Subject: PikeOS Separation Kernel v4.2.2
  • /SupplierCode: N.A.
  • /TemplateAuthor: HJT
  • /TemplateDate: 2012-09-10
  • /TemplateID: 00014-9102-BOOK_ENG
  • /TemplateRevision: 01.3
  • /Title: Security Target
  • /Ziel: 4.2.2
  • pdf_file_size_bytes: 452300
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 47
  • /Author: Junghyun KIM
  • /CreationDate: D:20240508092014+09'00'
  • /Creator: Microsoft® Word 2016
  • /Keywords: ST_lite_S3SSE2A
  • /ModDate: D:20240508092205+09'00'
  • /Producer: Microsoft® Word 2016
  • /Subject: ST_lite_S3SSE2A
  • /Title: ST_lite_S3SSE2A
  • pdf_file_size_bytes: 3340288
  • pdf_hyperlinks: mailto:[email protected]
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 97
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