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 DESFire8 MF3ICD81 V0C/004 Secure SmartCard Controller with Embedded Software
BSI-DSZ-CC-0487-2009 		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 DESFire8 MF3ICD81 V0C/004 Secure SmartCard Controller with Embedded Software 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 01.04.2009 01.09.2008
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0487a.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-vr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/0487b.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-st.pdf
manufacturer NXP Semiconductors 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 d263edc36f0baf6c b5cd888a6f1f1a60
heuristics/cert_id BSI-DSZ-CC-0487-2009 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 004 021, 2021, 944, 0101
heuristics/report_references/directly_referenced_by BSI-DSZ-CC-0712-2011 {}
heuristics/report_references/indirectly_referenced_by BSI-DSZ-CC-0712-2011 {}
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.
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
pdf_data/report_filename 0487a.pdf st_vid10119-vr.pdf
pdf_data/report_frontpage
  • DE:
    • cert_id: BSI-DSZ-CC-0487-2009
    • cert_item: NXP Mifare DESFire8 MF3ICD81 V0C/004 Secure SmartCard Controller with Embedded Software
    • 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: 1
    • BSI-DSZ-CC-0487-2009: 19
  • US:
    • CCEVS-VR-10119-2008: 1
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP- 0002-2001: 1
    • BSI-PP-0002-: 1
    • BSI-PP-0002-2001: 2
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 4: 9
    • EAL 4 augmented: 3
    • EAL 7: 1
    • EAL1: 5
    • EAL2: 3
    • EAL3: 4
    • EAL4: 7
    • EAL5: 6
    • EAL5+: 1
    • EAL6: 3
    • EAL7: 4
  • 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: 11
    • NXP Semiconductors: 15
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 9
  • DES:
    • 3DES:
      • Triple-DES: 5
    • DES:
      • DES: 2
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
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
  • 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:
    • 2009, T-Systems GEI GmbH (confidential document) [8] MF3ICD81 Configuration List, NXP Semiconductors, Rev. 1.2, 13. March 2009 (confidential: 1
    • IC with DES/3DES and AES Security, NXP Semiconductors, Rev. 1.5, 17 September 2008 (confidential document) [7] Evaluation Technical Report, NXP Mifare DESFire8 MF3ICD81, BSI-DSZ-CC-0487 Version 1.4, March: 1
    • read the Functional Specification [11] chapter 9.4.7. and the Configuration List [8] chapter 3.1.2 (confidential document). 3 Security Policy The Security Policy is expressed by the set of Security Functional Requirements: 1
pdf_data/report_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20090416145259+02'00'
  • /Creator: Writer
  • /Keywords: "NXP Mifare DESFire8 MF3ICD81 V0C/004 Secure SmartCard Controller with Embedded Software, NXP Seminconductors Germany GmbH, BSI-DSZ-CC-0487-2009"
  • /ModDate: D:20090416150123+02'00'
  • /Producer: StarOffice 9
  • /Subject: Common Criteria Certification
  • /Title: Certification Report BSI-DSZ-CC-0487-2009
  • pdf_file_size_bytes: 684198
  • pdf_hyperlinks: http://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 0487b.pdf st_vid10119-st.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0487: 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: 13
    • FCS_CKM.4.1: 1
    • FCS_COP.1: 20
    • 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.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: 9
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 12
    • FMT_SMR.1.1: 1
    • 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: 7
    • 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: 22
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
  • /Alternative descriptive title: Security Target Lite
  • /Author: NXP Business Line Identification - HGA, KKG
  • /CertificationID: BSI-DSZ-CC-0487
  • /Copyright date: 2007
  • /CreationDate: D:20081010151413+02'00'
  • /Creator: Acrobat PDFMaker 7.0.7 for Word
  • /Descriptive title: Security Target Lite
  • /Division: NXP Semiconductors
  • /Keywords: Security Target, Mifare, MF3ICD81
  • /ModDate: D:20090416140134+02'00'
  • /Modification date: 10 October 2008
  • /Producer: Acrobat Distiller 7.0.5 (Windows)
  • /Revision: Rev.1.1
  • /Security status: Public
  • /SourceModified: D:20081010131123
  • /Specification status: Evaluation Documentation
  • /Status:
  • /Subject: MF3ICD81
  • /Template date: 1 October 2006
  • /Template version: 2.8.1
  • /Title: Security Target Lite Mifare DESFire8 MF3ICD81
  • /docpath: H:\work\SMX02\Evaluation\Procedure_P5CC037V0A\DeveloperDocuments
  • /list_of_authors: Hans-Gerd Albertsen, Kurt Koenig
  • /philips_smx_cl_docpath: H:\work\SMX02\Evaluation\Procedure_P5CC037V0A\DeveloperDocuments
  • /relBibilioPath: ..\..\Bibliography.doc
  • /text_cert_body_long: Bundesamt für Sicherheit in der Informationstechnik
  • /text_cert_body_short: BSI
  • /text_developer_long: NXP Semiconductors, Business Line Identification
  • /text_developer_short: NXP
  • /text_product_letter: A
  • /text_product_long: NXP Mifare DESFire8 MF3ICD81
  • /text_product_minor: V0A
  • /text_product_short: MF3ICD81
  • /text_sponsor_long: NXP Semiconductors, Business Line Identification
  • /text_sponsor_short: NXP
  • pdf_file_size_bytes: 463871
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 59
  • /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