This page was not yet optimized for use on mobile devices.

FIN.X RTOS SE V4.0

CSV information ?

Status	archived
Valid from	25.07.2017
Valid until	25.07.2022
Scheme	🇮🇹 IT
Manufacturer	MBDA Italia S.p.A.
Category	Operating Systems
Security level	EAL4+, ALC_FLR.1

Heuristics summary ?

Certificate ID: OCSI/CERT/RES/06/2014/RC

Certificate ?

Certification report ?

Certification report PDF TXT

Extracted keywords

Asymmetric Algorithms

DSA

Hash functions

SHA256, SHA-256

Protocols

SSH, SSL

Trusted Execution Environments

Security level

EAL4, EAL2, EAL 4, EAL4+

Claims

Security Assurance Requirements (SAR)

ADV_ARC.1, ADV_FSP.4, ADV_IMP.1, ADV_TDS.3, AGD_OPE.1, AGD_PRE.1, ALC_FLR, ALC_FLR.1, ALC_CMC.4, ALC_CMS.4, ALC_DEL.1, ALC_DVS.1, ALC_LCD.1, ALC_TAT.1, ATE_COV.2, ATE_DPT.1, ATE_FUN.1, ATE_IND.2, AVA_VAN.3, ASE_CCL.1, ASE_ECD.1, ASE_INT.1, ASE_OBJ.2, ASE_REQ.2, ASE_SPD.1, ASE_TSS.1

Security Functional Requirements (SFR)

FAU_STG.3, FAU_STG.4, FCS_CKM.1

Certificates

OCSI/CERT/RES/06/2014/RC, OCSI/CERT/RES/03/2012/RC

Standards

ISO/IEC 15408, CCMB-2012-09-001, CCMB-2012-09-002, CCMB-2012-09-003, CCMB-2012-09-004

File metadata

Title	Rapporto di Certificazione del prodotto “FIN.X RTOS SE V4.0”
Author	ocsi
Creation date	D:20170727120322+02'00'
Modification date	D:20170727120322+02'00'
Pages	35
Creator	Microsoft® Word 2010
Producer	Microsoft® Word 2010

References

Outgoing

OCSI/CERT/RES/03/2012/RC - archived - FINX RTOS Security Enhanced (SE) v3.1

Incoming

OCSI/CERT/LEO/08/2021/RC - active - FIN.X RTOS SE V5

Security target ?

Security target PDF TXT

Extracted keywords

Symmetric Algorithms

AES, T-DES, TDES, HMAC

Asymmetric Algorithms

Diffie-Hellman, DSA

Hash functions

SHA-1, SHA1, SHA-512, SHA-224, SHA-256, SHA-384, SHA-2, PBKDF2

Protocols

SSH, TLS

Randomness

PRNG, RNG

Libraries

OpenSSL

Block cipher modes

CBC, CTR, XTS

Trusted Execution Environments

Security level

EAL4, EAL4 augmented

Claims

O.RUNTIME, O.USER_AUTHENTICATION, O.ACCESS, O.ACCESS_HISTORY, O.AUDIT_GENERATION, O.AUDIT_PROTECTION, O.AUDIT_REVIEW, O.CRYPTO_NET, O.CRYPTO_MEDIA, O.TRUSTED_CHANNEL, O.DISCRETIONARY_ACCESS, O.DISCRETIONARY_USER_CONTROL, O.DISPLAY_BANNER, O.ENFORCEMENT, O.MANAGE, O.PROTECT, O.RESIDUAL_INFORMATION, O.USER_IDENTIFICATION, T.TSFFUNC, T.USER, T.TSFDATA, T.USERDATA, T.UNAUTHORIZED_ACCESS, T.AUDIT_COMPROMISE, T.UNIDENTIFIED_ACTIONS, T.ASSETS_COMPROMISE, T.COMM, T.UNATTENDED_SESSION, T.RESIDUAL_DATA, T.MASQUERADE, A.AUTHUSER, A.MANAGE, A.TRAINEDUSER, A.CONNECT, A.PHYSICAL, A.DETECT, A.PEER_FUNC, A.PEER_MGT, OE.TRUSTED, OE.ADMIN, OE.INFO_PROTECT, OE.INSTALL, OE.MAINTENANCE, OE.PHYSICAL, OE.RECOVER

Security Assurance Requirements (SAR)

ADV_ARC.1, ALC_FLR.1

Security Functional Requirements (SFR)

