* feat: Introduce Go-based CoRIM generation and deprecate Rust attestation policy scripts. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Update dependencies and refactor attestation policy handling Signed-off-by: Sammy Oina <sammyoina@gmail.com> * refactor: Migrate attestation verification to use CoRIM and remove deprecated policy handling and EAT verification tests. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * Removed the `tdx` and `sev-snp` attestation policy scripts and their build configurations, along with related build and installation steps from the main Makefile. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * chore: Remove Rust CI workflow and Cargo Dependabot configuration, and enhance Go test setup for attestation policy paths. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * refactor: Use WriteString instead of Write([]byte) for writing policy file content in test. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Refactor `ca-bundle` command to fetch bundles by product string using a configurable HTTP getter with improved error handling, and simplify `attestation_policy` command usage. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * fix: ignore return value of cmd.Help() Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Implement CoRIM generation for Azure and GCP attestation policies and add a CLI command to download and verify GCP OVMF files. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Upgrade Python virtual environment setup to include setuptools and wheel, append computation ID to Docker container names, and improve test robustness with error assertions and conditional skips for runtime tests. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * test: Enhance attestation verification tests, including CoRIM integration and specific platform types like Azure SNP, vTPM, TDX, and IGVM. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Add comprehensive test cases for `VerifyWithCoRIM` including success and measurement mismatch, and refine reference value validation. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Add Azure and TDX attestation verification tests and abstract external service dependencies for improved testability. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * feat: Add new test cases for Azure measurement extraction, EAT platform types, IGVM measurement stopping, vTPM CoRIM verification, and GCP OVMF download CLI. Signed-off-by: Sammy Oina <sammyoina@gmail.com> * test: enhance CLI CoRIM generation and ATLS certificate verification tests, and refactor the Azure MAA client to use an interface. Signed-off-by: Sammy Oina <sammyoina@gmail.com> --------- Signed-off-by: Sammy Oina <sammyoina@gmail.com>
5.2 KiB
CoRIM Generation CLI Commands
This document describes the CLI commands for generating CoRIM (Concise Reference Integrity Manifest) attestation policies.
Overview
The cocos-cli policy create-corim command provides subcommands for generating CoRIM policies for different platforms:
- azure: Generate from Azure Attestation Token
- gcp: Generate from GCP endorsements
- snp: Generate for AMD SEV-SNP (direct host generation)
- tdx: Generate for Intel TDX (direct host generation)
Commands
Azure SEV-SNP
Generate CoRIM from an Azure Attestation Token (JWT).
cocos-cli policy create-corim azure --token <path-to-token> [--product <product>]
Flags:
--token(required): Path to file containing Azure Attestation Token (JWT)--product(optional): Processor product name (default: "Milan")
Example:
cocos-cli policy create-corim azure \
--token /path/to/token.jwt \
--product Milan \
> azure-policy.corim
GCP SEV-SNP
Generate CoRIM from GCP SEV-SNP measurement and endorsements.
cocos-cli policy create-corim gcp --measurement <hex> [--vcpu <num>]
Flags:
--measurement(required): 384-bit measurement hex string--vcpu(optional): vCPU number (default: 0)
Example:
cocos-cli policy create-corim gcp \
--measurement abc123... \
--vcpu 0 \
> gcp-policy.corim
SEV-SNP (Direct Host)
Generate CoRIM for AMD SEV-SNP platform directly on the host.
cocos-cli policy create-corim snp [flags]
Flags:
--measurement(optional): Measurement/Launch Digest (hex string, defaults to zero if not provided)--policy(optional): SNP policy flags (default: 0)--svn(optional): Security Version Number/TCB (default: 0)--product(optional): Processor product name (default: "Milan")--host-data(optional): Host data (hex string)--launch-tcb(optional): Minimum launch TCB (default: 0)--output(optional): Output file path (default: stdout)
Examples:
Generate with defaults (zeroed measurement):
cocos-cli policy create-corim snp \
--product Milan \
--output snp-policy.corim
Generate with custom measurement:
cocos-cli policy create-corim snp \
--measurement abc123def456... \
--product Genoa \
--svn 1 \
--policy 0x30000 \
--output snp-policy.corim
Generate with host data and launch TCB:
cocos-cli policy create-corim snp \
--measurement abc123... \
--host-data deadbeef \
--launch-tcb 1 \
--output snp-policy.corim
TDX (Direct Host)
Generate CoRIM for Intel TDX platform directly on the host.
cocos-cli policy create-corim tdx [flags]
Flags:
--measurement(optional): MRTD measurement (hex string, uses default if not provided)--svn(optional): Security Version Number (default: 0)--rtmrs(optional): Comma-separated RTMRs (hex)--mr-seam(optional): MRSEAM (hex)--output(optional): Output file path (default: stdout)
Examples:
Generate with defaults (matches legacy script behavior):
cocos-cli policy create-corim tdx \
--output tdx-policy.corim
Generate with custom values:
cocos-cli policy create-corim tdx \
--measurement abc123def456... \
--rtmrs rtmr0,rtmr1,rtmr2,rtmr3 \
--mr-seam 789abc... \
--svn 2 \
--output tdx-policy.corim
Signing CoRIMs
CoRIMs can be signed using a private key (COSE_Sign1). The generated output will be a COSE-wrapped CoRIM in CBOR format.
Prerequisite: Generate Signing Key
You will need an EC private key (P-256) in PEM format. You can generate one using openssl:
openssl ecparam -name prime256v1 -genkey -noout -out private-key.pem
Signing with CLI
Use the --signing-key flag to sign the CoRIM during generation.
SNP Example:
cocos-cli policy create-corim snp \
--product Milan \
--signing-key private-key.pem \
--output signed-snp.corim
TDX Example:
cocos-cli policy create-corim tdx \
--signing-key private-key.pem \
--output signed-tdx.corim
Verification
The output file is a standard COSE_Sign1 message containing the CoRIM. It can be verified using any tool that supports COSE and CoRIM verification, such as the veraison/corim library.
Output Format
All commands output CoRIM in CBOR (Concise Binary Object Representation) format. By default, output is written to stdout, allowing for piping:
# Pipe to file
cocos-cli policy create-corim snp --product Milan > policy.corim
# Pipe to another command
cocos-cli policy create-corim tdx | base64
# Use --output flag
cocos-cli policy create-corim snp --product Milan --output policy.corim
Integration with Manager
The manager service can dynamically generate CoRIM policies using the same underlying generator package. When FetchAttestationPolicy is called:
- For SNP: Calculates IGVM measurement using the
igvmmeasurebinary - Extracts host data and launch TCB from VM configuration
- Generates CoRIM using the
generatorpackage - Returns CBOR-encoded CoRIM