name |
Huawei HongMeng Kernel V100R006C00SPC020B030 |
PikeOS Separation Kernel, 4.2.4 |
category |
Operating Systems |
Operating Systems |
scheme |
NL |
DE |
status |
active |
active |
not_valid_after |
24.07.2028 |
07.03.2027 |
not_valid_before |
24.07.2023 |
07.03.2022 |
cert_link |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/NSCIB-CC-23-0618835-Cert.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041V2c_pdf.pdf |
report_link |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/nscib-cc-0618835-cr.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041V2a_pdf.pdf |
st_link |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/huawei_h_st-v2.0.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1041V2b_pdf.pdf |
manufacturer |
Huawei Technologies Co., Ltd. |
SYSGO GmbH |
manufacturer_web |
https://www.huawei.com |
https://www.SYSGO.com |
security_level |
EAL6+, ALC_FLR.1 |
EAL3+, ALC_FLR.3 |
dgst |
555926914651b6ca |
1168d0d6a313f497 |
heuristics/cert_id |
NSCIB-CC-23-0618835-CR |
BSI-DSZ-CC-1041-V2-2022 |
heuristics/cert_lab |
|
BSI |
heuristics/cpe_matches |
{} |
{} |
heuristics/verified_cpe_matches |
{} |
{} |
heuristics/related_cves |
{} |
{} |
heuristics/direct_transitive_cves |
{} |
{} |
heuristics/indirect_transitive_cves |
{} |
{} |
heuristics/extracted_sars |
ALC_FLR.1 |
AVA_VAN.2, ALC_FLR.3 |
heuristics/extracted_versions |
- |
4.2.4 |
heuristics/prev_certificates |
{} |
{} |
heuristics/next_certificates |
{} |
{} |
heuristics/report_references/directly_referenced_by |
{} |
{} |
heuristics/report_references/directly_referencing |
{} |
BSI-DSZ-CC-1041-2018 |
heuristics/report_references/indirectly_referenced_by |
{} |
{} |
heuristics/report_references/indirectly_referencing |
{} |
BSI-DSZ-CC-1041-2018 |
heuristics/scheme_data |
|
- category: Operating systems
- cert_id: BSI-DSZ-CC-1041-V2-2022
- certification_date: 07.03.2022
- enhanced:
- applicant: SYSGO GmbH Am Pfaffenstein 8 55270 Klein-Winternheim
- assurance_level: EAL3,ALC_FLR.3
- cert_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1000/1041V2c_pdf.pdf?__blob=publicationFile&v=2
- certification_date: 07.03.2022
- description: The TOE is the PikeOS Separation Kernel version 4.2.2 running on the microprocessor family (x86 64-bit, ARMv7, or ARMv8) hosting different applications. The TOE is referenced as PikeOS 4.2.2 base product build S5400 for Linux and Windows development host with PikeOS 4.2.2 Certification Kit build S5400.
- entries: [frozendict({'id': 'BSI-DSZ-CC-1041-V2-2022', 'description': 'is referenced as PikeOS 4.2.4 base product build S6120 for Linux and Windows development host with PikeOS 4.2.4 Certification Kit build S6120.'}), frozendict({'id': 'BSI-DSZ-CC-1041-2018-MA-01 (18.03.2019)', 'description': 'Security Target'}), frozendict({'id': 'BSI-DSZ-CC-1041-2018 (Ausstellungsdatum / Certification Date 10.12.2018, gültig bis / valid until 09.12.2023) Zertifizierungsreport / Certification Report Sicherheitsvorgaben / Security Target Zertifikat / Certificat', 'description': 'Build'})]
- evaluation_facility: atsec information security GmbH
- expiration_date: 06.03.2027
- product: PikeOS Separation Kernel, 4.2.4
- report_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1000/1041V2a_pdf.pdf?__blob=publicationFile&v=2
- target_link: https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Zertifizierung/Reporte/Reporte1000/1041V2b_pdf.pdf?__blob=publicationFile&v=3
- product: PikeOS Separation Kernel, 4.2.4
- url: https://www.bsi.bund.de/SharedDocs/Zertifikate_CC/CC/Betriebssysteme/1041_1041V2.html
- vendor: SYSGO GmbH
|
heuristics/st_references/directly_referenced_by |
{} |
{} |
heuristics/st_references/directly_referencing |
{} |
{} |
heuristics/st_references/indirectly_referenced_by |
{} |
{} |
heuristics/st_references/indirectly_referencing |
{} |
{} |
heuristics/protection_profiles |
{} |
{} |
maintenance_updates |
|
|
protection_profiles |
|
|
protection_profile_links |
{} |
{} |
pdf_data/cert_filename |
NSCIB-CC-23-0618835-Cert.pdf |
1041V2c_pdf.pdf |
pdf_data/cert_frontpage |
|
|
pdf_data/cert_keywords/cc_cert_id |
|
- DE:
- BSI-DSZ-CC-1041-V2-2022: 1
|
pdf_data/cert_keywords/cc_protection_profile_id |
|
|
pdf_data/cert_keywords/cc_security_level |
- EAL:
- EAL2: 1
- EAL4: 1
- EAL6: 1
- EAL6 augmented: 1
|
- EAL:
- EAL 2: 1
- EAL 3: 1
- EAL 3 augmented: 1
|
pdf_data/cert_keywords/cc_sar |
- ALC:
- ALC_FLR.1: 1
- ALC_FLR.3: 2
|
|
pdf_data/cert_keywords/cc_sfr |
|
|
pdf_data/cert_keywords/cc_claims |
|
|
pdf_data/cert_keywords/vendor |
- Huawei:
- Huawei: 1
- Huawei Technologies: 1
|
|
pdf_data/cert_keywords/eval_facility |
- BrightSight:
- SGS:
- SGS: 1
- SGS Brightsight: 1
|
|
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 |
- ISO:
- ISO/IEC 15408-1: 1
- ISO/IEC 15408-2: 1
- ISO/IEC 15408-3: 1
- ISO/IEC 18045: 2
|
- ISO:
- ISO/IEC 15408: 2
- ISO/IEC 18045: 2
|
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 |
- /Author: kruitr
- /CreationDate: D:20230801124848+02'00'
- /Creator: Bullzip PDF Printer (11.10.0.2761)
- /ModDate: D:20230801125031+02'00'
- /Producer: PDF Printer / www.bullzip.com / FPG / TUV Rheinland Service GmbH
- /Title: Microsoft Word - NSCIB-CC-23-0618835-Cert.docx
- pdf_file_size_bytes: 261155
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 1
|
- /Author: Bundesamt für Sicherheit in der Informationstechnik
- /CreationDate: D:20220311124753+01'00'
- /Creator: Writer
- /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO GmbH, PikeOS, Separation Kernel, BSI-DSZ-CC-1041-V2"
- /ModDate: D:20220311214111+01'00'
- /Producer: LibreOffice 6.3
- /Subject: Common Criteria Zertifizierung, PikeOS Separation Kernel, Version 4.2.4
- /Title: Certification Report BSI-DSZ-CC-1041-v2-2022
- pdf_file_size_bytes: 245703
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 1
|
pdf_data/report_filename |
nscib-cc-0618835-cr.pdf |
1041V2a_pdf.pdf |
pdf_data/report_frontpage |
- DE:
- NL:
- cert_id: NSCIB-CC-0618835-CR
- cert_item: HongMeng Kernel V100R006C00SPC020B030
- cert_lab: SGS Brightsight B.V.
- developer: Huawei Technologies, Co., Ltd
|
- DE:
- cc_security_level: Common Criteria Part 3 conformant EAL 3 augmented by ALC_FLR.3
- cc_version: Product specific Security Target Common Criteria Part 2 conformant
- cert_id: BSI-DSZ-CC-1041-V2-2022
- cert_item: PikeOS Separation Kernel 4.2.4
- cert_lab: BSI
- developer: SYSGO GmbH
- match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
- ref_protection_profiles: None
- NL:
|
pdf_data/report_keywords/cc_cert_id |
|
- DE:
- BSI-DSZ-CC-1041-2018: 3
- BSI-DSZ-CC-1041-V2-2022: 15
|
pdf_data/report_keywords/cc_protection_profile_id |
|
|
pdf_data/report_keywords/cc_security_level |
- EAL:
- EAL 6: 1
- EAL 6 augmented: 1
- EAL4: 1
- EAL5+: 1
- EAL6: 2
- EAL6 augmented: 1
- EAL6+: 2
|
- EAL:
- EAL 1: 1
- EAL 2: 2
- EAL 2+: 1
- EAL 3: 4
- EAL 3 augmented: 3
- EAL 4: 1
- EAL3+: 1
|
pdf_data/report_keywords/cc_sar |
|
|
pdf_data/report_keywords/cc_sfr |
|
|
pdf_data/report_keywords/cc_claims |
|
|
pdf_data/report_keywords/vendor |
- Huawei:
- Huawei: 6
- Huawei Technologies: 3
|
|
pdf_data/report_keywords/eval_facility |
- BrightSight:
- SGS:
- SGS: 2
- SGS Brightsight: 2
|
|
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 |
|
- BSI:
- ISO:
- ISO/IEC 15408: 4
- ISO/IEC 17065: 2
- ISO/IEC 18045: 4
|
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 |
|
- ConfidentialDocument:
- Report, Version 4, 17.02.2022, Final Evaluation Technical Report, atsec information security GmbH, (confidential document) [8] Configuration list for the TOE, 25.01.2022, Master Document List, 16162-9101- MDL.xlsx: 1
- being maintained, is not given any longer. In particular, prior to the dissemination of confidential documentation and information related to the TOE or resulting from the evaluation and certification: 1
|
pdf_data/report_metadata |
|
- /Author: Bundesamt für Sicherheit in der Informationstechnik
- /CreationDate: D:20220311124935+01'00'
- /Creator: Writer
- /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO GmbH, PikeOS, Separation Kernel, BSI-DSZ-CC-1041-V2"
- /ModDate: D:20220314065024+01'00'
- /Producer: LibreOffice 6.3
- /Subject: Common Criteria Zertifizierung, PikeOS Separation Kernel, Version 4.2.4
- /Title: Certification Report BSI-DSZ-CC-1041-v2-2022
- pdf_file_size_bytes: 387582
- pdf_hyperlinks: http://www.commoncriteriaportal.org/cc/, https://www.sogis.eu/, https://www.bsi.bund.de/AIS, http://www.commoncriteriaportal.org/, https://www.bsi.bund.de/zertifizierung, https://www.bsi.bund.de/zertifizierungsreporte, https://www.bsi.bund.de/
- pdf_is_encrypted: False
- pdf_number_of_pages: 28
|
pdf_data/st_filename |
huawei_h_st-v2.0.pdf |
1041V2b_pdf.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:
- EAL 3: 6
- EAL 3 augmented: 2
- EAL 3+: 1
|
pdf_data/st_keywords/cc_sar |
|
|
pdf_data/st_keywords/cc_sfr |
|
- FDP:
- FDP_ACC: 31
- FDP_ACC.2: 13
- FDP_ACF: 31
- FDP_ACF.1: 28
- FDP_IFC.2: 8
- FDP_IFF.1: 11
- FIA:
- FMT:
- FMT_MSA.1: 6
- FMT_MSA.3: 7
- FMT_MSA.3.1: 2
- FMT_MTD: 12
- FMT_MTD.1: 3
- FMT_SMF.1: 5
- FMT_SMR.1: 7
- FRU:
|
pdf_data/st_keywords/cc_claims |
- A:
- A.ENVIRONMENT: 5
- A.TRUSTED: 5
- A.TRUSTWORTHY: 5
- O:
- O.ACCESS: 28
- O.ATTESTATION: 6
- O.CONFIDENTIALITY: 25
- O.CONFIDENTILITY: 1
- O.PRIORITY: 6
- O.SAFE: 7
- OE:
- OE.ENVIRONMENT: 6
- OE.TRUSTED: 2
- OE.TRUSTWORTHY: 6
- OP:
- OP.CALL: 4
- OP.FLUSH: 5
- OP.GRANT: 11
- OP.MAP: 4
- OP.MPROTECT: 5
- OP.NEWCAP: 6
- OP.PG: 6
- OP.RECEIVE: 5
- OP.REJECT: 11
- OP.REPLY: 4
- OP.REVOKE: 11
- OP.SEND: 4
- OP.SHRINK: 5
- OP.UNMAP: 4
- OSP:
- OSP.SAFE: 4
- OSP.SYSTEM: 4
- R:
- R.OWNER: 19
- R.SVISITOR: 15
- R.VISITOR: 13
- T:
- T.QUEUE: 4
- T.UNAUTHORIZED: 4
|
- A:
- A.EXCLUSIVE_RESOURCES: 4
- A.HARDWARE: 3
- A.PHYSICAL: 4
- A.PRIVILEGED_EXECUTABLES: 4
- A.TRUSTWORTHY_PERSONNEL: 4
- OE:
- OE.EXCLUSIVE_RESOURCES: 3
- OE.HARDWARE: 2
- OE.PHYSICAL: 2
- OE.PRIVILEGED_EXECUTABLES: 3
- OE.TRUSTWORTHY_PERSONNEL: 3
- OT:
- OT.API_PROTECTION: 4
- OT.CONFIDENTIALITY: 7
- OT.INTEGRITY: 4
- OT.RESOURCE_AVAILABILITY: 7
- T:
- T.DEPLETION: 4
- T.DISCLOSURE: 4
- T.EXECUTION: 4
- T.MODIFICATION: 4
|
pdf_data/st_keywords/vendor |
- Huawei:
- Huawei: 20
- Huawei Technologies Co: 4
|
|
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 |
|
|
pdf_data/st_keywords/technical_report_id |
|
|
pdf_data/st_keywords/device_model |
|
|
pdf_data/st_keywords/tee_name |
- ARM:
- ARM TrustZone: 1
- TrustZone: 1
- other:
|
|
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 |
|
|
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:
- and development, and delivering source code of the TOE to system integrator. The other phases are out of scope of this ST. 7 1. SECURITY TARGET INTRODUCTION Phase Actors 1 & 2: Firmware/ Software/Hardware: 1
- out of scope: 1
|
|
pdf_data/st_metadata |
- /Author:
- /CreationDate: D:20230922114934+08'00'
- /Creator: LaTeX with hyperref package
- /Keywords:
- /ModDate: D:20230922114934+08'00'
- /PTEX.Fullbanner: This is MiKTeX-pdfTeX 2.9.4307 (1.40.12)
- /Producer: pdfTeX-1.40.12
- /Subject:
- /Title:
- /Trapped: /False
- pdf_file_size_bytes: 517327
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 53
|
- /Author: Dominic Eschweiler / Andreas Paukert
- /BuildID: S6120
- /Company:
- /CreationDate: D:20220126153000+01'00'
- /Creator: Acrobat PDFMaker 15 for Word
- /DOORS-Baseline: N.A.
- /DocID: 00101-8000-ST
- /Keywords:
- /ModDate: D:20220126153008+01'00'
- /Producer: Adobe PDF Library 15.0
- /Revision: 20.12
- /SourceModified: D:20220126142947
- /Status: App
- /Subject: PikeOS Separation Kernel v4.2.4
- /SupplierCode: N.A.
- /TemplateAuthor: HJT
- /TemplateDate: 2012-09-10
- /TemplateID: 00014-9102-BOOK_ENG
- /TemplateRevision: 01.3
- /Title: Security Target
- /Ziel: 4.2.4
- pdf_file_size_bytes: 465508
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 46
|
state/cert/convert_garbage |
False |
False |
state/cert/convert_ok |
True |
True |
state/cert/download_ok |
True |
True |
state/cert/extract_ok |
True |
True |
state/cert/pdf_hash |
Different |
Different |
state/cert/txt_hash |
Different |
Different |
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 |
True |
True |
state/st/download_ok |
True |
True |
state/st/extract_ok |
True |
True |
state/st/pdf_hash |
Different |
Different |
state/st/txt_hash |
Different |
Different |