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.
NXP MIFARE DESFire EV1 MF3ICD81
BSI-DSZ-CC-0712-2011 		Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ICR750-0101-GH01_Rel running on Compact PCI card, version CPN 944-2021-021 with PowerPC, version 750CXe
CCEVS-VR-10119-2008
name NXP MIFARE DESFire EV1 MF3ICD81 Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ICR750-0101-GH01_Rel running on Compact PCI card, version CPN 944-2021-021 with PowerPC, version 750CXe
category ICs, Smart Cards and Smart Card-Related Devices and Systems Operating Systems
scheme DE US
not_valid_after 01.09.2019 20.07.2012
not_valid_before 12.07.2011 01.09.2008
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0712a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-vr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0712b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-st.pdf
manufacturer NXP Semiconductors Germany GmbH Business Line Identification Green Hills Software, Inc.
manufacturer_web https://www.nxp.com https://www.ghs.com/
security_level ADV_IMP.2, AVA_VLA.4, AVA_MSU.3, EAL4+, ALC_DVS.2 EAL6+
dgst 76f792d08ecf5f58 b5cd888a6f1f1a60
heuristics/cert_id BSI-DSZ-CC-0712-2011 CCEVS-VR-10119-2008
heuristics/cert_lab BSI US
heuristics/extracted_sars ATE_COV.2, ADV_RCR.1, ALC_TAT.1, AVA_VLA.4, ADV_HLD.2, ATE_FUN.1, AGD_USR.1, AVA_SOF.1, ATE_IND.2, AGD_ADM.1, ADV_LLD.1, ALC_DVS.2, ALC_LCD.1, ADV_IMP.2, ATE_DPT.1, ADV_FSP.2, ADV_SPM.1, AVA_MSU.3 ALC_LCD.2, ADV_INI_EXP.1, AGD_USR.1, ADV_IMP_EXP.3, ALC_DVS.2, ADV_RCR.3, ADV_ARC_EXP.1, AVA_SOF.1, AVA_CCA_EXP.2, ATE_FUN.2, ALC_TAT.3, ALC_FLR.3, ADV_CTD_EXP.1, ADV_LTD_EXP.1, ATE_IND.3, AGD_ADM_EXP.1, ADV_INT_EXP.3, ATE_DPT.3, AVA_VLA_EXP.4, ADV_LLD_EXP.2, ADV_SPM.3, ADV_HLD_EXP.4, ATE_COV.3, AVA_MSU.3, ADV_FSP_EXP.4
heuristics/extracted_versions - 021, 2021, 944, 0101
heuristics/report_references/directly_referencing BSI-DSZ-CC-0487-2009 {}
heuristics/report_references/indirectly_referencing BSI-DSZ-CC-0487-2009 {}
heuristics/scheme_data
  • category: Operating System
  • certification_date: 01.09.2008
  • evaluation_facility: Leidos Common Criteria Testing Laboratory
  • expiration_date:
  • id: CCEVS-VR-VID10119
  • product: Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ICR750-0101-GH01_Rel running on Compact PCI card, version CPN 944-2021-021 with PowerPC, version 750CXe
  • scheme: US
  • url: https://www.niap-ccevs.org/product/10119
  • vendor: Green Hills Software, Inc.
heuristics/protection_profiles 62c62b4b4210800e {}
maintenance_updates
  • maintenance_date: 31.07.2009
  • maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-add1.pdf
  • maintenance_st_link: None
  • maintenance_title: Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ISP448-0100-SK_LMFWPCD2_Rel running on JSF PCD System Processor CCA, version 437140-007 with PowerPC, version 7448
