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.
FIN.X RTOS SE V4.0
OCSI/CERT/RES/06/2014/RC 		Digitaler Tachograph EFAS-3 V01
BSI-DSZ-CC-0474-2008
name FIN.X RTOS SE V4.0 Digitaler Tachograph EFAS-3 V01
category Operating Systems Other Devices and Systems
scheme IT DE
not_valid_after 25.07.2022 01.09.2019
not_valid_before 25.07.2017 19.06.2008
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_4_v1.0.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0474a.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_4_lite03.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0474b.pdf
manufacturer MBDA Italia S.p.A. Efkon
manufacturer_web https://www.mbda-systems.com/ https://www.efkon.com/
security_level EAL4+, ALC_FLR.1 ADV_IMP.2, ADO_IGS.2, ATE_DPT.2, AVA_VLA.4, EAL4+
dgst 9cb1663e606ec87b 419c334e2fcd0fff
heuristics/cert_id OCSI/CERT/RES/06/2014/RC BSI-DSZ-CC-0474-2008
heuristics/cert_lab [] BSI
heuristics/extracted_sars ASE_INT.1, ALC_CMC.4, ASE_ECD.1, ADV_IMP.1, ATE_COV.2, ALC_FLR.1, ALC_TAT.1, ASE_TSS.1, ASE_SPD.1, ALC_DEL.1, ALC_LCD.1, AGD_OPE.1, AVA_VAN.3, AGD_PRE.1, ALC_CMS.4, ATE_FUN.1, ADV_ARC.1, ASE_OBJ.2, ADV_TDS.3, ATE_DPT.1, ASE_REQ.2, ALC_DVS.1, ADV_FSP.4, ATE_IND.2, ASE_CCL.1 ALC_DVS.1, ATE_COV.2, ADV_RCR.1, ALC_TAT.1, AVA_VLA.4, AVA_MSU.2, ATE_DPT.2, ADV_HLD.2, ATE_FUN.1, AGD_USR.1, AVA_SOF.1, ATE_IND.2, AGD_ADM.1, ADV_LLD.1, ALC_LCD.1, ADV_IMP.2, ADV_FSP.2, ADV_SPM.1
heuristics/extracted_versions 4.0 3
heuristics/report_references/directly_referenced_by OCSI/CERT/LEO/08/2021/RC {}
heuristics/report_references/directly_referencing OCSI/CERT/RES/03/2012/RC ANSSI-CC-2006/20
heuristics/report_references/indirectly_referenced_by OCSI/CERT/LEO/08/2021/RC {}
heuristics/report_references/indirectly_referencing OCSI/CERT/RES/03/2012/RC ANSSI-CC-2006/20, ANSSI-CC-2005/20
maintenance_updates
pdf_data/report_filename rc_finx_rtos_se_4_v1.0.pdf 0474a.pdf
pdf_data/report_frontpage
  • DE:
  • DE:
    • cert_id: BSI-DSZ-CC-0474-2008
    • cert_item: Digital Tachograph EFAS-3 V01
    • cert_lab: BSI
    • developer: EFKON AG
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
pdf_data/report_keywords/cc_cert_id
  • IT:
    • OCSI/CERT/RES/03/2012/RC: 1
    • OCSI/CERT/RES/06/2014/RC: 35
  • DE:
    • BSI-DSZ-CC-0474-2008: 19
  • FR:
    • Rapport de certification 2006/20: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL2: 1
    • EAL4: 9
    • EAL4+: 1
  • EAL:
    • EAL 1: 1
    • EAL 4: 5
    • EAL 7: 1
    • EAL1: 5
    • EAL2: 3
    • EAL3: 4
    • EAL4: 11
    • EAL4 augmented: 3
    • EAL5: 6
    • EAL6: 3
    • EAL7: 4
  • ITSEC:
    • ITSEC E3 high: 2
