name |
Senetas CN / CS Ethernet Encryptors |
PikeOS Separation Kernel, Version 5.1.3 |
category |
Network and Network-Related Devices and Systems |
Operating Systems |
scheme |
AU |
DE |
status |
archived |
active |
not_valid_after |
01.09.2019 |
19.09.2027 |
not_valid_before |
05.09.2011 |
20.09.2022 |
cert_link |
|
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1146c_pdf.pdf |
report_link |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Senetas_CR_v1.0.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1146a_pdf.pdf |
st_link |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Senetas_ST_V3.0.pdf |
https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1146b_pdf.pdf |
manufacturer |
Senetas Security Pty Ltd |
SYSGO GmbH |
manufacturer_web |
https://www.senetas.com |
https://www.SYSGO.com |
security_level |
ALC_FLR.2, EAL4+ |
ALC_DVS.2, ALC_FLR.3, ALC_CMC.5, AVA_VAN.5, EAL5+, ADV_IMP.2 |
dgst |
8e916e2bbe12616f |
2704a53db5b77866 |
heuristics/cert_id |
Certificate Number: 2011/77 |
BSI-DSZ-CC-1146-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.2 |
ADV_IMP.2, AGD_PRE.1, ADV_TDS.3, ALC_CMS.5, ALC_LCD.1, ADV_ARC.1, AVA_VAN.5, AGD_OPE.1, ALC_TAT.1, ADV_INT.2, ATE_DPT.1, ADV_FSP.4, ALC_CMC.5, ALC_FLR.3, ALC_DVS.2 |
heuristics/extracted_versions |
- |
5.1.3 |
heuristics/prev_certificates |
{} |
{} |
heuristics/next_certificates |
{} |
{} |
heuristics/report_references/directly_referenced_by |
{} |
BSI-DSZ-CC-1185-2023 |
heuristics/report_references/directly_referencing |
{} |
{} |
heuristics/report_references/indirectly_referenced_by |
{} |
BSI-DSZ-CC-1185-2023 |
heuristics/report_references/indirectly_referencing |
{} |
{} |
heuristics/scheme_data |
|
|
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 |
|
1146c_pdf.pdf |
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 |
|
- EAL:
- EAL 2: 1
- EAL 4: 1
- EAL 5: 2
- EAL 5 augmented: 1
|
pdf_data/cert_keywords/cc_sar |
|
- ADV:
- ALC:
- ALC_CMC.5: 1
- ALC_DVS.2: 1
- ALC_FLR: 1
- ALC_FLR.3: 1
- AVA:
|
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 |
|
- 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: Bundesamt für Sicherheit in der Informationstechnik
- /CreationDate: D:20220920112048+02'00'
- /Creator: Writer
- /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO GmbH, PikeOS, Separation Kernel, Certification Report"
- /ModDate: D:20220920135502+02'00'
- /Producer: LibreOffice 7.2
- /Subject: Certification Report, Common Criteria Zertifizierung, PikeOS Separation Kernel, Version 5.1.3
- /Title: Certification Report BSI-DSZ-CC-1146-2022
- pdf_file_size_bytes: 327689
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 1
|
pdf_data/report_filename |
Senetas_CR_v1.0.pdf |
1146a_pdf.pdf |
pdf_data/report_frontpage |
|
- DE:
- cc_security_level: Common Criteria Part 3 conformant EAL 5 augmented by ADV_IMP.2, ALC_CMC.5, ALC_DVS.2, ALC_FLR.3, AVA_VAN.5
- cc_version: Product specific Security Target Common Criteria Part 2 conformant
- cert_id: BSI-DSZ-CC-1146-2022
- cert_item: PikeOS Separation Kernel Version 5.1.3
- cert_lab: BSI
- developer: SYSGO GmbH
- match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
- ref_protection_profiles: None
|
pdf_data/report_keywords/cc_cert_id |
- AU:
- Certificate Number: 2011/77: 1
|
|
pdf_data/report_keywords/cc_protection_profile_id |
|
|
pdf_data/report_keywords/cc_security_level |
|
- EAL:
- EAL 1: 1
- EAL 2: 2
- EAL 2+: 1
- EAL 4: 4
- EAL 5: 7
- EAL 5 augmented: 3
- EAL 5+: 1
- EAL 6: 1
|
pdf_data/report_keywords/cc_sar |
|
- ADV:
- ADV_FSP.5: 1
- ADV_IMP.2: 5
- ADV_INT.2: 1
- ADV_TDS.4: 1
- ALC:
- ALC_CMC.5: 5
- ALC_CMS.5: 1
- ALC_DVS.2: 5
- ALC_FLR: 3
- ALC_FLR.3: 5
- ALC_TAT.2: 1
- ATE:
- AVA:
|
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-2009-07-001: 2
- CCMB-2009-07-002: 2
- CCMB-2009-07-003: 2
- CCMB-2009-07-004: 2
- FIPS:
- ISO:
- X509:
|
- 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 7, 2022-09-08, Final Evaluation Technical Report, atsec information security GmbH, (confidential document) [8] Configuration list for the TOE, 2022-09-06, 18064-0000-MDL.xlsx (confidential document) [9: 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: Windows User
- /CreationDate: D:20110907164217
- /Creator: Microsoft® Office Word 2007
- /ModDate: D:20110907164217
- /Producer: Microsoft® Office Word 2007
- /Subject: Certificate Number: 2011/77
- /Title: Certification Report
- pdf_file_size_bytes: 403819
- pdf_hyperlinks: http://www.packetstormsecurity.org/, http://www.dsd.gov.au/
- pdf_is_encrypted: False
- pdf_number_of_pages: 20
|
- /Author: Bundesamt für Sicherheit in der Informationstechnik
- /CreationDate: D:20220920112048+02'00'
- /Creator: Writer
- /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO GmbH, PikeOS, Separation Kernel, Certification Report"
- /ModDate: D:20220920113713+02'00'
- /Producer: LibreOffice 7.2
- /Subject: Certification Report, Common Criteria Zertifizierung, PikeOS Separation Kernel, Version 5.1.3
- /Title: Certification Report BSI-DSZ-CC-1146-2022
- pdf_file_size_bytes: 533185
- pdf_hyperlinks: https://www.sogis.eu/, https://www.bsi.bund.de/zertifizierung, http://www.commoncriteriaportal.org/, https://www.bsi.bund.de/zertifizierungsreporte, http://www.commoncriteriaportal.org/cc/, https://www.bsi.bund.de/AIS, https://www.bsi.bund.de/
- pdf_is_encrypted: False
- pdf_number_of_pages: 29
|
pdf_data/st_filename |
Senetas_ST_V3.0.pdf |
1146b_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 4: 1
- EAL4: 5
- EAL4+: 1
|
- EAL:
- EAL 5: 5
- EAL 5 augmented: 2
- EAL 5+: 1
- EAL5: 3
|
pdf_data/st_keywords/cc_sar |
|
- ADV:
- ADV_ARC.1: 1
- ADV_FSP.4: 1
- ADV_IMP.1: 1
- ADV_IMP.2: 4
- ADV_TDS.3: 1
- AGD:
- AGD_OPE.1: 1
- AGD_PRE.1: 1
- ALC:
- ALC_CMC.5: 4
- ALC_DVS.2: 5
- ALC_FLR.3: 4
- ALC_LCD.1: 1
- ALC_TAT.1: 1
- ATE:
- AVA:
|
pdf_data/st_keywords/cc_sfr |
- FAU:
- FAU_GEN.1: 2
- FAU_GEN.1.1: 6
- FAU_GEN.1.2: 4
- FAU_SAR.1: 2
- FAU_SAR.1.1: 5
- FAU_SAR.1.2: 3
- FCS:
- FCS_CKM.1: 11
- FCS_CKM.1.1: 18
- FCS_CKM.2: 2
- FCS_CKM.2.1: 7
- FCS_CKM.4: 13
- FCS_CKM.4.1: 8
- FCS_COP.1: 12
- FCS_COP.1.1: 34
- FDP:
- FDP_ACC: 1
- FDP_ACC.1: 4
- FDP_ACC.1.1: 5
- FDP_ACF.1: 3
- FDP_ACF.1.1: 4
- FDP_ACF.1.2: 6
- FDP_ACF.1.3: 4
- FDP_ACF.1.4: 6
- FDP_DAU.1: 2
- FDP_DAU.1.1: 6
- FDP_DAU.1.2: 4
- FDP_IFC.1: 6
- FDP_IFC.1.1: 5
- FDP_IFF.1: 3
- FDP_IFF.1.1: 5
- FDP_IFF.1.2: 5
- FDP_IFF.1.3: 3
- FDP_IFF.1.4: 5
- FDP_IFF.1.5: 3
- FDP_IFF.1.6: 1
- FDP_UCT.1: 3
- FDP_UCT.1.1: 5
- FIA:
- FIA_AFL.1: 3
- FIA_AFL.1.1: 5
- FIA_AFL.1.2: 3
- FIA_UAU.1: 1
- FIA_UAU.2: 3
- FIA_UAU.2.1: 5
- FIA_UID.1: 3
- FIA_UID.2: 3
- FIA_UID.2.1: 2
- FMT:
- FMT_MSA.1: 6
- FMT_MSA.1.1: 12
- FMT_MSA.3: 6
- FMT_MSA.3.1: 10
- FMT_MSA.3.2: 10
- FMT_MTD.1: 3
- FMT_MTD.1.1: 7
- FMT_SMF.1: 5
- FMT_SMF.1.1: 4
- FMT_SMR.1: 9
- FMT_SMR.1.1: 2
- FMT_SMR.1.2: 5
- FPT:
- FPT_FLS.1: 3
- FPT_FLS.1.1: 5
- FPT_ITT.1: 2
- FPT_ITT.1.1: 5
- FPT_PHP.3: 4
- FPT_PHP.3.1: 9
- FPT_STM.1: 4
- FPT_STM.1.1: 5
- FPT_TST.1: 3
- FPT_TST.1.1: 4
- FPT_TST.1.2: 4
- FPT_TST.1.3: 4
- FTA:
- FTA_SSL.3: 3
- FTA_SSL.3.1: 5
- FTP:
- FTP_ITC.1: 4
- FTP_ITC.1.1: 5
- FTP_ITC.1.2: 4
- FTP_ITC.1.3: 4
|
- FDP:
- FDP_ACC: 32
- FDP_ACC.2: 12
- FDP_ACF: 34
- FDP_ACF.1: 27
- 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.ADMIN: 3
- A.AUDIT: 3
- A.CYPHERMANAGER: 3
- A.INSTALL: 3
- A.LOCATE: 3
- A.PRIVATEKEY: 3
- O:
- O.ADMIN: 10
- O.AUDIT: 9
- O.AUDITLOG: 8
- O.AUTHDATA: 5
- O.CERTGEN: 10
- O.CONNECT: 2
- O.ENCRYPT: 9
- O.FAILSAFE: 6
- O.IDENT: 9
- O.INFOFLOW: 9
- O.INSTALL: 6
- O.KEYMAN: 11
- O.PERSONNEL: 6
- O.PHYSICAL: 4
- O.REMOTEMGT: 8
- O.ROLEMGT: 5
- O.ROLES: 6
- O.TAMPER: 7
- T:
- T.ABUSE: 3
- T.ATTACK: 3
- T.CAPTURE: 3
- T.CONNECT: 3
- T.IMPERSON: 3
- T.LINK: 3
- T.MAL: 3
- T.OBSERVE: 3
- T.PHYSICAL: 3
- T.PRIVILEGE: 3
|
- A:
- A.EXCLUSIVE_RESOURCES: 4
- A.HARDWARE: 4
- A.PHYSICAL: 4
- A.PRIVILEGED_EXECUTABLES: 5
- 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: 6
- OT.INTEGRITY: 4
- OT.RESOURCE_AVAILABILITY: 6
- T:
- T.DEPLETION: 4
- T.DISCLOSURE: 4
- T.EXECUTION: 4
- T.MODIFICATION: 4
|
pdf_data/st_keywords/vendor |
|
|
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 |
|
|
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 |
- FIPS:
- FIPS 140-2: 3
- FIPS PUB 140-2: 5
- FIPS PUB 180-1: 2
- FIPS PUB 186-2: 4
- FIPS PUB 197: 2
- FIPS PUB 46-3: 1
- FIPS PUB 81: 1
- PKCS:
- PKCS #1: 2
- PKCS #3: 2
- PKCS 12: 1
- PKCS#1: 2
- RFC:
- RFC 2459: 1
- RFC 2574: 1
- RFC2574: 1
- X509:
|
|
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 |
|
|
pdf_data/st_metadata |
- /Author: acoggle
- /CreationDate: D:20110819133657+10'00'
- /Creator: PDFCreator Version 0.9.3
- /Keywords:
- /ModDate: D:20110819133657
- /Producer: GPL Ghostscript 8.54
- /Subject:
- /Title: CypherNet-Security-Target V3 - Sanitised
- pdf_file_size_bytes: 348073
- pdf_hyperlinks: {}
- pdf_is_encrypted: False
- pdf_number_of_pages: 58
|
- /Author: Guillaume Fumaroli
- /CreationDate: D:20220907162051Z
- /Creator: disclosed
- /Keywords: operating system, separation kernel, MILS, multiple independent levels of security, virtualization, hypervisor, embedded, BSI-VS-AP-0015-2019, qualification renforcé
- /ModDate: D:20220907162051Z
- /PTEX.Fullbanner: This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) kpathsea version 6.1.0
- /Producer: disclosed
- /Subject:
- /Title: Security Target PikeOS Separation Kernel v5.1.3
- /Trapped: /False
- pdf_file_size_bytes: 1057120
- pdf_hyperlinks: mailto:[email protected], https://www.sysgo.com, mailto:[email protected], mailto:[email protected]
- pdf_is_encrypted: False
- pdf_number_of_pages: 63
|
state/cert/convert_garbage |
False |
False |
state/cert/convert_ok |
False |
True |
state/cert/download_ok |
False |
True |
state/cert/extract_ok |
False |
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 |