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

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	Philips Secure Smart Card Controller P5CT072V0P, P5CC072V0P,P5CD072V0P and P5CD036V0P each with specific IC Dedicated Software BSI-DSZ-CC-0348-2006
name	FIN.X RTOS SE V4.0	Philips Secure Smart Card Controller P5CT072V0P, P5CC072V0P,P5CD072V0P and P5CD036V0P each with specific IC Dedicated Software
category	Operating Systems	ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme	IT	DE
status	archived	archived
not_valid_after	25.07.2022	01.09.2019
not_valid_before	25.07.2017	01.01.2007
cert_link	None	None
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/0348a.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/0348b.pdf
manufacturer	MBDA Italia S.p.A.	Philips Semiconductors GmbH
manufacturer_web	https://www.mbda-systems.com/	https://www.philips.com/
security_level	EAL4+, ALC_FLR.1	EAL5+, AVA_MSU.3, ALC_DVS.2, AVA_VLA.4
dgst	9cb1663e606ec87b	0f88fe08d16a1edc
heuristics/cert_id	OCSI/CERT/RES/06/2014/RC	BSI-DSZ-CC-0348-2006
heuristics/cert_lab	[]	BSI
heuristics/cpe_matches	{}	{}
heuristics/verified_cpe_matches	{}	{}
heuristics/related_cves	{}	{}
heuristics/direct_transitive_cves	{}	{}
heuristics/indirect_transitive_cves	{}	{}
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	ASE_ENV.1, ALC_LCD.2, ASE_INT.1, AGD_USR.1, ALC_DVS.2, ASE_REQ.1, ASE_PPC.1, ASE_DES.1, AVA_SOF.1, ATE_COV.2, ASE_TSS.1, ATE_DPT.2, AGD_ADM.1, ADV_INT.1, ADV_RCR.2, ATE_FUN.1, ADV_IMP.2, ALC_TAT.2, ADV_HLD.3, AVA_VLA.4, ASE_SRE.1, ADV_SPM.3, ASE_OBJ.1, ATE_IND.2, ADV_LLD.1, ADV_FSP.3, AVA_CCA.1, AVA_MSU.3
heuristics/extracted_versions	4.0	-
heuristics/prev_certificates	{}	{}
heuristics/next_certificates	{}	{}
heuristics/report_references/directly_referenced_by	OCSI/CERT/LEO/08/2021/RC	ANSSI-CC-2007/06, BSI-DSZ-CC-0294-2006, ANSSI-CC-2007/16, BSI-DSZ-CC-0426-2007, BSI-DSZ-CC-0375-2007, ANSSI-CC-2007/02, BSI-DSZ-CC-0349-2006, ANSSI-CC-2006/13
heuristics/report_references/directly_referencing	OCSI/CERT/RES/03/2012/RC	{}
heuristics/report_references/indirectly_referenced_by	OCSI/CERT/LEO/08/2021/RC	ANSSI-CC-2007/06, BSI-DSZ-CC-0294-2006, BSI-DSZ-CC-0506-2008, BSI-DSZ-CC-0362-2006, ANSSI-CC-2006/28, BSI-DSZ-CC-0507-2008, ANSSI-CC-2007/16, BSI-DSZ-CC-0445-2007, BSI-DSZ-CC-0426-2007, BSI-DSZ-CC-0375-2007, ANSSI-CC-2007/02, ANSSI-CC-2006/23, BSI-DSZ-CC-0349-2006, BSI-DSZ-CC-0384-2007, ANSSI-CC-2006/13
heuristics/report_references/indirectly_referencing	OCSI/CERT/RES/03/2012/RC	{}
heuristics/scheme_data
heuristics/st_references/directly_referenced_by	{}	ANSSI-CC-2007/16, BSI-DSZ-CC-0294-2006, BSI-DSZ-CC-0426-2007
heuristics/st_references/directly_referencing	{}	{}
heuristics/st_references/indirectly_referenced_by	{}	ANSSI-CC-2007/16, BSI-DSZ-CC-0294-2006, BSI-DSZ-CC-0426-2007
heuristics/st_references/indirectly_referencing	{}	{}
heuristics/protection_profiles	{}	{}
maintenance_updates		maintenance_date: 26.06.2009 maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma2a.pdf maintenance_st_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma2b.pdf maintenance_title: NXP Secure Smart Card Controller P5CT072V0P, P5CC072V0P, P5CD072V0P and P5CD036V0P each with IC specific Dedicated Software maintenance_date: 29.06.2009 maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma3a.pdf maintenance_st_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma3b.pdf maintenance_title: NXP Smart Card Controller P5CT072V0S, P5CN072V0S, P5CC072V0S P5CD072V0S, P5CD036V0S and P5CN036V0S each with specific IC Dedicated Software maintenance_date: 20.06.2006 maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma1.pdf maintenance_st_link: None maintenance_title: Philips Secure Smart Card Controller P5CD072V0P, P5CD036V0P, P5CN072V0P and P5CN036V0P each with specific IC Dedicated Software maintenance_date: 18.01.2011 maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma4a.pdf maintenance_st_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0348_ma4b.pdf maintenance_title: NXP Secure Smart Card Controller P5CT072V0S, P5CC072V0S, P5CD072V0S and P5CD036V0S each with specific IC Dedicated Software
protection_profiles
protection_profile_links	{}	{}
pdf_data/cert_filename	None	None
pdf_data/cert_frontpage
pdf_data/cert_keywords/cc_cert_id
pdf_data/cert_keywords/cc_protection_profile_id
pdf_data/cert_keywords/cc_security_level
pdf_data/cert_keywords/cc_sar
pdf_data/cert_keywords/cc_sfr
pdf_data/cert_keywords/cc_claims
pdf_data/cert_keywords/vendor
pdf_data/cert_keywords/eval_facility
pdf_data/cert_keywords/symmetric_crypto
pdf_data/cert_keywords/asymmetric_crypto
pdf_data/cert_keywords/pq_crypto
pdf_data/cert_keywords/hash_function
pdf_data/cert_keywords/crypto_scheme
pdf_data/cert_keywords/crypto_protocol
pdf_data/cert_keywords/randomness
pdf_data/cert_keywords/cipher_mode
pdf_data/cert_keywords/ecc_curve
pdf_data/cert_keywords/crypto_engine
pdf_data/cert_keywords/tls_cipher_suite
pdf_data/cert_keywords/crypto_library
pdf_data/cert_keywords/vulnerability
pdf_data/cert_keywords/side_channel_analysis
pdf_data/cert_keywords/technical_report_id
pdf_data/cert_keywords/device_model
pdf_data/cert_keywords/tee_name
pdf_data/cert_keywords/os_name
pdf_data/cert_keywords/cplc_data
pdf_data/cert_keywords/ic_data_group
pdf_data/cert_keywords/standard_id
pdf_data/cert_keywords/javacard_version
pdf_data/cert_keywords/javacard_api_const
pdf_data/cert_keywords/javacard_packages
pdf_data/cert_keywords/certification_process
pdf_data/cert_metadata
pdf_data/report_filename	rc_finx_rtos_se_4_v1.0.pdf	0348a.pdf
pdf_data/report_frontpage	DE:	DE: cert_id: BSI-DSZ-CC-0348-2006 cert_item: Philips Secure Smart Card Controller P5CT072V0P, P5CC072V0P, P5CD072V0P and P5CD036V0P each with specific IC Dedicated Software cert_lab: BSI developer: Philips Semiconductors GmbH Business Line Identification Certification Report V1.0 ZS-01-01-F-330 V3.23 BSI - Bundesamt für Sicherheit in der Informationstechnik, Postfach 20 03 63, D-53133 Bonn Phone +49 228 9582-0, Fax +49 228 9582-455, Infoline +49 228 9582-111 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-0348: 3 BSI-DSZ-CC-0348-2006: 25 NL: CC-0227-2004: 1
pdf_data/report_keywords/cc_protection_profile_id		BSI: BSI-PP- 0002-2001: 1 BSI-PP-0002-: 1 BSI-PP-0002-2001: 3
pdf_data/report_keywords/cc_security_level	EAL: EAL 4: 1 EAL2: 1 EAL4: 9 EAL4+: 1	EAL: EAL 1: 1 EAL 4: 1 EAL 5: 2 EAL 5 augmented: 2 EAL 7: 1 EAL1: 5 EAL2: 3 EAL3: 4 EAL4: 10 EAL5: 9 EAL5 augmented: 1 EAL5+: 1 EAL6: 3 EAL7: 4
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: 2 ACM_CAP: 2 ACM_CAP.4: 2 ACM_SCP: 2 ACM_SCP.3: 3 ADO: ADO_DEL: 2 ADO_DEL.2: 2 ADO_IGS: 2 ADO_IGS.1: 2 ADV: ADV_FSP: 2 ADV_FSP.3: 2 ADV_HLD: 2 ADV_HLD.3: 2 ADV_IMP: 2 ADV_IMP.2: 2 ADV_INT: 2 ADV_INT.1: 2 ADV_LLD: 2 ADV_LLD.1: 1 ADV_RCR: 2 ADV_RCR.2: 2 ADV_SPM: 2 ADV_SPM.3: 2 AGD: AGD_ADM: 2 AGD_ADM.1: 1 AGD_USR: 2 AGD_USR.1: 1 ALC: ALC_DVS: 2 ALC_DVS.2: 6 ALC_FLR: 2 ALC_LCD: 1 ALC_LCD.2: 3 ALC_TAT: 2 ALC_TAT.2: 3 ASE: ASE_DES.1: 1 ASE_ENV.1: 1 ASE_INT.1: 1 ASE_OBJ.1: 1 ASE_PPC.1: 1 ASE_REQ.1: 1 ASE_SRE.1: 1 ASE_TSS.1: 1 ATE: ATE_COV: 2 ATE_COV.2: 1 ATE_DPT: 2 ATE_DPT.2: 2 ATE_FUN: 2 ATE_FUN.1: 1 ATE_IND: 2 ATE_IND.2: 1 AVA: AVA_CCA: 2 AVA_CCA.1: 2 AVA_MSU: 2 AVA_MSU.3: 5 AVA_SOF: 4 AVA_SOF.1: 1 AVA_VLA: 4 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	FAU: FAU_SAS.1: 1 FCS: FCS_CKM.1: 1 FCS_CKM.4: 1 FCS_COP.1: 3 FCS_RND.1: 1 FDP: FDP_ACC.1: 3 FDP_ACF.1: 3 FDP_IFC.1: 1 FDP_ITC.1: 1 FDP_ITT.1: 1 FMT: FMT_LIM.1: 1 FMT_LIM.2: 1 FMT_MSA.1: 3 FMT_MSA.2: 1 FMT_MSA.3: 3 FMT_SMF.1: 1 FMT_SMR.1: 1 FPT: FPT_FLS.1: 1 FPT_ITT.1: 1 FPT_PHP.3: 1 FPT_SEP.1: 2 FRU: FRU_FLT.2: 1
pdf_data/report_keywords/cc_claims	A: A: 1	O: O.C: 1 R: R.O: 1
pdf_data/report_keywords/vendor		Philips: Philips: 53
pdf_data/report_keywords/eval_facility
pdf_data/report_keywords/symmetric_crypto		AES_competition: AES: AES: 21 DES: 3DES: TDEA: 2 Triple-DES: 11 DES: DEA: 1 DES: 3
pdf_data/report_keywords/asymmetric_crypto	FF: DSA: DSA: 4
pdf_data/report_keywords/pq_crypto
pdf_data/report_keywords/hash_function	SHA: SHA2: SHA-256: 1 SHA256: 5
pdf_data/report_keywords/crypto_scheme
pdf_data/report_keywords/crypto_protocol	SSH: SSH: 5 TLS: SSL: SSL: 3
pdf_data/report_keywords/randomness		RNG: RNG: 4
pdf_data/report_keywords/cipher_mode
pdf_data/report_keywords/ecc_curve
pdf_data/report_keywords/crypto_engine		SmartMX: SmartMX: 8
pdf_data/report_keywords/tls_cipher_suite
pdf_data/report_keywords/crypto_library
pdf_data/report_keywords/vulnerability
pdf_data/report_keywords/side_channel_analysis		FI: Malfunction: 1 physical tampering: 1 SCA: Physical Probing: 1 physical probing: 2 side channel: 1 timing attacks: 1
pdf_data/report_keywords/technical_report_id		BSI: BSI 7125: 2 BSI 7148: 1 BSI 7149: 1
pdf_data/report_keywords/device_model
pdf_data/report_keywords/tee_name	IBM: SE: 33
pdf_data/report_keywords/os_name
pdf_data/report_keywords/cplc_data
pdf_data/report_keywords/ic_data_group
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: 3 AIS 31: 4 AIS 32: 3 AIS 34: 3 AIS 36: 6 FIPS: FIPS PUB 197: 2 FIPS PUB 46-3: 3 ISO: ISO/IEC 15408:1999: 1 ISO/IEC15408: 1999: 1
pdf_data/report_keywords/javacard_version
pdf_data/report_keywords/javacard_api_const
pdf_data/report_keywords/javacard_packages
pdf_data/report_keywords/certification_process		ConfidentialDocument: Controller, Preliminary Specification, Philips Semiconductors, Revision 2.0, September 14th, 2005 (confidential document) [13] FIPS PUB 46-3 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION DATA ENCRYPTION STANDARD: 1 P5CC072V0P, P5CD072V0P and P5CD036V0P Secure Smart Card Controller, Philips Semiconductors (confidential document) [7] Security Target Lite BSI-DSZ-CC-0348, Version 1.2, 17 January 2006, Evaluation of Philips: 1 P5CC072V0P, Product Specification, Philips Semiconductors, Revision 3.0, November 24th, 2005 (confidential document) [19] Data Sheet, P5CD072V0P/V0Q, SmartMX, Secure Dual Interface PKI Smart Card Controller: 1 Semiconductors, 13 January 2006 (confidential document) B-26 BSI-DSZ-CC-0348-2006 Certification Report [12] Data Sheet, P5CT072V0P/V0Q, SmartMX, Secure: 1 Technical Report, Philips P5CT072V0P Secure Smart Card Controller, Version 1.1, 3. March 2006 (confidential document) [9] Smart Card IC Platform Protection Profile, Version 1.0, July 2001, registered at the German: 1 the P5CT072V0P/Q, BSI-DSZ-CC-0348/0349, Version 1.2, Philips Semiconductors, February 9th, 2006 (confidential document) [15] Instruction Set SmartMX-Family, Secure Smart Card Controller, Objective Specification: 1 to AIS 36, Version 1.1, 3. March 2006 for Philips P5CT072V0P Secure Smart Card Controller (confidential document) [11] Guidance, Delivery and Operation Manual for the P5CT072V0P and P5CT072V0Q, Version 1.1: 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: Bundesamt für Sicherheit in der Informationstechnik /Category: Common Criteria Zertifizierung /Company: BSI, Postfach 200363, 53133 Bonn /CreationDate: D:20060329122212+02'00' /Creator: Acrobat PDFMaker 7.0.7 für Word /Keywords: Common Criteria, Smartcard, Zertifizierung, Certification /ModDate: D:20060329122407+02'00' /Producer: Acrobat Distiller 7.0.5 (Windows) /SourceModified: D:20060329102148 /Title: Certification Report BSI-DSZ-CC-0348-2006 pdf_file_size_bytes: 415971 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 50
pdf_data/st_filename	tds_finx_rtos_se_4_lite03.pdf	0348b.pdf
pdf_data/st_frontpage
pdf_data/st_keywords/cc_cert_id		DE: BSI-DSZ-CC-0348: 88
pdf_data/st_keywords/cc_protection_profile_id		BSI: BSI-PP-0002-2001: 3
pdf_data/st_keywords/cc_security_level	EAL: EAL4: 4 EAL4 augmented: 2	EAL: EAL 5: 4 EAL 5 augmented: 2 EAL4: 4 EAL4 augmented: 1 EAL4+: 1 EAL5: 34 EAL5 augmented: 1 EAL5+: 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: 2 ACM_SCP: 3 ACM_SCP.2: 4 ACM_SCP.3: 5 ADO: ADO_DEL: 2 ADO_DEL.2: 2 ADO_IGS: 2 ADO_IGS.1: 2 ADV: ADV_FSP: 3 ADV_FSP.2: 4 ADV_FSP.3: 6 ADV_HLD: 1 ADV_HLD.3: 1 ADV_IMP: 1 ADV_IMP.2: 1 ADV_INT: 1 ADV_INT.1: 1 ADV_LLD: 1 ADV_LLD.1: 1 ADV_RCR: 4 ADV_RCR.2: 1 ADV_SPM: 1 ADV_SPM.3: 1 AGD: AGD_ADM: 2 AGD_ADM.1: 2 AGD_USR: 2 AGD_USR.1: 2 ALC: ALC_DVS: 1 ALC_DVS.2: 2 ALC_LCD: 1 ALC_LCD.2: 1 ALC_TAT: 1 ALC_TAT.2: 1 ATE: ATE_COV.2: 2 ATE_DPT.2: 1 ATE_FUN.1: 1 ATE_IND.2: 1 AVA: AVA_CCA.1: 1 AVA_MSU: 2 AVA_MSU.3: 1 AVA_SOF.1: 2 AVA_VLA.4: 3
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_SAS.1: 4 FCS: FCS_CKM: 1 FCS_CKM.1: 6 FCS_CKM.4: 4 FCS_COP.1: 28 FCS_COP.1.1: 2 FCS_RND.1: 5 FCS_RND.1.1: 1 FDP: FDP_ACC.1: 34 FDP_ACC.1.1: 2 FDP_ACF.1: 30 FDP_ACF.1.1: 2 FDP_ACF.1.2: 2 FDP_ACF.1.3: 2 FDP_ACF.1.4: 2 FDP_IFC.1: 10 FDP_ITC.1: 6 FDP_ITT.1: 6 FDP_SDI.1: 1 FMT: FMT_LIM.1: 3 FMT_LIM.2: 3 FMT_MSA.1: 29 FMT_MSA.1.1: 2 FMT_MSA.2: 6 FMT_MSA.3: 22 FMT_MSA.3.1: 2 FMT_MSA.3.2: 2 FMT_SMF.1: 14 FMT_SMF.1.1: 1 FMT_SMR.1: 8 FPT: FPT_AMT.1: 1 FPT_FLS.1: 7 FPT_ITT.1: 6 FPT_PHP.3: 7 FPT_SEP.1: 16 FPT_SEP.1.1: 1 FPT_SEP.1.2: 1 FRU: FRU_FLT.2: 7
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	O: O.CONFIG: 8 O.HW_AES: 10 O.MEM_ACCESS: 9 O.MF_FW: 7 O.RND: 3 O.SFR_ACCESS: 7 T: T.RND: 2
pdf_data/st_keywords/vendor		Philips: Philips: 123
pdf_data/st_keywords/eval_facility
pdf_data/st_keywords/symmetric_crypto	AES_competition: AES: AES: 5 DES: 3DES: T-DES: 2 TDES: 1 constructions: MAC: HMAC: 1	AES_competition: AES: AES: 67 DES: 3DES: TDEA: 3 Triple-DEA: 1 Triple-DES: 10 DES: DEA: 2 DES: 29
pdf_data/st_keywords/asymmetric_crypto	FF: DH: Diffie-Hellman: 2 DSA: DSA: 27	ECC: ECC: ECC: 2
pdf_data/st_keywords/pq_crypto
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
pdf_data/st_keywords/crypto_scheme
pdf_data/st_keywords/crypto_protocol	SSH: SSH: 44 TLS: TLS: TLS: 1
pdf_data/st_keywords/randomness	PRNG: PRNG: 4 RNG: RNG: 1	RNG: RND: 5 RNG: 12 TRNG: TRNG: 1
pdf_data/st_keywords/cipher_mode	CBC: CBC: 4 CTR: CTR: 2 XTS: XTS: 1
pdf_data/st_keywords/ecc_curve
pdf_data/st_keywords/crypto_engine		SmartMX: SmartMX: 4
pdf_data/st_keywords/tls_cipher_suite
pdf_data/st_keywords/crypto_library	OpenSSL: OpenSSL: 16
pdf_data/st_keywords/vulnerability
pdf_data/st_keywords/side_channel_analysis		FI: Malfunction: 10 fault injection: 3 malfunction: 1 physical tampering: 1 SCA: DPA: 1 Leak-Inherent: 15 Physical Probing: 2 physical probing: 1 timing attacks: 2
pdf_data/st_keywords/technical_report_id
pdf_data/st_keywords/device_model
pdf_data/st_keywords/tee_name	IBM: SE: 112
pdf_data/st_keywords/os_name
pdf_data/st_keywords/cplc_data
pdf_data/st_keywords/ic_data_group
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	BSI: AIS31: 3 FIPS: FIPS PUB 197: 3 FIPS PUB 46: 1 FIPS PUB 46-3: 3
pdf_data/st_keywords/javacard_version
pdf_data/st_keywords/javacard_api_const
pdf_data/st_keywords/javacard_packages
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: 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_file_size_bytes: 1383956 pdf_hyperlinks: http://www.ietf.org/rfc/rfc4251.txt, http://www.ietf.org/rfc/rfc2898.txt, http://www.ietf.org/rfc/rfc4253.txt, http://www.gentoo.org/, http://defense.ge-ip.com/products/xvr16/p3636, http://www.gocct.com/sheets/VP/datasheet/vp71708x.pdf, http://www.ietf.org/rfc/rfc4252.txt, http://rt.wiki.kernel.org/, http://csrc.nist.gov/publications/fips/fips140-2/fips1402.pdf pdf_is_encrypted: False pdf_number_of_pages: 104	/Author: HGA /Company: Philips Semiconductors BL ID /CreationDate: D:20060117165340+01'00' /Creator: Acrobat PDFMaker 6.0 for Word /ModDate: D:20060117165552+01'00' /Producer: Acrobat Distiller 6.0 (Windows) /SourceModified: D:20060117155305 /Title: Security Target pdf_file_size_bytes: 741132 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 86
state/cert/convert_garbage	False	False
state/cert/convert_ok	False	False
state/cert/download_ok	False	False
state/cert/extract_ok	False	False
state/cert/pdf_hash	Equal	Equal
state/cert/txt_hash	Equal	Equal
state/report/convert_garbage	False	False
state/report/convert_ok	True	True
state/report/download_ok	True	True
state/report/extract_ok	True	True
state/report/pdf_hash	Different	Different
state/report/txt_hash	Different	Different
state/st/convert_garbage	False	False
state/st/convert_ok	True	True
state/st/download_ok	True	True
state/st/extract_ok	True	True
state/st/pdf_hash	Different	Different
state/st/txt_hash	Different	Different