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 |
ProxSIM Taurus, version 1.0 |
category |
Operating Systems |
ICs, Smart Cards and Smart Card-Related Devices and Systems |
scheme |
JP |
NL |
status |
archived |
archived |
not_valid_after |
07.10.2013 |
31.05.2021 |
not_valid_before |
24.01.2007 |
31.05.2011 |
cert_link |
None |
None |
report_link |
https://www.commoncriteriaportal.org/files/epfiles/c0076_ecvr.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Certification%20Report%20NSCIB-CC-09-26151-CR.pdf |
st_link |
https://www.commoncriteriaportal.org/files/epfiles/ |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/[ST-LITE]%20ASE_ST_ProxSIMTaurus_Lite.pdf |
manufacturer |
Miracle Linux Corporation |
G+D Mobile Security GmbH |
manufacturer_web |
|
https://www.gi-de.com/de/de/mobile-security/ |
security_level |
EAL1 |
AVA_VAN.5, ALC_DVS.2, ALC_FLR.2, EAL4+ |
dgst |
ac287c45e166eaf5 |
43cfcde53a449ecc |
heuristics/cert_id |
JISEC-CC-CRP-C0076 |
NSCIB-CC-09-26151-CR |
heuristics/cert_lab |
[] |
|
heuristics/cpe_matches |
{} |
{} |
heuristics/verified_cpe_matches |
{} |
{} |
heuristics/related_cves |
{} |
{} |
heuristics/direct_transitive_cves |
{} |
{} |
heuristics/indirect_transitive_cves |
{} |
{} |
heuristics/extracted_sars |
{} |
AVA_VAN.5, ADV_ARC.1, ATE_COV.2, ASE_TSS.1, AGD_OPE.1, ATE_DPT.1, ADV_IMP.1, ALC_FLR.2, ASE_REQ.2, ALC_TAT.1, ALC_DVS.2, AGD_PRE.1, ASE_CCL.1, ATE_IND.2, ALC_CMS.4, ASE_ECD.1, ADV_TDS.3, ALC_DEL.1, ASE_OBJ.2, ADV_FSP.4, ASE_INT.1, ASE_SPD.1, ATE_FUN.1, ALC_CMC.4, ALC_LCD.1 |
heuristics/extracted_versions |
4.0 |
1.0 |
heuristics/prev_certificates |
{} |
{} |
heuristics/next_certificates |
{} |
{} |
heuristics/report_references/directly_referenced_by |
{} |
NSCIB-CC-11-32973-CR |
heuristics/report_references/directly_referencing |
{} |
ANSSI-CC-2010/57, ANSSI-CC-2009/57 |
heuristics/report_references/indirectly_referenced_by |
{} |
NSCIB-CC-11-32973-CR |
heuristics/report_references/indirectly_referencing |
{} |
ANSSI-CC-2009/05, ANSSI-CC-2010/02, ANSSI-CC-2009/57, ANSSI-CC-2009/26, ANSSI-CC-2009/51, ANSSI-CC-2010/22, ANSSI-CC-2010/57, ANSSI-CC-2010/01, ANSSI-CC-2010/19, ANSSI-CC-2009/28, ANSSI-CC-2009/25, ANSSI-CC-2009/50, ANSSI-CC-2009/06, ANSSI-CC-2009/62 |
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 |
{} |
ANSSI-CC-2009/57 |
heuristics/st_references/indirectly_referenced_by |
{} |
{} |
heuristics/st_references/indirectly_referencing |
{} |
ANSSI-CC-2009/57 |
heuristics/protection_profiles |
{} |
85bef5b6f16c4d33 |
maintenance_updates |
|
|
protection_profiles |
|
|
protection_profile_links |
{} |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/ANSSI-CC-cible_PP-2010-03en.pdf |
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 |
Certification Report NSCIB-CC-09-26151-CR.pdf |
pdf_data/report_frontpage |
|
- NL:
- cert_id: NSCIB-CC-09-26151-CR
- cert_item: ProxSIM Taurus, v1.0
- cert_lab: Brightsight
- developer: Giesecke & Devrient GmbH
|
pdf_data/report_keywords/cc_cert_id |
- JP:
- Certification No. C0076: 1
|
- FR:
- ANSSI-2010/57: 1
- ANSSI-CC-2009/57: 1
- ANSSI-CC-PP-2010/03: 1
- NL:
- NSCIB-CC-09-26151: 1
- NSCIB-CC-09-26151-CR: 15
|
pdf_data/report_keywords/cc_protection_profile_id |
|
|
pdf_data/report_keywords/cc_security_level |
|
- EAL:
- EAL 4: 1
- EAL 4 augmented: 1
- EAL 5+: 1
- EAL4: 3
- EAL4 augmented: 1
- EAL4+: 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.2: 3
- 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
- ATE_IND.2: 1
- AVA:
|
pdf_data/report_keywords/cc_sfr |
|
|
pdf_data/report_keywords/cc_claims |
|
|
pdf_data/report_keywords/vendor |
|
- GD:
- G&D: 9
- Giesecke & Devrient: 4
- Samsung:
|
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 |
|
- ISO:
- ISO/IEC 7816-3: 1
- ISO/IEC 7816-4: 1
|
pdf_data/report_keywords/javacard_version |
|
- JavaCard:
- Java Card 2.2: 1
- Java Card 2.2.2: 3
|
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 |
|
[ST-LITE] ASE_ST_ProxSIMTaurus_Lite.pdf |
pdf_data/st_frontpage |
|
|
pdf_data/st_keywords/cc_cert_id |
|
|
pdf_data/st_keywords/cc_protection_profile_id |
|
|
pdf_data/st_keywords/cc_security_level |
|
- EAL:
- EAL4: 3
- EAL4 augmented: 3
|
pdf_data/st_keywords/cc_sar |
|
|
pdf_data/st_keywords/cc_sfr |
|
- FAU:
- FCO:
- FCS:
- FCS_CKM.1: 5
- FCS_CKM.1.1: 2
- FCS_CKM.2: 6
- FCS_CKM.2.1: 2
- FCS_CKM.3: 7
- FCS_CKM.3.1: 2
- FCS_CKM.4: 6
- FCS_CKM.4.1: 2
- FCS_COP.1: 6
- FCS_COP.1.1: 13
- FDP:
- FDP_ACC: 12
- FDP_ACC.2: 13
- FDP_ACF: 12
- FDP_ACF.1: 28
- FDP_IFC: 12
- FDP_IFC.1: 6
- FDP_IFC.2: 4
- FDP_IFF: 12
- FDP_IFF.1: 30
- FDP_ITC: 4
- FDP_ITC.2: 10
- FDP_RIP: 32
- FDP_RIP.1: 32
- FDP_ROL: 8
- FDP_ROL.1: 8
- FDP_SDI.2: 4
- FDP_SDI.2.1: 2
- FDP_SDI.2.2: 2
- FDP_UIT: 4
- FDP_UIT.1: 4
- FIA:
- FIA_ATD: 4
- FIA_ATD.1: 2
- FIA_UID: 8
- FIA_UID.1: 4
- FIA_UID.2: 2
- FIA_USB: 4
- FIA_USB.1.1: 2
- FIA_USB.1.2: 2
- FIA_USB.1.3: 2
- FMT:
- FMT_MSA: 40
- FMT_MSA.1: 12
- FMT_MSA.2: 4
- FMT_MSA.3: 26
- FMT_MTD: 8
- FMT_MTD.1: 2
- FMT_MTD.3: 2
- FMT_REV: 4
- FMT_REV.1: 6
- FMT_SMF: 14
- FMT_SMF.1: 10
- FMT_SMR: 18
- FMT_SMR.1: 23
- FPR:
- FPR_UNO.1: 4
- FPR_UNO.1.1: 2
- FPT:
- FPT_FLS: 15
- FPT_FLS.1: 8
- FPT_RCV: 4
- FPT_RCV.3: 8
- FPT_TDC.1: 5
- FPT_TDC.1.1: 2
- FPT_TDC.1.2: 3
- FTP:
|
pdf_data/st_keywords/cc_claims |
|
- A:
- A.APPLET: 2
- A.DELETION: 2
- A.VERIFICATION: 2
- D:
- D.API_DATA: 3
- D.APP_CODE: 7
- D.APP_C_DATA: 3
- D.APP_I_DATA: 5
- D.CRYPTO: 4
- D.JCS_CODE: 3
- D.JCS_DATA: 5
- D.PIN: 4
- D.SEC_DATA: 7
- O:
- O.ALARM: 3
- O.APPLET: 22
- O.CIPHER: 4
- O.CODE_PKG: 13
- O.DELETION: 1
- O.FIREWALL: 3
- O.GLOBAL_ARRAYS_CONFID: 2
- O.GLOBAL_ARRAYS_INTEG: 2
- O.INSTALL: 1
- O.JAVAOBJECT: 32
- O.KEY-: 1
- O.KEY-MNGT: 3
- O.KEYMNGT: 2
- O.LOAD: 1
- O.NATIVE: 1
- O.OBJ-DELETION: 1
- O.OPERATE: 3
- O.PIN-MNGT: 4
- O.REALLOCATION: 3
- O.REMOTE: 1
- O.REMOTE_MTHD: 6
- O.REMOTE_OBJ: 11
- O.RESOURCES: 1
- O.RMI_SERVICE: 13
- O.ROR: 5
- O.SCP: 25
- O.SID: 3
- O.TRANSACTION: 4
- OE:
- OE.APPLET: 2
- OE.CARD-MANAGEMENT: 2
- OE.CARDMANAGEMENT: 2
- OE.SCP: 18
- OE.SYM_KEY_GEN: 13
- OE.VERIFICATION: 4
- OP:
- OP.ARRAY_ACCESS: 4
- OP.CREATE: 8
- OP.DELETE_APPLET: 4
- OP.DELETE_PCKG: 3
- OP.DELETE_PCKG_APPLET: 3
- OP.GET_ROR: 3
- OP.INSTANCE_FIELD: 3
- OP.INVK_INTERFACE: 7
- OP.INVK_VIRTUAL: 6
- OP.INVOKE: 3
- OP.JAVA: 6
- OP.PUT: 5
- OP.RET_RORD: 4
- OP.THROW: 5
- OP.TYPE_ACCESS: 5
- OSP:
- R:
- T:
- T.CONFID-APPLI-: 1
- T.CONFID-APPLI-DATA: 4
- T.CONFID-JCS-CODE: 1
- T.CONFID-JCS-DATA: 1
- T.DELETION: 1
- T.EXE-: 1
- T.EXE-CODE: 2
- T.EXE-CODE-REMOTE: 1
- T.INSTALL: 1
- T.INTEG-APPLI-CODE: 2
- T.INTEG-APPLI-DATA: 5
- T.INTEG-JCS-CODE: 1
- T.INTEG-JCS-DATA: 1
- T.NATIVE: 1
- T.OBJ-DELETION: 1
- T.PHYSICAL: 5
- T.RESSOURCES: 1
- T.SID: 2
|
pdf_data/st_keywords/vendor |
|
- GD:
- G&D: 24
- Giesecke & Devrient: 8
- Samsung:
|
pdf_data/st_keywords/eval_facility |
|
|
pdf_data/st_keywords/symmetric_crypto |
|
- AES_competition:
- DES:
- constructions:
|
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: 2
- physical tampering: 1
- SCA:
- DPA: 3
- physical probing: 2
|
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 |
|
- BSI:
- CC:
- CCMB-2006-09-001: 1
- CCMB-2007-09-002: 1
- CCMB-2007-09-003: 1
- CCMB-2009-07-001: 1
- CCMB-2009-07-002: 1
- CCMB-2009-07-003: 1
- CCMB-2009-07-004: 1
- ISO:
- ISO/IEC 14888: 2
- ISO/IEC 7816-3: 1
- ISO/IEC 7816-4: 1
- ISO/IEC 7816-6: 1
- PKCS:
- RFC:
- RFC 2409: 1
- RFC 3447: 1
- RFC2409: 5
|
pdf_data/st_keywords/javacard_version |
|
- JavaCard:
- Java Card 2.2: 1
- Java Card 2.2.2: 3
|
pdf_data/st_keywords/javacard_api_const |
|
|
pdf_data/st_keywords/javacard_packages |
|
- java:
- javacard:
- javacard.framework: 3
- javacard.framework.service: 1
- javacard.security: 2
- javacardx:
- javacardx.crypto: 1
- javacardx.rmi: 1
|
pdf_data/st_keywords/certification_process |
|
- OutOfScope:
- Java Card API (class Checksum) or implement its own mechanisms in the application, which both is out of scope of this evaluation. 6.1.1.3.3 FPT_TDC.1 Inter-TSF basic TSF data consistency 6.1.1.3.3.1 FPT_TDC.1: 1
- class Checksum) or implement its own mechanisms in the application, which both is out of scope of this evaluation: 1
- out of scope: 1
|
pdf_data/st_metadata |
|
- /Author: gawlasf
- /CreationDate: D:20110525172616+02'00'
- /Creator: PScript5.dll Version 5.2.2
- /ModDate: D:20110525172616+02'00'
- /Producer: Acrobat Distiller 9.4.2 (Windows)
- /Title: Microsoft Word - ASE_ST_ProxSIMTaurus_Lite.doc
- pdf_file_size_bytes: 471900
- pdf_hyperlinks: {}
- pdf_is_encrypted: True
- pdf_number_of_pages: 98
|
state/cert/convert_garbage |
False |
False |
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 |
False |
False |
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 |
False |
False |
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 |