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.
FINX RTOS Security Enhanced (SE) v3.1
OCSI/CERT/RES/03/2012/RC
XOmail
SERTIT-014
name FINX RTOS Security Enhanced (SE) v3.1 XOmail
category Operating Systems Other Devices and Systems
scheme IT NO
not_valid_before 21.05.2014 23.02.2010
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_v1.0.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/20100223_SERTIT-008CR_issue201.0.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_v31_lite01.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/XOmail_Version_14.2_Security_Target_739_20597_aaaa_sc_ed10-public.pdf
manufacturer MBDA Italia S.p.A. Thales Norway AS
manufacturer_web https://www.mbda-systems.com/ https://www.thales.no/
security_level ALC_FLR.1, EAL4+ EAL4
dgst 9f241fb77c398a0b 7bdc338faf53465d
heuristics/cert_id OCSI/CERT/RES/03/2012/RC SERTIT-014
heuristics/extracted_sars ADV_ARC.1, AGD_OPE.1, ATE_COV.2, AGD_PRE.1, ALC_DEL.1, ADV_TDS.3, AVA_VAN.3, ASE_SPD.1, ALC_LCD.1, ASE_OBJ.2, ASE_REQ.2, ATE_FUN.1, ASE_TSS.1, ALC_CMS.4, ALC_DVS.1, ATE_IND.2, ALC_CMC.4, ASE_CCL.1, ALC_FLR.1, ATE_DPT.2, ASE_ECD.1, ADV_IMP.1, ASE_INT.1, ALC_TAT.1, ADV_FSP.4 ADV_ARC.1, ADV_LLD.1, AVA_VLA.2, AGD_OPE.1, ATE_COV.2, ADV_SPM.1, AGD_PRE.1, ALC_DEL.1, ADV_TDS.3, AVA_SOF.1, ASE_SPD.1, AVA_MSU.2, ALC_LCD.1, ASE_OBJ.2, ASE_REQ.2, AVA_VAN.5, ATE_FUN.1, ASE_TSS.1, ALC_CMS.4, ALC_DVS.1, ADV_HLD.2, ATE_IND.2, ADV_RCR.1, ALC_CMC.4, ASE_CCL.1, ADV_DVS.1, ATE_DPT.1, ASE_ECD.1, ADV_IMP.1, ASE_INT.1, ALC_TAT.1, AGD_USR.1, AGD_ADM.1, ADV_FSP.2
heuristics/extracted_versions 3.1 -
heuristics/report_references/directly_referenced_by OCSI/CERT/RES/06/2014/RC {}
heuristics/report_references/indirectly_referenced_by OCSI/CERT/RES/06/2014/RC, OCSI/CERT/LEO/08/2021/RC {}
pdf_data/report_filename rc_finx_rtos_se_v1.0.pdf 20100223_SERTIT-008CR_issue201.0.pdf
pdf_data/report_keywords/cc_cert_id
  • IT:
    • OCSI/CERT/RES/03/2012/RC: 31
  • NO:
    • SERTIT-014: 16
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL4: 4
    • EAL4+: 1
  • EAL:
    • EAL 4: 3
    • EAL 4 augmented: 1
    • EAL 4+: 17
    • EAL1: 1
    • EAL4+: 3
    • EAL7: 1
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.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.2: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.3: 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.2: 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.5: 6
pdf_data/report_keywords/cc_sfr
  • FDP:
    • FDP_IFC.2: 2
    • FDP_IFF.1: 2
pdf_data/report_keywords/eval_facility
  • BrightSight:
    • Brightsight: 1
pdf_data/report_keywords/hash_function
  • MD:
    • MD5:
      • MD5: 2
  • SHA:
    • SHA2:
      • SHA-256: 1
      • SHA256: 1
pdf_data/report_keywords/crypto_protocol
  • TLS:
    • SSL:
      • SSL: 2
    • TLS:
      • TLS: 2
pdf_data/report_keywords/tee_name
  • IBM:
    • SE: 27
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
  • CC:
    • CCMB-2009-07-001: 1
    • CCMB-2009-07-002: 1
    • CCMB-2009-07-003: 1
    • CCMB-2009-07-004: 1
