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.
InCrypto34v2
BSI-DSZ-CC-0202-2005 		L4Re Secure Separation Kernel CC Version 1.0.1
None
name InCrypto34v2 L4Re Secure Separation Kernel CC Version 1.0.1
category Other Devices and Systems Operating Systems
status archived active
not_valid_after 01.09.2019 18.02.2030
not_valid_before 02.02.2005 18.02.2025
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0202a.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0202b.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf
manufacturer ST INCARD S.r.I Kernkonzept GmbH
manufacturer_web https://www.incard.it/ https://kernkonzept.com
security_level AVA_MSU.3, EAL4+, AVA_VLA.4 EAL4+, ALC_FLR.3
dgst d1cbb4ac49f6bb47 7929b54ea442ff99
heuristics/cert_id BSI-DSZ-CC-0202-2005
heuristics/cert_lab BSI []
heuristics/extracted_sars ASE_ENV.1, ADV_RCR.1, ASE_INT.1, ADV_HLD.2, AGD_USR.1, ALC_DVS.2, ASE_REQ.1, ASE_PPC.1, ASE_DES.1, ADV_FSP.2, AVA_SOF.1, ATE_COV.2, ASE_TSS.1, ALC_TAT.1, AGD_ADM.1, ALC_LCD.1, ATE_FUN.1, ADV_IMP.2, ATE_DPT.1, AVA_VLA.4, ASE_SRE.1, ASE_OBJ.1, ATE_IND.2, ADV_LLD.1, ADV_SPM.1, AVA_MSU.3 ALC_FLR.3
heuristics/extracted_versions - 1.0.1
heuristics/report_references/directly_referencing ANSSI-CC-2004/26 {}
heuristics/report_references/indirectly_referencing ANSSI-CC-2004/26 {}
heuristics/scheme_data
pdf_data/report_filename 0202a.pdf
pdf_data/report_frontpage
  • DE:
    • cert_id: BSI-DSZ-CC-0202-2005
    • cert_item: InCrypto34v2
    • cert_lab: BSI
    • developer: ST INCARD S. r. l
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
  • DE:
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0202: 1
    • BSI-DSZ-CC-0202-2005: 20
  • FR:
    • Rapport de certification 2004/26: 1
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0006-: 1
    • BSI-PP-0006-2002: 5
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 4: 2
    • EAL 4 augmented: 1
    • EAL 4+: 1
    • EAL 7: 1
    • EAL1: 5
    • EAL2: 3
    • EAL3: 4
    • EAL4: 12
    • EAL4 augmented: 3
    • EAL4+: 1
    • EAL5: 6
    • EAL6: 3
    • EAL7: 4
pdf_data/report_keywords/cc_sar
  • ACM:
    • ACM_AUT: 2
    • ACM_AUT.1: 1
    • ACM_CAP: 2
    • ACM_CAP.4: 1
    • ACM_SCP: 2
    • ACM_SCP.2: 1
  • ADO:
    • ADO_DEL: 2
    • ADO_DEL.2: 1
    • ADO_IGS: 2
    • ADO_IGS.1: 1
  • ADV:
    • ADV_FSP: 2
    • ADV_FSP.2: 1
    • ADV_HLD: 2
    • ADV_HLD.2: 1
    • ADV_IMP: 2
    • ADV_IMP.1: 1
    • ADV_INT: 2
    • ADV_LLD: 2
    • ADV_LLD.1: 1
    • ADV_RCR: 2
    • ADV_RCR.1: 1
    • ADV_SPM: 2
    • ADV_SPM.1: 1
  • AGD:
    • AGD_ADM: 2
    • AGD_ADM.1: 1
    • AGD_USR: 2
    • AGD_USR.1: 1
  • ALC:
    • ALC_DVS: 2
    • ALC_DVS.1: 1
    • ALC_FLR: 2
    • ALC_LCD: 1
    • ALC_LCD.1: 1
    • ALC_TAT: 2
    • ALC_TAT.1: 1
  • ASE:
    • ASE_DES.1: 1
    • ASE_ENV.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.1: 1
    • ASE_PPC.1: 1
    • ASE_REQ.1: 1
    • ASE_SRE.1: 1
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV: 2
    • ATE_COV.2: 1
    • ATE_DPT: 2
    • ATE_DPT.1: 1
    • ATE_FUN: 2
    • ATE_FUN.1: 1
    • ATE_IND: 2
    • ATE_IND.2: 1
  • AVA:
    • AVA_CCA: 2
    • AVA_MSU: 2
    • AVA_MSU.3: 4
    • AVA_SOF: 4
    • AVA_SOF.1: 1
    • AVA_VLA: 4
    • AVA_VLA.2: 1
    • AVA_VLA.3: 1
    • AVA_VLA.4: 5