protection_profile_links https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/ssvgpp01.pdf {}
pdf_data/report_filename 0712a_pdf.pdf st_vid10119-vr.pdf
pdf_data/report_frontpage
  • DE:
    • cert_id: BSI-DSZ-CC-0712-2011
    • cert_item: NXP MIFARE DESFire EV1 MF3ICD81
    • cert_lab: BSI
    • developer: NXP Semiconductors Germany GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
  • US:
  • DE:
  • US:
    • cert_id: CCEVS-VR-10119-2008
    • cert_item: Green Hills Software INTEGRITY-178B Separation Kernel
    • cert_lab: US NIAP
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0487-2009: 3
    • BSI-DSZ-CC-0712-2011: 19
  • NL:
    • CC-0487-2009: 1
  • US:
    • CCEVS-VR-10119-2008: 1
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0002-2001: 3
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 4: 9
    • EAL 4 augmented: 3
    • EAL1: 6
    • EAL2: 3
    • EAL3: 4
    • EAL4: 9
    • EAL5: 6
    • EAL5+: 1
    • EAL6: 4
    • EAL7: 4
  • ITSEC:
    • ITSEC Evaluation: 1
  • EAL:
    • EAL 1: 1
    • EAL 4: 2
pdf_data/report_keywords/cc_sar
  • ACM:
    • ACM_AUT: 2
    • ACM_AUT.1: 1
    • ACM_CAP: 2
    • ACM_CAP.4: 1
    • ACM_SCP: 2
    • ACM_SCP.2: 1
  • ADO:
    • ADO_DEL: 2
    • ADO_DEL.2: 1
    • ADO_IGS: 2
    • ADO_IGS.1: 1
  • ADV:
    • ADV_FSP: 2
    • ADV_HLD: 2
    • ADV_IMP: 2
    • ADV_IMP.2: 5
    • ADV_INT: 2
    • ADV_LLD: 2
    • ADV_RCR: 2
    • ADV_SPM: 2
  • AGD:
    • AGD_ADM: 2
    • AGD_USR: 2
  • ALC:
    • ALC_DVS: 2
    • ALC_DVS.2: 6
    • ALC_FLR: 2
    • ALC_LCD: 1
    • ALC_LCD.1: 1
    • ALC_TAT: 2
    • ALC_TAT.1: 1
  • APE:
    • APE_DES: 1
    • APE_ENV: 1
    • APE_INT: 1
    • APE_OBJ: 1
    • APE_REQ: 1
    • APE_SRE: 1
  • ASE:
    • ASE_DES: 1
    • ASE_ENV: 1
    • ASE_INT: 1
    • ASE_OBJ: 1
    • ASE_PPC: 1
    • ASE_REQ: 1
    • ASE_SRE: 1
    • ASE_TSS: 1
  • ATE:
    • ATE_COV: 2
    • ATE_DPT: 2
    • ATE_FUN: 2
    • ATE_IND: 2
  • AVA:
    • AVA_CCA: 2
    • AVA_MSU: 2
    • AVA_MSU.3: 5
    • AVA_SOF: 3
    • AVA_VLA: 3
    • AVA_VLA.2: 1
    • AVA_VLA.3: 1
    • AVA_VLA.4: 6
  • ACM:
    • ACM_AUT.2: 1
    • ACM_CAP.5: 1
    • ACM_SCP.3: 1
  • ADO:
    • ADO_DEL_EXP.2: 1
    • ADO_IGS.1: 2
  • ADV:
    • ADV_ARC_EXP.1: 1
    • ADV_CTD_EXP.1: 1
    • ADV_FSP_EXP.4: 1
    • ADV_HLD_EXP.4: 1
    • ADV_IMP_EXP.3: 1
    • ADV_INI_EXP.1: 1
    • ADV_INT_EXP.3: 1
    • ADV_LLD_EXP.2: 1
    • ADV_LTD_EXP.1: 1
    • ADV_RCR.3: 1
    • ADV_SPM.3: 1
  • AGD:
    • AGD_ADM_EXP.1: 1
    • AGD_USR.1: 1
  • ALC:
    • ALC_DVS.2: 1
    • ALC_FLR.3: 1
    • ALC_LCD.2: 1
    • ALC_TAT.3: 1
  • AMA:
    • AMA_AMP_EXP.1: 1
  • ATE:
    • ATE_COV.3: 1
    • ATE_DPT.3: 1
    • ATE_FUN.2: 1
    • ATE_IND.3: 1
  • AVA:
    • AVA_CCA_EXP.2: 1
    • AVA_MSU.3: 1
    • AVA_SOF.1: 1
    • AVA_VLA_EXP.4: 2