pdf_data/report_metadata
  • /Author: OCSI
  • /CreationDate: D:20140522114929+02'00'
  • /Creator: Writer
  • /Producer: LibreOffice 4.2
  • /Title: Rapporto di Certificazione del prodotto “FINX RTOS Security Enhanced (SE) v3.1”
  • pdf_file_size_bytes: 1441202
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 31
  • /CreationDate: D:20100315130843
  • /ModDate: D:20100315130843
  • pdf_file_size_bytes: 542517
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 16
pdf_data/st_filename tds_finx_rtos_se_v31_lite01.pdf XOmail_Version_14.2_Security_Target_739_20597_aaaa_sc_ed10-public.pdf
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL4: 2
    • EAL4 augmented: 1
    • EAL4+: 1
  • EAL:
    • EAL4: 8
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 5
  • ALC:
    • ALC_FLR.1: 2
  • ACM:
    • ACM_AUT.1: 10
    • ACM_AUT.1.1: 1
    • ACM_CAP.3: 1
    • ACM_CAP.4: 20
    • ACM_SCP.2: 7
  • ADO:
    • ADO_DEL.1: 1
    • ADO_DEL.2: 11
    • ADO_IGS.1: 13
  • ADV:
    • ADV_DVS.1: 1
    • ADV_FSP.1: 7
    • ADV_FSP.2: 12
    • ADV_HLD.1: 2
    • ADV_HLD.2: 17
    • ADV_IMP.1: 11
    • ADV_LLD.1: 18
    • ADV_RCR.1: 9
    • ADV_SPM.1: 15
  • AGD:
    • AGD_ADM.1: 22
    • AGD_USR.1: 16
  • ALC:
    • ALC_DVS.1: 9
    • ALC_LCD.1: 9
    • ALC_TAT.1: 6
  • ATE:
    • ATE_COV.2: 8
    • ATE_DPT.1: 7
    • ATE_FUN.1: 15
    • ATE_IND.2: 10
  • AVA:
    • AVA_MSU.2: 15
    • AVA_SOF.1: 10
    • AVA_VLA.2: 15
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_GEN.1: 14
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_GEN.2: 7
    • FAU_GEN.2.1: 1
    • FAU_SAR.1: 11
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_SAR.2: 8
    • FAU_SAR.2.1: 1
    • FAU_SAR.3: 9
    • FAU_SAR.3.1: 1
    • FAU_SEL.1: 8
    • FAU_SEL.1.1: 2
    • FAU_STG.1: 10
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG.3: 8
    • FAU_STG.3.1: 1
    • FAU_STG.4: 8
    • FAU_STG.4.1: 1
  • FCS:
    • FCS_CKM.1: 49
    • FCS_CKM.1.1: 4
    • FCS_CKM.2: 16
    • FCS_CKM.2.1: 1
    • FCS_CKM.4: 15
    • FCS_CKM.4.1: 1
    • FCS_COP.1: 21
    • FCS_COP.1.1: 2
    • FCS_RNG_EXT.1: 10
    • FCS_RNG_EXT.1.1: 1
  • FDP:
    • FDP_ACC.1: 22
    • FDP_ACC.1.1: 1
    • FDP_ACF.1: 18
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_IFC.1: 3
    • FDP_ITC.1: 4
    • FDP_ITC.2: 4
    • FDP_RIP.2: 10
    • FDP_RIP.2.1: 1
    • FDP_UCT.1: 8
    • FDP_UCT.1.1: 1
    • FDP_UIT.1: 8
    • FDP_UIT.1.1: 1
    • FDP_UIT.1.2: 1
  • FIA:
    • FIA_AFL: 1
    • FIA_AFL_EXT.1: 10
    • FIA_AFL_EXT.1.1: 1
    • FIA_AFL_EXT.1.2: 1
    • FIA_ATD.1: 10
    • FIA_ATD.1.1: 1
    • FIA_SOS: 1
    • FIA_SOS.1: 12
    • FIA_SOS.1.1: 1
    • FIA_UAU.1: 1
    • FIA_UAU.2: 12
    • FIA_UAU.2.1: 1
    • FIA_UAU.6: 7
    • FIA_UAU.6.1: 1
    • FIA_UAU.7: 11
    • FIA_UAU.7.1: 1
    • FIA_UID: 1
    • FIA_UID.1: 2
    • FIA_UID.2: 10
    • FIA_UID.2.1: 1
    • FIA_USB.1: 13
    • FIA_USB.1.1: 1
    • FIA_USB.1.2: 1
    • FIA_USB.1.3: 1
  • FMT:
    • FMT_MOF.1: 15
    • FMT_MOF.1.1: 2
    • FMT_MSA.1: 14
    • FMT_MSA.1.1: 1
    • FMT_MSA.2: 9
    • FMT_MSA.2.1: 1
    • FMT_MSA.3: 14
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 45
    • FMT_MTD.1.1: 7
    • FMT_REV.1: 21
    • FMT_REV.1.1: 2
    • FMT_REV.1.2: 2
    • FMT_SAE.1: 8
    • FMT_SAE.1.1: 1
    • FMT_SAE.1.2: 1
    • FMT_SMF.1: 20
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 25
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPT:
    • FPT_ITC.1: 1
    • FPT_STM.1: 10
    • 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: 8
    • FTA_SSL.2.1: 1
    • FTA_SSL.2.2: 1
    • FTA_TAB.1: 9
    • FTA_TAB.1.1: 1
    • FTA_TAH.1: 9
    • FTA_TAH.1.1: 1
    • FTA_TAH.1.2: 1
    • FTA_TAH.1.3: 1
  • FTP:
    • FTP_ITC.1: 11
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
    • FTP_TRP: 2
  • FAU:
    • FAU_ARP.1: 9
    • FAU_ARP.1.1: 1
    • FAU_GEN.1: 33
    • FAU_GEN.1.1: 1
    • FAU_GEN.2: 16
    • FAU_GEN.2.1: 1
    • FAU_SAA.1: 8
    • FAU_SAA.1.1: 1
    • FAU_SAA.1.2: 1
    • FAU_SAR.1: 20
    • FAU_SAR.2: 15
    • FAU_STG.1: 21
    • FAU_STG.3: 15
    • FAU_STG.4: 9
  • FDP:
    • FDP_ACC.1: 11
    • FDP_ACC.1.1: 1
    • FDP_ACF.1: 10
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_ETC.2: 10
    • FDP_ETC.2.1: 1
    • FDP_ETC.2.2: 1
    • FDP_ETC.2.3: 1
    • FDP_ETC.2.4: 1
    • FDP_IFC.1: 4
    • FDP_IFC.2: 9
    • FDP_IFC.2.1: 1
    • FDP_IFC.2.2: 1
    • FDP_IFF.2: 10
    • FDP_IFF.2.1: 1
    • FDP_IFF.2.2: 2
    • FDP_IFF.2.3: 1
    • FDP_IFF.2.4: 1
    • FDP_IFF.2.5: 1
    • FDP_IFF.2.6: 1
    • FDP_IFF.2.7: 1
    • FDP_ITC.2: 10
    • FDP_ITC.2.1: 1
    • FDP_ITC.2.2: 1
    • FDP_ITC.2.3: 1
    • FDP_ITC.2.4: 1
    • FDP_ITC.2.5: 1
    • FDP_ITT.1: 5
    • FDP_ITT.1.1: 1
    • FDP_RIP.2: 9
    • FDP_RIP.2.1: 1
  • FIA:
    • FIA_AFL.1: 9
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 1
    • FIA_ATD.1: 11
    • FIA_ATD.1.1: 1
    • FIA_UAU.2: 17
    • FIA_UAU.2.1: 2
    • FIA_UAU.5: 9
    • FIA_UAU.5.1: 1
    • FIA_UAU.5.2: 1
    • FIA_UID.1: 4
    • FIA_UID.2: 24
    • FIA_USB.1: 13
    • FIA_USB.1.1: 1
    • FIA_USB.1.2: 1
    • FIA_USB.1.3: 1
  • FMT:
    • FMT_MSA.1: 10
    • FMT_MSA.1.1: 1
    • FMT_MSA.3: 12
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 8
    • FMT_MTD.1.1: 1
    • FMT_SMF.1: 10
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 12
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPT:
    • FPT_AMT.1: 2
    • FPT_FLS.1: 8
    • FPT_FLS.1.1: 1
    • FPT_ITT.1: 5
    • FPT_ITT.1.1: 1
    • FPT_RCV.1: 8
    • FPT_RCV.1.1: 1
    • FPT_RCV.2: 11
    • FPT_RCV.2.1: 1
    • FPT_RCV.2.2: 1
    • FPT_RCV.4: 9
    • FPT_RCV.4.1: 1
    • FPT_RVM.1: 9
    • FPT_RVM.1.1: 1
    • FPT_SEP.3: 10
    • FPT_SEP.3.1: 1
    • FPT_SEP.3.2: 1
    • FPT_SEP.3.3: 1
    • FPT_STM.1: 7
    • FPT_STM.1.1: 1
    • FPT_TDC.1: 14
    • FPT_TDC.1.1: 1
    • FPT_TDC.1.2: 1
    • FPT_TSE.1: 1
    • FPT_TST.1: 11
    • FPT_TST.1.1: 1
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FTA:
    • FTA_SSL.3: 8
    • FTA_SSL.3.1: 1
    • FTA_TSE.1: 19
  • FTP:
    • FTP_ITC.1: 2
    • FTP_TRP.1: 2
