Comparing certificates Experimental feature

You are comparing two certificates. By default, only differing attributes are shown. Use the button below to show/hide all attributes.

Showing only differing attributes.
FIN.X RTOS SE V4.0
OCSI/CERT/RES/06/2014/RC 		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 FIN.X RTOS SE V4.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
scheme IT US
not_valid_after 25.07.2022 20.07.2012
not_valid_before 25.07.2017 01.09.2008
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/rc_finx_rtos_se_4_v1.0.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-vr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/tds_finx_rtos_se_4_lite03.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/st_vid10119-st.pdf
manufacturer MBDA Italia S.p.A. Green Hills Software, Inc.
manufacturer_web https://www.mbda-systems.com/ https://www.ghs.com/
security_level EAL4+, ALC_FLR.1 EAL6+
dgst 9cb1663e606ec87b b5cd888a6f1f1a60
heuristics/cert_id OCSI/CERT/RES/06/2014/RC CCEVS-VR-10119-2008
heuristics/cert_lab [] US
heuristics/extracted_sars ASE_INT.1, ALC_CMC.4, ASE_ECD.1, ADV_IMP.1, ATE_COV.2, ALC_FLR.1, ALC_TAT.1, ASE_TSS.1, ASE_SPD.1, ALC_DEL.1, ALC_LCD.1, AGD_OPE.1, AVA_VAN.3, AGD_PRE.1, ALC_CMS.4, ATE_FUN.1, ADV_ARC.1, ASE_OBJ.2, ADV_TDS.3, ATE_DPT.1, ASE_REQ.2, ALC_DVS.1, ADV_FSP.4, ATE_IND.2, ASE_CCL.1 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 4.0 021, 2021, 944, 0101
heuristics/report_references/directly_referenced_by OCSI/CERT/LEO/08/2021/RC {}
heuristics/report_references/directly_referencing OCSI/CERT/RES/03/2012/RC {}
heuristics/report_references/indirectly_referenced_by OCSI/CERT/LEO/08/2021/RC {}
heuristics/report_references/indirectly_referencing OCSI/CERT/RES/03/2012/RC {}
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 rc_finx_rtos_se_4_v1.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
  • IT:
    • OCSI/CERT/RES/03/2012/RC: 1
    • OCSI/CERT/RES/06/2014/RC: 35
  • US:
    • CCEVS-VR-10119-2008: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL2: 1
    • EAL4: 9
    • EAL4+: 1
  • EAL:
    • EAL 1: 1
    • EAL 4: 2
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.4: 1
    • ADV_IMP.1: 1
    • ADV_TDS.3: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.4: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 1
    • ALC_FLR: 2
    • ALC_FLR.1: 5
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.2: 1
    • ASE_REQ.2: 1
    • ASE_SPD.1: 1
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV.2: 1
    • ATE_DPT.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.3: 1
  • ACM:
    • ACM_AUT.2: 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_sfr
  • FAU:
    • FAU_STG.3: 1
    • FAU_STG.4: 1
  • FCS:
    • FCS_CKM.1: 2
pdf_data/report_keywords/cc_claims
  • A:
    • A: 1
  • 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/asymmetric_crypto
  • FF:
    • DSA:
      • DSA: 4
pdf_data/report_keywords/hash_function
  • SHA:
    • SHA2:
      • SHA-256: 1
      • SHA256: 5
pdf_data/report_keywords/crypto_protocol
  • SSH:
    • SSH: 5
  • TLS:
    • SSL:
      • SSL: 3
pdf_data/report_keywords/tee_name
  • IBM:
    • SE: 33
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
  • ISO:
    • ISO/IEC 15408: 2
  • ISO:
    • ISO/IEC 15408-2: 4
