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 		ATMEL Secure Microcontroller AT90SC25672RCT-USB rev. D
ANSSI-CC-2006/30
name FINX RTOS Security Enhanced (SE) v3.1 ATMEL Secure Microcontroller AT90SC25672RCT-USB rev. D
category Operating Systems ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme IT FR
not_valid_before 21.05.2014 19.12.2006
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/2006_30en.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/cible2006_30en.pdf
manufacturer MBDA Italia S.p.A. ATMEL Smart Card ICs
manufacturer_web https://www.mbda-systems.com/ https://www.atmel.com
security_level EAL4+, ALC_FLR.1 EAL4+, AVA_VLA.4, ALC_DVS.2, ADV_IMP.2, AVA_MSU.3
dgst 9f241fb77c398a0b 6b4b64c0c88bfe54
heuristics/cert_id OCSI/CERT/RES/03/2012/RC ANSSI-CC-2006/30
heuristics/cert_lab [] CEA
heuristics/extracted_sars AVA_VAN.3, ADV_ARC.1, AGD_OPE.1, ALC_TAT.1, ASE_OBJ.2, ALC_CMS.4, ASE_REQ.2, ALC_DEL.1, ADV_FSP.4, ATE_COV.2, ASE_SPD.1, ATE_IND.2, ASE_TSS.1, ASE_INT.1, AGD_PRE.1, ADV_TDS.3, ALC_LCD.1, ATE_DPT.2, ALC_FLR.1, ASE_CCL.1, ASE_ECD.1, ALC_CMC.4, ATE_FUN.1, ADV_IMP.1, ALC_DVS.1 AVA_MSU.3, ATE_COV.2, ADV_LLD.1, ALC_DVS.2, AGD_ADM.1, ADV_FSP.2, ALC_TAT.1, AGD_USR.1, ADV_IMP.2, ALC_LCD.1, ATE_FUN.1, ADV_RCR.1, AVA_SOF.1, ADV_SPM.1, AVA_VLA.4, ADV_HLD.2, ATE_DPT.1, ATE_IND.2
heuristics/extracted_versions 3.1 -
heuristics/report_references/directly_referenced_by OCSI/CERT/RES/06/2014/RC ANSSI-CC-2011/45, ANSSI-CC-2012/43, ANSSI-CC-2011/03
heuristics/report_references/indirectly_referenced_by OCSI/CERT/RES/06/2014/RC, OCSI/CERT/LEO/08/2021/RC ANSSI-CC-2011/45, ANSSI-CC-2012/43, ANSSI-CC-2011/03
heuristics/st_references/directly_referenced_by {} ANSSI-CC-2011/45, ANSSI-CC-2012/43, ANSSI-CC-2011/03
heuristics/st_references/indirectly_referenced_by {} ANSSI-CC-2011/45, ANSSI-CC-2012/43, ANSSI-CC-2011/03
maintenance_updates
pdf_data/report_filename rc_finx_rtos_se_v1.0.pdf 2006_30en.pdf
pdf_data/report_frontpage
  • FR:
  • FR:
    • cc_security_level: EAL 4 augmented ADV_IMP.2, ALC_DVS.2, AVA_MSU.3, AVA_VLA.4
    • cc_version: Common Criteria version 2.3 Compliant with ISO 15408:2005
    • cert_id: 2006/30
    • cert_item: ATMEL Secure Microcontroller AT90SC25672RCT-USB rev. D
    • cert_item_version: AT90SC25672RCT-USB, reference AT58829 revision D, with Cryptographic software library Toolbox 3.x revision: 00.03.01.04
    • cert_lab: CEA - LETI 17 rue des martyrs, 38054 Grenoble Cedex 9, France Phone: +33 (0)4 38 78 40 87, email : [email protected]
    • developer: ATMEL Smart Card ICs Maxwell Building - Scottish Enterprise technology Park, East Kilbride, Glasgow G75 0QR, Scotland Sponsor ATMEL Smart Card ICs Maxwell Building - Scottish Enterprise technology Park, East Kilbride, Glasgow G75 0QR, Scotland
    • match_rules: ['Certification report reference(.+)Product name(.+)Product reference(.+)Protection profile conformity(.+)Evaluation criteria and version(.+)Evaluation level(.+)Developer\\(s\\)(.+)Evaluation facility(.+)Recognition arrangements']
    • ref_protection_profiles: PP/9806