pdf_data/report_keywords/cc_claims
  • O:
    • O.C: 2
  • R:
    • R.O: 2
  • A:
    • A.COVERT_CHANNELS: 1
    • A.PHYSICAL: 1
    • A.SUBJECT_ALLOCATION: 1
    • A.TRUSTED_FLOWS: 1
    • A.TRUSTED_INDIVIDUAL: 1
  • T:
    • T.ADMIN_ERROR: 1
    • T.ALTERED_DELIVERY: 1
    • T.CONFIGURATION_CHANGE: 1
    • T.CONFIGURATION_INTEGRITY: 1
    • T.COVERT_CHANNEL_EXPLOIT: 1
    • T.DENIAL_OF_SERVICE: 1
    • T.INCORRECT_CONFIG: 1
    • T.INCORRECT_LOAD: 1
    • T.INSECURE_STATE: 1
    • T.LEAST_PRIVILEGE: 1
    • T.POOR_DESIGN: 1
    • T.POOR_IMPLEMENTATION: 1
    • T.POOR_TEST: 1
    • T.TSF_COMPROMISE: 1
    • T.UNAUTHORIZED_ACCESS: 1
pdf_data/report_keywords/vendor
  • NXP:
    • NXP: 17
    • NXP Semiconductors: 17
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 6
  • DES:
    • 3DES:
      • Triple-DES: 3
    • DES:
      • DES: 3
pdf_data/report_keywords/randomness
  • RNG:
    • RNG: 1
pdf_data/report_keywords/side_channel_analysis
  • FI:
    • physical tampering: 1
  • SCA:
    • physical probing: 1
  • other:
    • JIL: 4
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7125: 2
    • BSI 7148: 1
    • BSI 7149: 1
    • BSI TR-02102: 1
pdf_data/report_keywords/standard_id
  • BSI:
    • AIS 25: 3
    • AIS 26: 3
    • AIS 31: 3
    • AIS 32: 1
    • AIS 34: 4
    • AIS 35: 3
    • AIS 36: 1
    • AIS 37: 1
    • AIS 38: 1
  • FIPS:
    • FIPS PUB 197: 1
    • FIPS PUB 46-3: 1
  • ISO:
    • ISO/IEC 15408:2005: 3
  • ISO:
    • ISO/IEC 15408-2: 4
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • 2011, T-Systems GEI GmbH (confidential document) [8] MIFARE DESFire EV1 MF3ICD81 Configuration List, NXP Semiconductors, Rev. 1.6, 10. May 2011: 1
    • DESFire EV1 MF3ICD81 Secure Smart Card Controller, NXP Semiconductors, Rev. 2.1, 10 May 2011 (confidential document) [7] Evaluation Technical Report, NXP MIFARE DESFire EV1 MF3ICD81, BSI-DSZ-CC- 0712 Version 1.5, 24: 1
    • DESFire EV1 MF3ICDH81 Configuration List, NXP Semiconductors, Rev. 1.6, 10. May 2011 (confidential documents) [9] Security Target Lite, MIFARE DESFire EV 1 MF3ICD81, NXP Semiconductors, Rev. 1.5, 10 May 2011: 1