pdf_data/report_metadata
  • /Author: ocsi
  • /CreationDate: D:20170727120322+02'00'
  • /Creator: Microsoft® Word 2010
  • /ModDate: D:20170727120322+02'00'
  • /Producer: Microsoft® Word 2010
  • /Title: Rapporto di Certificazione del prodotto “FIN.X RTOS SE V4.0”
  • pdf_file_size_bytes: 805511
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 35
  • /Author:
  • /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 tds_finx_rtos_se_4_lite03.pdf st_vid10119-st.pdf
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL4: 4
    • EAL4 augmented: 2
  • EAL:
    • EAL6+: 2
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 5
  • ALC:
    • ALC_FLR.1: 3
  • 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_GEN.1: 13
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_GEN.2: 6
    • FAU_GEN.2.1: 1
    • FAU_SAR.1: 10
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_SAR.2: 7
    • FAU_SAR.2.1: 1
    • FAU_SAR.3: 8
    • FAU_SAR.3.1: 1
    • FAU_SEL.1: 7
    • FAU_SEL.1.1: 3
    • FAU_STG.1: 9
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG.3: 8
    • FAU_STG.3.1: 1
    • FAU_STG.4: 7
    • FAU_STG.4.1: 1
  • FCS:
    • FCS_CKM: 17
    • FCS_CKM.1: 64
    • FCS_CKM.1.1: 7
    • FCS_CKM.2: 16
    • FCS_CKM.2.1: 2
    • FCS_CKM.4: 5
    • FCS_CKM.4.1: 1
    • FCS_CKM_EXT: 1
    • FCS_CKM_EXT.4: 1
    • FCS_CKM_EXT.4.1: 1
    • FCS_COP.1: 24
    • FCS_COP.1.1: 4
    • FCS_COP.1.2: 1
    • FCS_RNG_EXT.1: 1
  • FDP:
    • FDP_ACC.1: 20
    • FDP_ACC.1.1: 1
    • FDP_ACF.1: 14
    • FDP_ACF.1.1: 2
    • FDP_ACF.1.2: 2
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_IFC.1: 3
    • FDP_ITC.1: 5
    • FDP_ITC.2: 5
    • FDP_RIP.2: 9
    • FDP_RIP.2.1: 1
    • FDP_UCT.1: 8
    • FDP_UCT.1.1: 2
    • FDP_UIT.1: 7
    • FDP_UIT.1.1: 2
    • FDP_UIT.1.2: 1
  • FIA:
    • FIA_AFL: 1
    • FIA_AFL.1: 10
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 2
    • FIA_AFL_EXT.1: 3
    • FIA_ATD.1: 11
    • FIA_ATD.1.1: 1
    • FIA_SOS: 1
    • FIA_SOS.1: 14
    • FIA_SOS.1.1: 3
    • FIA_UAU.1: 1
    • FIA_UAU.2: 13
    • FIA_UAU.2.1: 1
    • FIA_UAU.5: 11
    • FIA_UAU.5.1: 3
    • FIA_UAU.5.2: 3
    • FIA_UAU.6: 7
    • FIA_UAU.6.1: 1
    • FIA_UAU.7: 10
    • FIA_UAU.7.1: 1
    • FIA_UID: 1
    • FIA_UID.1: 2
    • FIA_UID.2: 10
    • FIA_UID.2.1: 1
    • FIA_USB.1: 12
    • FIA_USB.1.1: 1
    • FIA_USB.1.2: 1
    • FIA_USB.1.3: 1
  • FMT:
    • FMT_MOF.1: 17
    • FMT_MOF.1.1: 2
    • FMT_MSA.1: 13
    • FMT_MSA.1.1: 1
    • FMT_MSA.2: 8
    • FMT_MSA.2.1: 1
    • FMT_MSA.3: 12
    • FMT_MSA.3.1: 1
    • FMT_MSA.3.2: 1
    • FMT_MTD.1: 52
    • FMT_MTD.1.1: 7
    • FMT_REV.1: 25
    • FMT_REV.1.1: 2
    • FMT_SAE.1: 8
    • FMT_SAE.1.1: 1
    • FMT_SAE.1.2: 2
    • FMT_SMF.1: 19
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 25
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPT:
    • FPT_FLS.1: 24
    • FPT_FLS.1.1: 5
    • FPT_STM.1: 9
    • FPT_STM.1.1: 1
    • FPT_TST.1: 8
    • FPT_TST.1.1: 1
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FTA:
    • FTA_SSL.2: 7
    • FTA_SSL.2.1: 1
    • FTA_SSL.2.2: 2
    • FTA_TAB.1: 8
    • FTA_TAB.1.1: 2
    • FTA_TAH.1: 8
    • FTA_TAH.1.1: 2
    • FTA_TAH.1.2: 2
    • FTA_TAH.1.3: 1
  • FTP:
    • FTP_ITC.1: 13
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
    • FTP_TRP: 2
  • FAU:
    • FAU_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.AUTHUSER: 3
    • A.CONNECT: 3
    • A.DETECT: 4
    • A.MANAGE: 3
    • A.PEER_FUNC: 2
    • A.PEER_MGT: 2
    • A.PHYSICAL: 3
    • A.TRAINEDUSER: 3
  • O:
    • O.ACCESS: 10
    • O.ACCESS_HISTORY: 4
    • O.AUDIT_GENERATION: 8
    • O.AUDIT_PROTECTION: 5
    • O.AUDIT_REVIEW: 5
    • O.CRYPTO_MEDIA: 7
    • O.CRYPTO_NET: 13
    • O.DISCRETIONARY_ACCESS: 11
    • O.DISCRETIONARY_USER_CONTROL: 7
    • O.DISPLAY_BANNER: 3
    • O.ENFORCEMENT: 3
    • O.MANAGE: 19
    • O.PROTECT: 13
    • O.RESIDUAL_INFORMATION: 4
    • O.RUNTIME: 8
    • O.TRUSTED_CHANNEL: 6
    • O.USER_AUTHENTICATION: 12
    • O.USER_IDENTIFICATION: 5
  • OE:
    • OE.ADMIN: 1
    • OE.INFO_PROTECT: 1
    • OE.INSTALL: 1
    • OE.MAINTENANCE: 1
    • OE.PHYSICAL: 4
    • OE.RECOVER: 1
    • OE.TRUSTED: 6
  • T:
    • T.ASSETS_COMPROMISE: 7
    • T.AUDIT_COMPROMISE: 4
    • T.COMM: 4
    • T.MASQUERADE: 3
    • T.RESIDUAL_DATA: 2
    • T.TSFDATA: 3
    • T.TSFFUNC: 4
    • T.UNATTENDED_SESSION: 2
    • T.UNAUTHORIZED_ACCESS: 7
    • T.UNIDENTIFIED_ACTIONS: 2
    • T.USER: 5
    • T.USERDATA: 3
  • 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/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 5
  • DES:
    • 3DES:
      • T-DES: 2
      • TDES: 1
  • constructions:
    • MAC:
      • HMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • FF:
    • DH:
      • Diffie-Hellman: 2
    • DSA:
      • DSA: 27
  • ECC:
    • ECDSA:
      • ECDSA: 1
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF2: 6
  • SHA:
    • SHA1:
      • SHA-1: 1
      • SHA1: 1
    • SHA2:
      • SHA-2: 1
      • SHA-224: 1
      • SHA-256: 1
      • SHA-384: 1
      • SHA-512: 2
  • SHA:
    • SHA1:
      • SHA-1: 3
