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.

	Veridos Suite v3.0 – cryptovision ePasslet Suite – Java Card applet configuration providing Machine-Readable Electronic Documents based on BSI TR-03110 for Official Use with BAC option BSI-DSZ-CC-1091-2018	cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0 BSI-DSZ-CC-1119-2023
name	Veridos Suite v3.0 – cryptovision ePasslet Suite – Java Card applet configuration providing Machine-Readable Electronic Documents based on BSI TR-03110 for Official Use with BAC option	cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0
category	ICs, Smart Cards and Smart Card-Related Devices and Systems	ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme	DE	DE
status	archived	active
not_valid_after	18.12.2023	24.01.2028
not_valid_before	18.12.2018	24.01.2023
cert_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1091c_pdf.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1119c_pdf.pdf
report_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1091a_pdf.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1119a_pdf.pdf
st_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1091b_pdf.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1119b_pdf.pdf
manufacturer	cv cryptovision GmbH	cv cryptovision GmbH
manufacturer_web	https://www.cryptovision.com	https://www.cryptovision.com
security_level	ALC_DVS.2, EAL4+	AVA_VAN.5, ALC_DVS.2, EAL4+
dgst	3d1b01ce576f605d	f5dddea9248d8956
heuristics/cert_id	BSI-DSZ-CC-1091-2018	BSI-DSZ-CC-1119-2023
heuristics/cert_lab	BSI	BSI
heuristics/cpe_matches	{}	{}
heuristics/verified_cpe_matches	{}	{}
heuristics/related_cves	{}	{}
heuristics/direct_transitive_cves	{}	{}
heuristics/indirect_transitive_cves	{}	{}
heuristics/extracted_sars	ALC_CMS.5, ADV_ARC.1, ALC_COMP.1, ALC_DEL.1, ALC_DVS.2, ALC_TAT.2, ALC_LCD.1, ALC_CMC.4	ADV_ARC.1, ALC_CMS.4, ALC_TAT.1, ALC_DEL.1, ALC_DVS.2, ALC_LCD.1, AVA_VAN.5, ALC_CMC.4
heuristics/extracted_versions	3.0	2.0
heuristics/prev_certificates	{}	{}
heuristics/next_certificates	{}	{}
heuristics/report_references/directly_referenced_by	{}	BSI-DSZ-CC-1170-2023
heuristics/report_references/directly_referencing	BSI-DSZ-CC-1028-2017, BSI-DSZ-CC-0951-2015, BSI-DSZ-CC-1090-2018	BSI-DSZ-CC-1136-2021, BSI-DSZ-CC-1136-V2-2022
heuristics/report_references/indirectly_referenced_by	{}	BSI-DSZ-CC-1170-2023
heuristics/report_references/indirectly_referencing	BSI-DSZ-CC-1090-2018, BSI-DSZ-CC-1028-2017, BSI-DSZ-CC-0782-2012, BSI-DSZ-CC-0891-2015, BSI-DSZ-CC-0868-2014, BSI-DSZ-CC-0951-2015	BSI-DSZ-CC-1136-2021, BSI-DSZ-CC-1136-V2-2022
heuristics/scheme_data		category: Smart Cards and similar devices cert_id: BSI-DSZ-CC-1119-2023 certification_date: 24.01.2023 enhanced: applicant: cv cryptovision GmbH Munscheidstr. 14 45886 Gelsenkirchen Deutschland assurance_level: EAL4+,ALC_DVS.2,AVA_VAN.5 cert_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1100/1119c_pdf.pdf?__blob=publicationFile&v=2 certification_date: 24.01.2023 description: The composite TOE is named cryptovision CSP – Java Card applet providing Cryptographic Service Provider and was evaluated in version 2.0. It is based on a Java Card and provides cryptographic services according to the respective CSP protection profile in a specific PP configuration "Timestamp and Auditing". entries: [frozendict({'id': 'Cryptographic Service Provider (', 'description': ') Version 0.9.8, 19 February 2019'}), frozendict({'id': 'Protection Profile Configuration Cryptographic Service Provider – Time Stamp Service and Audit (PPC-', 'description': '-Au) Version 0.9.5, 8 April 2019'})] evaluation_facility: TÜV Informationstechnik GmbH expiration_date: 23.01.2028 product: cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0 protection_profile: Cryptographic Service Provider (CSP) Version 0.9.8, 19 February 2019, BSI-CC-PP-0104-2019Protection Profile Configuration Cryptographic Service Provider – Time Stamp Service and Audit (PPC-CSP-TS-Au) Version 0.9.5, 8 April 2019, BSI-CC-PP-0107-2019 report_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1100/1119a_pdf.pdf?__blob=publicationFile&v=2 target_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1100/1119b_pdf.pdf?__blob=publicationFile&v=2 product: cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0 subcategory: Operating systems and applications url: https://www.bsi.bund.de/SharedDocs/Zertifikate_CC/CC/SmartCards_Betriebssysteme_Anwendungen/1119.html vendor: cv cryptovision GmbH
heuristics/st_references/directly_referenced_by	{}	{}
heuristics/st_references/directly_referencing	BSI-DSZ-CC-1028-2017, BSI-DSZ-CC-0951-2015	BSI-DSZ-CC-1136-V2-2022
heuristics/st_references/indirectly_referenced_by	{}	{}
heuristics/st_references/indirectly_referencing	BSI-DSZ-CC-1028-2017, BSI-DSZ-CC-0951-2015	BSI-DSZ-CC-1136-V2-2022
maintenance_updates
protection_profiles	pp_eal: None pp_ids: {} pp_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0055b.pdf pp_name: Protection Profile for Machine Readable Travel Document with 'ICAO Application', Basic Acce...	pp_eal: EAL4+ pp_ids: BSI-PP-0104 pp_link: https://www.commoncriteriaportal.org/files/ppfiles/pp0104b_pdf.pdf pp_name: Cryptographic Service Provider (CSP) pp_eal: None pp_ids: {} pp_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0107b_pdf.pdf pp_name: Protection Profile Configuration Cryptographic Service Provider – Time Stamp Service and Audit ...
pdf_data/cert_filename	1091c_pdf.pdf	1119c_pdf.pdf
pdf_data/cert_frontpage
pdf_data/cert_keywords/cc_cert_id	DE: BSI-DSZ-CC-1091-2018: 1	DE: BSI-DSZ-CC-1119-2023: 1
pdf_data/cert_keywords/cc_protection_profile_id	BSI: BSI-CC-PP-0055-2009: 1	BSI: BSI-CC-PP-0104-2019: 1
pdf_data/cert_keywords/cc_security_level	EAL: EAL 2: 1 EAL 4: 1 EAL 4 augmented: 1 EAL 5: 1	EAL: EAL 2: 1 EAL 4: 1 EAL 4 augmented: 1 EAL 5: 1
pdf_data/cert_keywords/cc_sar	ALC: ALC_DVS.2: 1	ALC: ALC_DVS.2: 1 ALC_FLR: 1 AVA: AVA_VAN.5: 1
pdf_data/cert_keywords/cc_sfr
pdf_data/cert_keywords/cc_claims
pdf_data/cert_keywords/vendor	GD: G+D: 1
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	BSI: BSI TR-03110: 1
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	ICAO: ICAO: 1 ISO: ISO/IEC 15408: 2 ISO/IEC 18045: 2	ISO: ISO/IEC 15408: 2 ISO/IEC 18045: 2
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	/Author: Bundesamt für Sicherheit in der Informationstechnik /CreationDate: D:20190109132905+01'00' /Creator: Writer /Keywords: Common Criteria, Certification, Zertifizierung, Security IC with MRTD BAC Application, Veridos GmbH, cv cryptovision GmbH /ModDate: D:20190109133015+01'00' /Producer: LibreOffice 5.2 /Subject: Common Criteria Certification /Title: Certificate BSI-DSZ-CC-1091-2018 pdf_file_size_bytes: 408715 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 1	/Author: Bundesamt für Sicherheit in der Informationstechnik /Subject: cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0 from cv cryptovision GmbH /Title: Certification Report BSI-DSZ-CC-1119-2022 pdf_file_size_bytes: 229239 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 1
pdf_data/report_filename	1091a_pdf.pdf	1119a_pdf.pdf
pdf_data/report_frontpage	DE: cc_security_level: Common Criteria Part 3 conformant EAL 4 augmented by ALC_DVS.2 cc_version: PP conformant plus product specific extensions Common Criteria Part 2 extended cert_id: BSI-DSZ-CC-1091-2018 cert_item: Veridos Suite v3.0 – cryptovision ePasslet Suite – Java Card applet configuration providing Machine-Readable Electronic Documents based on BSI TR-03110 for Official Use with BAC option cert_lab: BSI developer: cv cryptovision GmbH sponsored by Veridos GmbH - Identity Solutions by G+D BDR match_rules: ['(BSI-DSZ-CC-.+?) (?:for\|For) (.+?) from (.)'] ref_protection_profiles: Machine Readable Travel Document with "ICAO Application" Basic Access Control, Version 1.10, 25 March 2009, BSI-CC-PP-0055-2009*	DE: cc_security_level: Common Criteria Part 3 conformant EAL 4 augmented by ALC_DVS.2 and AVA_VAN.5 cc_version: PP conformant Common Criteria Part 2 extended cert_id: BSI-DSZ-CC-1119-2023 cert_item: cryptovision CSP – Java Card applet providing Cryptographic Service Provider version 2.0 cert_lab: BSI developer: cv cryptovision GmbH match_rules: ['(BSI-DSZ-CC-.+?) (?:for\|For) (.+?) from (.)'] ref_protection_profiles: Cryptographic Service Provider (CSP) Version 0.9.8, 19 Febru*ary 2019, BSI-CC-PP-0104-2019, Protection Profile Configuration Cryptographic Service Provider – Time Stamp Service and Audit (PPC-CSP-TS-Au) Version 0.9.5, 8 April 2019, BSI- CC-PP-0107-2019
pdf_data/report_keywords/cc_cert_id	DE: BSI-DSZ-CC-0951-2015: 1 BSI-DSZ-CC-0951-2015-RA-01: 3 BSI-DSZ-CC-1028-: 1 BSI-DSZ-CC-1028-2017: 3 BSI-DSZ-CC-1028-2017-MA-01: 4 BSI-DSZ-CC-1090-2018: 3 BSI-DSZ-CC-1091: 2 BSI-DSZ-CC-1091-2018: 18	DE: BSI-DSZ-CC-1119-2023: 19 BSI-DSZ-CC-1136-2021: 2 BSI-DSZ-CC-1136-V2-2022: 1 NL: NSCIB-CC-0095534-CR2: 2
pdf_data/report_keywords/cc_protection_profile_id	BSI: BSI-CC-PP-0055-2009: 4	BSI: BSI-CC-PP-0104-2019: 3 BSI-CC-PP-0107-: 1 BSI-CC-PP-0107-2019: 3
pdf_data/report_keywords/cc_security_level	EAL: EAL 1: 1 EAL 2: 2 EAL 2+: 1 EAL 4: 5 EAL 4 augmented: 3 EAL 5: 4 EAL5+: 1 EAL6: 1	EAL: EAL 1: 1 EAL 2: 2 EAL 2+: 1 EAL 4: 5 EAL 4 augmented: 3 EAL 5: 2 EAL6+: 1
pdf_data/report_keywords/cc_sar	ADV: ADV_FSP: 1 AGD: AGD_OPE: 3 AGD_PRE: 3 ALC: ALC_CMC.4: 1 ALC_CMS.5: 1 ALC_COMP.1: 1 ALC_DEL.1: 1 ALC_DVS.2: 5 ALC_FLR: 2 ALC_LCD.1: 1 ALC_TAT.2: 1	AGD: AGD_OPE: 3 AGD_PRE: 3 ALC: ALC_CMC.4: 1 ALC_CMS.4: 1 ALC_DEL.1: 1 ALC_DVS.2: 5 ALC_FLR: 3 ALC_LCD.1: 1 ALC_TAT.1: 1 ATE: ATE_IND: 2 AVA: AVA_VAN.5: 4
pdf_data/report_keywords/cc_sfr	FCS: FCS_CKM.1: 1 FCS_COP: 3 FCS_COP.1: 10 FCS_RND.1: 1 FCS_RNG.1: 1 FIA: FIA_UAU.4: 3	FCS: FCS_COP: 1 FCS_COP.1: 1
pdf_data/report_keywords/cc_claims	OE: OE.APPLET: 1 OE.CODE_EVIDENCE: 1 OE.VERIFICATION: 1	O: O.C: 1 R: R.O: 1
pdf_data/report_keywords/vendor	GD: G+D: 11 Giesecke+Devrient: 4 Infineon: Infineon: 3 Infineon Technologies AG: 2	NXP: NXP: 11 NXP Semiconductors: 8
pdf_data/report_keywords/eval_facility	TUV: TÜV Informationstechnik: 6 TÜViT: 2	BrightSight: Brightsight: 1 TUV: TÜV Informationstechnik: 4
pdf_data/report_keywords/symmetric_crypto	AES_competition: AES: AES: 12 DES: 3DES: TDES: 1 DES: DES: 8 constructions: MAC: CMAC: 3	AES_competition: AES: AES: 17 AES-: 1 constructions: MAC: CMAC: 5 HMAC: 1
pdf_data/report_keywords/asymmetric_crypto	ECC: ECC: ECC: 1	ECC: ECC: ECC: 15 ECDSA: ECDSA: 6 ECIES: ECIES: 1
pdf_data/report_keywords/pq_crypto
pdf_data/report_keywords/hash_function	SHA: SHA1: SHA-1: 1 SHA2: SHA-2: 2 SHA-256: 1	SHA: SHA2: SHA-256: 1 SHA-384: 3 SHA-512: 1
pdf_data/report_keywords/crypto_scheme	MAC: MAC: 5	KA: Key Agreement: 2 KEX: Key Exchange: 1 MAC: MAC: 3
pdf_data/report_keywords/crypto_protocol	PACE: PACE: 1 PGP: PGP: 1	IKE: IKE: 1 IKEv2: 2 PACE: PACE: 3 PGP: PGP: 9
pdf_data/report_keywords/randomness	RNG: RNG: 2	RNG: RNG: 1
pdf_data/report_keywords/cipher_mode	CBC: CBC: 4	CBC: CBC: 3
pdf_data/report_keywords/ecc_curve		Brainpool: brainpoolP256r1: 4 brainpoolP384r1: 3 brainpoolP512r1: 2 NIST: Curve P-256: 4 Curve P-384: 3 Curve P-521: 3 P-256: 4 P-384: 3 P-521: 3
pdf_data/report_keywords/crypto_engine
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	other: JIL: 2	other: JIL: 2
pdf_data/report_keywords/technical_report_id	BSI: BSI 7148: 1 BSI TR-03110: 9	BSI: BSI 7148: 1 BSI TR-02102: 1
pdf_data/report_keywords/device_model
pdf_data/report_keywords/tee_name
pdf_data/report_keywords/os_name		JCOP: JCOP 4: 11
pdf_data/report_keywords/cplc_data
pdf_data/report_keywords/ic_data_group
pdf_data/report_keywords/standard_id	BSI: AIS 1: 2 AIS 14: 1 AIS 19: 1 AIS 20: 2 AIS 26: 3 AIS 32: 1 AIS 34: 2 AIS 36: 5 AIS 37: 1 AIS 38: 1 AIS20: 2 FIPS: FIPS180-4: 2 FIPS197: 4 FIPS46-3: 3 ICAO: ICAO: 13 ISO: ISO/IEC 15408: 4 ISO/IEC 17065: 2 ISO/IEC 18045: 4	BSI: AIS 1: 1 AIS 20: 1 AIS 28: 1 AIS 34: 1 AIS 35: 1 AIS 36: 1 AIS14: 1 AIS19: 1 AIS20: 3 AIS26: 1 AIS31: 1 AIS32: 1 AIS35: 1 AIS36: 1 AIS37: 1 AIS46: 1 FIPS: FIPS PUB 180-4: 3 FIPS180-4: 1 FIPS186-4: 9 FIPS197: 7 ICAO: ICAO: 1 ISO: ISO/IEC 15408: 4 ISO/IEC 17065: 2 ISO/IEC 18045: 4 PKCS: PKCS #1: 7 RFC: RFC 24: 1 RFC 5639: 1 RFC2104: 3 RFC5639: 9 RFC5903: 4 RFC6954: 3
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: List for the TOE BSI-DSZ-CC-1091, 06 December 2018, 1091_MRTD_conflist-SCE.XLSX, cryptovision GmbH (confidential document) [10] Veridos Suite v3.0 – cryptovision ePasslet Suite – Java Card Applet Suite providing: 1 Technical Report BSI-DSZ-CC-1091, Version 1, 11 December 2018, TÜV Informationstechnik GmbH (confidential document) [8] [PP_BAC] Common Criteria Protection Profile Machine Readable Travel Document with "ICAO: 1 being maintained, is not given any longer. In particular, prior to the dissemination of confidential documentation and information related to the TOE or resulting from the evaluation and certification: 1	ConfidentialDocument: TÜV Informationstechnik GmbH, (confidential document) [8] Cryptographic Service Provider (CSP) Version 0.9.8, 19 February 2019, BSI-CC- PP-0104-2019: 1 EVALUATION TECHNICAL REPORT FOR COMPOSITE EVALUATION (ETR COMP)”, TÜV Informationstechnik GmbH (confidential document) [11] “Evaluation Methodology for Protection Profiles Security Elements with Application Separation: 1 Java Card applet providing Cryptographic Service Provider – Security Target”, cv Cryptovision GmbH (confidential document) [7] Evaluation Technical Report, Version 3, 2022-11-22, ”EVALUATION TECHNICAL REPORT SUMMARY (ETR: 1 being maintained, is not given any longer. In particular, prior to the dissemination of confidential documentation and information related to the TOE or resulting from the evaluation and certification: 1
pdf_data/report_metadata	/Author: Bundesamt für Sicherheit in der Informationstechnik /CreationDate: D:20190109131709+01'00' /Creator: Writer /Keywords: "Common Criteria, Certification, Zertifizierung, Security IC with MRTD BAC Application, Veridos GmbH, cv cryptovision GmbH" /ModDate: D:20190109132827+01'00' /Producer: LibreOffice 5.2 /Subject: Common Criteria Certification /Title: Certification Report BSI-DSZ-CC-1091-2018 pdf_file_size_bytes: 904557 pdf_hyperlinks: https://www.bsi.bund.de/, http://www.sogisportal.eu/, https://www.bsi.bund.de/zertifizierung, http://www.commoncriteriaportal.org/cc/, https://www.bsi.bund.de/zertifizierungsreporte, http://www.commoncriteriaportal.org/, https://www.bsi.bund.de/AIS pdf_is_encrypted: False pdf_number_of_pages: 30	/Author: Bundesamt für Sicherheit in der Informationstechnik /Keywords: "Common Criteria, Certification, Zertifizierung, CSP, Cryptovision, TSE" /Subject: Common Criteria, Certification, Zertifizierung, CSP, Cryptovision, TSE /Title: Certification Report BSI-DSZ-CC-1119-2022 pdf_file_size_bytes: 506780 pdf_hyperlinks: https://www.bsi.bund.de/, https://www.sogis.eu/, https://www.bsi.bund.de/zertifizierung, http://www.commoncriteriaportal.org/cc/, https://www.bsi.bund.de/zertifizierungsreporte, http://www.commoncriteriaportal.org/, https://www.bsi.bund.de/AIS pdf_is_encrypted: False pdf_number_of_pages: 32
pdf_data/st_filename	1091b_pdf.pdf	1119b_pdf.pdf
pdf_data/st_frontpage
pdf_data/st_keywords/cc_cert_id	DE: BSI-DSZ-CC-0951-2015: 2 BSI-DSZ-CC-0951-2015-RA-01: 3 BSI-DSZ-CC-1028-2017: 1 BSI-DSZ-CC-1028-2017-MA-01: 3 BSI-DSZ-CC-1091: 1	DE: BSI-DSZ-CC-1119: 1 BSI-DSZ-CC-1136: 1 BSI-DSZ-CC-1136-V2-2022: 1 NL: CC-0095534-2MA: 1 NSCIB-CC-0095534: 1 NSCIB-CC-0095534-2MA: 1 NSCIB-CC-0095534-CR2: 1
pdf_data/st_keywords/cc_protection_profile_id	BSI: BSI-CC-PP- 0068-V2-2011-MA-01: 1 BSI-CC-PP-0056-V2-2012: 1 BSI-CC-PP-0084-: 1 BSI-CC-PP0055: 3 BSI-PP-0055: 1	BSI: BSI-CC-PP- 0104-2019: 1 BSI-CC-PP-0104-2019: 2
pdf_data/st_keywords/cc_security_level	EAL: EAL 4+: 1 EAL 5+: 2 EAL4: 9 EAL4 augmented: 2	EAL: EAL 4+: 1 EAL 6+: 2 EAL4: 7 EAL4 augmented: 3
pdf_data/st_keywords/cc_sar	ADV: ADV_ARC.1: 2 AGD: AGD_PRE: 5 ALC: ALC_DVS: 1 ALC_DVS.2: 6 ASE: ASE_TSS: 2	ADV: ADV_ARC.1: 2 AGD: AGD_OPE: 2 AGD_PRE: 7 ALC: ALC_DVS.2: 4 ASE: ASE_TSS: 2 AVA: AVA_VAN.5: 5
pdf_data/st_keywords/cc_sfr	FAU: FAU_ARP.1: 1 FAU_GEN: 1 FAU_SAS: 7 FAU_SAS.1: 12 FAU_SAS.1.1: 2 FCO: FCO_NRO: 1 FCS: FCS_CKM: 3 FCS_CKM.1: 32 FCS_CKM.1.1: 2 FCS_CKM.2: 3 FCS_CKM.3: 1 FCS_CKM.4: 22 FCS_CKM.4.1: 4 FCS_COP: 49 FCS_COP.1: 42 FCS_LIM: 1 FCS_RND: 7 FCS_RND.1: 15 FCS_RND.1.1: 3 FCS_RNG.1: 2 FDP: FDP_ACC: 4 FDP_ACC.1: 18 FDP_ACC.1.1: 3 FDP_ACF: 5 FDP_ACF.1: 11 FDP_ACF.1.1: 3 FDP_ACF.1.2: 4 FDP_ACF.1.3: 3 FDP_ACF.1.4: 4 FDP_IFC: 2 FDP_IFC.1: 4 FDP_IFF: 2 FDP_ITC: 3 FDP_ITC.1: 10 FDP_ITC.2: 10 FDP_RIP: 8 FDP_ROL: 1 FDP_SDI.2: 1 FDP_UCT: 2 FDP_UCT.1: 11 FDP_UCT.1.1: 3 FDP_UIT: 4 FDP_UIT.1: 9 FDP_UIT.1.1: 3 FDP_UIT.1.2: 2 FIA: FIA_AFL: 1 FIA_AFL.1: 8 FIA_AFL.1.1: 2 FIA_AFL.1.2: 2 FIA_ATD: 1 FIA_SOS.2: 1 FIA_UAU: 6 FIA_UAU.1: 10 FIA_UAU.1.1: 2 FIA_UAU.1.2: 2 FIA_UAU.4: 15 FIA_UAU.4.1: 2 FIA_UAU.5: 9 FIA_UAU.5.1: 4 FIA_UAU.5.2: 6 FIA_UAU.6: 12 FIA_UAU.6.1: 2 FIA_UID: 3 FIA_UID.1: 12 FIA_UID.1.1: 2 FIA_UID.1.2: 1 FIA_USB: 1 FMT: FMT_LIM: 12 FMT_LIM.1: 25 FMT_LIM.1.1: 6 FMT_LIM.2: 22 FMT_LIM.2.1: 7 FMT_MSA: 9 FMT_MSA.1: 1 FMT_MSA.3: 3 FMT_MTD: 27 FMT_MTD.1: 14 FMT_SMF: 3 FMT_SMF.1: 22 FMT_SMF.1.1: 2 FMT_SMR: 6 FMT_SMR.1: 22 FMT_SMR.1.1: 4 FMT_SMR.1.2: 4 FPR: FPR_UNO.1: 1 FPT: FPT_FLS: 4 FPT_FLS.1: 15 FPT_FLS.1.1: 3 FPT_PHP.3: 15 FPT_PHP.3.1: 2 FPT_RCV: 1 FPT_RVM.1: 1 FPT_SEP.1: 1 FPT_TDC.1: 1 FPT_TST.1: 12 FPT_TST.1.1: 2 FPT_TST.1.2: 2 FPT_TST.1.3: 2 FTP: FTP_ITC: 2 FTP_ITC.1: 5 FTP_TRP.1: 5	FAU: FAU_ARP.1: 1 FAU_GEN: 1 FAU_GEN.1: 16 FAU_GEN.1.1: 4 FAU_GEN.1.2: 1 FAU_SAS.1: 1 FAU_STG: 1 FAU_STG.1: 8 FAU_STG.1.1: 1 FAU_STG.1.2: 1 FAU_STG.3: 9 FAU_STG.3.1: 11 FCO: FCO_NRO.2: 1 FCS: FCS_CKM: 199 FCS_CKM.1: 57 FCS_CKM.1.1: 4 FCS_CKM.2: 29 FCS_CKM.3: 2 FCS_CKM.4: 106 FCS_CKM.4.1: 3 FCS_CKM.5: 13 FCS_CKM.5.1: 1 FCS_COP: 318 FCS_COP.1: 56 FCS_COP.1.1: 27 FCS_RNG: 3 FCS_RNG.1: 18 FCS_RNG.1.1: 2 FCS_RNG.1.2: 2 FDP: FDP_ACC: 44 FDP_ACC.1: 44 FDP_ACC.2: 2 FDP_ACF: 28 FDP_ACF.1: 22 FDP_DAU: 43 FDP_DAU.1: 3 FDP_DAU.2: 6 FDP_ETC: 9 FDP_ETC.1: 7 FDP_ETC.1.1: 1 FDP_ETC.1.2: 1 FDP_ETC.2: 11 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: 35 FDP_IFC.2: 2 FDP_IFF.1: 4 FDP_IFF.2: 1 FDP_IFF.3: 1 FDP_IFF.4: 1 FDP_IFF.5: 1 FDP_ITC: 40 FDP_ITC.1: 37 FDP_ITC.1.2: 4 FDP_ITC.1.3: 4 FDP_ITC.2: 52 FDP_RIP: 16 FDP_RIP.1: 2 FDP_ROL: 1 FDP_ROL.1: 1 FDP_SDC: 4 FDP_SDC.1: 11 FDP_SDC.1.1: 3 FDP_SDI: 1 FDP_SDI.2: 2 FDP_UCT: 1 FDP_UIT: 1 FDP_UIT.1: 1 FIA: FIA_AFL.1: 12 FIA_AFL.1.1: 1 FIA_AFL.1.2: 1 FIA_API: 29 FIA_API.1: 5 FIA_API.1.1: 1 FIA_ATD: 1 FIA_ATD.1: 12 FIA_ATD.1.1: 1 FIA_UAU.1: 12 FIA_UAU.1.1: 2 FIA_UAU.1.2: 1 FIA_UAU.4: 1 FIA_UAU.5: 9 FIA_UAU.5.1: 20 FIA_UAU.5.2: 1 FIA_UAU.6: 8 FIA_UAU.6.1: 1 FIA_UID: 1 FIA_UID.1: 29 FIA_UID.1.1: 1 FIA_UID.1.2: 1 FIA_USB.1: 9 FIA_USB.1.1: 1 FIA_USB.1.2: 1 FIA_USB.1.3: 1 FMT: FMT_MOF: 15 FMT_MOF.1: 24 FMT_MOF.1.1: 12 FMT_MSA: 35 FMT_MSA.1: 19 FMT_MSA.2: 13 FMT_MSA.2.1: 1 FMT_MSA.3: 16 FMT_MSA.4: 8 FMT_MTD: 55 FMT_MTD.1: 26 FMT_MTD.3: 25 FMT_MTD.3.1: 1 FMT_SAE.1: 17 FMT_SAE.1.1: 1 FMT_SAE.1.2: 1 FMT_SMF: 9 FMT_SMF.1: 34 FMT_SMF.1.1: 1 FMT_SMR: 12 FMT_SMR.1: 46 FMT_SMR.1.1: 1 FMT_SMR.1.2: 1 FMT_STM.1: 1 FPR: FPR_UNO.1: 1 FPT: FPT_ESA: 12 FPT_ESA.1: 7 FPT_ESA.1.1: 1 FPT_ESA.1.2: 1 FPT_ESA.1.3: 1 FPT_ESA.1.4: 1 FPT_FLS: 2 FPT_FLS.1: 27 FPT_FLS.1.1: 1 FPT_ISA: 28 FPT_ISA.1: 12 FPT_ISA.1.1: 1 FPT_ISA.1.2: 1 FPT_ISA.1.3: 1 FPT_ISA.1.4: 1 FPT_ISA.1.5: 1 FPT_PHP.3: 16 FPT_PHP.3.1: 1 FPT_RCV.3: 1 FPT_STM.1: 27 FPT_STM.1.1: 7 FPT_TCT: 17 FPT_TCT.1: 3 FPT_TCT.1.1: 1 FPT_TDC: 31 FPT_TDC.1: 23 FPT_TIT: 36 FPT_TIT.1: 8 FPT_TIT.1.1: 2 FPT_TIT.1.2: 1 FPT_TST.1: 15 FPT_TST.1.1: 2 FPT_TST.1.2: 3 FPT_TST.1.3: 3 FRU: FRU_FLT.1: 1 FRU_FLT.2: 8 FRU_FLT.2.1: 1 FTP: FTP_ITC.1: 43 FTP_ITC.1.1: 1 FTP_ITC.1.2: 1 FTP_ITC.1.3: 2 FTP_TRP.1: 6
pdf_data/st_keywords/cc_claims	A: A.APPLET: 1 A.VERIFICATION: 1 O: O.ALARM: 1 O.CARD-MANAGEMENT: 1 O.CIPHER: 1 O.DELETION: 1 O.FIREWALL: 1 O.GLOBAL_ARRAYS_CONFID: 1 O.GLOBAL_ARRAYS_INTEG: 1 O.INSTALL: 1 O.KEY-MNGT: 1 O.LOAD: 1 O.NATIVE: 1 O.OBJ-DELETION: 1 O.OPERATE: 1 O.PIN-MNGT: 1 O.REALLOCATION: 1 O.RESOURCES: 1 O.SCP: 1 O.SID: 1 O.TRANSACTION: 1 OE: OE.APPLET: 1 OE.CODE-EVIDENCE: 1 OE.MRTD_: 1 OE.VERIFICATION: 1 OT: OT.SCP: 2 T: T.CONFID-APPLI-DATA: 1 T.CONFID-JCS-CODE: 1 T.CONFID-JCS-DATA: 1 T.DELETION: 1 T.EXE-CODE: 2 T.INSTALL: 1 T.INTEG-APPLI-CODE: 2 T.INTEG-APPLI-DATA: 2 T.INTEG-JCS-CODE: 1 T.INTEG-JCS-DATA: 1 T.NATIVE: 1 T.OBJ-DELETION: 1 T.PHYSICAL: 1 T.RESOURCES: 1 T.SECURE_DELETION: 1 T.SID: 2	A: A.APPLET: 1 A.APPS-PROVIDER: 1 A.PROCESS-SEC-IC: 1 A.USE_DIAG: 1 A.USE_KEYS: 1 A.VERIFICATION: 1 A.VERIFICATION-AUTHORITY: 1 O: O.RBGS: 10 O.TST: 7 OE: OE.APPLET: 1 OE.APPS-PROVIDER: 1 OE.CODE-EVIDENCE: 1 OE.KEY-CHANGE: 1 OE.PROCESS_SEC_IC: 1 OE.SECURITY-DOMAINS: 1 OE.SUCP: 5 OE.USE_DIAG: 1 OE.USE_KEYS: 1 OE.VERIFICATION: 1 OE.VERIFICATION-AUTHORITY: 1 OSP: OSP.TC: 4 OT: OT.ALARM: 1 OT.APPLI-AUTH: 1 OT.ATTACK-COUNTER: 1 OT.CARD-CONFIGURATION: 1 OT.CARD-MANAGEMENT: 1 OT.CIPHER: 1 OT.COMM_AUTH: 1 OT.COMM_CONFIDENTIALITY: 1 OT.COMM_INTEGRITY: 1 OT.DOMAIN-RIGHTS: 1 OT.EXT-MEM: 1 OT.FIREWALL: 1 OT.GLOBAL_ARRAYS_CONFID: 1 OT.GLOBAL_ARRAYS_INTEG: 1 OT.IDENTIFICATION: 1 OT.KEY-MNGT: 1 OT.NATIVE: 1 OT.OBJ-DELETION: 1 OT.OPERATE: 1 OT.PIN-MNGT: 1 OT.REALLOCATION: 1 OT.RESOURCES: 1 OT.RESTRICTED-MODE: 1 OT.RND: 1 OT.RNG: 1 OT.SCP: 3 OT.SEC_BOX_FW: 1 OT.SENSITIVE_RESULTS_INTEG: 1 OT.SID: 1 OT.SID_MODULE: 1 OT.TRANSACTION: 1 T: T.ATTACK-COUNTER: 1 T.COM_EXPLOIT: 1 T.CONFID-APPLI-DATA: 1 T.CONFID-JCS-CODE: 1 T.CONFID-JCS-DATA: 1 T.CONFIG: 1 T.EXE-CODE: 2 T.INTEG-APPLI-CODE: 2 T.INTEG-APPLI-DATA: 2 T.INTEG-JCS-CODE: 1 T.INTEG-JCS-DATA: 1 T.LIFE_CYCLE: 1 T.MODULE_EXEC: 1 T.MODULE_REPLACEMENT: 1 T.NATIVE: 1 T.OBJ-DELETION: 1 T.OS_OPERATE: 1 T.PHYSICAL: 1 T.RESOURCES: 1 T.RND: 1 T.SEC_BOX_BORDER: 1 T.SID: 2 T.UNAUTHORIZED_CARD_MNGT: 1
pdf_data/st_keywords/vendor	GD: G&D: 1 Giesecke & Devrient: 1 Giesecke+Devrient: 1 Infineon: Infineon: 5 Infineon Technologies AG: 2	NXP: NXP: 24 NXP Semiconductors: 1
pdf_data/st_keywords/eval_facility
pdf_data/st_keywords/symmetric_crypto	AES_competition: AES: AES: 19 AES-: 1 DES: 3DES: TDES: 2 Triple-DES: 14 DES: DES: 6 Lucifer: Lucifer: 1 constructions: MAC: CMAC: 5 KMAC: 1	AES_competition: AES: AES: 54 AES-: 2 AES-128: 23 AES-256: 26 DES: 3DES: TripleDES: 1 constructions: MAC: CMAC: 22 HMAC: 14
pdf_data/st_keywords/asymmetric_crypto	ECC: ECC: ECC: 2 ECDSA: ECDSA: 1 FF: DH: Diffie-Hellman: 1	ECC: ECC: ECC: 18 ECDSA: ECDSA: 15 FF: DH: Diffie-Hellman: 8
pdf_data/st_keywords/pq_crypto
pdf_data/st_keywords/hash_function	JH: JH: 1 MD: MD5: MD5: 1 RIPEMD: RIPEMD-160: 1 SHA: SHA1: SHA-1: 6 SHA2: SHA-2: 2 SHA-224: 1 SHA-256: 2	SHA: SHA1: SHA-1: 1 SHA2: SHA-256: 5 SHA-384: 3 SHA-512: 3
pdf_data/st_keywords/crypto_scheme	KEX: Key exchange: 1 MAC: MAC: 9	KA: Key Agreement: 1 Key agreement: 5 KEX: Key Exchange: 1 MAC: MAC: 86
pdf_data/st_keywords/crypto_protocol	PACE: PACE: 4	IKE: IKE: 1 IKEv2: 2 PACE: PACE: 29
pdf_data/st_keywords/randomness	RNG: RND: 1 RNG: 9	RNG: RND: 2 RNG: 7
pdf_data/st_keywords/cipher_mode	CBC: CBC: 5	CBC: CBC: 23 CCM: CCM: 9 CFB: CFB: 1 GCM: GCM: 5 OFB: OFB: 1
pdf_data/st_keywords/ecc_curve		Brainpool: brainpoolP256r1: 27 brainpoolP384r1: 24 brainpoolP512r1: 17 NIST: Curve P-256: 20 Curve P-384: 16 Curve P-521: 5 P-256: 20 P-384: 16 P-521: 5
pdf_data/st_keywords/crypto_engine
pdf_data/st_keywords/tls_cipher_suite
pdf_data/st_keywords/crypto_library
pdf_data/st_keywords/vulnerability
pdf_data/st_keywords/side_channel_analysis	FI: Malfunction: 3 Physical Tampering: 5 Physical tampering: 1 fault injection: 1 malfunction: 8 physical tampering: 1 SCA: DPA: 2 SPA: 1 physical probing: 5 timing attacks: 1 other: reverse engineering: 1	FI: malfunction: 1 SCA: physical probing: 10 side channels: 1
pdf_data/st_keywords/technical_report_id	BSI: BSI 2006: 1 BSI TR-03110: 1	BSI: BSI TR-03110: 5 BSI TR-03151: 1
pdf_data/st_keywords/device_model
pdf_data/st_keywords/tee_name		IBM: SE: 1
pdf_data/st_keywords/os_name		JCOP: JCOP 4: 11
pdf_data/st_keywords/cplc_data
pdf_data/st_keywords/ic_data_group	EF: EF.COM: 12 EF.DG1: 32 EF.DG13: 3 EF.DG14: 3 EF.DG15: 1 EF.DG16: 32 EF.DG2: 9 EF.DG3: 9 EF.DG4: 8 EF.DG5: 8 EF.SOD: 13
pdf_data/st_keywords/standard_id	BSI: AIS 20: 3 AIS20: 4 AIS31: 1 CC: CCMB-2017-04-001: 2 CCMB-2017-04-002: 2 CCMB-2017-04-003: 2 CCMB-2017-04-004: 2 FIPS: FIPS 180-2: 1 FIPS 180-4: 1 FIPS 180-48: 1 FIPS 197: 4 FIPS 46-3: 4 FIPS PUB 186-4: 1 FIPS PUB 46-3: 1 FIPS180-2: 1 FIPS180-4: 1 FIPS186-3: 1 FIPS197: 2 FIPS46-3: 2 ICAO: ICAO: 18 ISO: ISO/IEC 11770: 2 ISO/IEC 15946: 2 ISO/IEC 7816-2: 1 ISO/IEC 7816-4: 1 ISO/IEC 9796-2: 1 PKCS: PKCS#15: 1 PKCS#3: 1 PKCS1: 1 RFC: RFC 5639: 1 RFC3369: 1 RFC4493: 1 X509: X.509: 1	BSI: AIS 20: 1 AIS20: 8 CC: CCMB-2017-04-001: 1 CCMB-2017-04-002: 1 CCMB-2017-04-003: 1 CCMB-2017-04-004: 1 FIPS: FIPS 180-4: 1 FIPS PUB 180-4: 1 FIPS PUB 186-4: 34 FIPS PUB 197: 1 FIPS180-4: 1 FIPS186-4: 10 FIPS197: 25 ICAO: ICAO: 9 ISO: ISO/IEC 10116: 14 ISO/IEC 14888-2: 19 ISO/IEC 14888-3: 3 ISO/IEC 18033-: 2 ISO/IEC 18033-3: 14 ISO/IEC 180333: 2 ISO/IEC 19790: 6 ISO/IEC 9797-2: 7 NIST: NIST SP 800-56C: 1 PKCS: PKCS #1: 12 PKCS#1: 16 PKCS1: 3 RFC: RFC2104: 9 RFC5639: 41 RFC5903: 4 RFC6954: 4 SCP: SCP03: 2
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: No contradiction to this ST. FDP_RIP.1/TRANSIENT No correspondence. Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FDP_RIP.1/bArray No correspondence. Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_MSA.2/FIREWALL-JCVM No correspondence Out of scope (internal Java Card Fire- wall: 1 No contradiction to this ST. FMT_SMR.1/Installer No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FPT_RCV.3/Installer No correspondence Out of scope (internal Java Card func- tionality: 1 15 of 76 Platform SFR Correspondence in this ST References/Remarks FCS_CKM.3 No correspondence Out of scope (managed within Java Card OS). No contradiction to this ST. FCS_CKM.4 FCS_CKM.4 The requirements: 1 18 of 76 Platform SFR Correspondence in this ST References/Remarks FDP_IFF.1/CM No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_UIT.1/CM No correspondence: 1 19 of 76 Platform Objective Correspondence in this ST References/Remarks O.NATIVE No correspondence Out of scope. No contradiction to this ST. O.OPERATE No correspondence Out of scope. No contradiction to this ST: 1 76 Platform SFR Correspondence in this ST References/Remarks FPT_FLS.1/Installer No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_RCV.3/Installer No: 1 ADEL) policy on security aspects outside the runtime. FDP_ACC.2/ADEL No correspondence Out of scope (internal Java Card func- tionality: 1 DRG.4) that can be used directly. FDP_RIP.1/ABORT No correspondence. Out of scope (internal Java Card func- tionality: 1 FCS_CKM.1 (FCS_CKM.1.1/RSA, FCS_CKM.1.1/ECC, FCS_CKM.1.1/3DES, FCS_CKM.1.1/AES) No crrespondence. Out of scope. The TOE uses the spe- cific Document Basic Access Key Der- ivation Algorithm. There are no con-: 1 FCS_CKM.1.1/RSA, FCS_CKM.1.1/ECC, FCS_CKM.1.1/3DES, FCS_CKM.1.1/AES) No crrespondence. Out of scope. The TOE uses the spe- cific Document Basic Access Key Der- ivation Algorithm: 1 No correspondence Out of scope. No contradiction to this ST. O.CARD-MANAGEMENT No correspondence Out of scope. No contradiction to this ST. OT.SCP.IC OT.Prot_Phys-Tamper The objectives are related. No con-: 1 O.ALARM No correspondence Out of scope. No contradiction to this ST. O.CIPHER No correspondence Indirectly relevant for the correct: 1 O.REALLOCATION No correspondence Out of scope. No contradiction to this ST. O.RESOURCES No correspondence Out of scope. No contradiction to this: 1 O.TRANSACTION No correspondence Out of scope. No contradiction to this ST. O.OBJ-DELETION No correspondence Out of scope. No contradiction to: 1 Out of scope: 84 Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 2 Out of scope (internal Java Card func- tionality). No contradiction to this ST. ADELG Security Functional: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/KEYS No correspondence: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/TRANSIENT No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/bArray No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ROL.1/FIREWALL No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. Veridos Suite v3.0 -: 1 Platform Threat Correspondence in this ST References/Remarks T.CONFID-APPLI-DATA No correspondence Out of scope. No contradiction to this ST. T.CONFID-JCS-CODE No correspondence Out of scope. No contradiction to: 1 SID.2 No correspondence Out of scope. No contradiction to this ST. T.EXE-CODE.1 No correspondence Out of scope. No contradiction to this ST. T.EXE-CODE.2 No correspondence Out of scope. No contradiction to this: 1 ST. O.DELETION No correspondence Out of scope. No contradiction to this ST. O.LOAD No correspondence Out of scope. No contradiction to this ST. O: 1 ST. T.INSTALL No correspondence Out of scope. No contradiction to this ST. T.OBJ-DELETION No correspondence Out of scope. No contradiction to: 1 ST. T.INTEG-JCS-DATA No correspondence Out of scope. No contradiction to this ST. T.SID.1 No correspondence Out of scope. No contradiction to this ST: 1 T.DELETION No correspondence Out of scope. No contradiction to this ST. T.SECURE_DELETION No correspondence Out of scope. No contradiction to: 1 T.INTEG-APPLI-DATA T.Forgery No contradiction to this ST. T.INTEG-APPLI-DATA.LOAD No correspondence Out of scope. No contradiction to this ST. T.INTEG-JCS-CODE No correspondence Out of scope. No contradiction to: 1 T.Information_Leakage No contradiction to this ST. T.INTEG-APPLI-CODE No correspondence Out of scope. No contradiction to this ST. T.INTEG-APPLI-CODE.LOAD No correspondence Out of scope. No: 1 T.NATIVE No correspondence Out of scope. No contradiction to this ST. T.RESOURCES No correspondence Out of scope. No contradiction to this: 1 The objectives are related. No con- tradiction to this ST. O.SCP.SUPPORT No correspondence Out of scope. No contradiction to this ST. Table 4: Assessment of the platform objectives. 2.3.4 Assessment of: 1 a defined quality met- ric (DRG.4) that can be used directly. FDP_RIP.1/ABORT No correspondence. Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/APDU No correspondence: 1 chapter 8.1.1.1 in platform ST) FDP_ACC.2/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall: 1 chapter 8.1.1.4 in platform ST) FIA_ATD.1/AID No correspondence. Out of scope (internal Java Card func- tionality: 1 complement Java Card OS mechanisms. No contradiction to this ST. FPT_TDC.1 No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_TST.1 FPT_TST.1 Self-testing: 1 initial start-up. Aid Management (chapter 8.1.1.4 in platform ST) FIA_ATD.1/AID No correspondence. Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_UID.2/AID No correspondence: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCRE No correspondence Out of scope (internal Java Card Fire- wall: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCVM No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.2/FIREWALL-JCVM No: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_SMF.1 No correspondence Out of scope (internal Java Card Fire- wall: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_SMR.1 No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. Application Programming Interface: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_IFC.2/CM No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/ADEL No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/ADEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1/ADEL No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_UIT.1/CM No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_UID.1/CM No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1/CM No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_USB.1/AID No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_USB.1/AID No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MTD.1/JCRE No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1/CM No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3/ADEL No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3/ADEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1/ADEL No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3/CM No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1/CM No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MTD.3/JCRE No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MTD.3/JCRE No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. INSTG Security Functional: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1/CM No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1/ADEL No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1/ADEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1/ADEL No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1/CM No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FTP_ITC.1/CM No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FTP_ITC.1/CM No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Virtual Machine). No contradiction to this ST. FDP_IFF.1/JCVM No correspondence Out of scope (internal Java Virtual Machine: 1 internal Java Virtual Machine). No contradiction to this ST. FDP_RIP.1/OBJECTS No correspondence. Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCRE No correspondence Out: 1 manager (ADEL) policy on security aspects outside the runtime. FDP_ACC.2/ADEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ACF.1/ADEL No correspondence: 1 no corresponding objectives for the TOE of this ST. No contradictions. O.KEY-MNGT No correspondence Out of scope. No contradiction to this ST. O.PIN-MNGT No correspondence Out of scope. No contradiction to this: 1 objectives for the TOE and are covered by SFRs in the platform ST. FTP_ITC.1/CMGR No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. SCPG Security Functional: 1 objectives. Platform Objective Correspondence in this ST References/Remarks O.SID No correspondence Out of scope. No contradiction to this ST. O.FIREWALL No correspondence Out of scope. No contradiction to this: 1 of the TOE. No contradic- tion to this ST. FDP_IFC.1/JCVM No correspondence Out of scope (internal Java Virtual Machine). No contradiction to this ST. FDP_IFF.1/JCVM No correspondence Out: 1 of the TOE. No contradic- tion to this ST. FMT_MSA.3/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 1 of the TOE. No contradic- tion to this ST. FMT_MSA.3/JCVM No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_SMF.1 No correspondence Out of: 1 platform ST) Firewall Policy (chapter 8.1.1.1 in platform ST) FDP_ACC.2/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for Veridos Suite v3.0 - cryptovision: 1 that owns the deleted objects by invoking a specific API method. FDP_RIP.1/ODEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1/ODEL FPT_FLS.1 The: 1 the User Guidance of the TOE. No contradic- tion to this ST. FDP_ACF.1/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 1 to this ST. FCS_CKM.2 No correspondence Out of scope (managed within Java Card OS). No contradiction to this ST. Veridos Suite v3.0 - cryptovision: 1 verified, or that has been modified after bytecode verification. FCO_NRO.2/CM No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_IFC.2/CM No correspondence: 1 which addresses security aspects outside the runtime. FDP_ITC.2/Installer No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1/Installer No: 1	OutOfScope: No contradiction to this ST. FDP_RIP.1/TRANSIENT No correspondence. Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FDP_RIP.1/bArray No correspondence. Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FIA_ATD.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_MSA.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_MSA.1[SecureBox] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_MSA.2/FIREWALL-JCVM No correspondence Out of scope (internal Java Card Fire- wall: 1 No contradiction to this ST. FMT_SMF.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_SMF.1[SecureBox] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FMT_SMR.1/INSTALLER No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FPT_FLS.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality: 1 No contradiction to this ST. FPT_RCV.3[INSTALLER] No correspondence Out of scope (internal Java Card func- tionality: 1 19 of 144 Platform SFR Correspondence in this ST References/Remarks FDP_ACF.1[SD] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[SD] No correspondence: 1 20 of 144 Platform SFR Correspondence in this ST References/Remarks FIA_UAU.4[SC] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FTP_ITC.1[SC] No correspondence: 1 7.2.7 in platform ST) FDP_IFC.2[CFG] No correspondence Complete information flow control (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FDP_IFF.1[CFG] No correspondence: 1 ADEL) policy on security aspects outside the runtime. FDP_ACC.2[ADEL] No correspondence Out of scope (internal Java Card func- tionality: 1 CFG). Out of scope (in- ternal Java Card functionality: 1 CFG). Out of scope (internal Java Card func- tionality: 1 CFG). Out of scope (internal Java Card function- ality: 1 CFG). Out of scope (internal Java Card functional- ity: 1 CFG). Out of scope (internal Java Card functionality: 7 No contradiction to this ST. OT.CARD-CONFIGURATION No correspondence Out of scope. No contradiction to this ST. OT.ATTACK-COUNTER No correspondence Out of scope. cryptovision CSP: 1 OT.CARD-MANAGEMENT No correspondence Out of scope. No contradiction to this ST. OT.SCP.IC O.PhysProt The objectives are related. No contradiction to: 1 OT.OPERATE No correspondence Out of scope. No contradiction to this ST. OT.REALLOCATION No correspondence Out of scope. No contradiction to: 1 Out of scope: 135 Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 2 Out of scope (internal Java Card func- tionality). No contradiction to this ST. ADELG Security Functional: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/GlobalArray_Refined No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/bArray No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1[ADEL] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ROL.1/FIREWALL No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_ATD.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_UID.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_USB.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[ADEL] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[SecureBox] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[ADEL] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[SecureBox] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1[SecureBox] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1/INSTALLER No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1[ADEL] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1[MODULAR-DESIGN] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_RCV.3[INSTALLER] No: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. Further Security Functional: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. ModDesG Security Functional: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. RMIG Security Functional: 1 Out of scope (internal Java Card func- tionality). No contradiction to this ST. cryptovision CSP Security: 3 Out of scope. No contradiction to this ST. T.RND No correspondence Out of scope. No contradiction to this ST. T.CONFIG No correspondence Out of scope. No contradiction to this ST: 1 PhysProt The objectives are related. No contradiction to this ST. OT.SCP.SUPPORT No correspondence Out of scope. No contradiction to this ST. OT.IDENTIFICATION No correspondence Out of scope. No contradiction to: 1 Platform Objective Correspondence in this ST References/Remarks OT.SID No correspondence Out of scope. No contradiction to this ST. OT.SID_MODULE No correspondence Out of scope. No contradiction to: 1 Platform Threat Correspondence in this ST References/Remarks T.CONFID-APPLI-DATA No correspondence Out of scope. No contradiction to this ST. T.CONFID-JCS-CODE No correspondence Out of scope. No contradiction to: 1 References/Remarks FMT_SMF.1[CFG] No correspondence Specification of management Func- tions (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FIA_UID.1[CFG] No correspondence: 1 SEC_BOX_BORDER No correspondence Out of scope. No contradiction to this ST. T.MODULE_REPLACEMENT No correspondence Out of scope. No contradiction: 1 SFR Correspondence in this ST References/Remarks FMT_MSA.3[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1[MODULAR-DESIGN] No: 1 SID.2 No correspondence Out of scope. No contradiction to this ST. T.EXE-CODE.1 No correspondence Out of scope. No contradiction to this ST. T.EXE-CODE.2 No correspondence Out of scope. No contradiction to this: 1 ST. OT.APPLI-AUTH No correspondence Out of scope. No contradiction to this ST. OT.DOMAIN-RIGHTS No correspondence Out of scope. No contradiction to: 1 ST. OT.COMM_AUTH No correspondence Out of scope. No contradiction to this ST. OT.COMM_INTEGRITY No correspondence Out of scope. No contradiction to: 1 ST. OT.COMM_CONFIDENTIALITY No correspondence Out of scope. No contradiction to this ST. OT.EXT-MEM No correspondence Out of scope. No contradiction to this: 1 ST. OT.FIREWALL No correspondence Out of scope. No contradiction to this ST. OT.GLOBAL_ARRAYS_CONFID No correspondence Out of scope. No: 1 ST. OT.RESOURCES No correspondence Out of scope. No contradiction to this ST. OT.SENSITIVE_RESULTS_INTEG No correspondence Indirectly relevant for: 1 ST. OT.SEC_BOX_FW No correspondence Out of scope. No contradiction to this ST. OT.RND O.RBGS The objective regarding random number generation is: 1 ST. T.CONFID-JCS-DATA No correspondence Out of scope. No contradiction to this ST. T.INTEG-APPLI-CODE No correspondence Out of scope. No contradiction: 1 ST. T.INTEG-JCS-DATA No correspondence Out of scope. No contradiction to this ST. T.SID.1 No correspondence Out of scope. No contradiction to this ST: 1 T.NATIVE No correspondence Out of scope. No contradiction to this ST. T.MODULE_EXEC No correspondence Out of scope. No contradiction to: 1 T.OBJ-DELETION No correspondence Out of scope. No contradiction to this ST. T.PHYSICAL T.PhysAttack No contradiction to this ST. T.OS_OPERATE No: 1 attribute initialisation (CFG). Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[CFG] No correspondence: 1 chapter 7.2.1.1 in platform ST) FDP_ACC.2/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall: 1 chapter 7.2.1.4 in platform ST) FIA_ATD.1/AID No correspondence. Out of scope (internal Java Card func- tionality: 1 chapter 7.2.10 in platform ST) FAU_SAS.1[SCP] No correspondence Out of scope (internal Java Card func- tionality: 1 chapter 7.2.10 in platform ST) FAU_SAS.1[SCP] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_AFL.1[PIN] FIA_AFL.1: 1 chapter 7.2.8 in platform ST) FDP_ACC.2[SecureBox] No correspondence Out of scope (internal Java Card func- tionality: 1 chapter 7.2.8 in platform ST) FDP_ACC.2[SecureBox] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ACF.1[SecureBox] No: 1 chapter 7.2.9 in platform ST) FDP_IFC.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality: 1 chapter 7.2.9 in platform ST) FDP_IFC.1[MODULAR-DESIGN] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_IFF.1[MODULAR-DESIGN] No: 1 in the User Guidance of the TOE. No contradiction to this ST. FMT_MSA.3/JCVM No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_SMF.1 No correspondence Out of: 1 in this ST References/Remarks No contradiction to this ST. OT.RESTRICTED-MODE No correspondence Out of scope. No contradiction to this ST. Table 3: Assessment of the platform objectives. 2.4.4 Assessment of: 1 information flow control (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FDP_IFF.2[CFG] No correspondence: 1 information flow control (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FDP_IFF.3[CFG] No correspondence: 1 information flow control (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FDP_IFF.4[CFG] No correspondence: 1 information flow control (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FDP_IFF.5[CFG] No correspondence: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCRE No correspondence Out of scope (internal Java Card Fire- wall: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCVM No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.2/FIREWALL-JCVM No: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_SMF.1 No correspondence Out of scope (internal Java Card Fire- wall: 1 internal Java Card Fire- wall). No contradiction to this ST. FMT_SMR.1 No correspondence Out of scope (internal Java Card Fire- wall). No contradiction to this ST. Application Programming Interface: 1 internal Java Card func- tionality). No contradiction to this ST. FCO_NRO.2[SC] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_ACC.1[SD] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. cryptovision CSP Security: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_IFC.2[SC] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_IFF.1[SC] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_IFF.1[SC] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_ITC.2[CCM] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1[CCM] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/APDU No correspondence. Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1[ADEL] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FDP_ROL.1[CCM] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_UAU.1[SC] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. cryptovision CSP Security: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_UID.1[SC] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_USB.1[AID] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FIA_USB.1[AID] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. cryptovision CSP Security: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[SC] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[SC] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.1[SD] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[ADEL] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[SC] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MSA.3[SD] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1[SD] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_MTD.3/JCRE No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1[SC] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_UID.1[SC] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMF.1[SD] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1[ADEL] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1[SD] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FCO_NRO.2[SC] No correspondence: 1 internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1[CCM] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Card func- tionality). No contradiction to this ST. FTP_ITC.1[SC] No correspondence Out of scope (internal Java Card func- tionality: 1 internal Java Virtual Machine). No contradiction to this ST. FDP_IFF.1[JCVM] No correspondence Out of scope (internal Java Virtual Machine: 1 internal Java Virtual Machine). No contradiction to this ST. FDP_RIP.1/OBJECTS No correspondence. Out of scope (internal Java Card Fire- wall). No contradiction to this ST. FMT_MSA.1/JCRE No correspondence Out: 1 manager (ADEL) policy on security aspects outside the runtime. FDP_ACC.2[ADEL] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ACF.1[ADEL] No: 1 objectives for the TOE of this ST. No contradiction to this ST. OT.ALARM No correspondence Out of scope. No contradiction to this ST. OT.CIPHER No correspondence Indirectly relevant for the correct: 1 of 144 Platform SFR Correspondence in this ST References/Remarks FDP_RIP.1/KEYS No correspondence. Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/TRANSIENT No: 1 of 144 Platform SFR Correspondence in this ST References/Remarks FMT_MTD.1/JCRE No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_MTD.3/JCRE No correspondence: 1 of 144 Platform SFR Correspondence in this ST References/Remarks FMT_SMF.1[ADEL] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1[ADEL] No: 1 of 144 Platform Threat Correspondence in this ST References/Remarks T.RESOURCES No correspondence Out of scope. No contradiction to this ST. T.UNAUTHORIZED_CARD_MNGT T.FaUpD No direct correspondence, but: 1 of identification (CFG). Out of scope (internal Java Card functional- ity). No contradiction to this ST. SecBoxG Security Functional: 1 of security attributes (CFG). Out of scope (internal Java Card functionality). No contradiction to this ST. FMT_SMR.1[CFG] No correspondence: 1 of the TOE of this ST, i.e. O.I&A. No contradiction to this ST. OT.TRANSACTION No correspondence Out of scope. No contradiction to this ST. OT.OBJ-DELETION No correspondence Out of scope. No contradiction to: 1 of the TOE. No contradiction to this ST. FDP_ACF.1/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 1 of the TOE. No contradiction to this ST. FDP_IFC.1/JCVM No correspondence Out of scope (internal Java Virtual Machine). No contradiction to this ST. FDP_IFF.1[JCVM] No correspondence Out: 1 of the TOE. No contradiction to this ST. FMT_MSA.3/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for cryptovision CSP Security Target: 1 of the fulfillment of the SFR of this ST. No contradiction to this ST. FPT_TDC.1 No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. AID Management (chapter 7.2.1.4: 1 platform ST) FIA_ATD.1/AID No correspondence. Out of scope (internal Java Card func- tionality). No contradiction to this ST. FIA_UID.2/AID No correspondence: 1 platform ST) Firewall Policy (chapter 7.2.1.1 in platform ST) FDP_ACC.2/FIREWALL No correspondence Out of scope (internal Java Card Fire- wall). The resulting requirements for applets are reflected in the User: 1 random number generator. No contradiction to this ST. FDP_RIP.1/ABORT No correspondence. Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_RIP.1/APDU No correspondence: 1 roles (CFG). Out of scope (in- ternal Java Card functionality). No contradiction to this ST. cryptovision CSP Security: 1 security attributes (CFG). Out of scope (internal Java Card function- ality). No contradiction to this ST. FMT_MSA.3[CFG] No correspondence: 1 that owns the deleted objects by invoking a specific API method. FDP_RIP.1/ODEL No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FPT_FLS.1/ODEL FPT_FLS.1 The: 1 this ST. T.ATTACK-COUNTER No correspondence Out of scope. No contradiction to this ST. Table 4: Threats of the platform ST. 2.4.5 Assessment of Platform: 1 this ST. T.INTEG-APPLI-CODE.LOAD No correspondence Out of scope. No contradiction to this ST. T.INTEG-APPLI-DATA[REFINED] No correspondence Out of scope. No: 1 to T.FaUpD of this ST. No contradiction to this ST. T.COM_EXPLOIT No correspondence Out of scope. No contradiction to this ST. T.LIFE_CYCLE No correspondence Out of scope. No contradiction to this: 1 to this ST. OT.GLOBAL_ARRAYS_INTEG No correspondence Out of scope. No contradiction to this ST. OT.NATIVE No correspondence Out of scope. No contradiction to this ST: 1 to this ST. T.INTEG-APPLI-DATA.LOAD No correspondence Out of scope. No contradiction to this ST. T.INTEG-JCS-CODE No correspondence Out of scope. No contradiction to: 1 verified, or that has been modified after bytecode verification. FDP_UIT.1[CCM] No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FDP_ROL.1[CCM] No correspondence: 1 which addresses security aspects outside the runtime. FDP_ITC.2/Installer No correspondence Out of scope (internal Java Card func- tionality). No contradiction to this ST. FMT_SMR.1/INSTALLER No: 1
pdf_data/st_metadata	/Author: bdrisch /CreationDate: D:20181206120214+01'00' /Creator: Microsoft® Word 2013 /Keywords: SSCD, ePasslet Suite, electronic Signature /ModDate: D:20181206120214+01'00' /Producer: Microsoft® Word 2013 /Title: Security Target ePasslet/ePKI-SSCD pdf_file_size_bytes: 1948229 pdf_hyperlinks: file:///C:/Dokumente%20und%20Einstellungen/tzeggel/Desktop/glossar.htm%23aes pdf_is_encrypted: False pdf_number_of_pages: 76	/Author: bdrisch /Keywords: SSCD, ePasslet Suite, electronic Signature /Title: Security Target ePasslet/ePKI-SSCD pdf_file_size_bytes: 3600866 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 144
state/cert/convert_garbage	False	False
state/cert/convert_ok	True	True
state/cert/download_ok	True	True
state/cert/extract_ok	True	True
state/cert/pdf_hash	Different	Different
state/cert/txt_hash	Different	Different
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