Thales Alenia Space cryptographic module for Microsemi RTAX FPGA

Certificate details

Certificate ID #4065
Status historical
Historical reason Moved to historical list due to sunsetting
Validation dates 02.11.2021
Standard FIPS 140-2
Security level 1
Type Hardware
Embodiment Multi-Chip Embedded
Caveat When installed, initialized and configured as specified in Section 12.4 of the Security Policy.
Exceptions
  • Mitigation of Other Attacks: N/A
Description Cryptographic module encrypt and decrypt input packets, using one of the thirty two possible keys. There are several TC/TM to check: status, number of packets correctly deciphered, number of ciphered packet, etc. There are three UART interfaces for: ground, key and housekeeping (the last one has a redundant interface).
Version (Hardware) RTAX2000S FPGA; 28C010T EEPROM
Version (Firmware) 3.32.00; 3.32.04
Vendor Thales Alenia Space http://www.thalesgroup.com/es/espana/espacio
Lab DEKRA Testing and Certification S.A.U
Algorithms
References

This certificate's webpage directly references 0 certificates, transitively this expands into 0 certificates.
Certificate
Webpage

Security policy

Extracted keywords

Symmetric Algorithms
AES, CBC-MAC
Schemes
MAC
Protocols
PACE
Block cipher modes
ECB, CTR, CCM

Vendor
Thales

Security level
Level 1

Title Thales Alenia Space Cryptographic Module for Microsemi RTAX FPGA non-proprietary Security Policy
Subject Thales Alenia Space
Author Prepared by jtsec Beyond IT Security SL
Creation date D:20210927091431+02'00'
Modification date D:20210927091431+02'00'
Pages 33
Creator Microsoft® Word 2016
Producer Microsoft® Word 2016

Automated analysis

Automated inference - use with caution

All attributes shown in this section (e.g., links between certificates, products, vendors, and known CVEs) are generated by automated heuristics and have not been reviewed by humans. These methods can produce false positives or false negatives and should not be treated as definitive without independent verification. This applies equally to the Cross-references section below. If you want to know more about how this data is computed and how reliable it is, see our documentation on automated analysis. If you believe any information here is inaccurate or harmful, please submit feedback.

No automatically derived data are available in this section.

Cross-references

No references are available for this certificate.

Processing updates

  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate was first processed.

Raw data