pdf_data/report_keywords/cc_sfr
  • FCS:
    • FCS_CKM.1: 1
    • FCS_CKM.4: 1
    • FCS_COP.1: 1
  • FDP:
    • FDP_ACC.1: 1
    • FDP_ACF.1: 1
    • FDP_ETC.1: 1
    • FDP_ITC.1: 1
    • FDP_RIP.1: 1
    • FDP_SDI.2: 1
    • FDP_UIT.1: 1
  • FIA:
    • FIA_AFL.1: 1
    • FIA_ATD.1: 1
    • FIA_UAU.1: 1
    • FIA_UID.1: 1
  • FMT:
    • FMT_MOF.1: 1
    • FMT_MSA.1: 1
    • FMT_MSA.2: 1
    • FMT_MSA.3: 1
    • FMT_MTD.1: 1
    • FMT_SMF.1: 1
    • FMT_SMR.1: 1
  • FPT:
    • FPT_AMT.1: 1
    • FPT_FLS.1: 1
    • FPT_PHP.1: 1
    • FPT_PHP.3: 1
    • FPT_TST.1: 1
  • FTP:
    • FTP_ITC.1: 1
    • FTP_TRP.1: 1
pdf_data/report_keywords/cc_claims
  • A:
    • A.CGA: 2
    • A.MANAGE: 2
    • A.PERSONALIZATION: 2
    • A.SCA: 2
    • A.VAD: 2
pdf_data/report_keywords/vendor
pdf_data/report_keywords/eval_facility
  • Serma:
    • SERMA: 4
  • TUV:
    • TÜV Informationstechnik: 5
    • TÜViT: 1
pdf_data/report_keywords/symmetric_crypto
  • DES:
    • DES:
      • DES: 2
pdf_data/report_keywords/asymmetric_crypto
pdf_data/report_keywords/pq_crypto
pdf_data/report_keywords/hash_function
pdf_data/report_keywords/crypto_scheme
  • MAC:
    • MAC: 1
pdf_data/report_keywords/crypto_protocol
pdf_data/report_keywords/randomness
pdf_data/report_keywords/cipher_mode
pdf_data/report_keywords/ecc_curve
pdf_data/report_keywords/crypto_engine
pdf_data/report_keywords/tls_cipher_suite
pdf_data/report_keywords/crypto_library
pdf_data/report_keywords/vulnerability
pdf_data/report_keywords/side_channel_analysis
  • SCA:
    • DPA: 1
    • side channel: 1
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7125: 2
    • BSI 7148: 1
    • BSI 7149: 1
pdf_data/report_keywords/device_model
pdf_data/report_keywords/tee_name
pdf_data/report_keywords/os_name
pdf_data/report_keywords/cplc_data
pdf_data/report_keywords/ic_data_group
pdf_data/report_keywords/standard_id
  • BSI:
    • AIS 32: 1
    • AIS 36: 2
  • ISO:
    • ISO/IEC 15408:1999: 1
    • ISO/IEC 7816: 2
    • ISO/IEC 7816-: 1