FAU_SEL.1.1, FAU_STG.3, FAU_GEN.1, FAU_GEN.2, FAU_SAR.1, FAU_SAR.2, FAU_SAR.3, FAU_SEL.1, FAU_STG.1, FAU_STG.4, FAU_GEN.1.1, FAU_GEN.1.2, FAU_GEN.2.1, FAU_SAR.1.1, FAU_SAR.1.2, FAU_SAR.2.1, FAU_SAR.3.1, FAU_STG.1.1, FAU_STG.1.2, FAU_STG.3.1, FAU_STG.4.1, FCS_CKM_EXT, FCS_CKM.1.1, FCS_CKM.1, FCS_CKM.2.1, FCS_CKM.4.1, FCS_COP.1.1, FCS_COP.1, FCS_RNG_EXT.1, FCS_CKM_EXT.4, FCS_CKM, FCS_CKM_EXT.4.1, FCS_CKM.4, FCS_COP.1.2, FCS_CKM.2, FDP_ACF.1.1, FDP_ACF.1.2, FDP_UCT.1.1, FDP_UIT.1.1, FDP_ACC.1, FDP_ACF.1, FDP_RIP.2, FDP_UCT.1, FDP_UIT.1, FDP_ITC.1, FDP_ITC.2, FDP_ACC.1.1, FDP_ACF.1.3, FDP_ACF.1.4, FDP_RIP.2.1, FDP_UIT.1.2, FDP_IFC.1, FIA_AFL_EXT.1, FIA_AFL.1, FIA_ATD.1, FIA_SOS.1.1, FIA_UAU.5.1, FIA_UAU.5.2, FIA_AFL.1.2, FIA_SOS.1, FIA_UAU.2, FIA_UAU.5, FIA_UAU.6, FIA_UAU.7, FIA_UID.2, FIA_USB.1, FIA_UID, FIA_AFL.1.1, FIA_ATD.1.1, FIA_UAU.2.1, FIA_UAU.6.1, FIA_UAU.7.1, FIA_UID.2.1, FIA_USB.1.1, FIA_USB.1.2, FIA_USB.1.3, FIA_AFL, FIA_SOS, FIA_UID.1, FIA_UAU.1, FMT_MOF.1.1, FMT_MOF.1, FMT_MTD.1.1, FMT_MTD.1, FMT_REV.1.1, FMT_REV.1, FMT_SAE.1.2, FMT_SAE.1, FMT_SMR.1, FMT_MSA.1, FMT_MSA.2, FMT_MSA.3, FMT_SMF.1, FMT_MSA.1.1, FMT_MSA.2.1, FMT_MSA.3.1, FMT_MSA.3.2, FMT_SAE.1.1, FMT_SMF.1.1, FMT_SMR.1.1, FMT_SMR.1.2, FPT_FLS.1.1, FPT_FLS.1, FPT_TST.1, FPT_STM.1, FPT_STM.1.1, FPT_TST.1.1, FPT_TST.1.2, FPT_TST.1.3, FTA_SSL.2.2, FTA_TAH.1.1, FTA_TAH.1.2, FTA_TAB.1.1, FTA_SSL.2, FTA_TAB.1, FTA_TAH.1, FTA_SSL.2.1, FTA_TAH.1.3, FTP_ITC.1, FTP_ITC.1.1, FTP_ITC.1.2, FTP_ITC.1.3, FTP_TRP

Certification process

out of scope, 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

Standards

FIPS186-2, FIPS186-4, FIPS186-3, FIPS 186-2, FIPS 186-4, FIPS140, FIPS186, FIPS PUB 186-2, FIPS PUB 186-4, FIPS 140-2, RFC4253, RFC 6668, RFC 2898, RFC 4253, RFC 4252, CCMB-2012-09-001, CCIMB-2012-09-003

File metadata

Title	Traguardo di Sicurezza "FIN.X RTOS SE V4.0"
Author	MBDA
Creation date	D:20170601111902+02'00'
Modification date	D:20170724115003+02'00'
Pages	104
Creator	Microsoft® Word 2010
Producer	Microsoft® Word 2010

Heuristics ?

Certificate ID: OCSI/CERT/RES/06/2014/RC

Extracted SARs

ASE_CCL.1, ALC_DEL.1, ALC_CMC.4, ATE_DPT.1, ATE_FUN.1, ATE_IND.2, ASE_TSS.1, ADV_ARC.1, ADV_TDS.3, AVA_VAN.3, ASE_SPD.1, ASE_REQ.2, ALC_CMS.4, ALC_TAT.1, ADV_IMP.1, ATE_COV.2, AGD_OPE.1, ALC_DVS.1, ASE_ECD.1, ADV_FSP.4, ASE_INT.1, AGD_PRE.1, ALC_LCD.1, ALC_FLR.1, ASE_OBJ.2