pdf_data/report_keywords/cc_cert_id
  • IT:
    • OCSI/CERT/RES/03/2012/RC: 31
  • AU:
    • Certification Report 2006/30: 1
  • FR:
    • Certification Report 2006/30: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL4: 4
    • EAL4+: 1
  • EAL:
    • EAL 1: 1
    • EAL 3: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
    • EAL 5: 1
    • EAL 7: 1
    • EAL4: 5
    • EAL4 augmented: 1
    • EAL4+: 1
    • EAL5+: 1
    • EAL7: 1
  • ITSEC:
    • ITSEC E6 and: 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
  • ACM:
    • ACM_AUT: 1
    • ACM_CAP: 1
    • ACM_SCP: 1
  • ADO:
    • ADO_DEL: 1
    • ADO_IGS: 1
  • ADV:
    • ADV_FSP: 1
    • ADV_HLD: 1
    • ADV_IMP: 1
    • ADV_IMP.2: 1
    • ADV_INT: 1
    • ADV_LLD: 1
    • ADV_RCR: 1
    • ADV_SPM: 1
  • AGD:
    • AGD_ADM: 1
    • AGD_USR: 1
  • ALC:
    • ALC_DVS: 1
    • ALC_DVS.2: 1
    • ALC_FLR: 2
    • ALC_TAT: 1
  • ATE:
    • ATE_COV: 1
    • ATE_DPT: 1
    • ATE_FUN: 1
    • ATE_IND: 1
  • AVA:
    • AVA_CCA: 1
    • AVA_MSU: 1
    • AVA_MSU.3: 1
    • AVA_SOF: 1
    • AVA_VLA: 1
    • AVA_VLA.4: 1
pdf_data/report_keywords/eval_facility
  • CEA-LETI:
    • CEA - LETI: 1
  • CESTI:
    • CESTI: 4
