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.
Boole Server v3.2
OCSI/CERT/IMQ/05/2014/RC 		FINX RTOS Security Enhanced (SE) v3.1
OCSI/CERT/RES/03/2012/RC
name Boole Server v3.2 FINX RTOS Security Enhanced (SE) v3.1
category Data Protection Operating Systems
not_valid_after 29.10.2020 01.09.2019
not_valid_before 29.10.2015 21.05.2014
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_booleserver_32_v1.0.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_v1.0.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_booleserver_32_v1.5.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_v31_lite01.pdf
manufacturer Boole Server S.r.l. MBDA Italia S.p.A.
manufacturer_web https://www.booleserver.com/ https://www.mbda-systems.com/
security_level EAL2+, ALC_FLR.2 EAL4+, ALC_FLR.1
dgst f4b47a4ea5a13a2a 9f241fb77c398a0b
heuristics/cert_id OCSI/CERT/IMQ/05/2014/RC OCSI/CERT/RES/03/2012/RC
heuristics/extracted_sars ASE_INT.1, AVA_VAN.2, ADV_FSP.2, ASE_ECD.1, ASE_TSS.1, ASE_SPD.1, ALC_DEL.1, AGD_OPE.1, AGD_PRE.1, ALC_CMS.2, ADV_TDS.1, ATE_FUN.1, ATE_COV.1, ADV_ARC.1, ASE_OBJ.2, ALC_FLR.2, ASE_REQ.2, ALC_CMC.2, ATE_IND.2, ASE_CCL.1 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, ATE_DPT.2, 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, ASE_REQ.2, ALC_DVS.1, ADV_FSP.4, ATE_IND.2, ASE_CCL.1
heuristics/extracted_versions 3.2 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_booleserver_32_v1.0.pdf rc_finx_rtos_se_v1.0.pdf
pdf_data/report_keywords/cc_cert_id
  • IT:
    • OCSI/CERT/IMQ/05/2014/RC: 26
  • IT:
    • OCSI/CERT/RES/03/2012/RC: 31
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL2: 5
    • EAL4: 3
  • EAL:
    • EAL4: 4
    • EAL4+: 1
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.2: 1
    • ADV_TDS.1: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.2: 1
    • ALC_CMS.2: 1
    • ALC_DEL.1: 1
    • ALC_FLR: 2
    • ALC_FLR.2: 6
  • 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.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.2: 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.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
pdf_data/report_keywords/vendor
  • Microsoft:
    • Microsoft: 9
pdf_data/report_keywords/eval_facility
  • IMQLPS:
    • IMQ/LPS: 3
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • RC:
      • RC6: 2
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: 1
  • 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
  • ISO:
    • ISO/IEC 15408: 2
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
pdf_data/report_metadata
  • /Author: OCSI
  • /CreationDate: D:20151103094452+01'00'
  • /Creator: Microsoft® Office Word 2007
  • /ModDate: D:20151103094824+01'00'
  • /Producer: Microsoft® Office Word 2007
  • /Title: Rapporto di Certificazione del prodotto “Boole Server v3.2”
  • pdf_file_size_bytes: 679717
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 26
  • /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
pdf_data/st_filename st_booleserver_32_v1.5.pdf tds_finx_rtos_se_v31_lite01.pdf
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 2 augmented: 1
    • EAL2: 1
    • EAL2+: 1
  • EAL:
    • EAL4: 2
    • EAL4 augmented: 1
    • EAL4+: 1
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.2: 1
    • ADV_TDS.1: 1
  • AGD:
    • AGD_OPE.1: 2
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.2: 1
    • ALC_CMS.2: 1
    • ALC_DEL.1: 1
    • ALC_FLR.2: 5
  • 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.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.2: 1
  • ADV:
    • ADV_ARC.1: 5
  • ALC:
    • ALC_FLR.1: 2
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_GEN: 1
    • FAU_GEN.1: 7
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_GEN.2: 7
    • FAU_GEN.2.1: 1
    • FAU_SAR.1: 8
    • FAU_SAR.1.1: 2
    • FAU_SAR.1.2: 2
    • FAU_SAR.2: 6
    • FAU_SAR.2.1: 1
    • FAU_SAR.3: 7
    • FAU_SAR.3.1: 1
  • FCS:
    • FCS_CKM.1: 7
    • FCS_CKM.1.1: 1
    • FCS_CKM.4: 1
    • FCS_COP.1: 8
    • FCS_COP.1.1: 1
  • FDP:
    • FDP_ACC.1: 8
    • FDP_ACC.1.1: 1
    • FDP_ACF: 1
    • FDP_ACF.1: 6
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_ETC.2: 7
    • FDP_ETC.2.1: 1
    • FDP_ETC.2.2: 1
    • FDP_ETC.2.3: 1
    • FDP_ETC.2.4: 1
    • FDP_IFC: 1
    • FDP_IFC.1: 9
    • FDP_IFC.1.1: 1
    • FDP_IFF.1: 7
    • 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_ITC.2: 7
    • 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: 6
    • FDP_ITT.1.1: 1
  • FIA:
    • FIA_AFL.1: 7
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 1
    • FIA_ATD.1: 7
    • FIA_ATD.1.1: 1
    • FIA_SOS.1: 8
    • FIA_SOS.1.1: 1
    • FIA_UAU.1: 1
    • FIA_UAU.2: 8
    • FIA_UAU.2.1: 1
    • FIA_UAU.5: 6
    • FIA_UAU.5.1: 1
    • FIA_UAU.5.2: 1
    • FIA_UID.1: 5
    • FIA_UID.2: 10
    • FIA_UID.2.1: 1
    • FIA_XXX.1: 1
    • FIA_XXX.1.1: 2
  • FMT:
    • FMT_MOF.1: 6
    • FMT_MOF.1.1: 1
    • FMT_MSA.1: 7
    • FMT_MSA.1.1: 1
    • FMT_MSA.3: 9
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 9
    • FMT_MTD.1.1: 1
    • FMT_SMF: 1
    • FMT_SMF.1: 11
    • FMT_SMF.1.1: 2
    • FMT_SMR.1: 9
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPR:
    • FPR_UNO.1: 7
    • FPR_UNO.1.1: 1
  • FPT:
    • FPT_ITT: 1
    • FPT_ITT.1: 8
    • FPT_ITT.1.1: 1
    • FPT_RCV: 1
    • FPT_RCV.1: 7
    • FPT_RCV.1.1: 1
    • FPT_STM.1: 1
    • FPT_TDC: 1
    • FPT_TDC.1: 8
    • FPT_TDC.1.1: 1
    • FPT_TDC.1.2: 1
    • FPT_TEE: 2
    • FPT_TEE.1: 6
    • FPT_TEE.1.1: 1
    • FPT_TEE.1.2: 1
  • FTP:
    • FTP_TRP.1: 1
  • 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
