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.
Sm@rtSIM CX Virgo v1.0
CRP297
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 Sm@rtSIM CX Virgo v1.0 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 UK US
not_valid_after 03.08.2021 20.07.2012
not_valid_before 03.08.2016 01.09.2008
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/CRP297v1.0.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-vr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/STlite297v2.2.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-st.pdf
manufacturer G+D Mobile Security GmbH Green Hills Software, Inc.
manufacturer_web https://www.gi-de.com/de/de/mobile-security/ https://www.ghs.com/
security_level EAL4+, ALC_DVS.2, AVA_VAN.5 EAL6+
dgst fd1f25a8ebc12dd4 b5cd888a6f1f1a60
heuristics/cert_id CRP297 CCEVS-VR-10119-2008
heuristics/cert_lab [] US
heuristics/extracted_sars ALC_DVS.2, AVA_VAN.5 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 1.0 021, 2021, 944, 0101
heuristics/report_references/directly_referencing BSI-DSZ-CC-0915-2016 {}
heuristics/report_references/indirectly_referencing BSI-DSZ-CC-0915-2016 {}
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/st_references/directly_referencing BSI-DSZ-CC-0915-2016 {}
heuristics/st_references/indirectly_referencing BSI-DSZ-CC-0915-2016 {}
heuristics/protection_profiles 9399bd94f9925b16 {}
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/ANSSI-CC-profil_PP-2010-03en.pdf {}
pdf_data/report_filename CRP297v1.0.pdf st_vid10119-vr.pdf
pdf_data/report_frontpage
  • US:
  • 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-0915-2016: 2
  • UK:
    • CRP297: 1
  • US:
    • CCEVS-VR-10119-2008: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 2: 2
    • EAL 4: 1
    • EAL 4 augmented: 1
    • EAL1: 1
    • EAL4: 1
    • EAL5: 1
    • EAL5 augmented: 1
    • EAL7: 1
  • EAL:
    • EAL 1: 1
    • EAL 4: 2
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC: 1
  • ALC:
    • ALC_DVS.2: 5
  • AVA:
    • AVA_VAN.5: 5
  • 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
  • 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
  • Broadcom:
    • Broadcom: 7
  • GD:
    • Giesecke & Devrient: 14
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 2
  • DES:
    • 3DES:
      • TDES: 2
    • DES:
      • DES: 2
pdf_data/report_keywords/crypto_scheme
  • MAC:
    • MAC: 1
pdf_data/report_keywords/side_channel_analysis
  • other:
    • JIL: 5
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
  • ISO:
    • ISO/IEC17065:2012: 2
  • SCP:
    • SCP02: 1
    • SCP03: 1
  • ISO:
    • ISO/IEC 15408-2: 4
pdf_data/report_metadata
  • /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 STlite297v2.2.pdf st_vid10119-st.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0915-2016: 1
  • FR:
    • ANSSI-CC-PP-2010/03: 1
