jNet Citadel-OS on Atmel AT90SC144144CT

Certificate details

Certificate ID #763
Status historical
Historical reason RNG SP800-131A Revision 1 Transition
Validation dates 04.05.2007
Standard FIPS 140-2
Security level 3
Type Hardware
Embodiment Single Chip
Caveat None
Exceptions
  • Physical Security: Level 4 +EFP
Description The jNet Citadel-OS on Atmel AT90SC144144CT is a Personal Identity Verification Smart Card, HSPD-12 implementation with dual interface I/O. The secure, smart card native OS is fully compliant with NIST 800-73-1 and FIPS PUB 201-1 requirements. The module is used for physical and logical access control to government resources. The AT90SC144144CT is a low-power, high-performance, 8/16-bit microcontroller with Flash program memory and EEPROM data memory, based on the secureAVR enhanced RISC architecture.
Version (Hardware) P/N AT90SC144144CT, Version AdvX V01.01
Version (Firmware) 1.0
Vendor Atmel Corporation http://www.atmel.com
Lab UL Verification Services, Inc.
References

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

Security policy

Extracted keywords

Symmetric Algorithms
AES, AES-128, DES, TDES
Hash functions
SHA-1
Schemes
MAC
Randomness
RNG
Block cipher modes
ECB, CBC

Security level
Level 3, Level 4
Side-channel analysis
DPA, SPA, DFA, fault induction, Fault Induction

Title Microsoft Word - Copy of jNet Citadel-OS on Atmel AT90SC144144CT Security Policy V1.1.doc
Author rshelby
Creation date D:20070222162407-08'00'
Modification date D:20070507142705-04'00'
Pages 26
Creator PScript5.dll Version 5.2.2
Producer Acrobat Distiller 6.0 (Windows)

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 was first processed.

Raw data

{
  "_type": "sec_certs.sample.fips.FIPSCertificate",
  "cert_id": 763,
  "dgst": "df56bc061e91023b",
  "heuristics": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.Heuristics",
    "algorithms": {
      "_type": "Set",
      "elements": [
        "AES#399",
        "RNG#214",
        "Triple-DES#437",
        "Triple-DES MAC#437",
        "RSA#144",
        "SHS#470"
      ]
    },
    "cpe_matches": null,
    "direct_transitive_cves": null,
    "extracted_versions": {
      "_type": "Set",
      "elements": [
        "1.0",
        "01.01"
      ]
    },
    "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",
    "keywords": {
      "asymmetric_crypto": {},
      "certification_process": {},
      "cipher_mode": {
        "CBC": {
          "CBC": 8
        },
        "ECB": {
          "ECB": 4
        }
      },
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {},
      "crypto_scheme": {
        "MAC": {
          "MAC": 8
        }
      },
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "fips_cert_id": {
        "Cert": {
          "# 437": 1,
          "#1": 1,
          "#144": 1,
          "#214": 1,
          "#399": 1,
          "#470": 1
        }
      },
      "fips_certlike": {
        "Certlike": {
          "AES-128": 1,
          "PKCS #1": 2,
          "SHA-1": 6,
          "SHA-1 [Certificate #470": 1
        }
      },
      "fips_security_level": {
        "Level": {
          "Level 3": 4,
          "Level 4": 1
        }
      },
      "hash_function": {
        "SHA": {
          "SHA1": {
            "SHA-1": 7
          }
        }
      },
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {
        "RNG": {
          "RNG": 1
        }
      },
      "side_channel_analysis": {
        "FI": {
          "DFA": 1,
          "Fault Induction": 1,
          "fault induction": 2
        },
        "SCA": {
          "DPA": 5,
          "SPA": 4
        }
      },
      "standard_id": {
        "FIPS": {
          "FIPS 140-2": 15,
          "FIPS140-2": 3
        },
        "PKCS": {
          "PKCS #1": 1
        }
      },
      "symmetric_crypto": {
        "AES_competition": {
          "AES": {
            "AES": 6,
            "AES-128": 1
          }
        },
        "DES": {
          "3DES": {
            "TDES": 30
          },
          "DES": {
            "DES": 14
          }
        }
      },
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {},
      "vulnerability": {}
    },
    "policy_metadata": {
      "/Author": "rshelby",
      "/CreationDate": "D:20070222162407-08\u002700\u0027",
      "/Creator": "PScript5.dll Version 5.2.2",
      "/ModDate": "D:20070507142705-04\u002700\u0027",
      "/Producer": "Acrobat Distiller 6.0 (Windows)",
      "/Title": "Microsoft Word - Copy of jNet Citadel-OS on Atmel AT90SC144144CT Security Policy V1.1.doc",
      "pdf_file_size_bytes": 457365,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": []
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 26
    }
  },
  "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": null,
      "source_hash": "5875288faac30728c5a4fec8f06aa091dd8f79d93c705a3dcaf256171ebda43f",
      "txt_hash": "c7cc7c6cc59e0c02082067c86038ad4f5840bf6be00f27bce29865df6844a964"
    }
  },
  "web_data": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.WebData",
    "caveat": "None",
    "certificate_pdf_url": "https://csrc.nist.gov/CSRC/media/projects/cryptographic-module-validation-program/documents/certificates/140crt763.pdf",
    "date_sunset": null,
    "description": "The jNet Citadel-OS on Atmel AT90SC144144CT is a Personal Identity Verification Smart Card, HSPD-12 implementation with dual interface I/O. The secure, smart card native OS is fully compliant with NIST 800-73-1 and FIPS PUB 201-1 requirements. The module is used for physical and logical access control to government resources. The AT90SC144144CT is a low-power, high-performance, 8/16-bit microcontroller with Flash program memory and EEPROM data memory, based on the secureAVR enhanced RISC architecture.",
    "embodiment": "Single Chip",
    "exceptions": [
      "Physical Security: Level 4 +EFP"
    ],
    "fw_versions": "1.0",
    "historical_reason": "RNG SP800-131A Revision 1 Transition",
    "hw_versions": "P/N AT90SC144144CT, Version AdvX V01.01",
    "level": 3,
    "mentioned_certs": {},
    "module_name": "jNet Citadel-OS on Atmel AT90SC144144CT",
    "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": "2007-05-04",
        "lab": "UL Verification Services, Inc.",
        "validation_type": "Initial"
      }
    ],
    "vendor": "Atmel Corporation",
    "vendor_url": "http://www.atmel.com"
  }
}