References ?

Updates ?

22.08.2024 The certificate data changed.
Certificate changed

The state of the certificate object was updated.
- The report property was updated, with the {'download_ok': True, 'convert_ok': True, 'extract_ok': True, 'pdf_hash': '2d7d201732493025e9a6ed2e67d43fbfcec43dc6ba52c91df1909fb57f63eaee', 'txt_hash': '423645d0c23926b52548de38f42e96602a614f59b9d9d22418a8d34d18757ee9'} data.
- The st property was updated, with the {'download_ok': True, 'convert_ok': True, 'extract_ok': True, 'pdf_hash': 'c43a7c8b886947462d06abb82d6d334a1307d11fe875341fdfc00fe02734286b', 'txt_hash': 'c0c1459f6b54ba8e3990376c1f883d1d66a8229f9ff31a61a7148b761583dbc8'} data.
The PDF extraction data was updated.
- The report_metadata property was set to {'pdf_file_size_bytes': 805511, 'pdf_is_encrypted': False, 'pdf_number_of_pages': 35, '/Title': 'Rapporto di Certificazione del prodotto “FIN.X RTOS SE V4.0”', '/Author': 'ocsi', '/Creator': 'Microsoft® Word 2010', '/CreationDate': "D:20170727120322+02'00'", '/ModDate': "D:20170727120322+02'00'", '/Producer': 'Microsoft® Word 2010', 'pdf_hyperlinks': {'_type': 'Set', 'elements': []}}.
- The st_metadata property was set to {'pdf_file_size_bytes': 1383956, 'pdf_is_encrypted': False, 'pdf_number_of_pages': 104, '/Author': 'MBDA', '/CreationDate': "D:20170601111902+02'00'", '/Creator': 'Microsoft® Word 2010', '/ModDate': "D:20170724115003+02'00'", '/Producer': 'Microsoft® Word 2010', '/Title': 'Traguardo di Sicurezza "FIN.X RTOS SE V4.0"', 'pdf_hyperlinks': {'_type': 'Set', 'elements': ['http://www.ietf.org/rfc/rfc4253.txt', 'http://csrc.nist.gov/publications/fips/fips140-2/fips1402.pdf', 'http://www.ietf.org/rfc/rfc4251.txt', 'http://www.ietf.org/rfc/rfc2898.txt', 'http://www.ietf.org/rfc/rfc4252.txt', 'http://rt.wiki.kernel.org/', 'http://www.gocct.com/sheets/VP/datasheet/vp71708x.pdf', 'http://defense.ge-ip.com/products/xvr16/p3636', 'http://www.gentoo.org/']}}.
- The report_frontpage property was set to {}.
- The report_keywords property was set to {'cc_cert_id': {'IT': {'OCSI/CERT/RES/06/2014/RC': 35, 'OCSI/CERT/RES/03/2012/RC': 1}}, 'cc_protection_profile_id': {}, 'cc_security_level': {'EAL': {'EAL4': 9, 'EAL2': 1, 'EAL 4': 1, 'EAL4+': 1}}, '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_FLR': 2, 'ALC_FLR.1': 5, 'ALC_CMC.4': 1, 'ALC_CMS.4': 1, 'ALC_DEL.1': 1, 'ALC_DVS.1': 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_VAN.3': 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}}, 'cc_sfr': {'FAU': {'FAU_STG.3': 1, 'FAU_STG.4': 1}, 'FCS': {'FCS_CKM.1': 2}}, 'cc_claims': {'A': {'A': 1}}, 'vendor': {}, 'eval_facility': {}, 'symmetric_crypto': {}, 'asymmetric_crypto': {'FF': {'DSA': {'DSA': 4}}}, 'pq_crypto': {}, 'hash_function': {'SHA': {'SHA2': {'SHA256': 5, 'SHA-256': 1}}}, 'crypto_scheme': {}, 'crypto_protocol': {'SSH': {'SSH': 5}, 'TLS': {'SSL': {'SSL': 3}}}, 'randomness': {}, 'cipher_mode': {}, 'ecc_curve': {}, 'crypto_engine': {}, 'tls_cipher_suite': {}, 'crypto_library': {}, 'vulnerability': {}, 'side_channel_analysis': {}, 'technical_report_id': {}, 'device_model': {}, 'tee_name': {'IBM': {'SE': 33}}, 'os_name': {}, 'cplc_data': {}, 'ic_data_group': {}, 'standard_id': {'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}}, 'javacard_version': {}, 'javacard_api_const': {}, 'javacard_packages': {}, 'certification_process': {}}.
- The st_keywords property was set to {'cc_cert_id': {}, 'cc_protection_profile_id': {}, 'cc_security_level': {'EAL': {'EAL4': 4, 'EAL4 augmented': 2}}, 'cc_sar': {'ADV': {'ADV_ARC.1': 5}, 'ALC': {'ALC_FLR.1': 3}}, 'cc_sfr': {'FAU': {'FAU_SEL.1.1': 3, 'FAU_STG.3': 8, 'FAU_GEN.1': 13, 'FAU_GEN.2': 6, 'FAU_SAR.1': 10, 'FAU_SAR.2': 7, 'FAU_SAR.3': 8, 'FAU_SEL.1': 7, 'FAU_STG.1': 9, 'FAU_STG.4': 7, 'FAU_GEN.1.1': 1, 'FAU_GEN.1.2': 1, 'FAU_GEN.2.1': 1, 'FAU_SAR.1.1': 1, 'FAU_SAR.1.2': 1, 'FAU_SAR.2.1': 1, 'FAU_SAR.3.1': 1, 'FAU_STG.1.1': 1, 'FAU_STG.1.2': 1, 'FAU_STG.3.1': 1, 'FAU_STG.4.1': 1}, 'FCS': {'FCS_CKM_EXT': 1, 'FCS_CKM.1.1': 7, 'FCS_CKM.1': 64, 'FCS_CKM.2.1': 2, 'FCS_CKM.4.1': 1, 'FCS_COP.1.1': 4, 'FCS_COP.1': 24, 'FCS_RNG_EXT.1': 1, 'FCS_CKM_EXT.4': 1, 'FCS_CKM': 17, 'FCS_CKM_EXT.4.1': 1, 'FCS_CKM.4': 5, 'FCS_COP.1.2': 1, 'FCS_CKM.2': 16}, 'FDP': {'FDP_ACF.1.1': 2, 'FDP_ACF.1.2': 2, 'FDP_UCT.1.1': 2, 'FDP_UIT.1.1': 2, 'FDP_ACC.1': 20, 'FDP_ACF.1': 14, 'FDP_RIP.2': 9, 'FDP_UCT.1': 8, 'FDP_UIT.1': 7, 'FDP_ITC.1': 5, 'FDP_ITC.2': 5, 'FDP_ACC.1.1': 1, 'FDP_ACF.1.3': 1, 'FDP_ACF.1.4': 1, 'FDP_RIP.2.1': 1, 'FDP_UIT.1.2': 1, 'FDP_IFC.1': 3}, 'FIA': {'FIA_AFL_EXT.1': 3, 'FIA_AFL.1': 10, 'FIA_ATD.1': 11, 'FIA_SOS.1.1': 3, 'FIA_UAU.5.1': 3, 'FIA_UAU.5.2': 3, 'FIA_AFL.1.2': 2, 'FIA_SOS.1': 14, 'FIA_UAU.2': 13, 'FIA_UAU.5': 11, 'FIA_UAU.6': 7, 'FIA_UAU.7': 10, 'FIA_UID.2': 10, 'FIA_USB.1': 12, 'FIA_UID': 1, 'FIA_AFL.1.1': 1, 'FIA_ATD.1.1': 1, 'FIA_UAU.2.1': 1, 'FIA_UAU.6.1': 1, 'FIA_UAU.7.1': 1, 'FIA_UID.2.1': 1, 'FIA_USB.1.1': 1, 'FIA_USB.1.2': 1, 'FIA_USB.1.3': 1, 'FIA_AFL': 1, 'FIA_SOS': 1, 'FIA_UID.1': 2, 'FIA_UAU.1': 1}, 'FMT': {'FMT_MOF.1.1': 2, 'FMT_MOF.1': 17, 'FMT_MTD.1.1': 7, 'FMT_MTD.1': 52, 'FMT_REV.1.1': 2, 'FMT_REV.1': 25, 'FMT_SAE.1.2': 2, 'FMT_SAE.1': 8, 'FMT_SMR.1': 25, 'FMT_MSA.1': 13, 'FMT_MSA.2': 8, 'FMT_MSA.3': 12, 'FMT_SMF.1': 19, 'FMT_MSA.1.1': 1, 'FMT_MSA.2.1': 1, 'FMT_MSA.3.1': 1, 'FMT_MSA.3.2': 1, 'FMT_SAE.1.1': 1, 'FMT_SMF.1.1': 1, 'FMT_SMR.1.1': 1, 'FMT_SMR.1.2': 1}, 'FPT': {'FPT_FLS.1.1': 5, 'FPT_FLS.1': 24, 'FPT_TST.1': 8, 'FPT_STM.1': 9, 'FPT_STM.1.1': 1, 'FPT_TST.1.1': 1, 'FPT_TST.1.2': 1, 'FPT_TST.1.3': 1}, 'FTA': {'FTA_SSL.2.2': 2, 'FTA_TAH.1.1': 2, 'FTA_TAH.1.2': 2, 'FTA_TAB.1.1': 2, 'FTA_SSL.2': 7, 'FTA_TAB.1': 8, 'FTA_TAH.1': 8, 'FTA_SSL.2.1': 1, '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}}, 'cc_claims': {'O': {'O.RUNTIME': 8, 'O.USER_AUTHENTICATION': 12, 'O.ACCESS': 10, 'O.ACCESS_HISTORY': 4, 'O.AUDIT_GENERATION': 8, 'O.AUDIT_PROTECTION': 5, 'O.AUDIT_REVIEW': 5, 'O.CRYPTO_NET': 13, 'O.CRYPTO_MEDIA': 7, 'O.TRUSTED_CHANNEL': 6, '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.USER_IDENTIFICATION': 5}, 'T': {'T.TSFFUNC': 4, 'T.USER': 5, 'T.TSFDATA': 3, 'T.USERDATA': 3, 'T.UNAUTHORIZED_ACCESS': 7, 'T.AUDIT_COMPROMISE': 4, 'T.UNIDENTIFIED_ACTIONS': 2, 'T.ASSETS_COMPROMISE': 7, 'T.COMM': 4, 'T.UNATTENDED_SESSION': 2, 'T.RESIDUAL_DATA': 2, 'T.MASQUERADE': 3}, 'A': {'A.AUTHUSER': 3, 'A.MANAGE': 3, 'A.TRAINEDUSER': 3, 'A.CONNECT': 3, 'A.PHYSICAL': 3, 'A.DETECT': 4, 'A.PEER_FUNC': 2, 'A.PEER_MGT': 2}, 'OE': {'OE.TRUSTED': 6, 'OE.ADMIN': 1, 'OE.INFO_PROTECT': 1, 'OE.INSTALL': 1, 'OE.MAINTENANCE': 1, 'OE.PHYSICAL': 4, 'OE.RECOVER': 1}}, 'vendor': {}, 'eval_facility': {}, 'symmetric_crypto': {'AES_competition': {'AES': {'AES': 5}}, 'DES': {'3DES': {'T-DES': 2, 'TDES': 1}}, 'constructions': {'MAC': {'HMAC': 1}}}, 'asymmetric_crypto': {'FF': {'DH': {'Diffie-Hellman': 2}, 'DSA': {'DSA': 27}}}, 'pq_crypto': {}, 'hash_function': {'SHA': {'SHA1': {'SHA-1': 1, 'SHA1': 1}, 'SHA2': {'SHA-512': 2, 'SHA-224': 1, 'SHA-256': 1, 'SHA-384': 1, 'SHA-2': 1}}, 'PBKDF': {'PBKDF2': 6}}, 'crypto_scheme': {}, 'crypto_protocol': {'SSH': {'SSH': 44}, 'TLS': {'TLS': {'TLS': 1}}}, 'randomness': {'PRNG': {'PRNG': 4}, 'RNG': {'RNG': 1}}, 'cipher_mode': {'CBC': {'CBC': 4}, 'CTR': {'CTR': 2}, 'XTS': {'XTS': 1}}, 'ecc_curve': {}, 'crypto_engine': {}, 'tls_cipher_suite': {}, 'crypto_library': {'OpenSSL': {'OpenSSL': 16}}, 'vulnerability': {}, 'side_channel_analysis': {}, 'technical_report_id': {}, 'device_model': {}, 'tee_name': {'IBM': {'SE': 112}}, 'os_name': {}, 'cplc_data': {}, 'ic_data_group': {}, 'standard_id': {'FIPS': {'FIPS186-2': 8, 'FIPS186-4': 9, 'FIPS186-3': 1, 'FIPS 186-2': 1, 'FIPS 186-4': 2, 'FIPS140': 2, 'FIPS186': 1, 'FIPS PUB 186-2': 4, 'FIPS PUB 186-4': 3, 'FIPS 140-2': 1}, 'RFC': {'RFC4253': 4, 'RFC 6668': 5, 'RFC 2898': 2, 'RFC 4253': 6, 'RFC 4252': 7}, 'CC': {'CCMB-2012-09-001': 1, 'CCIMB-2012-09-003': 1}}, 'javacard_version': {}, 'javacard_api_const': {}, 'javacard_packages': {}, 'certification_process': {'OutOfScope': {'out of scope': 1, '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}}}.
- The report_filename property was set to rc_finx_rtos_se_4_v1.0.pdf.
- The st_filename property was set to tds_finx_rtos_se_4_lite03.pdf.
The computed heuristics were updated.
- The cert_id property was set to OCSI/CERT/RES/06/2014/RC.
- The report_references property was updated, with the {'directly_referenced_by': {'_type': 'Set', 'elements': ['OCSI/CERT/LEO/08/2021/RC']}, 'indirectly_referenced_by': {'_type': 'Set', 'elements': ['OCSI/CERT/LEO/08/2021/RC']}, 'directly_referencing': {'_type': 'Set', 'elements': ['OCSI/CERT/RES/03/2012/RC']}, 'indirectly_referencing': {'_type': 'Set', 'elements': ['OCSI/CERT/RES/03/2012/RC']}} data.
- The extracted_sars property was updated, with the {'_type': 'Set', 'elements': [{'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_CCL', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_DEL', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_CMC', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_DPT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_FUN', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_IND', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_ARC', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_TSS', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_TDS', 'level': 3}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AVA_VAN', 'level': 3}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_SPD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_REQ', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_CMS', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_TAT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_IMP', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_COV', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AGD_OPE', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_DVS', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_ECD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_FSP', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_INT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AGD_PRE', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_LCD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_OBJ', 'level': 2}]} values added.
17.08.2024 The certificate data changed.
Certificate changed

The report_link was updated.
- The new value is https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_4_v1.0.pdf.
The st_link was updated.
- The new value is https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_4_lite03.pdf.
The state of the certificate object was updated.
- The st property was updated, with the {'download_ok': False, 'convert_ok': False, 'extract_ok': False, 'pdf_hash': None, 'txt_hash': None} data.
The PDF extraction data was updated.
- The st_metadata property was set to None.
- The st_keywords property was set to None.
- The st_filename property was set to None.
The computed heuristics were updated.
- The extracted_sars property was updated, with the {'_type': 'Set', 'elements': [{'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_ARC', 'level': 1}]} values discarded.
12.08.2024 The certificate data changed.
Certificate changed

The state of the certificate object was updated.
- The report property was updated, with the {'download_ok': False, 'convert_ok': False, 'extract_ok': False, 'pdf_hash': None, 'txt_hash': None} data.
The PDF extraction data was updated.
- The report_metadata property was set to None.
- The report_frontpage property was set to None.
- The report_keywords property was set to None.
- The report_filename property was set to None.
The computed heuristics were updated.
- The cert_id property was set to None.
- The report_references property was updated, with the {'directly_referenced_by': None, 'indirectly_referenced_by': None, 'directly_referencing': None, 'indirectly_referencing': None} data.
- The extracted_sars property was updated, with the {'_type': 'Set', 'elements': [{'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_CCL', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_DEL', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_CMC', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_DPT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_FUN', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_IND', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_TSS', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_TDS', 'level': 3}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AVA_VAN', 'level': 3}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_SPD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_REQ', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_CMS', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_TAT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_IMP', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ATE_COV', 'level': 2}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AGD_OPE', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_DVS', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_ECD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ADV_FSP', 'level': 4}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_INT', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'AGD_PRE', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ALC_LCD', 'level': 1}, {'_type': 'sec_certs.sample.sar.SAR', 'family': 'ASE_OBJ', 'level': 2}]} values discarded.
23.07.2024 The certificate was first processed.