pdf_data/st_keywords/cc_claims
  • A:
    • A.ALIGNEDBACKUPS: 3
    • A.BACKUP: 2
    • A.DBMS_ACCESS: 3
    • A.I: 1
    • A.INTEGRITY: 2
    • A.REDKEY: 3
    • A.RESTRICT: 2
    • A.SECCOMM: 2
    • A.STORAGE_ACCESS: 2
    • A.TIME: 3
    • A.TOE_EVALUATED: 3
    • A.TRAINING: 3
    • A.TRUST: 3
    • A.UPDATE: 3
    • A.USERS: 2
  • O:
    • O.ACCESS: 18
    • O.ANTI_BRUTE: 5
    • O.AUDIT: 10
    • O.AUDIT_PROT: 3
    • O.CONFIDENTIAL: 3
    • O.CONFIG: 5
    • O.CRASH: 6
    • O.CRYPTO: 9
    • O.IDENTIFY: 20
    • O.INTEGRITY: 7
    • O.MANAGE: 3
    • O.OTP: 5
    • O.STRONG_KEYS: 6
  • OE:
    • OE.AUDIT: 2
    • OE.AUDIT_PROTECT: 5
    • OE.BACKUP: 8
    • OE.CONTINUITY: 3
    • OE.CRYPTO: 9
    • OE.DB: 5
    • OE.INTEGRITY: 2
    • OE.LOG_STORE: 3
    • OE.STAFF: 13
    • OE.STORAGE: 6
    • OE.TIME: 8
  • T:
    • T.BRUTE: 2
    • T.CONFIG: 2
    • T.CRASH: 2
    • T.DISCLOSE: 2
    • T.FILL_RECORDS: 3
    • T.FUNC: 3
    • T.INSTALL: 2
    • T.INTEGRITY: 2
    • T.INTERCEPT: 3
    • T.INTERR: 3
    • T.KEY_ACCESS: 2
    • T.KEY_GUESS: 3
    • T.LOSSOF: 2
    • T.MASQUERADE: 2
    • T.NOTRACE: 3
    • T.PRIVIL: 1
    • T.SCREEN: 2
  • 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
pdf_data/st_keywords/vendor
  • Microsoft:
    • Microsoft: 11
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
      • AES256: 1
    • RC:
      • RC6: 18
  • AES_competition:
    • AES:
      • AES: 4
  • constructions:
    • MAC:
      • HMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • RSA:
    • RSA 512: 1
  • 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_protocol
  • TLS:
    • SSL:
      • SSL: 3
  • SSH:
    • SSH: 7
  • TLS:
    • TLS:
      • TLS: 4
pdf_data/st_keywords/randomness
  • RNG:
    • RNG: 1
  • 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:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 2
    • CCMB-2012-09-003: 2
    • CCMB-2012-09-004: 1
  • ISO:
    • ISO/IEC 15408: 2
  • 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
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: Boole Server S.r.l.
  • /CreationDate: D:20151015103935+02'00'
  • /Creator: PDF Architect
  • /ModDate: D:20151104084048+01'00'
  • /Producer: PDF Architect
  • /Title: Traguardo di Sicurezza "Boole Server v3.2"
  • pdf_file_size_bytes: 2693908
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 66
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different