pdf_data/st_keywords/cc_claims
  • A:
    • A.AUTHUSER: 3
    • A.CONNECT: 3
    • A.DETECT: 4
    • A.MANAGE: 4
    • A.PEER_FUNC: 2
    • A.PEER_MGT: 2
    • A.PHYSICAL: 3
    • A.TRAINEDUSER: 3
  • O:
    • O.ACCESS: 11
    • O.ACCESS_HISTORY: 4
    • O.AUDIT_GENERATION: 8
    • O.AUDIT_PROTECTION: 5
    • O.AUDIT_REVIEW: 5
    • O.CRYPTO_MEDIA: 5
    • O.CRYPTO_NET: 11
    • O.DISCRETIONARY_ACCESS: 9
    • O.DISCRETIONARY_USER_CONTROL: 6
    • O.DISPLAY_BANNER: 3
    • O.ENFORCEMENT: 3
    • O.MANAGE: 18
    • O.PROTECT: 13
    • O.RESIDUAL_INFORMATION: 4
    • O.TRUSTED_CHANNEL: 6
    • O.USER_AUTHENTICATION: 7
    • O.USER_IDENTIFICATION: 4
  • 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.UNATTENDED_SESSION: 2
    • T.UNAUTHORIZED_ACCESS: 7
    • T.UNIDENTIFIED_ACTIONS: 2
  • A:
    • A.ADM_TRAINING: 4
    • A.AUDIT_REVIEW: 3
    • A.CONFIDENCE: 4
    • A.INVALIDATE: 3
    • A.NETWORK: 4
    • A.NOTIFY: 3
    • A.OS: 5
    • A.PHYSICAL: 4
    • A.PHYSICAL_LOC: 3
    • A.USR_TRAINING: 3
  • O:
    • O.ACCESS_HIST: 13
    • O.AUDIT: 13
    • O.AUTO_LOGOUT: 10
    • O.CMD_ACL: 7
    • O.CMD_LOG: 16
    • O.DAC: 8
    • O.DIG_SIGN: 3
    • O.ID_AUTH: 14
    • O.LABELLING: 8
    • O.LOCK: 8
    • O.MAC: 9
    • O.MAC_INTEGRITY: 10
    • O.MANAGE: 6
    • O.MESSAGING: 8
    • O.RECOVER: 9
    • O.REF_MONITOR: 8
    • O.RESOURCE_SHARE: 7
    • O.REUSE: 9
    • O.ROLES: 10
    • O.ROLE_MNG: 7
    • O.SELF_TEST: 8
  • OE:
    • OE.ACCOUNTABLE: 11
    • OE.AUDIT: 13
    • OE.ID_AUTH: 8
    • OE.NETWORK: 17
    • OE.PHYSICAL: 1
    • OE.TRAF_SEPARATION: 11
