| name |
MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System V4.0 |
ECC CPU card (Version 1.2) |
| category |
Operating Systems |
ICs, Smart Cards and Smart Card-Related Devices and Systems |
| scheme |
JP |
UK |
| status |
archived |
archived |
| not_valid_after |
07.10.2013 |
19.10.2019 |
| not_valid_before |
24.01.2007 |
19.10.2014 |
| cert_link |
None |
None |
| report_link |
https://www.commoncriteriaportal.org/files/epfiles/c0076_ecvr.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/CRP277.pdf |
| st_link |
https://www.commoncriteriaportal.org/files/epfiles/ |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ST277.pdf |
| manufacturer |
Miracle Linux Corporation |
Gemalto |
| manufacturer_web |
|
https://www.gemalto.com/ |
| security_level |
EAL1 |
EAL4+, AVA_VAN.5, ALC_DVS.2 |
| dgst |
ac287c45e166eaf5 |
00c1aeb0ae6b7195 |
| heuristics/cert_id |
JISEC-CC-CRP-C0076 |
CRP277 |
| heuristics/cert_lab |
[] |
[] |
| heuristics/cpe_matches |
{} |
{} |
| heuristics/verified_cpe_matches |
{} |
{} |
| heuristics/related_cves |
{} |
{} |
| heuristics/direct_transitive_cves |
{} |
{} |
| heuristics/indirect_transitive_cves |
{} |
{} |
| heuristics/extracted_sars |
{} |
ADV_TDS.3, ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, AVA_VAN.5, ASE_INT.1, ALC_CMC.4, ADV_COMP.1, ASE_REQ.2, AGD_PRE.1, ATE_DPT.1, ASE_ECD.1, ADV_IMP.1, ALC_LCD.1, ALC_DVS.2, ASE_SPD.1, ATE_COV.2, ASE_TSS.2, ALC_TAT.1, AGD_OPE.1, ALC_CMS.4, ALC_DEL.1, ADV_FSP.4, ADV_ARC.1 |
| heuristics/extracted_versions |
4.0 |
1.2 |
| heuristics/prev_certificates |
{} |
{} |
| heuristics/next_certificates |
{} |
{} |
| heuristics/report_references/directly_referenced_by |
{} |
{} |
| heuristics/report_references/directly_referencing |
{} |
{} |
| heuristics/report_references/indirectly_referenced_by |
{} |
{} |
| heuristics/report_references/indirectly_referencing |
{} |
{} |
| heuristics/scheme_data |
- cert_id: JISEC-CC-CRP-C0076
- certification_date: 01.01.2007
- claim: EAL1
- enhanced:
- assurance_level: EAL1
- description: PRODUCT DESCRIPTION This TOE is a common part of MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One which is commercially available distribution of the Linux operating system. It is a multi-user, multi-tasking operating system designed for use on Intel x86 platforms. This TOE provides identification and authorization, discretionary access control, process separation, auditing of identification and authorization to protect information against illegal access, falsification and information leaks.
- evaluation_facility: Mizuho Information & Research Institute, Inc. Center for Evaluation of Information Security
- product: MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System
- product_type: IT Product (Operating System)
- toe_version: V4.0
- vendor: MIRACLE LINUX CORPORATION
- expiration_date: 01.10.2013
- supplier: MIRACLE LINUX CORPORA TION
- toe_japan_link: https://www.ipa.go.jp/en/security/jisec/software/certified-cert/c0076_it6093.html
- toe_japan_name: MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System V4.0
- toe_overseas_link: None
- toe_overseas_name: -----
|
|
| heuristics/st_references/directly_referenced_by |
{} |
{} |
| heuristics/st_references/directly_referencing |
{} |
BSI-DSZ-CC-0883-2013 |
| heuristics/st_references/indirectly_referenced_by |
{} |
{} |
| heuristics/st_references/indirectly_referencing |
{} |
BSI-DSZ-CC-0883-2013 |
| heuristics/protection_profiles |
{} |
{} |
| maintenance_updates |
|
|
| protection_profiles |
|
|
| protection_profile_links |
{} |
{} |
| pdf_data/cert_filename |
None |
None |
| pdf_data/cert_frontpage |
|
|
| pdf_data/cert_keywords/cc_cert_id |
|
|
| pdf_data/cert_keywords/cc_protection_profile_id |
|
|
| pdf_data/cert_keywords/cc_security_level |
|
|
| pdf_data/cert_keywords/cc_sar |
|
|
| pdf_data/cert_keywords/cc_sfr |
|
|
| pdf_data/cert_keywords/cc_claims |
|
|
| pdf_data/cert_keywords/vendor |
|
|
| 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 |
|
|
| 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 |
|
|
| 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 |
|
|
| pdf_data/report_filename |
c0076_ecvr.pdf |
CRP277.pdf |
| pdf_data/report_frontpage |
|
|
| pdf_data/report_keywords/cc_cert_id |
- JP:
- Certification No. C0076: 1
|
|
| pdf_data/report_keywords/cc_protection_profile_id |
|
|
| pdf_data/report_keywords/cc_security_level |
|
- EAL:
- EAL1: 1
- EAL4: 5
- EAL4 augmented: 2
- EAL7: 1
|
| pdf_data/report_keywords/cc_sar |
|
|
| pdf_data/report_keywords/cc_sfr |
|
|
| pdf_data/report_keywords/cc_claims |
|
|
| pdf_data/report_keywords/vendor |
|
|
| pdf_data/report_keywords/eval_facility |
|
|
| pdf_data/report_keywords/symmetric_crypto |
|
|
| pdf_data/report_keywords/asymmetric_crypto |
|
|
| pdf_data/report_keywords/pq_crypto |
|
|
| pdf_data/report_keywords/hash_function |
|
|
| pdf_data/report_keywords/crypto_scheme |
|
|
| pdf_data/report_keywords/crypto_protocol |
|
|
| pdf_data/report_keywords/randomness |
|
|
| pdf_data/report_keywords/cipher_mode |
|
|
| pdf_data/report_keywords/ecc_curve |
|
|
| 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 |
|
|
| pdf_data/report_keywords/technical_report_id |
|
|
| pdf_data/report_keywords/device_model |
|
|
| pdf_data/report_keywords/tee_name |
|
|
| pdf_data/report_keywords/os_name |
|
|
| pdf_data/report_keywords/cplc_data |
|
|
| pdf_data/report_keywords/ic_data_group |
|
|
| 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
|
| 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 |
|
|
| pdf_data/report_metadata |
- /CreationDate: D:20070126115647+09'00'
- /ModDate: D:20070126115647+09'00'
- /Producer: Acrobat Distiller 6.0 (Windows)
- /Title: untitled
- pdf_file_size_bytes: 12684
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 1
|
|
| pdf_data/st_filename |
|
ST277.pdf |
| pdf_data/st_frontpage |
|
|
| pdf_data/st_keywords/cc_cert_id |
|
- DE:
- BSI-DSZ-CC-0883: 4
- BSI-DSZ-CC-0883-: 1
- BSI-DSZ-CC-0883-2013: 2
|
| pdf_data/st_keywords/cc_protection_profile_id |
|
|
| pdf_data/st_keywords/cc_security_level |
|
- EAL:
- EAL4: 4
- EAL4 augmented: 3
- EAL4+: 2
- EAL5: 1
- EAL5 augmented: 1
- EAL5+: 2
|
| pdf_data/st_keywords/cc_sar |
|
- ADV:
- ADV_ARC.1: 8
- ADV_COMP.1: 2
- ADV_FSP.1: 5
- ADV_FSP.2: 4
- ADV_FSP.4: 11
- ADV_IMP: 1
- ADV_IMP.1: 5
- ADV_TDS.1: 3
- ADV_TDS.2: 1
- ADV_TDS.3: 11
- AGD:
- AGD_OPE.1: 8
- AGD_PRE.1: 6
- ALC:
- ALC_CMC.4: 2
- ALC_CMS.1: 2
- ALC_CMS.4: 1
- ALC_DEL.1: 2
- ALC_DVS.1: 1
- ALC_DVS.2: 7
- ALC_LCD.1: 5
- ALC_TAT.1: 5
- ASE:
- ASE_CCL.1: 1
- ASE_ECD.1: 4
- ASE_INT.1: 5
- ASE_OBJ.2: 3
- ASE_REQ.1: 2
- ASE_REQ.2: 2
- ASE_SPD.1: 2
- ASE_TSS.1: 1
- ASE_TSS.2: 1
- ATE:
- ATE_COV.1: 4
- ATE_COV.2: 4
- ATE_DPT.1: 2
- ATE_FUN.1: 8
- AVA:
|
| pdf_data/st_keywords/cc_sfr |
|
- FAU:
- FAU_ARP.1: 11
- FAU_ARP.1.1: 2
- FAU_GEN: 1
- FAU_GEN.1: 10
- FAU_GEN.1.1: 2
- FAU_GEN.1.2: 2
- FAU_SAA: 1
- FAU_SAA.1: 13
- FAU_SAA.1.1: 3
- FAU_SAA.1.2: 1
- FAU_SAR: 1
- FAU_SAR.1: 3
- FAU_SAR.1.1: 2
- FAU_SAR.1.2: 2
- FAU_SAS.1: 1
- FAU_STG: 1
- FAU_STG.1: 9
- FAU_STG.1.1: 2
- FAU_STG.1.2: 2
- FCO:
- FCO_NRO: 6
- FCO_NRO.1: 3
- FCO_NRO.2: 2
- FCO_NRO.2.2: 3
- FCO_NRO.2.3: 3
- FCS:
- FCS_CKM: 13
- FCS_CKM.1: 11
- FCS_CKM.1.1: 1
- FCS_CKM.2: 5
- FCS_CKM.2.1: 1
- FCS_CKM.3: 5
- FCS_CKM.3.1: 2
- FCS_CKM.4: 18
- FCS_CKM.4.1: 2
- FCS_COP: 13
- FCS_COP.1: 16
- FCS_COP.1.1: 2
- FCS_RNG.1: 1
- FDP:
- FDP_ACC: 31
- FDP_ACC.1: 27
- FDP_ACC.1.1: 1
- FDP_ACC.2: 9
- FDP_ACC.2.2: 1
- FDP_ACF: 11
- FDP_ACF.1: 31
- FDP_ACF.1.1: 1
- FDP_ACF.1.2: 1
- FDP_ACF.1.3: 1
- FDP_ACF.1.4: 1
- FDP_IFC: 12
- FDP_IFC.1: 19
- FDP_IFC.1.1: 1
- FDP_IFC.2: 3
- FDP_IFCC: 1
- FDP_IFF: 5
- FDP_IFF.1: 14
- FDP_IFF.1.1: 1
- FDP_IFF.1.2: 1
- FDP_IFF.1.3: 1
- FDP_IFF.1.4: 1
- FDP_IFF.1.5: 1
- FDP_ITC: 6
- FDP_ITC.1: 8
- FDP_ITC.1.1: 1
- FDP_ITC.1.2: 1
- FDP_ITC.1.3: 1
- FDP_ITC.2: 4
- FDP_ITT.1: 1
- FDP_RIP: 10
- FDP_RIP.1: 3
- FDP_RIP.1.1: 1
- FDP_ROL: 8
- FDP_ROL.1: 4
- FDP_ROL.1.1: 1
- FDP_ROL.1.2: 1
- FDP_SDI.1: 4
- FDP_SDI.2: 6
- FDP_SDI.2.2: 2
- FDP_UCT: 1
- FDP_UCT.1: 5
- FDP_UCT.1.1: 2
- FDP_UIT.1: 7
- FDP_UIT.1.1: 2
- FDP_UIT.1.2: 2
- FDP_UTC.1: 1
- FIA:
- FIA_ATD: 5
- FIA_ATD.1: 4
- FIA_ATD.1.1: 1
- FIA_SOS: 1
- FIA_SOS.2: 6
- FIA_SOS.2.1: 2
- FIA_SOS.2.2: 2
- FIA_UAU: 23
- FIA_UAU.1: 4
- FIA_UAU.1.1: 1
- FIA_UAU.1.2: 1
- FIA_UAU.3: 2
- FIA_UAU.3.1: 2
- FIA_UAU.3.2: 2
- FIA_UAU.4: 2
- FIA_UAU.4.1: 1
- FIA_UAU.6: 2
- FIA_UAU.6.1: 1
- FIA_UID: 4
- FIA_UID.1: 21
- FIA_UID.2: 1
- FIA_USB: 4
- FIA_USB.1: 4
- FIA_USB.1.1: 1
- FIA_USB.1.2: 1
- FIA_USB.1.3: 1
- FMT:
- FMT_LIM.1: 2
- FMT_LIM.2: 2
- FMT_MOF.1: 5
- FMT_MSA: 38
- FMT_MSA.1: 13
- FMT_MSA.1.1: 2
- FMT_MSA.2: 1
- FMT_MSA.2.1: 1
- FMT_MSA.3: 16
- FMT_MSA.3.1: 2
- FMT_MSA.3.2: 2
- FMT_MTD: 1
- FMT_MTD.1: 5
- FMT_MTD.1.1: 2
- FMT_SMF: 4
- FMT_SMF.1: 13
- FMT_SMF.1.1: 1
- FMT_SMR: 1
- FMT_SMR.1: 27
- FMT_SMR.1.1: 2
- FMT_SMR.1.2: 2
- FPR:
- FPR_UNO: 1
- FPR_UNO.1: 8
- FPR_UNO.1.1: 2
- FPT:
- FPT_FLS: 1
- FPT_FLS.1: 8
- FPT_FLS.1.1: 2
- FPT_ITC: 1
- FPT_ITC.1: 4
- FPT_ITC.1.1: 2
- FPT_ITI: 1
- FPT_ITI.1: 8
- FPT_ITI.1.1: 2
- FPT_ITI.1.2: 2
- FPT_ITT.1: 1
- FPT_PHP: 2
- FPT_PHP.1: 2
- FPT_PHP.2: 4
- FPT_PHP.2.2: 2
- FPT_PHP.2.3: 2
- FPT_PHP.3: 11
- FPT_PHP.3.1: 2
- FPT_RCV.4: 7
- FPT_RCV.4.1: 2
- FPT_RPL: 1
- FPT_RPL.1: 5
- FPT_RPL.1.1: 2
- FPT_RPL.1.2: 2
- FPT_STM.1: 5
- FPT_TDC: 3
- FPT_TDC.1: 3
- FPT_TDC.1.1: 1
- FPT_TDC.1.2: 1
- FPT_TST: 1
- FPT_TST.1: 8
- FPT_TST.1.1: 2
- FPT_TST.1.2: 2
- FPT_TST.1.3: 2
- FPT_TST.2: 1
- FRU:
- FTP:
- FTP_ITC.1: 9
- FTP_TRP.1: 9
|
| pdf_data/st_keywords/cc_claims |
|
- A:
- A.PHYSICAL: 4
- A.PROTECTION_AFTER_TOE_DE: 1
- A.PROTECTION_AFTER_TOE_DELIVERY: 3
- D:
- D.COUNTERS: 6
- D.EM: 13
- D.EP_CODE: 5
- D.EP_IVDATA: 3
- D.EP_IV_DATA: 1
- D.EP_STATE: 5
- D.KEYS: 9
- D.LOG_DATA: 4
- O:
- O.AUTH: 13
- O.CONFID_DATA: 1
- O.CONF_DATA: 12
- O.EM: 6
- O.INTEG_DATA: 7
- O.JAVAOBJECT: 10
- O.MEM_ACCE: 1
- O.OPERATE: 17
- O.RECORD: 5
- O.REPLAY: 7
- O.RND: 1
- O.TAMPER: 16
- OE:
- OE.DEBIT_BEFORE_CREDIT: 3
- OE.PHYSICAL: 3
- OE.PROTECTION_AFTER_TOE_DELIVERY: 3
- OE.PURSE_BEHAVIOR: 3
- OE.SECRET_MNGT: 3
- OP:
- OP.ARRAY_ACCESS: 2
- OP.CREATE: 4
- OP.INSTANCE_FIELD: 1
- OP.INVK_INTERFACE: 4
- OP.INVK_VIRTUAL: 2
- OP.JAVA: 3
- OP.PUT: 3
- OP.THROW: 2
- OP.TYPE_ACCESS: 2
- OSP:
- OSP.DEBIT_BEFORE_CREDIT: 3
- OSP.PURSE_BEHAVIOR: 4
- OSP.SECRET_MNGT: 4
- R:
- T:
- T.COUNTERFEITING: 2
- T.COUNTERFEITING_AUTH: 2
- T.COUNTERFEITING_AUTOLOAD: 6
- T.COUNTERFEITING_CREDIT: 2
- T.COUNTERFEITING_DEBIT: 6
- T.COUNTERFEITING_UPDATE: 4
- T.DISCLOSURE_KEYS: 10
- T.INTEG: 4
- T.INTEG_: 1
- T.INTEG_CODE: 6
- T.INTEG_COUNTERS: 6
- T.INTEG_EM: 6
- T.INTEG_EP_IVDATA: 2
- T.INTEG_EP_STATE: 6
- T.INTEG_IVDATA: 1
- T.INTEG_KEYS: 3
- T.INTEG_LOG_DATA: 3
- T.REPLAY: 2
- T.REPLAY_AUTOLOAD: 4
- T.REPLAY_CREDIT: 3
- T.REPLAY_DEBIT: 4
- T.REPLAY_UPDATE: 3
- T.RND: 1
|
| pdf_data/st_keywords/vendor |
|
- Gemalto:
- Infineon:
- Infineon: 11
- Infineon Technologies: 1
|
| pdf_data/st_keywords/eval_facility |
|
|
| pdf_data/st_keywords/symmetric_crypto |
|
|
| pdf_data/st_keywords/asymmetric_crypto |
|
|
| pdf_data/st_keywords/pq_crypto |
|
|
| pdf_data/st_keywords/hash_function |
|
|
| pdf_data/st_keywords/crypto_scheme |
|
|
| pdf_data/st_keywords/crypto_protocol |
|
|
| pdf_data/st_keywords/randomness |
|
|
| pdf_data/st_keywords/cipher_mode |
|
|
| pdf_data/st_keywords/ecc_curve |
|
|
| 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: 4
- Physical tampering: 1
- malfunction: 3
- physical tampering: 13
- SCA:
- Leak-Inherent: 3
- Physical Probing: 2
- Side channel: 1
- physical probing: 3
- other:
|
| pdf_data/st_keywords/technical_report_id |
|
|
| pdf_data/st_keywords/device_model |
|
|
| pdf_data/st_keywords/tee_name |
|
|
| pdf_data/st_keywords/os_name |
|
|
| pdf_data/st_keywords/cplc_data |
|
|
| pdf_data/st_keywords/ic_data_group |
|
|
| 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
- RFC:
|
| 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:
- Crypto libs) written in native language, The IC M7794 The elements out of scope of the TOE are: Other application(s: 1
- libraries itself) (Crypto libs) written in native language, The IC M7794 The elements out of scope of the TOE are: Other application(s) written in java language 2.3.2 Logical scope of the TOE The: 1
- out of scope: 1
|
| pdf_data/st_metadata |
|
- /Author: C. Teri
- /CreationDate: D:20140930094956+02'00'
- /Creator: Microsoft® Office Word 2007
- /ModDate: D:20141110132727Z
- /Producer: Microsoft® Office Word 2007
- /Title: Security Target ECC CPU card
- pdf_file_size_bytes: 1345514
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 104
|
| state/cert/convert_garbage |
None |
None |
| state/cert/convert_ok |
False |
False |
| state/cert/download_ok |
False |
False |
| state/cert/extract_ok |
False |
False |
| state/cert/pdf_hash |
Equal |
Equal |
| state/cert/txt_hash |
Equal |
Equal |
| state/report/convert_garbage |
None |
None |
| 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 |
None |
None |
| state/st/convert_ok |
False |
True |
| state/st/download_ok |
False |
True |
| state/st/extract_ok |
False |
True |
| state/st/pdf_hash |
Different |
Different |
| state/st/txt_hash |
Different |
Different |