pdf_data/st_keywords/cc_protection_profile_id
  • ANSSI:
    • ANSSI-CC-PP-2010/03: 1
  • BSI:
    • BSI-PP-0084-2014: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 2
    • EAL 5: 2
    • EAL4: 2
    • EAL4 augmented: 2
  • EAL:
    • EAL6+: 2
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC: 1
  • AGD:
    • AGD_OPE: 2
    • AGD_PRE: 2
  • ALC:
    • ALC_DVS.2: 7
  • AVA:
    • AVA_VAN.5: 7
  • 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_ARP.1: 12
    • FAU_ARP.1.1: 2
    • FAU_SAS.1: 1
  • FCO:
    • FCO_NRO: 8
    • FCO_NRO.2: 15
  • FCS:
    • FCS_CKM: 1
    • FCS_CKM.1: 5
    • FCS_CKM.1.1: 2
    • FCS_CKM.2: 5
    • FCS_CKM.2.1: 2
    • FCS_CKM.3: 5
    • FCS_CKM.3.1: 2
    • FCS_CKM.4: 5
    • FCS_CKM.4.1: 4
    • FCS_COP: 11
    • FCS_COP.1: 11
    • FCS_COP.1.1: 5
    • FCS_PHP.3: 1
  • FDP:
    • FDP_ACC: 11
    • FDP_ACC.1: 3
    • FDP_ACC.2: 9
    • FDP_ACF: 12
    • FDP_ACF.1: 28
    • FDP_IFC: 16
    • FDP_IFC.1: 3
    • FDP_IFC.2: 6
    • FDP_IFF: 16
    • FDP_IFF.1: 28
    • FDP_IFF.1.2: 1
    • FDP_IFF.1.4: 1
    • FDP_ITC: 14
    • FDP_ITC.2: 15
    • FDP_ITT.1: 1
    • FDP_MSA.3: 1
    • FDP_RIP: 53
    • FDP_RIP.1: 23
    • FDP_ROL: 13
    • FDP_ROL.1: 11
    • FDP_SDC.1: 1
    • FDP_SDI.2: 8
    • FDP_SDI.2.1: 3
    • FDP_SDI.2.2: 2
    • FDP_UIT: 10
    • FDP_UIT.1: 6
  • FIA:
    • FIA_ATD: 4
    • FIA_ATD.1: 2
    • FIA_UAU: 6
    • FIA_UAU.1: 4
    • FIA_UAU.4: 2
    • FIA_UID: 15
    • FIA_UID.1: 6
    • FIA_UID.2: 2
    • FIA_USB: 4
    • FIA_USB.1: 6
  • FMT:
    • FMT_LIM.1: 1
    • FMT_LIM.2: 1
    • FMT_MSA: 61
    • FMT_MSA.1: 12
    • FMT_MSA.2: 3
    • FMT_MSA.3: 26
    • FMT_MSA.3.1: 2
    • FMT_MTD: 10
    • FMT_MTD.1: 2
    • FMT_MTD.3: 2
    • FMT_SMF: 21
    • FMT_SMF.1: 13
    • FMT_SMF.1.1: 2
    • FMT_SMR: 20
    • FMT_SMR.1: 18
    • FMT_SMR.1.1: 2
    • FMT_SMR.1.2: 2
  • FPR:
    • FPR_UNO.1: 7
    • FPR_UNO.1.1: 2
  • FPT:
    • FPT_FLS: 24
    • FPT_FLS.1: 23
    • FPT_FLS.1.1: 3
    • FPT_PHP.3: 8
    • FPT_PHP.3.1: 2
    • FPT_RCV: 8
    • FPT_RCV.3: 11
    • FPT_TDC.1: 3
    • FPT_TDC.1.1: 2
    • FPT_TDC.1.2: 3
    • FPT_TST.2: 1
  • FRU:
    • FRU_FLT.2: 1
  • FTP:
    • FTP_ITC: 11
    • FTP_ITC.1: 9
  • 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
  • A:
    • A.APPLET: 3
    • A.APPS-PROVIDER: 5
    • A.CONTROLLING-AUTHORITY: 5
    • A.DELETION: 8
    • A.KEY-ESCROW: 5
    • A.PERSONALIZER: 5
    • A.PRODUCTION: 5
    • A.VERIFICATION: 3
    • A.VERIFICATION-AUTHORITY: 4
  • D:
    • D.API_DATA: 1
    • D.APP_CODE: 1
    • D.APP_C_DATA: 1
    • D.APP_I_DATA: 3
    • D.APP_KEYS: 6
    • D.APSD_KEYS: 5
    • D.CARD_MNGT_DATA: 1
    • D.CASD_KEYS: 4
    • D.CRYPTO: 4
    • D.GP_CODE: 1
    • D.ISD_KEYS: 3
    • D.JCS_CODE: 1
    • D.JCS_DATA: 1
    • D.PIN: 2
    • D.SEC_DATA: 2
    • D.VASD_KEYS: 4
  • O:
    • O.AES: 1
    • O.ALARM: 19
    • O.APPLET: 16
    • O.APPLI-AUTH: 7
    • O.CIPHER: 12
    • O.CODE_PKG: 14
    • O.DELETION: 10
    • O.DOMAIN-RIGHTS: 14
    • O.FIREWALL: 27
    • O.GLOBAL-ARRAYS-: 2
    • O.GLOBAL-ARRAYS-CONFID: 3
    • O.GLOBAL-ARRAYS-INTEG: 2
    • O.GLOBAL_ARRAYS_CONFID: 7
    • O.GLOBAL_ARRAYS_INTEG: 7
    • O.HMAC: 1
    • O.INPUT-VALIDATION: 1
    • O.INSTALL: 16
    • O.JAVAOBJECT: 41
    • O.KEY-MNGT: 12
    • O.LOAD: 19
    • O.NATIVE: 13
    • O.OBJ-DELETION: 6
    • O.OPERATE: 26
    • O.PIN-: 2
    • O.PIN-MNGT: 9
    • O.REALLOCATION: 11
    • O.REMOTE: 3
    • O.REMOTE_MTHD: 1
    • O.REMOTE_OBJ: 1
    • O.RESOURCES: 11
    • O.RMI_SERVICE: 1
    • O.RND: 2
    • O.ROR: 1
    • O.SCP: 88
    • O.SCP-IC: 1
    • O.SCP-SUPPORT: 3
    • O.SHA: 1
    • O.SID: 24
    • O.TDES: 1
    • O.TRANSACTION: 11
  • OE:
    • OE.AID-MANAGEMENT: 6
    • OE.AP-KEYS: 7
    • OE.APPLET: 8
    • OE.APPS-PROVIDER: 6
    • OE.BASIC-: 3
    • OE.BASIC-APPS-VALIDATION: 5
    • OE.CA-: 1
    • OE.CA-KEYS: 6
    • OE.CARD-: 5
    • OE.CARD-MANAGEMENT: 29
    • OE.CODE-: 4
    • OE.CODE-EVIDENCE: 17
    • OE.CONTROLLING-AUTHORITY: 6
    • OE.KEY-CHANGE: 7
    • OE.KEY-ESCROW: 6
    • OE.KEY-GENERATION: 7
    • OE.PERSONALIZER: 6
    • OE.PRODUCTION: 11
    • OE.QUOTAS: 6
    • OE.SCP: 24
    • OE.SECURE-APPS-CERTIFICATION: 2
    • OE.SECURITY-DOMAINS: 6
    • OE.SHARE-CONTROL: 8
    • OE.VA-KEYS: 9
    • OE.VERIFICATION: 39
    • OE.VERIFICATION-AUTHORITY: 6
  • OP:
    • OP.ARRAY_ACCESS: 3
    • OP.CREATE: 7
    • OP.DELETE_APPLET: 4
    • OP.DELETE_PCKG: 3
    • OP.DELETE_PCKG_APPLET: 3
    • OP.GET_ROR: 1
    • OP.INSTANCE_FIELD: 3
    • OP.INVK_INTERFACE: 6
    • OP.INVK_VIRTUAL: 5
    • OP.INVOKE: 1
    • OP.JAVA: 6
    • OP.PUT: 5
    • OP.RET_RORD: 1
    • OP.THROW: 4
    • OP.TYPE_ACCESS: 4
  • OSP:
    • OSP.AID-MANAGEMENT: 4
    • OSP.APSD-KEYS: 6
    • OSP.BASIC-APPS-VALIDATION: 2
    • OSP.CASD-KEYS: 6
    • OSP.KEY-CHANGE: 6
    • OSP.KEY-GENERATION: 6
    • OSP.QUOTAS: 5
    • OSP.SECURE-APPS-CERTIFICATION: 2
    • OSP.SECURITY-DOMAINS: 6
    • OSP.SHARE-: 1
    • OSP.SHARE-CONTROL: 3
    • OSP.VASD-KEYS: 6
    • OSP.VERIFICATION: 9
  • R:
    • R.JAVA: 9
  • T:
    • T.CONFID-APPLI-DATA: 20
    • T.CONFID-JCS-: 2
    • T.CONFID-JCS-CODE: 7
    • T.CONFID-JCS-DATA: 9
    • T.DELETION: 5
    • T.EXE-CODE: 8
    • T.EXECODE: 1
    • T.INSTALL: 8
    • T.INTEG-: 1
    • T.INTEG-APPLI-: 7
    • T.INTEG-APPLI-CODE: 14
    • T.INTEG-APPLI-DATA: 21
    • T.INTEG-JCS-: 2
    • T.INTEG-JCS-CODE: 5
    • T.INTEG-JCS-DATA: 13
    • T.INTEG-USER-DATA: 12
    • T.LIFE_CYCLE: 5
    • T.NATIVE: 6
    • T.OBJ-DELETION: 4
    • T.PHYSICAL: 7
    • T.RESOURCES: 8
    • T.RNG: 1
    • T.SECURE-DELETION: 1
    • T.SECURE_DELETION: 9
    • T.SID: 18
    • T.UNAUTHORIZED_ACCESS: 5
    • T.UNAUTHORIZED_CARD-: 1
    • T.UNAUTHORIZED_CARD-MNGT: 1
    • T.UNAUTHORIZED_CARD_MNGT: 5
  • 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
  • Broadcom:
    • Broadcom: 1
  • GD:
    • G&D: 1
    • Giesecke & Devrient: 17
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 16
  • DES:
    • 3DES:
      • TDEA: 1
      • TDES: 2
      • Triple-DES: 12
    • DES:
      • DES: 11
  • constructions:
    • MAC:
      • CMAC: 3
      • HMAC: 2
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECDSA:
      • ECDSA: 1