pdf_data/st_keywords/crypto_protocol
  • SSH:
    • SSH: 44
  • TLS:
    • TLS:
      • TLS: 1
pdf_data/st_keywords/randomness
  • PRNG:
    • PRNG: 4
  • RNG:
    • RNG: 1
  • RNG:
    • RNG: 2
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • CTR:
    • CTR: 2
  • XTS:
    • XTS: 1
pdf_data/st_keywords/crypto_library
  • OpenSSL:
    • OpenSSL: 16
pdf_data/st_keywords/tee_name
  • IBM:
    • SE: 112
pdf_data/st_keywords/standard_id
  • CC:
    • CCIMB-2012-09-003: 1
    • CCMB-2012-09-001: 1
  • FIPS:
    • FIPS 140-2: 1
    • FIPS 186-2: 1
    • FIPS 186-4: 2
    • FIPS PUB 186-2: 4
    • FIPS PUB 186-4: 3
    • FIPS140: 2
    • FIPS186: 1
    • FIPS186-2: 8
    • FIPS186-3: 1
    • FIPS186-4: 9
  • RFC:
    • RFC 2898: 2
    • RFC 4252: 7
    • RFC 4253: 6
    • RFC 6668: 5
    • RFC4253: 4
  • 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:
    • DAC mechanism but may be supplemented by further restrictions. These additional restrictions are out of scope for this evaluation. Examples of objects which are accessible to users but cannot be used to store: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Author: 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