{
  "_type": "sec_certs.sample.fips.FIPSCertificate",
  "cert_id": 4065,
  "dgst": "98968c513b70a24d",
  "heuristics": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.Heuristics",
    "algorithms": {
      "_type": "Set",
      "elements": [
        "#A1721",
        "AES#A1721"
      ]
    },
    "cpe_matches": null,
    "direct_transitive_cves": null,
    "extracted_versions": {
      "_type": "Set",
      "elements": [
        "3.32.04",
        "3.32.00"
      ]
    },
    "indirect_transitive_cves": null,
    "module_processed_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "module_prunned_references": {
      "_type": "Set",
      "elements": []
    },
    "policy_processed_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "policy_prunned_references": {
      "_type": "Set",
      "elements": []
    },
    "related_cves": null,
    "verified_cpe_matches": null
  },
  "pdf_data": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.PdfData",
    "br1_deviations": 42,
    "br1_tables": null,
    "is_br1_format": false,
    "keywords": {
      "asymmetric_crypto": {},
      "certification_process": {},
      "cipher_mode": {
        "CCM": {
          "CCM": 4
        },
        "CTR": {
          "CTR": 12
        },
        "ECB": {
          "ECB": 1
        }
      },
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {
        "PACE": {
          "PACE": 21
        }
      },
      "crypto_scheme": {
        "MAC": {
          "MAC": 6
        }
      },
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "fips_cert_id": {},
      "fips_certlike": {
        "Certlike": {
          "AES 256": 1
        }
      },
      "fips_security_level": {
        "Level": {
          "Level 1": 5
        }
      },
      "hash_function": {},
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {},
      "side_channel_analysis": {},
      "standard_id": {
        "FIPS": {
          "FIPS 140-2": 17,
          "FIPS 197": 3
        },
        "NIST": {
          "SP 800-38A": 2,
          "SP 800-38C": 3
        }
      },
      "symmetric_crypto": {
        "AES_competition": {
          "AES": {
            "AES": 12
          }
        },
        "constructions": {
          "MAC": {
            "CBC-MAC": 1
          }
        }
      },
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {
        "Thales": {
          "Thales": 77
        }
      },
      "vulnerability": {}
    },
    "module_algorithms": {
      "_type": "Set",
      "elements": [
        "AES#A1721"
      ]
    },
    "policy_algorithms": {
      "_type": "Set",
      "elements": [
        "#A1721"
      ]
    },
    "policy_metadata": {
      "/Author": "Prepared by jtsec Beyond IT Security SL",
      "/CreationDate": "D:20210927091431+02\u002700\u0027",
      "/Creator": "Microsoft\u00ae Word 2016",
      "/ModDate": "D:20210927091431+02\u002700\u0027",
      "/Producer": "Microsoft\u00ae Word 2016",
      "/Subject": "Thales Alenia Space",
      "/Title": "Thales Alenia Space Cryptographic Module for Microsemi RTAX FPGA non-proprietary Security Policy",
      "pdf_file_size_bytes": 1211559,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": [
          "https://www.microsemi.com/document-portal/doc_view/135422-rt-proto-fpga-description",
          "file://///192.168.28.2/proyectos/CERT_THALES_FIPS/FIPS%20140-2%20documentation/Thales%20Alenia%20Space%20FIPS%20140-2%20Security%20Policy-1.12.docx%23_Toc81238506"
        ]
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 33
    }
  },
  "state": {
    "_type": "sec_certs.sample.fips.InternalState",
    "module": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": null,
      "source_hash": null,
      "txt_hash": null
    },
    "policy": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": "a0a323a1fa484ab58d307f85ce4303be06fb3325d6e1bcefa2337512ebf4d6cd",
      "source_hash": "147da295d5dacd0f10b9577f71b7f88b1634559df32ddb4f148fecd86d6ed3bf",
      "txt_hash": "5be72be9d2451c6a430fc1d3e787246c37157f2dc063cf7aba5fd8f75c39102b"
    }
  },
  "web_data": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.WebData",
    "caveat": "When installed, initialized and configured as specified in Section 12.4 of the Security Policy.",
    "certificate_pdf_url": "https://csrc.nist.gov/CSRC/media/projects/cryptographic-module-validation-program/documents/certificates/November 2021_011221_0923_signed.pdf",
    "date_sunset": null,
    "description": "Cryptographic module encrypt and decrypt input packets, using one of the thirty two possible keys. There are several TC/TM to check: status, number of packets correctly deciphered, number of ciphered packet, etc. There are three UART interfaces for: ground, key and housekeeping (the last one has a redundant interface).",
    "embodiment": "Multi-Chip Embedded",
    "exceptions": [
      "Mitigation of Other Attacks: N/A"
    ],
    "fw_versions": "3.32.00; 3.32.04",
    "historical_reason": "Moved to historical list due to sunsetting",
    "hw_versions": "RTAX2000S FPGA; 28C010T EEPROM",
    "level": 1,
    "mentioned_certs": {},
    "module_name": "Thales Alenia Space cryptographic module for Microsemi RTAX FPGA",
    "module_type": "Hardware",
    "revoked_link": null,
    "revoked_reason": null,
    "standard": "FIPS 140-2",
    "status": "historical",
    "sw_versions": null,
    "tested_conf": null,
    "validation_history": [
      {
        "_type": "sec_certs.sample.fips.FIPSCertificate.ValidationHistoryEntry",
        "date": "2021-11-02",
        "lab": "DEKRA Testing and Certification S.A.U",
        "validation_type": "Initial"
      }
    ],
    "vendor": "Thales Alenia Space",
    "vendor_url": "http://www.thalesgroup.com/es/espana/espacio"
  }
}