pdf_data/st_keywords/hash_function
  • SHA:
    • SHA1:
      • SHA-1: 3
    • SHA2:
      • SHA-224: 2
      • SHA-256: 2
      • SHA-384: 1
      • SHA-512: 2
  • SHA:
    • SHA1:
      • SHA-1: 3
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 15
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 3
    • RNG: 2
  • TRNG:
    • TRNG: 1
  • RNG:
    • RNG: 2
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 7
  • CCM:
    • CCM: 5
  • ECB:
    • ECB: 4
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • Malfunction: 3
    • physical tampering: 4
  • SCA:
    • DPA: 2
    • Leak-Inherent: 2
    • physical probing: 2
  • other:
    • JIL: 1
pdf_data/st_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
  • FIPS:
    • FIPS 180-4: 3
    • FIPS 197: 5
    • FIPS 46-3: 2
    • FIPS PUB 180-4: 1
    • FIPS PUB 46-3: 1
  • ISO:
    • ISO/IEC 18031: 4
    • ISO/IEC 9797-: 1
    • ISO/IEC 9797-1: 3
  • NIST:
    • NIST SP 800-38: 1
    • SP 800-108: 1
  • RFC:
    • RFC 2104: 1
    • RFC2104: 1
  • SCP:
    • SCP02: 9
    • SCP03: 9
  • 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/javacard_api_const
  • misc:
    • TYPE_ACCESS: 4