pdf_data/report_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20110812112628+02'00'
  • /Creator: Writer
  • /Keywords: "Common Criteria, Certification, Zertifizierung, Secure Smart Card Controller with Smartcard Embedded SoftwareNXP MIFARE DESFire EV1 MF3ICD81, NXP Semiconductors Germany GmbH"
  • /ModDate: D:20110812115539+02'00'
  • /Producer: OpenOffice.org 3.2
  • /Subject: Common Criteria Certification
  • /Title: Certification Report BSI-DSZ-CC-0712-2011
  • pdf_file_size_bytes: 871412
  • pdf_hyperlinks: http://www.commoncriteriaportal.org/, https://www.bsi.bund.de/
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 36
  • /Author:
  • /CreationDate: D:20080916094423-04'00'
  • /Creator: Acrobat PDFMaker 7.0 for Word
  • /ModDate: D:20080916094434-04'00'
  • /Producer: Acrobat Distiller 7.0 (Windows)
  • /SourceModified: D:20080916134407
  • /Title: National Information Assurance Partnership
  • pdf_file_size_bytes: 130448
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 19
pdf_data/st_filename 0712b_pdf.pdf st_vid10119-st.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0712: 1
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0002-2001: 3
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 4
    • EAL 4 augmented: 2
    • EAL4: 6
    • EAL4 augmented: 1
    • EAL4+: 2
  • EAL:
    • EAL6+: 2