pdf_data/report_keywords/cc_sar
  • 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: 2
    • ALC_FLR.1: 5
    • 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
  • 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.2: 6
  • ADV:
    • ADV_FSP: 2
    • ADV_HLD: 2
    • ADV_IMP: 2
    • ADV_IMP.2: 5
    • ADV_INT: 2
    • ADV_LLD: 2
    • ADV_RCR: 2
    • ADV_SPM: 2
  • AGD:
    • AGD_ADM: 2
    • AGD_USR: 2
  • 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
  • APE:
    • APE_DES: 1
    • APE_ENV: 1
    • APE_INT: 1
    • APE_OBJ: 1
    • APE_REQ: 1
    • APE_SRE: 1
  • ASE:
    • ASE_DES: 1
    • ASE_ENV: 1
    • ASE_INT: 1
    • ASE_OBJ: 1
    • ASE_PPC: 1
    • ASE_REQ: 1
    • ASE_SRE: 1
    • ASE_TSS: 1
  • ATE:
    • ATE_COV: 2
    • ATE_DPT: 2
    • ATE_DPT.2: 5
    • ATE_FUN: 2
    • ATE_IND: 2
  • AVA:
    • AVA_CCA: 2
    • AVA_MSU: 2
    • AVA_SOF: 3
    • AVA_VLA: 3
    • AVA_VLA.2: 1
    • AVA_VLA.3: 1
    • AVA_VLA.4: 6
pdf_data/report_keywords/cc_sfr
  • FAU:
    • FAU_STG.3: 1
    • FAU_STG.4: 1
  • FCS:
    • FCS_CKM.1: 2
pdf_data/report_keywords/cc_claims
  • A:
    • A: 1
pdf_data/report_keywords/vendor
  • Microsoft:
    • Microsoft: 1
  • Sagem:
    • Sagem: 8
pdf_data/report_keywords/eval_facility
  • SRC:
    • SRC Security Research & Consulting: 2
pdf_data/report_keywords/asymmetric_crypto
  • FF:
    • DSA:
      • DSA: 4
pdf_data/report_keywords/hash_function
  • SHA:
    • SHA2:
      • SHA-256: 1
      • SHA256: 5
  • SHA:
    • SHA1:
      • SHA-1: 5
pdf_data/report_keywords/crypto_scheme
  • MAC:
    • MAC: 1
pdf_data/report_keywords/crypto_protocol
  • SSH:
    • SSH: 5
  • TLS:
    • SSL:
      • SSL: 3
pdf_data/report_keywords/side_channel_analysis
  • SCA:
    • DPA: 1
  • other:
    • JIL: 3
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7125: 2
    • BSI 7148: 1
    • BSI 7149: 1
pdf_data/report_keywords/device_model
  • ATMEL:
    • ATMEL AT90SC320288RCT/A: 2