pdf_data/st_keywords/vendor
  • Microsoft:
    • Microsoft: 3
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 4
  • constructions:
    • MAC:
      • HMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • FF:
    • DH:
      • Diffie-Hellman: 1
    • DSA:
      • DSA: 7
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF2: 4
  • SHA:
    • SHA1:
      • SHA-1: 1
    • SHA2:
      • SHA-256: 1
      • SHA-512: 1
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 74
pdf_data/st_keywords/crypto_protocol
  • SSH:
    • SSH: 7
  • TLS:
    • TLS:
      • TLS: 4
pdf_data/st_keywords/randomness
  • PRNG:
    • PRNG: 3
  • RNG:
    • RNG: 3
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
pdf_data/st_keywords/crypto_library
  • OpenSSL:
    • OpenSSL: 4
pdf_data/st_keywords/tee_name
  • IBM:
    • SE: 9
pdf_data/st_keywords/standard_id
  • CC:
    • CCIMB-2012-09-003: 1
    • CCMB-2012-09-001: 1
  • FIPS:
    • FIPS 140: 1
    • FIPS 140-2: 2
    • FIPS PUB 140-2: 2
    • FIPS PUB 186-3: 4
    • FIPS140: 3
    • FIPS186: 3
  • RFC:
    • RFC 2898: 2
    • RFC 4253: 1
    • RFC2898: 1
    • RFC4232: 2
    • RFC4253: 2
    • RFC5246: 1
  • CC:
    • CCMB-2005-08-001: 1
    • CCMB-2005-08-002: 1
    • CCMB-2005-08-003: 1
  • ISO:
    • ISO/IEC 15408: 10
  • RFC:
    • RFC 2156: 1
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
  • OutOfScope:
    • MLS environment The protection of the LANs to which the MMHS servers and clients are connected is out of scope of this Security Target. It is assumed that the confidentiality of information is protected using: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Author: Thales Norway AS
  • /CreationDate: D:20090430154245+02'00'
  • /Creator: PDFCreator Version 0.9.3
  • /Keywords:
  • /ModDate: D:20090430154245
  • /Producer: AFPL Ghostscript 8.13
  • /Subject:
  • /Title: XOmail Version 14.2 Security Target ed 10-public
  • pdf_file_size_bytes: 2346280
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 111
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different