pdf_data/st_keywords/cc_sar
  • ACM:
    • ACM_AUT: 1
    • ACM_AUT.1: 1
    • ACM_CAP: 1
    • ACM_CAP.4: 2
    • ACM_SCP: 1
    • ACM_SCP.2: 2
  • ADO:
    • ADO_DEL: 2
    • ADO_DEL.2: 2
    • ADO_IGS: 2
    • ADO_IGS.1: 2
  • ADV:
    • ADV_FSP: 1
    • ADV_FSP.2: 2
    • ADV_HLD: 1
    • ADV_HLD.2: 1
    • ADV_IMP: 1
    • ADV_IMP.2: 2
    • ADV_LLD: 1
    • ADV_LLD.1: 1
    • ADV_RCR: 4
    • ADV_RCR.1: 1
    • ADV_SPM: 1
    • ADV_SPM.1: 1
  • AGD:
    • AGD_ADM: 2
    • AGD_ADM.1: 2
    • AGD_USR: 2
    • AGD_USR.1: 2
  • ALC:
    • ALC_DVS: 1
    • ALC_DVS.2: 3
    • ALC_LCD: 1
    • ALC_LCD.1: 1
    • ALC_TAT: 1
    • ALC_TAT.1: 1
  • ATE:
    • ATE_COV.2: 2
    • ATE_DPT.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_MSU: 2
    • AVA_MSU.3: 2
    • AVA_SOF.1: 2
    • AVA_VLA.4: 4
  • ACM:
    • ACM_AUT: 1
    • ACM_AUT.2: 12
    • ACM_CAP: 1
    • ACM_CAP.5: 28
    • ACM_CAP.5.4: 1
    • ACM_SCP: 1
    • ACM_SCP.3: 6
  • ADO:
    • ADO_DEL_EXP: 1
    • ADO_DEL_EXP.2: 18
    • ADO_IGS: 1
    • ADO_IGS.1: 7
  • ADV:
    • ADV_ARC_EXP: 1
    • ADV_ARC_EXP.1: 10
    • ADV_CTD_EXP: 1
    • ADV_CTD_EXP.1: 13
    • ADV_FSP_EXP: 1
    • ADV_FSP_EXP.4: 14
    • ADV_HLD: 2
    • ADV_HLD_EXP: 1
    • ADV_HLD_EXP.4: 12
    • ADV_IMP_EXP: 1
    • ADV_IMP_EXP.3: 8
    • ADV_INI_EXP: 1
    • ADV_INI_EXP.1: 40
    • ADV_INT_EXP: 1
    • ADV_INT_EXP.3: 37
    • ADV_LLD: 2
    • ADV_LLD_EXP: 1
    • ADV_LLD_EXP.2: 12
    • ADV_LTD_EXP: 1
    • ADV_LTD_EXP.1: 11
    • ADV_RCR: 1
    • ADV_RCR.3: 10
    • ADV_SPM: 1
    • ADV_SPM.3: 12
  • AGD:
    • AGD_ADM_EXP: 1
    • AGD_ADM_EXP.1: 19
    • AGD_USR: 1
    • AGD_USR.1: 11
  • ALC:
    • ALC_DVS: 1
    • ALC_DVS.2: 9
    • ALC_FLR: 1
    • ALC_FLR.3: 18
    • ALC_LCD: 1
    • ALC_LCD.2: 12
    • ALC_TAT: 1
    • ALC_TAT.3: 11
  • AMA:
    • AMA_AMP_EXP: 1
    • AMA_AMP_EXP.1: 15
  • ATE:
    • ATE_COV: 1
    • ATE_COV.3: 8
    • ATE_DPT: 1
    • ATE_DPT.2: 1
    • ATE_DPT.3: 5
    • ATE_FUN: 1
    • ATE_FUN.2: 12
    • ATE_IND: 1
    • ATE_IND.3: 9
  • AVA:
    • AVA_CCA_EXP: 1
    • AVA_CCA_EXP.2: 13
    • AVA_MSU: 1
    • AVA_MSU.3: 15
    • AVA_SOF: 1
    • AVA_SOF.1: 9
    • AVA_VLA_EXP: 1
    • AVA_VLA_EXP.4: 15
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_SAS.1: 4
  • FCS:
    • FCS_CKM.1: 6
    • FCS_CKM.4: 11
    • FCS_CKM.4.1: 1
    • FCS_COP.1: 22
    • FCS_COP.1.1: 2
    • FCS_RND.1: 5
    • FCS_RND.1.1: 1
  • FDP:
    • FDP_ACC.1: 11
    • FDP_ACC.1.1: 1
    • FDP_ACF.1: 6
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_IFC: 1
    • FDP_IFC.1: 11
    • FDP_ITC.1: 6
    • FDP_ITC.2: 15
    • FDP_ITC.2.1: 1
    • FDP_ITC.2.2: 1
    • FDP_ITC.2.3: 1
    • FDP_ITC.2.4: 1
    • FDP_ITC.2.5: 1
    • FDP_ITT.1: 6
    • FDP_ROL.1: 6
    • FDP_ROL.1.1: 1
    • FDP_ROL.1.2: 1
    • FDP_SDI.1: 1
  • FIA:
    • FIA_UAU.1: 1
    • FIA_UAU.2: 5
    • FIA_UAU.2.1: 1
    • FIA_UAU.5: 7
    • FIA_UAU.5.1: 1
    • FIA_UAU.5.2: 1
    • FIA_UID.1: 4
    • FIA_UID.2: 8
  • FMT:
    • FMT_LIM.1: 3
    • FMT_LIM.2: 3
    • FMT_MSA.1: 6
    • FMT_MSA.1.1: 1
    • FMT_MSA.2: 16
    • FMT_MSA.3: 8
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 6
    • FMT_MTD.1.1: 1
    • FMT_SMF.1: 8
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 12
    • FMT_SMR.1.1: 2
    • FMT_SMR.1.2: 1
  • FPR:
    • FPR_UNL.1: 6
    • FPR_UNL.1.1: 1
  • FPT:
    • FPT_AMT.1: 1
    • FPT_FLS.1: 7
    • FPT_ITT.1: 6
    • FPT_PHP.3: 7
    • FPT_RPL.1: 8
    • FPT_RPL.1.1: 1
    • FPT_RPL.1.2: 1
    • FPT_SEP.1: 6
    • FPT_TDC.1: 8
    • FPT_TDC.1.1: 1
    • FPT_TDC.1.2: 1
  • FRU:
    • FRU_FLT.2: 7
  • FTP:
    • FTP_ITC.1: 2
    • FTP_TRP.1: 11
    • FTP_TRP.1.1: 1
    • FTP_TRP.1.2: 1
    • FTP_TRP.1.3: 3
  • FAU:
    • FAU_ARP: 2
    • FAU_ARP.1: 5
    • FAU_ARP.1.1: 1
    • FAU_GEN: 3
    • FAU_GEN.1: 8
    • FAU_SAR_EXP: 2
    • FAU_SAR_EXP.1: 4
    • FAU_SAR_EXP.1.1: 1
    • FAU_SAR_EXP.1.2: 1
    • FAU_SEL.1: 1
    • FAU_SEL_EXP: 2
    • FAU_SEL_EXP.1: 3
    • FAU_SEL_EXP.1.1: 1
  • FDP:
    • FDP_ATD_EXP.1: 1
    • FDP_IFC: 2
    • FDP_IFC.2: 4
    • FDP_IFC.2.1: 1
    • FDP_IFC.2.2: 1
    • FDP_IFF: 4
    • FDP_IFF.1: 13
    • FDP_IFF.3: 5
    • FDP_IFF.3.1: 1
    • FDP_RIP: 2
    • FDP_RIP.2: 4
    • FDP_RIP.2.1: 1
  • FIA:
    • FIA_ATD_EXP.1: 8
    • FIA_ATD_EXP.1.1: 3
    • FIA_USB_EXP.1: 10
    • FIA_USB_EXP.1.1: 3
    • FIA_USB_EXP.1.2: 3
    • FIA_USB_EXP.1.3: 3
  • FMT:
    • FMT_MCD_EXP: 2
    • FMT_MCD_EXP.1: 4
    • FMT_MCD_EXP.1.1: 1
    • FMT_MOF.1: 24
    • FMT_MOF.1.1: 7
    • FMT_MSA.3: 1
    • FMT_MSA_EXP: 4
    • FMT_MSA_EXP.1: 4
    • FMT_MSA_EXP.1.1: 1
    • FMT_MSA_EXP.1.2: 1
    • FMT_MSA_EXP.3: 4
    • FMT_MSA_EXP.3.1: 1
    • FMT_MTD: 2
    • FMT_MTD.1: 8
    • FMT_MTD.1.1: 2
    • FMT_MTD.3: 5
    • FMT_MTD.3.1: 1
    • FMT_SMF: 2
    • FMT_SMF.1: 7
    • FMT_SMF.1.1: 1
  • FPT:
    • FPT_AMT: 2
    • FPT_AMT.1: 8
    • FPT_AMT.1.1: 3
    • FPT_CFG_EXP: 3
    • FPT_CFG_EXP.1: 5
    • FPT_CFG_EXP.1.1: 2
    • FPT_CFG_EXP.1.2: 2
    • FPT_CFG_EXP.1.3: 2
    • FPT_CFG_EXP.1.4: 1
    • FPT_ESS_EXP: 2
    • FPT_ESS_EXP.1: 5
    • FPT_ESS_EXP.1.1: 1
    • FPT_ESS_EXP.1.2: 1
    • FPT_ESS_EXP.1.3: 1
    • FPT_FLS: 2
    • FPT_FLS.1: 7
    • FPT_FLS.1.1: 1
    • FPT_HLT_EXP: 2
    • FPT_HLT_EXP.1: 4
    • FPT_HLT_EXP.1.1: 1
    • FPT_HLT_EXP.1.2: 1
    • FPT_MTN_EXP: 4
    • FPT_MTN_EXP.1: 5
    • FPT_MTN_EXP.1.1: 1
    • FPT_MTN_EXP.1.2: 1
    • FPT_MTN_EXP.1.3: 1
    • FPT_MTN_EXP.2: 4
    • FPT_MTN_EXP.2.1: 1
    • FPT_PLP_EXP: 3
    • FPT_PLP_EXP.1: 4
    • FPT_PLP_EXP.1.1: 1
    • FPT_RCV: 2
    • FPT_RCV.4: 5
    • FPT_RCV.4.1: 1
    • FPT_RCV_EXP: 2
    • FPT_RCV_EXP.2: 5
    • FPT_RCV_EXP.2.1: 1
    • FPT_RCV_EXP.2.2: 1
    • FPT_RCV_EXP.2.3: 1
    • FPT_RCV_EXP.2.4: 1
    • FPT_RCV_EXP.2.5: 1
    • FPT_RST_EXP: 2
    • FPT_RST_EXP.1: 4
    • FPT_RST_EXP.1.1: 1
    • FPT_RST_EXP.1.2: 1
    • FPT_RVM: 2
    • FPT_RVM.1: 4
    • FPT_RVM.1.1: 1
    • FPT_SEP: 2
    • FPT_SEP.3: 4
    • FPT_SEP.3.1: 1
    • FPT_SEP.3.2: 1
    • FPT_SEP.3.3: 1
    • FPT_STM: 2
    • FPT_STM.1: 5
    • FPT_STM.1.1: 1
    • FPT_TST: 1
    • FPT_TST.1: 2
    • FPT_TST_EXP: 2
    • FPT_TST_EXP.1: 5
    • FPT_TST_EXP.1.1: 1
    • FPT_TST_EXP.1.2: 1
    • FPT_TST_EXP.1.3: 1
    • FPT_TST_EXP.1.4: 1
  • FRU:
    • FRU_PRU_EXP: 2
    • FRU_PRU_EXP.1: 3
    • FRU_PRU_EXP.1.1: 1
    • FRU_RSA: 2
    • FRU_RSA.2: 4
    • FRU_RSA.2.1: 1
    • FRU_RSA.2.2: 1