pdf_data/st_keywords/javacard_packages
  • javacard:
    • javacard.framework: 3
    • javacard.security: 13
  • javacardx:
    • javacardx.crypto: 2
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • a timeout policy that prevent them from being blocked should a card fails to answer. That point is out of scope of this security target, though. Finally, the objectives O.SCP.RECOVERY and O.SCP.SUPPORT are: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Augmentation: ALC_DVS.2 and AVA_VAN.5
  • /Author: Giesecke & Devrient
  • /Company: Giesecke & Devrient GmbH
  • /CreationDate: D:20160801121713+02'00'
  • /Creator: Acrobat PDFMaker 10.1 for Word
  • /Keywords: Version 2.2/2016-08-01
  • /ModDate: D:20160801121746+02'00'
  • /Producer: Adobe PDF Library 10.0
  • /SourceModified: D:20160801101640
  • /State: Public
  • /Styles: supported
  • /Subject: SkySIM CX Virgo V1.0
  • /TOE_Configuration: Basic configuration
  • /TOE_HW_ST: BCM_SPS02 C0
  • /TOE_Name: SkySIM CX Virgo V1.0
  • /TemplVersion: 1.0
  • /Title: Security Target Lite
  • /conformance_claim: demonstrable
  • pdf_file_size_bytes: 908468
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 101
  • /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