pdf_data/report_keywords/tee_name
  • IBM:
    • SE: 33
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
  • ISO:
    • ISO/IEC 15408: 2
  • BSI:
    • AIS 25: 2
    • AIS 26: 1
    • AIS 27: 2
    • AIS 32: 1
    • AIS 34: 2
    • AIS 36: 2
  • ISO:
    • ISO/IEC 15408:2005: 3
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • GmbH (confidential document) [9] Operating manual EFAS-3, file 5340.029.DOC.D05 (German version), 2007, EFKON mobility GmbH [10: 1
    • Technical Report, Version 1.20, 04.06.2008, Evaluation Technical Report (ETR) EFAS-3 V01, SRC GmbH (confidential document) [8] Configuration list for the TOE, Version 07, 03.06.2008, EFAS-3 V01 Konfigurationsliste, Efkon: 1
pdf_data/report_metadata
  • /Author: ocsi
  • /CreationDate: D:20170727120322+02'00'
  • /Creator: Microsoft® Word 2010
  • /ModDate: D:20170727120322+02'00'
  • /Producer: Microsoft® Word 2010
  • /Title: Rapporto di Certificazione del prodotto “FIN.X RTOS SE V4.0”
  • pdf_file_size_bytes: 805511
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 35
  • /Author: Federal Office for Information Security
  • /CreationDate: D:20080708105428+02'00'
  • /Creator: Writer
  • /Keywords: "Digital Tachograph EFAS-3 V01, BSI-DSZ-CC-0474-2008, EFKON AG"
  • /ModDate: D:20080709084452+02'00'
  • /Producer: StarOffice 8
  • /Subject: Common Criteria Zertifizierung
  • /Title: Zertifizierungsreport BSI-DSZ-CC-0474-2008
  • pdf_file_size_bytes: 732922
  • pdf_hyperlinks: http://www.bsi.bund.de/
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 36
pdf_data/st_filename tds_finx_rtos_se_4_lite03.pdf 0474b.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0474: 2
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL4: 4
    • EAL4 augmented: 2
  • EAL:
    • EAL 4: 3
    • EAL 4 augmented: 2
    • EAL4: 12
    • EAL4 augmented: 4
  • ITSEC:
    • ITSEC E3 high: 3
    • ITSEC E3.32: 1
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 5
  • ALC:
    • ALC_FLR.1: 3
  • ACM:
    • ACM_AUT: 1
    • ACM_AUT.1: 1
    • ACM_CAP: 1
    • ACM_CAP.4: 1
    • ACM_SCP: 1
    • ACM_SCP.2: 1
  • ADO:
    • ADO_DEL: 1
    • ADO_DEL.2: 1
    • ADO_IGS: 1
    • ADO_IGS.2: 10
  • ADV:
    • ADV_FSP: 1
    • ADV_FSP.1: 1
    • ADV_FSP.2: 1
    • ADV_HLD: 1
    • ADV_HLD.2: 3
    • ADV_IMP: 1
    • ADV_IMP.1: 1
    • ADV_IMP.2: 9
    • ADV_LLD: 1
    • ADV_LLD.1: 4
    • ADV_RCR: 1
    • ADV_RCR.1: 2
    • ADV_SPM: 1
    • ADV_SPM.1: 5
  • AGD:
    • AGD_ADM: 1
    • AGD_ADM.1: 3
    • AGD_USR: 1
    • AGD_USR.1: 2
  • ALC:
    • ALC_DVS: 1
    • ALC_DVS.1: 1
    • ALC_LCD: 1
    • ALC_LCD.1: 1
    • ALC_TAT: 1
    • ALC_TAT.1: 2
  • ATE:
    • ATE_COV: 1
    • ATE_COV.2: 1
    • ATE_DPT: 1
    • ATE_DPT.2: 9
    • ATE_FUN: 1
    • ATE_FUN.1: 2
    • ATE_IND: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_MSU: 1
    • AVA_MSU.2: 2
    • AVA_SOF: 1
    • AVA_SOF.1: 4
    • AVA_VLA: 2
    • AVA_VLA.4: 10
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_GEN.1: 13
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_GEN.2: 6
    • FAU_GEN.2.1: 1
    • FAU_SAR.1: 10
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_SAR.2: 7
    • FAU_SAR.2.1: 1
    • FAU_SAR.3: 8
    • FAU_SAR.3.1: 1
    • FAU_SEL.1: 7
    • FAU_SEL.1.1: 3
    • FAU_STG.1: 9
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG.3: 8
    • FAU_STG.3.1: 1
    • FAU_STG.4: 7
    • FAU_STG.4.1: 1
  • FCS:
    • FCS_CKM: 17
    • FCS_CKM.1: 64
    • FCS_CKM.1.1: 7
    • FCS_CKM.2: 16
    • FCS_CKM.2.1: 2
    • FCS_CKM.4: 5
    • FCS_CKM.4.1: 1
    • FCS_CKM_EXT: 1
    • FCS_CKM_EXT.4: 1
    • FCS_CKM_EXT.4.1: 1
    • FCS_COP.1: 24
    • FCS_COP.1.1: 4
    • FCS_COP.1.2: 1
    • FCS_RNG_EXT.1: 1
  • FDP:
    • FDP_ACC.1: 20
    • FDP_ACC.1.1: 1
    • FDP_ACF.1: 14
    • FDP_ACF.1.1: 2
    • FDP_ACF.1.2: 2
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_IFC.1: 3
    • FDP_ITC.1: 5
    • FDP_ITC.2: 5
    • FDP_RIP.2: 9
    • FDP_RIP.2.1: 1
    • FDP_UCT.1: 8
    • FDP_UCT.1.1: 2
    • FDP_UIT.1: 7
    • FDP_UIT.1.1: 2
    • FDP_UIT.1.2: 1
  • FIA:
    • FIA_AFL: 1
    • FIA_AFL.1: 10
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 2
    • FIA_AFL_EXT.1: 3
    • FIA_ATD.1: 11
    • FIA_ATD.1.1: 1
    • FIA_SOS: 1
    • FIA_SOS.1: 14
    • FIA_SOS.1.1: 3
    • FIA_UAU.1: 1
    • FIA_UAU.2: 13
    • FIA_UAU.2.1: 1
    • FIA_UAU.5: 11
    • FIA_UAU.5.1: 3
    • FIA_UAU.5.2: 3
    • FIA_UAU.6: 7
    • FIA_UAU.6.1: 1
    • FIA_UAU.7: 10
    • FIA_UAU.7.1: 1
    • FIA_UID: 1
    • FIA_UID.1: 2
    • FIA_UID.2: 10
    • FIA_UID.2.1: 1
    • FIA_USB.1: 12
    • FIA_USB.1.1: 1
    • FIA_USB.1.2: 1
    • FIA_USB.1.3: 1
  • FMT:
    • FMT_MOF.1: 17
    • FMT_MOF.1.1: 2
    • FMT_MSA.1: 13
    • FMT_MSA.1.1: 1
    • FMT_MSA.2: 8
    • FMT_MSA.2.1: 1
    • FMT_MSA.3: 12
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 52
    • FMT_MTD.1.1: 7
    • FMT_REV.1: 25
    • FMT_REV.1.1: 2
    • FMT_SAE.1: 8
    • FMT_SAE.1.1: 1
    • FMT_SAE.1.2: 2
    • FMT_SMF.1: 19
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 25
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPT:
    • FPT_FLS.1: 24
    • FPT_FLS.1.1: 5
    • FPT_STM.1: 9
    • FPT_STM.1.1: 1
    • FPT_TST.1: 8
    • FPT_TST.1.1: 1
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FTA:
    • FTA_SSL.2: 7
    • FTA_SSL.2.1: 1
    • FTA_SSL.2.2: 2
    • FTA_TAB.1: 8
    • FTA_TAB.1.1: 2
    • FTA_TAH.1: 8
    • FTA_TAH.1.1: 2
    • FTA_TAH.1.2: 2
    • FTA_TAH.1.3: 1
  • FTP:
    • FTP_ITC.1: 13
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
    • FTP_TRP: 2
  • FAU:
    • FAU_GEN: 2
    • FAU_GEN.1: 12
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 6
    • FAU_SAA: 1
    • FAU_SAA.1: 10
    • FAU_SAA.1.1: 1
    • FAU_SAA.1.2: 3
  • FCO:
    • FCO_NRO: 1
    • FCO_NRO.1: 8
    • FCO_NRO.1.1: 2
    • FCO_NRO.1.2: 3
    • FCO_NRO.1.3: 3
  • FCS:
    • FCS_CKM: 59
    • FCS_CKM.1: 61
    • FCS_CKM.1.1: 2
    • FCS_CKM.2: 8
    • FCS_CKM.2.1: 2
    • FCS_CKM.3: 18
    • FCS_CKM.3.1: 8
    • FCS_CKM.4: 55
    • FCS_CKM.4.1: 2
    • FCS_COP: 52
    • FCS_COP.1: 20
    • FCS_COP.1.1: 8
  • FDP:
    • FDP_ACC: 1
    • FDP_ACC.1: 7
    • FDP_ACC.2: 13
    • FDP_ACC.2.1: 1
    • FDP_ACC.2.2: 4
    • FDP_ACF: 1
    • FDP_ACF.1: 16
    • FDP_ACF.1.1: 12
    • FDP_ACF.1.2: 9
    • FDP_ACF.1.3: 2
    • FDP_ACF.1.4: 2
    • FDP_IFC.1: 2
    • FDP_ITC: 1
    • FDP_ITC.1: 50
    • FDP_ITC.1.1: 2
    • FDP_ITC.1.2: 2
    • FDP_ITC.1.3: 2
    • FDP_ITC.2: 38
    • FDP_RIP: 1
    • FDP_RIP.1: 9
    • FDP_RIP.1.1: 2
    • FDP_SDI: 1
    • FDP_SDI.1: 2
    • FDP_SDI.2: 10
    • FDP_SDI.2.1: 2
    • FDP_SDI.2.2: 3
  • FIA:
    • FIA_AFL: 21
    • FIA_AFL.1: 13
    • FIA_AFL.1.1: 3
    • FIA_AFL.1.2: 3
    • FIA_UAU: 1
    • FIA_UAU.1: 22
    • FIA_UAU.1.1: 1
    • FIA_UAU.1.2: 7
    • FIA_UAU.3: 10
    • FIA_UAU.3.1: 1
    • FIA_UAU.3.2: 6
    • FIA_UAU.6: 11
    • FIA_UAU.6.1: 2
    • FIA_UID: 1
    • FIA_UID.1: 19
    • FIA_UID.1.1: 1
    • FIA_UID.1.2: 6
  • FMT:
    • FMT_MSA.1: 2
    • FMT_MSA.2: 42
    • FMT_MSA.3: 5
    • FMT_MTD.1: 2
    • FMT_SMR.1: 2
  • FPT:
    • FPT_AMT.1: 5
    • FPT_FLS: 2
    • FPT_FLS.1: 8
    • FPT_FLS.1.1: 4
    • FPT_ITA: 1
    • FPT_ITA.1: 11
    • FPT_ITA.1.1: 4
    • FPT_PHP: 1
    • FPT_PHP.1: 11
    • FPT_PHP.1.1: 1
    • FPT_PHP.1.2: 5
    • FPT_SEP: 1
    • FPT_SEP.1: 11
    • FPT_SEP.1.1: 1
    • FPT_SEP.1.2: 5
    • FPT_STM: 1
    • FPT_STM.1: 14
    • FPT_STM.1.1: 2
    • FPT_TST: 1
    • FPT_TST.1: 14
    • FPT_TST.1.1: 5
    • FPT_TST.1.2: 2
    • FPT_TST.1.3: 2
  • FTP:
    • FTP_ITC: 27
    • FTP_ITC.1: 24
    • FTP_ITC.1.1: 3
    • FTP_ITC.1.2: 3
    • FTP_ITC.1.3: 3
pdf_data/st_keywords/cc_claims
  • A:
    • A.AUTHUSER: 3
    • A.CONNECT: 3
    • A.DETECT: 4
    • A.MANAGE: 3
    • A.PEER_FUNC: 2
    • A.PEER_MGT: 2
    • A.PHYSICAL: 3
    • A.TRAINEDUSER: 3
  • O:
    • O.ACCESS: 10
    • O.ACCESS_HISTORY: 4
    • O.AUDIT_GENERATION: 8
    • O.AUDIT_PROTECTION: 5
    • O.AUDIT_REVIEW: 5
    • O.CRYPTO_MEDIA: 7
    • O.CRYPTO_NET: 13
    • O.DISCRETIONARY_ACCESS: 11
    • O.DISCRETIONARY_USER_CONTROL: 7
    • O.DISPLAY_BANNER: 3
    • O.ENFORCEMENT: 3
    • O.MANAGE: 19
    • O.PROTECT: 13
    • O.RESIDUAL_INFORMATION: 4
    • O.RUNTIME: 8
    • O.TRUSTED_CHANNEL: 6
    • O.USER_AUTHENTICATION: 12
    • O.USER_IDENTIFICATION: 5
  • OE:
    • OE.ADMIN: 1
    • OE.INFO_PROTECT: 1
    • OE.INSTALL: 1
    • OE.MAINTENANCE: 1
    • OE.PHYSICAL: 4
    • OE.RECOVER: 1
    • OE.TRUSTED: 6
  • T:
    • T.ASSETS_COMPROMISE: 7
    • T.AUDIT_COMPROMISE: 4
    • T.COMM: 4
    • T.MASQUERADE: 3
    • T.RESIDUAL_DATA: 2
    • T.TSFDATA: 3
    • T.TSFFUNC: 4
    • T.UNATTENDED_SESSION: 2
    • T.UNAUTHORIZED_ACCESS: 7
    • T.UNIDENTIFIED_ACTIONS: 2
    • T.USER: 5
    • T.USERDATA: 3
  • A:
    • A.DEV_ORG: 2
    • A.DLV_AUDIT: 2
    • A.DLV_PROTECT: 2
    • A.DLV_RESP: 2
    • A.SOFT_ARCHI: 2
    • A.USE_DIAG: 1
    • A.USE_PROD: 2
    • A.USE_SYS: 1
    • A.USE_TEST: 2
  • O:
    • O.DESIGN_ACS: 1
    • O.DEV_DIS: 1
    • O.DEV_TOOLS: 1
    • O.DLV_AUDIT: 1
    • O.DLV_PROTECT: 1
    • O.DLV_RESP: 1
    • O.DSOFT_ACS: 1
    • O.IC_DLV: 1
    • O.MASK_FAB: 1
    • O.MECH_ACS: 1
    • O.SOFT_ACS: 1
    • O.SOFT_DLV: 1
    • O.SOFT_MECH: 1
    • O.TEST_OPERATE: 1
    • O.TI_ACS: 1
    • O.TOE_PRT: 1
    • O.USE_DIAG: 3
    • O.USE_SYS: 3
pdf_data/st_keywords/eval_facility
  • SRC:
    • SRC Security Research & Consulting: 1
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 5
  • DES:
    • 3DES:
      • T-DES: 2
      • TDES: 1
  • constructions:
    • MAC:
      • HMAC: 1
  • DES:
    • 3DES:
      • 3-DES: 7
      • TDES: 3
      • Triple-DES: 3
    • DES:
      • DES: 2
pdf_data/st_keywords/asymmetric_crypto
  • FF:
    • DH:
      • Diffie-Hellman: 2
    • DSA:
      • DSA: 27
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF2: 6
  • SHA:
    • SHA1:
      • SHA-1: 1
      • SHA1: 1
    • SHA2:
      • SHA-2: 1
      • SHA-224: 1
      • SHA-256: 1
      • SHA-384: 1
      • SHA-512: 2
  • SHA:
    • SHA1:
      • SHA-1: 15
      • SHA1: 1
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 11
pdf_data/st_keywords/crypto_protocol
  • SSH:
    • SSH: 44
  • TLS:
    • TLS:
      • TLS: 1
pdf_data/st_keywords/randomness
  • PRNG:
    • PRNG: 4
  • RNG:
    • RNG: 1
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • CTR:
    • CTR: 2
  • XTS:
    • XTS: 1
  • CBC:
    • CBC: 1
pdf_data/st_keywords/crypto_library
  • OpenSSL:
    • OpenSSL: 16
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • malfunction: 1
    • physical tampering: 9
  • other:
    • JIL: 21
    • reverse engineering: 2
pdf_data/st_keywords/device_model
  • ATMEL:
    • ATMEL AT90SC320288RCT/AT90SC144144CT: 1
pdf_data/st_keywords/tee_name
  • IBM:
    • SE: 112
pdf_data/st_keywords/standard_id
  • CC:
    • CCIMB-2012-09-003: 1
    • CCMB-2012-09-001: 1
  • FIPS:
    • FIPS 140-2: 1
    • FIPS 186-2: 1
    • FIPS 186-4: 2
    • FIPS PUB 186-2: 4
    • FIPS PUB 186-4: 3
    • FIPS140: 2
    • FIPS186: 1
    • FIPS186-2: 8
    • FIPS186-3: 1
    • FIPS186-4: 9
  • RFC:
    • RFC 2898: 2
    • RFC 4252: 7
    • RFC 4253: 6
    • RFC 6668: 5
    • RFC4253: 4
  • FIPS:
    • FIPS 46-3: 2
  • ISO:
    • ISO/IEC 15408:2005: 1
    • ISO/IEC 16844-3: 1
    • ISO/IEC 7816: 2
    • ISO/IEC 7816-4: 2
    • ISO/IEC 7816-8: 1
    • ISO/IEC 9796-2: 2
    • ISO/IEC 9798-3: 2
  • PKCS:
    • PKCS#1: 9
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • DAC mechanism but may be supplemented by further restrictions. These additional restrictions are out of scope for this evaluation. Examples of objects which are accessible to users but cannot be used to store: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Author: Dr. B. Rose, EFKON mobility GmbH, Berlin
  • /CreationDate: D:20080708141429Z
  • /Creator: FreePDF XP 3.24 - http://shbox.de
  • /Keywords: Digital Tachograph, EFAS, EFKON, Security Target
  • /ModDate: D:20080709084802+02'00'
  • /Producer: AFPL Ghostscript 8.54
  • /Subject: Security Target EFAS-3 V01
  • /Title: 5340.020.DOC.05_SecurityTarget_public
  • pdf_file_size_bytes: 2443262
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 116
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different