pdf_data/st_keywords/cc_claims
  • O:
    • O.RND: 3
  • T:
    • T.RND: 2
  • A:
    • A.COVERT_CHANNELS: 1
    • A.PHYSICAL: 1
    • A.SUBJECT_ALLOCATION: 1
    • A.TRUSTED_FLOWS: 1
    • A.TRUSTED_INDIVIDUAL: 1
  • O:
    • O.ACCESS: 1
    • O.ADMIN_GUIDANCE: 1
    • O.AUDIT_GENERATION: 1
    • O.AUTHORIZED_SUBJECT: 1
    • O.BOUNDED_EXECUTION: 1
    • O.CHANGE_MANAGEMENT: 1
    • O.CONFIGURATION_CHANGE: 1
    • O.CORRECT_CONFIG: 1
    • O.CORRECT_INIT: 1
    • O.CORRECT_LOAD: 1
    • O.CORRECT_TSF_OPERATION: 1
    • O.COVERT_CHANNEL_ANALYSIS: 1
    • O.CRYPTOGRAPHY: 1
    • O.FUNCTIONAL_TESTING: 1
    • O.INIT_SECURE_STATE: 1
    • O.INSTALL_GUIDANCE: 1
    • O.INTERNAL_LEAST_PRIVILEGE: 1
    • O.MANAGE: 1
    • O.RATINGS_MAINTENANCE: 1
    • O.RECOVERY_SECURE_STATE: 1
    • O.REFERENCE_MONITOR: 1
    • O.RESIDUAL_INFORMATION: 1
    • O.RESOURCE_ALLOCATION: 1
    • O.SECURE_STATE: 1
    • O.SOUND_DESIGN: 1
    • O.SOUND_IMPLEMENTATION: 1
    • O.SUBJECT_ISOLATION: 1
    • O.TRANSITION: 1
    • O.TRUSTED_DELIVERY: 1
    • O.TSF_INTEGRITY: 1
    • O.USER_GUIDANCE: 1
    • O.VULNERABILITY_ANALYSIS_TEST: 1
  • OE:
    • OE.COVERT_CHANNELS: 1
    • OE.PHYSICAL: 1
    • OE.SUBJECT_ALLOCATION: 1
    • OE.TRUSTED_FLOWS: 1
    • OE.TRUSTED_INDIVIDUAL: 1
  • T:
    • T.ADMIN_ERROR: 1
    • T.ALTERED_DELIVERY: 1
    • T.CONFIGURATION_CHANGE: 1
    • T.CONFIGURATION_INTEGRITY: 1
    • T.COVERT_CHANNEL_EXPLOIT: 1
    • T.DENIAL_OF_SERVICE: 1
    • T.INCORRECT_CONFIG: 1
    • T.INCORRECT_LOAD: 1
    • T.INSECURE_STATE: 1
    • T.LEAST_PRIVILEGE: 1
    • T.POOR_DESIGN: 1
    • T.POOR_IMPLEMENTATION: 1
    • T.POOR_TEST: 1
    • T.TSF_COMPROMISE: 1
    • T.UNAUTHORIZED_ACCESS: 1