New certificate

A new Common Criteria certificate with the product name FIN.X RTOS SE V4.0 was processed.

Raw data

{
  "_type": "sec_certs.sample.cc.CCCertificate",
  "category": "Operating Systems",
  "cert_link": null,
  "dgst": "9cb1663e606ec87b",
  "heuristics": {
    "_type": "sec_certs.sample.cc.CCCertificate.Heuristics",
    "annotated_references": null,
    "cert_id": "OCSI/CERT/RES/06/2014/RC",
    "cert_lab": null,
    "cpe_matches": null,
    "direct_transitive_cves": null,
    "extracted_sars": {
      "_type": "Set",
      "elements": [
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_FLR",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_DPT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_DEL",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_TSS",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_FUN",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_REQ",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_CMS",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_CCL",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AGD_PRE",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AVA_VAN",
          "level": 3
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_ECD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_DVS",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_IND",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_COV",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_OBJ",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_CMC",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AGD_OPE",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_FSP",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_LCD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_INT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_SPD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_TAT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_ARC",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_TDS",
          "level": 3
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_IMP",
          "level": 1
        }
      ]
    },
    "extracted_versions": {
      "_type": "Set",
      "elements": [
        "4.0"
      ]
    },
    "indirect_transitive_cves": null,
    "related_cves": null,
    "report_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": {
        "_type": "Set",
        "elements": [
          "OCSI/CERT/LEO/08/2021/RC"
        ]
      },
      "directly_referencing": {
        "_type": "Set",
        "elements": [
          "OCSI/CERT/RES/03/2012/RC"
        ]
      },
      "indirectly_referenced_by": {
        "_type": "Set",
        "elements": [
          "OCSI/CERT/LEO/08/2021/RC"
        ]
      },
      "indirectly_referencing": {
        "_type": "Set",
        "elements": [
          "OCSI/CERT/RES/03/2012/RC"
        ]
      }
    },
    "scheme_data": null,
    "st_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "verified_cpe_matches": null
  },
  "maintenance_updates": {
    "_type": "Set",
    "elements": []
  },
  "manufacturer": "MBDA Italia S.p.A.",
  "manufacturer_web": "https://www.mbda-systems.com/",
  "name": "FIN.X RTOS SE V4.0",
  "not_valid_after": "2022-07-25",
  "not_valid_before": "2017-07-25",
  "pdf_data": {
    "_type": "sec_certs.sample.cc.CCCertificate.PdfData",
    "cert_filename": null,
    "cert_frontpage": null,
    "cert_keywords": null,
    "cert_metadata": null,
    "report_filename": "rc_finx_rtos_se_4_v1.0.pdf",
    "report_frontpage": {},
    "report_keywords": {
      "asymmetric_crypto": {
        "FF": {
          "DSA": {
            "DSA": 4
          }
        }
      },
      "cc_cert_id": {
        "IT": {
          "OCSI/CERT/RES/03/2012/RC": 1,
          "OCSI/CERT/RES/06/2014/RC": 35
        }
      },
      "cc_claims": {
        "A": {
          "A": 1
        }
      },
      "cc_protection_profile_id": {},
      "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
        }
      },
      "cc_security_level": {
        "EAL": {
          "EAL 4": 1,
          "EAL2": 1,
          "EAL4": 9,
          "EAL4+": 1
        }
      },
      "cc_sfr": {
        "FAU": {
          "FAU_STG.3": 1,
          "FAU_STG.4": 1
        },
        "FCS": {
          "FCS_CKM.1": 2
        }
      },
      "certification_process": {},
      "cipher_mode": {},
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {
        "SSH": {
          "SSH": 5
        },
        "TLS": {
          "SSL": {
            "SSL": 3
          }
        }
      },
      "crypto_scheme": {},
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "hash_function": {
        "SHA": {
          "SHA2": {
            "SHA-256": 1,
            "SHA256": 5
          }
        }
      },
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {},
      "side_channel_analysis": {},
      "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
        }
      },
      "symmetric_crypto": {},
      "technical_report_id": {},
      "tee_name": {
        "IBM": {
          "SE": 33
        }
      },
      "tls_cipher_suite": {},
      "vendor": {},
      "vulnerability": {}
    },
    "report_metadata": {
      "/Author": "ocsi",
      "/CreationDate": "D:20170727120322+02\u002700\u0027",
      "/Creator": "Microsoft\u00ae Word 2010",
      "/ModDate": "D:20170727120322+02\u002700\u0027",
      "/Producer": "Microsoft\u00ae Word 2010",
      "/Title": "Rapporto di Certificazione del prodotto \u201cFIN.X RTOS SE V4.0\u201d",
      "pdf_file_size_bytes": 805511,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": []
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 35
    },
    "st_filename": "tds_finx_rtos_se_4_lite03.pdf",
    "st_frontpage": null,
    "st_keywords": {
      "asymmetric_crypto": {
        "FF": {
          "DH": {
            "Diffie-Hellman": 2
          },
          "DSA": {
            "DSA": 27
          }
        }
      },
      "cc_cert_id": {},
      "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
        }
      },
      "cc_protection_profile_id": {},
      "cc_sar": {
        "ADV": {
          "ADV_ARC.1": 5
        },
        "ALC": {
          "ALC_FLR.1": 3
        }
      },
      "cc_security_level": {
        "EAL": {
          "EAL4": 4,
          "EAL4 augmented": 2
        }
      },
      "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
        }
      },
      "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
        }
      },
      "cipher_mode": {
        "CBC": {
          "CBC": 4
        },
        "CTR": {
          "CTR": 2
        },
        "XTS": {
          "XTS": 1
        }
      },
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {
        "OpenSSL": {
          "OpenSSL": 16
        }
      },
      "crypto_protocol": {
        "SSH": {
          "SSH": 44
        },
        "TLS": {
          "TLS": {
            "TLS": 1
          }
        }
      },
      "crypto_scheme": {},
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "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
          }
        }
      },
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {
        "PRNG": {
          "PRNG": 4
        },
        "RNG": {
          "RNG": 1
        }
      },
      "side_channel_analysis": {},
      "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
        }
      },
      "symmetric_crypto": {
        "AES_competition": {
          "AES": {
            "AES": 5
          }
        },
        "DES": {
          "3DES": {
            "T-DES": 2,
            "TDES": 1
          }
        },
        "constructions": {
          "MAC": {
            "HMAC": 1
          }
        }
      },
      "technical_report_id": {},
      "tee_name": {
        "IBM": {
          "SE": 112
        }
      },
      "tls_cipher_suite": {},
      "vendor": {},
      "vulnerability": {}
    },
    "st_metadata": {
      "/Author": "MBDA",
      "/CreationDate": "D:20170601111902+02\u002700\u0027",
      "/Creator": "Microsoft\u00ae Word 2010",
      "/ModDate": "D:20170724115003+02\u002700\u0027",
      "/Producer": "Microsoft\u00ae Word 2010",
      "/Title": "Traguardo di Sicurezza \"FIN.X RTOS SE V4.0\"",
      "pdf_file_size_bytes": 1383956,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": [
          "http://www.ietf.org/rfc/rfc4252.txt",
          "http://www.ietf.org/rfc/rfc2898.txt",
          "http://www.gocct.com/sheets/VP/datasheet/vp71708x.pdf",
          "http://rt.wiki.kernel.org/",
          "http://csrc.nist.gov/publications/fips/fips140-2/fips1402.pdf",
          "http://www.gentoo.org/",
          "http://www.ietf.org/rfc/rfc4253.txt",
          "http://defense.ge-ip.com/products/xvr16/p3636",
          "http://www.ietf.org/rfc/rfc4251.txt"
        ]
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 104
    }
  },
  "protection_profiles": {
    "_type": "Set",
    "elements": []
  },
  "report_link": "https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_4_v1.0.pdf",
  "scheme": "IT",
  "security_level": {
    "_type": "Set",
    "elements": [
      "EAL4+",
      "ALC_FLR.1"
    ]
  },
  "st_link": "https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_4_lite03.pdf",
  "state": {
    "_type": "sec_certs.sample.cc.CCCertificate.InternalState",
    "cert": {
      "_type": "sec_certs.sample.cc.CCCertificate.DocumentState",
      "convert_garbage": false,
      "convert_ok": false,
      "download_ok": false,
      "extract_ok": false,
      "pdf_hash": null,
      "txt_hash": null
    },
    "report": {
      "_type": "sec_certs.sample.cc.CCCertificate.DocumentState",
      "convert_garbage": false,
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "pdf_hash": "2d7d201732493025e9a6ed2e67d43fbfcec43dc6ba52c91df1909fb57f63eaee",
      "txt_hash": "423645d0c23926b52548de38f42e96602a614f59b9d9d22418a8d34d18757ee9"
    },
    "st": {
      "_type": "sec_certs.sample.cc.CCCertificate.DocumentState",
      "convert_garbage": false,
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "pdf_hash": "c43a7c8b886947462d06abb82d6d334a1307d11fe875341fdfc00fe02734286b",
      "txt_hash": "c0c1459f6b54ba8e3990376c1f883d1d66a8229f9ff31a61a7148b761583dbc8"
    }
  },
  "status": "archived"
}

FIN.X RTOS SE V4.0

CSV information ?

Heuristics summary ?

Certificate ?

Certification report ?

Extracted keywords

Cryptography

Asymmetric Algorithms

Hash functions

Protocols

Device

Trusted Execution Environments

Common Criteria

Security level

Claims

Security Assurance Requirements (SAR)

Security Functional Requirements (SFR)

Certificates

Other

Standards

File metadata

References

Security target ?

Extracted keywords

Cryptography

Symmetric Algorithms

Asymmetric Algorithms

Hash functions

Protocols

Randomness

Libraries

Block cipher modes

Device

Trusted Execution Environments

Common Criteria

Security level

Claims

Security Assurance Requirements (SAR)

Security Functional Requirements (SFR)

Security

Certification process

Other

Standards

File metadata

Heuristics ?

Extracted SARs

References ?

Updates ?

Certificate changed

Certificate changed

Certificate changed

New certificate

Raw data