Trusted Computing based services supporting TPM provisioning and supply chain validation concepts. #nsacyber
Go to file
2024-12-10 16:41:16 -05:00
.ci Enable usage of previously backed up settings when starting new ACA container (#871) 2024-11-18 08:07:19 -05:00
.github/workflows dotnet_provisioner_unit_tests workflow will use newer actions (#840) 2024-09-18 13:16:38 -04:00
config/checkstyle issue_847: fixed merge conflicts 2024-11-08 10:33:34 -05:00
gradle/wrapper Updated gradle to v8.3 and nebula to 11.4.0 2023-09-06 16:10:16 -04:00
HIRS_AttestationCA Clarified checkstyle changes and renamed some data structures for readability or conformity to documentation 2024-12-10 16:41:16 -05:00
HIRS_AttestationCAPortal Clarified checkstyle changes and renamed some data structures for readability or conformity to documentation 2024-12-10 16:41:16 -05:00
HIRS_Provisioner.NET issue_847: Fixed the majority of the checkstyle errors in the CAPOrtal module. Need to fix 5 more and figure out why two tests are failing. Merged master into local branch. 2024-10-28 16:55:25 -04:00
HIRS_Structs issue_873: fixed all checkstyle issues 2024-11-08 15:48:21 -05:00
HIRS_Utils issue_847: fixed merge conflicts 2024-11-08 10:33:34 -05:00
images Updated README.md and VERSION files 2024-08-22 16:40:03 -04:00
package Enable usage of previously backed up settings when starting new ACA container (#871) 2024-11-18 08:07:19 -05:00
scripts issue_825: Successfully deleted HIRS_Provisioner TPM2 and can build successfully. 2024-11-01 15:13:54 -04:00
tools issue_847: Fixed the majority of the checkstyle errors in the CAPOrtal module. Need to fix 5 more and figure out why two tests are failing. Merged master into local branch. 2024-10-28 16:55:25 -04:00
.gitignore Implementing LDevID generation (#814) 2024-08-19 18:39:03 +00:00
build.gradle Finished issue. Ready for PR 2024-10-15 15:14:59 -04:00
CONTRIBUTING.md Updated CONTRIBUTING.md 2018-09-07 13:59:31 -04:00
DISCLAIMER.md Initial release 2018-09-06 09:47:33 -04:00
gradle.properties issue_847: Fixed ALL checkstyle and spotbug errors in CA module. Fixing spotbug and checkstyle issues in CA_PORT module now. 2024-10-25 17:30:36 -04:00
gradlew Updated gradle to v8.3 and nebula to 11.4.0 2023-09-06 16:10:16 -04:00
gradlew.bat Updated gradle to v8.3 and nebula to 11.4.0 2023-09-06 16:10:16 -04:00
LICENSE.md Initial release 2018-09-06 09:47:33 -04:00
NOTICE.md Updating NOTICE file 2024-08-21 17:04:38 -04:00
README.md Update README.md 2024-08-26 12:29:43 -04:00
settings.gradle Upgrade JCommander to support global argument validation. Replace CredentialArgumentValidator with CreateArgumentValidator. 2024-03-06 12:40:54 -05:00
VERSION Updated README.md and VERSION files 2024-08-22 16:40:03 -04:00

Host Integrity at Runtime and Start-up (HIRS)

HIRS Build Status

Attestation Certificate Authority (ACA) and TPM Provisioning with Trusted Computing-based Supply Chain Validation

The Host Integrity at Runtime and Start-up Attestation Certificate Authority is a Proof of Concept - Prototype intended to spur interest and adoption of the Trusted Platform Module (TPM). It's intended for testing and development purposes only and is not intended for production. The ACA's functionality supports the provisioning of TPM 2.0 with an Attestation Certificate. The ACA can be configured to enforce the Validation of Endorsement Certificates, Platform Certificates, and Refernce Intregrity Manifests (RIMs) to illustrate a supply chain validation capability known as an "Acceptance Test".

Notice: Github Discussions have been enabled for this repo. Please refer to the Discussion entitled "HIRS development changes" for development and support notifications.

Features

The HIRS ACA is a web based server which processes Attestation Identity Requests. The ACA provides a “provisioner” application to be installed on all devices which will be requesting Attestation Certificates.

Attestation Certificate Authority (ACA)

  • Issues Attestation Certificates or TPM based Local Device ID (LDevID) certificates to validated devices holding a TPM
  • Configures policies for enabling/disabling validation procedures
  • Performs TCG-based Supply Chain Validation of connecting clients
    • Optionally validates Endorsement, Platform Certificates, and Reference Integrity Manifests
  • Endorsement Certificate Certificate Chain Validation
  • Firmware Integrity Validation
    • Uploads and processes TCG PC Client Reference Integrity Manifests (RIM)s
    • Creates and verifies a nonce for the TPM Quote
    • Process TMP Event Logs and checks digests against the TPM Quote
    • Verifies individual event digests against the OEM provided Reference Integrity Measurements
    • Checks that firmware and boot related file hashes match those provided by OEMs.
    • Validates the import of All RIM files imported to the ACA (insure all RIM files were signed by trusted sources)
    • Verifies that the firmware hashes captured by the TPMs Platform Configuration Registers (PCRs) match the firmware hashes obtained from the OEM(s).
    • Verifies TCG/UEFI boot variables (e.g. BIOS setup data) have not been altered (e.g secure boot).
  • Attestation CA Dashboard
    • Displays all Validation Reports, Certificates, and Trust Chains
    • Enables ACA policy configuration for validation of Endorsement and Platform Certificates
    • Enables Import/Export of Certificate (Trust) Chains, Endorsement Certificates, and Platform Certificates
    • Optionally allows uploaded Certificates of trusted parties

TPM Provisioner

  • Requests an Attestation Certificate for the TPM from the ACA.
  • Transfer's TCG Artifacts to the ACA (TPM Endorsement Certificates, Platform Certificates, Reference Integrity Manifests, Event Logs, etc.)
  • Reads the device's hardware, network, firmware, and OS info for platform and component validation
  • Provides a TPM Quote for Firmware Integrity Checking

TCG RIM Tool

  • Creates , Formats, and Digitally Signs TCG PC Client Base RIMs
  • Validates the signature of TCG PC CLient Base RIMs

TCG Event Log Tool

  • Parses binary TPM Event Logs and displays event data in a human readable form
  • Extracts Events from TPM Event Logs for test pattern generation
  • Provides Expected PCR values from a complete TPM Event Log

Platform Certificate Creator - PACCOR

  • Creates platform certificates according to the TCG Platform Certificate Profile.
    • Assists in gathering all of the data that can go into a PC and produce a signed attribute certificate
  • Validates signatures on TCG Platform Certificates

Installation Instructions

NOTEL The HIRS ACA, tcg_rim_tool, and tcg_eventLog_tool require Java 17 jre be installed before attempting to install these packages. For detailed instructions, see Installation notes.

Packages used for installation can be found on the release page.

Installing the HIRS ACA

There are several options for installing the HIRS ACA

An ACA Docker image is automatically created for each release. To run the ACA container using docker

docker run --name=aca -p 8443:8443 ghcr.io/nsacyber/hirs/aca:latest

To install the ACA on a Redhat or Rocky Linux download the latest rpm from the release page then run the command

sudo dnf install HIRS_AttestationCA*.rpm.

To install the ACA on a Ubuntu Linux download the latest rpm from the release page then run the command

sudo apt-get install ./HIRS_AttestationCA*.deb.

Installing the HIRS_Provisioner.NET

To install the HIRS_Provisioner.NET on a Redhat or Rocky Linux download the latest rpm package from the release page then open a terminal and run the command

sudo dnf install HIRS_Provisioner.NET.*.rpm

To install the HIRS_Provisioner.NET on Ubuntu Linux download the latest deb package from the release page then open a terminal and run the command

sudo apt-get install ./HIRS_Provisioner.NET.*.deb

To install the HIRS_Provisioner.NET on Windows download the latest msi package from the release page then open a powershell windows as an administrator then run the command

msiexec /package HIRS_Provisioner.NET.*.msi /quiet

Then follow the instructions for setting up the HIRS_provisioner.NET in the HIRS_Provisioner.NET Readme.

Usage

On Linux: To kick off a provision on the client, open a terminal and run the command

sudo tpm_aca_provision

On Windows: Open a powershell terminal as an administrator and enter the command

tpm_aca_provision

To see the results and interact with the ACA, using a browser go to the ACA Portal usng the URL:

https://localhost:8443/

For more information see the Getting Started Guide

Development History

Version 1.1 added support for the Platform Certificate v1.1 Specification. This allows entities that are part of the supply chain (System integrators and Value Added Resellers) the ability to create Delta Platform Certificate to compliment the Base Platform Certificate created by the Platform Manufacturer. See the Article on Base and Delta Platform Certificates for details.

Version 2.0 added support for the PC Client Reference Integrity Manifest (RIM) Specification to provide firmware validation capability to the HIRS ACA. This requires that the manufacturer of a device provide a digitally signed RIM "Bundle" for each device. The HIRS ACA has a new page for uploading and viewing RIM Bundles and a policy setting for requiring Firmware validation.

Version 3.0 was completely refactored to build and run on multiple platforms. The Base OS used for development of the ACA was migrated to Rocky Linux with updates to current dependencies (e.g. Java, Tomcat, Mariadb, etc.) and development tools (e.g. Gradle). New features introduced in Version 3.0 include support for the PC Client RIM 1.1 specification including composite RIMs, time-stamps, and counter signatures and detailed linkages between TCG Event Logs, OEM issuer certificates, and Reference Integrity Manifests (RIMs) have been added to provide greater granularity of information. Support for TPM 1.2 (HIRS_Provisioner) and the Cplus version of the TPM provsioner (HIRS_ProvisionerTPM2) was dropped from Version 3.0 and replaced with the HIRS_Provisioner.NET.

To support the TCG RIM concept a new tools folder has been added to the HIRS project which contains a tcg_rim_tool command line application. The tcg_rim_tool can be used to create NISTIR 8060 compatible SWID tags that adhere to the TCG PC Client RIM specification. It also supports the ability to digitally sign the Base RIM file as the HIRS ACA will require a valid signature in order to upload any RIM file. See the tgc_rim_tool READ.md for more details.

Background

HIRS Documentation

HIRS Notes

Tools