pdf_data/st_keywords/vendor
  • NXP:
    • NXP: 71
    • NXP Semiconductors: 14
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 32
  • DES:
    • 3DES:
      • TDEA: 1
      • Triple-DES: 8
    • DES:
      • DEA: 1
      • DES: 24
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECDSA:
      • ECDSA: 1
pdf_data/st_keywords/hash_function
  • SHA:
    • SHA1:
      • SHA-1: 3
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 4
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 5
  • TRNG:
    • TRNG: 1
  • RNG:
    • RNG: 2
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • Malfunction: 9
    • fault injection: 2
    • malfunction: 2
  • SCA:
    • Leak-Inherent: 8
    • Physical Probing: 2
    • physical probing: 1
    • timing attacks: 1
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS31: 2
  • CC:
    • CCMB-2005-08-001: 2
    • CCMB-2005-08-002: 2
    • CCMB-2005-08-003: 2
    • CCMB-2005-08-004: 2
  • FIPS:
    • FIPS PUB 197: 3
    • FIPS PUB 46-3: 3
  • CC:
    • CCMB-2005-08-002: 1
    • CCMB-2005-08-003: 1
  • FIPS:
    • FIPS PUB 186-2: 1
    • FIPS PUB 186-23: 1
    • FIPS PUB 186-3: 2
    • FIPS PUB 198: 1
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • TSF shall ensure that only secure values are accepted for security attributes.” This is clearly out of scope for the TOE. The design concept of the TOE and the systems in which the TOE is used is based on the: 2
    • out of scope: 2
pdf_data/st_metadata
  • /Author: NXP Semiconductors
  • /CreationDate: D:20110512120932+02'00'
  • /Creator: PScript5.dll Version 5.2.2
  • /Keywords: Security Target Lite; MF3ICD81; NXP; DES; AES; EAL4+;AVA_VLA.4
  • /ModDate: D:20110512134152+02'00'
  • /Producer: Acrobat Distiller 9.4.0 (Windows)
  • /Subject: Common Criteria Evaluation of MF3ICD81 Smart Card Controller
  • /Title: Security Target Lite - MF3ICD81
  • pdf_file_size_bytes: 279896
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 63
  • /Author: SAIC CCTL IA Team
  • /Company: Green Hills Software, Inc.
  • /CreationDate: D:20080702095952-04'00'
  • /Creator: Acrobat PDFMaker 7.0 for Word
  • /Manager: Julie Taylor
  • /ModDate: D:20080702100156-04'00'
  • /Producer: Acrobat Distiller 7.0 (Windows)
  • /SourceModified: D:20080530140402
  • /Subject: Security Target
  • /Title: Green Hills Software INTEGRITY-178B Partitioning Kernel Security Target
  • pdf_file_size_bytes: 612709
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 67
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different