pdf_data/report_keywords/hash_function
  • MD:
    • MD5:
      • MD5: 2
  • SHA:
    • SHA2:
      • SHA-256: 1
      • SHA256: 1
  • SHA:
    • SHA1:
      • SHA-1: 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
  • BSI:
    • AIS 34: 1
    • AIS34: 2
  • CC:
    • CCMB-2005-08-001: 1
    • CCMB-2005-08-002: 1
    • CCMB-2005-08-003: 1
    • CCMB-2005-08-004: 1
  • ISO:
    • ISO/IEC 15408:2005: 1
    • ISO/IEC 18045:2005: 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
  • /Author: Matthieu Robert
  • /CreationDate: D:20061219174400+01'00'
  • /Creator: Acrobat PDFMaker 5.0 pour Word
  • /Keywords: CER/F/07.5
  • /ModDate: D:20061219174404+01'00'
  • /Producer: Acrobat Distiller 5.0 (Windows)
  • /Subject: ATMEL Secure Microcontroller AT90SC25672RCT-USB rev. D
  • /Title: 2006/30
  • pdf_file_size_bytes: 253860
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 16
pdf_data/st_filename tds_finx_rtos_se_v31_lite01.pdf cible2006_30en.pdf
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL4: 2
    • EAL4 augmented: 1
    • EAL4+: 1
  • EAL:
    • EAL4: 3
    • EAL4 augmented: 1
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 5
  • ALC:
    • ALC_FLR.1: 2
  • 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.2: 3
    • ADV_LLD.1: 1
    • ADV_RCR.1: 1
    • ADV_SPM.1: 1
  • AGD:
    • AGD_ADM.1: 1
    • AGD_USR.1: 1
  • ALC:
    • ALC_DVS.2: 3
    • 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.3: 4
    • AVA_SOF.1: 1
    • AVA_VLA.4: 3
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_SAA.1: 2
  • FCS:
    • FCS_CKM.1: 4
    • FCS_COP.1: 4
  • FDP:
    • FDP_ACC.2: 2
    • FDP_ACF.1: 2
    • FDP_IFC.1: 2
    • FDP_IFF.1: 2
    • FDP_SDI.1: 2
  • FIA:
    • FIA_ATD.1: 5
    • FIA_UAU.2: 5
    • FIA_UID.2: 5
  • FMT:
    • FMT_MOF.1: 2
    • FMT_MSA.1: 2
    • FMT_MSA.3: 2
    • FMT_SMF.1: 3
    • FMT_SMR.1: 2
  • FPR:
    • FPR_UNO.1: 2
  • FPT:
    • FPT_PHP.2: 2
    • FPT_PHP.3: 2
    • FPT_TST.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.DEV_ORG: 1
    • A.DLV_AUDIT: 1
    • A.DLV_PROTECT: 2
    • A.DLV_RESP: 1
    • A.SOFT_ARCHI: 1
    • A.USE_DIAG: 1
    • A.USE_PROD: 2
    • A.USE_SYS: 1
    • A.USE_TEST: 1
  • O:
    • O.CLON: 1
    • O.CRYPTO: 2
    • O.DESIGN_ACS: 1
    • O.DEV_DIS: 1
    • O.DEV_TOOLS: 1
    • O.DIS_MECHANISM: 1
    • O.DIS_MEMORY: 1
    • O.DLV_AUDIT: 1
    • O.DLV_PROTECT: 2
    • O.DLV_RESP: 1
    • O.DSOFT_ACS: 1
    • O.FLAW: 1
    • O.IC_DLV: 1
    • O.MASK_FAB: 1
    • O.MECH_ACS: 1
    • O.MOD_MEMORY: 1
    • O.OPERATE: 1
    • O.SOFT_ACS: 1
    • O.SOFT_DLV: 1
    • O.SOFT_MECH: 1
    • O.TAMPER: 1
    • O.TEST_OPERATE: 2
    • O.TI_ACS: 1
    • O.TOE_PRT: 1
    • O.USE_DIAG: 1
    • O.USE_SYS: 1
  • T:
    • T.CLON: 2
    • T.DIS_DEL: 2
    • T.DIS_DESIGN: 2
    • T.DIS_DSOFT: 2
    • T.DIS_INFO: 2
    • T.DIS_PHOTOMASK: 2
    • T.DIS_SOFT: 2
    • T.DIS_TEST: 2
    • T.DIS_TOOLS: 2
    • T.MOD_DEL: 2
    • T.MOD_DESIGN: 2
    • T.MOD_DSOFT: 2
    • T.MOD_PHOTOMASK: 2
    • T.MOD_SOFT: 2
    • T.T_DEL: 2
    • T.T_PHOTOMASK: 2
    • T.T_PRODUCT: 2
    • T.T_SAMPLE: 2
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 4
  • constructions:
    • MAC:
      • HMAC: 1
  • AES_competition:
    • AES:
      • AES: 1
  • DES:
    • 3DES:
      • TDES: 4
    • DES:
      • DES: 7
pdf_data/st_keywords/asymmetric_crypto
  • FF:
    • DH:
      • Diffie-Hellman: 1
    • DSA:
      • DSA: 7
  • FF:
    • DSA:
      • DSA: 3
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF2: 4
  • SHA:
    • SHA1:
      • SHA-1: 1
    • SHA2:
      • SHA-256: 1
      • SHA-512: 1
  • SHA:
    • SHA1:
      • SHA-1: 5
      • SHA1: 1
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 1
pdf_data/st_keywords/crypto_protocol
  • SSH:
    • SSH: 7
  • TLS:
    • TLS:
      • TLS: 4
pdf_data/st_keywords/randomness
  • PRNG:
    • PRNG: 3
  • RNG:
    • RNG: 3
  • RNG:
    • RNG: 5
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
pdf_data/st_keywords/crypto_library
  • OpenSSL:
    • OpenSSL: 4
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • malfunction: 1
    • physical tampering: 5
  • SCA:
    • DPA: 1
    • SPA: 1
  • other:
    • reverse engineering: 2
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
  • FIPS:
    • FIPS PUB 46-3: 2
  • PKCS:
    • PKCS#1: 2
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: sc109gc
  • /CreationDate: D:20061208151026Z
  • /Creator: FrameMaker 7.2
  • /ModDate: D:20061208151737Z
  • /Producer: Acrobat Distiller 7.0 (Windows)
  • /Title: TPG0140A_08Dec06.book
  • pdf_file_size_bytes: 771170
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 73
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different