pdf_data/report_keywords/javacard_version
pdf_data/report_keywords/javacard_api_const
pdf_data/report_keywords/javacard_packages
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • 05, EAL 4+ BSI-PP-0006-2002, 25. July.2001 [13] InCrypto34v2 ACM Configuration List A-4 23.09.2004 (confidential document) [14] InCrypto34v2 - USER and ADMINISTRATOR Guidance, Issued: 23.11.2004, Revision: A - 8 [15: 1
    • Evaluation Reference List (RefList); CC Evaluation of InCrypto34v2; Version: 28; Date: 20.12.2004 (confidential document) Certification Report BSI-DSZ-CC-0202-2005 B-22 [8] ETR-lite for composition ST19XL34P, ITSEF of: 1
    • Specification, Issued 12.12.2003, Revision A – 4, (confidential document) [16] InCrypto34v2-High Level Design, Issued 03.09.2003, Revision: A – 3, (confidential document: 1
    • Technologies, Version 1.0, Date 12/07/2004, Document reference: GRENAT_XL34P_ETR_lite v1.0, (confidential document) [9] ST19XL34, SECURITY TARGET, SMD_ST19XL34_ST_04_001_V1.00, V1_00, issued in July 2004 by ST: 1
pdf_data/report_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20050131090035+01'00'
  • /Creator: AdobePS5.dll Version 5.2
  • /Keywords: Certification Report, InCrypto34v2
  • /ModDate: D:20050307114617+01'00'
  • /Producer: Acrobat Distiller 5.0.5 (Windows)
  • /Subject: Certification Report
  • /Title: Certification Report - 0202a
  • pdf_file_size_bytes: 405934
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 40
pdf_data/st_filename 0202b.pdf
pdf_data/st_keywords/cc_cert_id
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0006-2002: 2
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 4
    • EAL 4 augmented: 2
    • EAL 4+: 1
    • EAL4: 3
    • EAL4 augmented: 2
    • EAL4+: 2
pdf_data/st_keywords/cc_sar
  • ACM:
    • ACM_AUT.1: 1
    • ACM_CAP.4: 1
    • ACM_SCP.2: 1
  • ADO:
    • ADO_DEL.2: 1
    • ADO_IGS.1: 1
  • ADV:
    • ADV_FSP.2: 1
    • ADV_HLD.2: 1
    • ADV_IMP.1: 1
    • ADV_IMP.2: 1
    • ADV_LLD.1: 1
    • ADV_RCR.1: 1
    • ADV_SPM.1: 1
  • AGD:
    • AGD_ADM.1: 1
    • AGD_USR.1: 1
  • ALC:
    • ALC_DVS.1: 1
    • ALC_DVS.2: 1
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • ATE:
    • ATE_COV.2: 1
    • ATE_DPT.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_MSU.2: 1
    • AVA_MSU.3: 8
    • AVA_SOF.1: 1
    • AVA_VLA.4: 8
pdf_data/st_keywords/cc_sfr
  • FCS:
    • FCS_CKM: 2
    • FCS_CKM.1: 2
    • FCS_CKM.1.1: 2
    • FCS_CKM.2: 2
    • FCS_CKM.3: 2
    • FCS_CKM.4: 2
    • FCS_CKM.4.1: 2
    • FCS_COP: 1
    • FCS_COP.1: 7
  • FDP:
    • FDP_ACC.1: 9
    • FDP_ACC.1.1: 12
    • FDP_ACF.1: 29
    • FDP_ACF.1.1: 4
    • FDP_ACF.1.2: 12
    • FDP_ACF.1.4: 6
    • FDP_ETC.1: 3
    • FDP_ETC.1.1: 1
    • FDP_ETC.1.2: 1
    • FDP_ITC.1: 4
    • FDP_ITC.1.1: 1
    • FDP_ITC.1.2: 1
    • FDP_ITC.1.3: 1
    • FDP_RIP.1: 1
    • FDP_RIP.1.1: 2
    • FDP_SDI.2: 5
    • FDP_SDI.2.1: 3
    • FDP_SDI.2.2: 7
    • FDP_UIT.1: 11
    • FDP_UIT.1.1: 4
    • FDP_UIT.1.2: 4
  • FIA:
    • FIA_AFL.1: 2
    • FIA_AFL.1.1: 20
    • FIA_AFL.1.2: 3
    • FIA_ATD.1: 1
    • FIA_ATD.1.1: 2
    • FIA_UAU.1: 3
    • FIA_UAU.1.1: 3
    • FIA_UAU.1.2: 2
    • FIA_UID.1: 4
    • FIA_UID.1.1: 2
    • FIA_UID.1.2: 2
  • FMT:
    • FMT_MOF: 1
    • FMT_MOF.1: 1
    • FMT_MOF.1.1: 2
    • FMT_MSA: 1
    • FMT_MSA.1: 2
    • FMT_MSA.1.1: 4
    • FMT_MSA.2: 1
    • FMT_MSA.2.1: 2
    • FMT_MSA.3: 1
    • FMT_MSA.3.1: 2
    • FMT_MSA.3.2: 2
    • FMT_MTD: 1
    • FMT_MTD.1: 3
    • FMT_MTD.1.1: 4
    • FMT_SMF.1: 14
    • FMT_SMF.1.1: 3
    • FMT_SMR.1: 1
    • FMT_SMR.1.1: 2
    • FMT_SMR.1.2: 2
  • FPT:
    • FPT_AMT.1: 2
    • FPT_AMT.1.1: 2
    • FPT_FLS.1: 2
    • FPT_FLS.1.1: 5
    • FPT_PHP.1: 1
    • FPT_PHP.1.1: 5
    • FPT_PHP.1.2: 5
    • FPT_PHP.3: 2
    • FPT_PHP.3.1: 4
    • FPT_TST.1: 2
    • FPT_TST.1.1: 2
    • FPT_TST.1.2: 2
    • FPT_TST.1.3: 2
  • FTP:
    • FTP_ITC: 3
    • FTP_ITC.1: 15
    • FTP_ITC.1.1: 6
    • FTP_ITC.1.2: 6
    • FTP_ITC.1.3: 6
    • FTP_TRP: 5
    • FTP_TRP.1: 9
    • FTP_TRP.1.1: 3
    • FTP_TRP.1.2: 3
    • FTP_TRP.1.3: 3
pdf_data/st_keywords/cc_claims
  • A:
    • A.CGA: 1
    • A.MANAGE: 3
    • A.PERSONALIZATION: 3
    • A.SGA: 1
    • A.VAD: 4
  • OE:
    • OE.HI_VAD: 1
  • OT:
    • OT.TYPE: 1
  • T:
    • T.TYPE: 1
pdf_data/st_keywords/vendor
  • STMicroelectronics:
    • STM: 1
    • STMicroelectronics: 9
pdf_data/st_keywords/eval_facility
  • IMQLPS:
    • IMQ/LPS: 1
pdf_data/st_keywords/symmetric_crypto
  • DES:
    • 3DES:
      • TripleDES: 2
    • DES:
      • DES: 39
pdf_data/st_keywords/asymmetric_crypto
  • RSA:
    • RSA 1024: 1
pdf_data/st_keywords/pq_crypto
pdf_data/st_keywords/hash_function
  • SHA:
    • SHA1:
      • SHA-1: 4
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 24
pdf_data/st_keywords/crypto_protocol
pdf_data/st_keywords/randomness
pdf_data/st_keywords/cipher_mode
pdf_data/st_keywords/ecc_curve
pdf_data/st_keywords/crypto_engine
pdf_data/st_keywords/tls_cipher_suite
pdf_data/st_keywords/crypto_library
pdf_data/st_keywords/vulnerability
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • physical tampering: 4
pdf_data/st_keywords/technical_report_id
pdf_data/st_keywords/device_model
pdf_data/st_keywords/tee_name
pdf_data/st_keywords/os_name
pdf_data/st_keywords/cplc_data
pdf_data/st_keywords/ic_data_group
pdf_data/st_keywords/standard_id
  • FIPS:
    • FIPS 113: 1
    • FIPS 180-1: 1
    • FIPS PUB 113: 1
    • FIPS PUB 140-2: 1
    • FIPS PUB 180-1: 1
  • ISO:
    • ISO/IEC 15408: 6
    • ISO/IEC 7816: 2
    • ISO/IEC 7816-: 1
  • PKCS:
    • PKCS#1: 1
pdf_data/st_keywords/javacard_version
pdf_data/st_keywords/javacard_api_const
pdf_data/st_keywords/javacard_packages
pdf_data/st_keywords/certification_process
pdf_data/st_metadata
  • /Author: ST Incard S. r. l.
  • /CreationDate: D:00000101000000Z
  • /Creator: PScript5.dll Version 5.2
  • /Keywords: INCRYPTO34v2 ST
  • /ModDate: D:20050307114121+01'00'
  • /Producer: AFPL Ghostscript 7.03
  • /Subject: INCRYPTO34v2 ST
  • /Title: INCRYPTO34v2_ST
  • pdf_file_size_bytes: 638639
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 64
state/report/convert_ok True False
state/report/download_ok True False
state/report/extract_ok True False
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/convert_ok True False
state/st/download_ok True False
state/st/extract_ok True False
state/st/pdf_hash Different Different
state/st/txt_hash Different Different