blob: 3db47813e98d2cca038666a5f80a5ce40285433c [file] [log] [blame]
Alice Wang9c40eca2023-02-03 13:10:24 +00001// Copyright 2023, The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! This module implements a retry version for multiple DICE functions that
16//! require preallocated output buffer. As the retry functions require
17//! memory allocation on heap, currently we only expose these functions in
18//! std environment.
19
Alice Wangf4bd1c62023-02-08 08:38:44 +000020use crate::bcc::{bcc_format_config_descriptor, bcc_main_flow};
Alice Wang4d3059a2023-02-15 10:24:33 +000021use crate::dice::{
22 dice_main_flow, Cdi, CdiValues, DiceArtifacts, InputValues, CDI_SIZE, PRIVATE_KEY_SEED_SIZE,
23};
Alice Wang9c40eca2023-02-03 13:10:24 +000024use crate::error::{DiceError, Result};
Alice Wang4d611772023-02-13 09:45:21 +000025use crate::ops::generate_certificate;
Alice Wang9c40eca2023-02-03 13:10:24 +000026use std::ffi::CStr;
27
Alice Wangf4bd1c62023-02-08 08:38:44 +000028/// Artifacts stores a set of dice artifacts comprising CDI_ATTEST, CDI_SEAL,
29/// and the BCC formatted attestation certificate chain.
30/// As we align with the DICE standards today, this is the certificate chain
31/// is also called DICE certificate chain.
Alice Wangacee4fb2023-02-15 09:42:07 +000032#[derive(Debug)]
Alice Wangf4bd1c62023-02-08 08:38:44 +000033pub struct OwnedDiceArtifacts {
34 /// CDI Values.
Alice Wang4d3059a2023-02-15 10:24:33 +000035 cdi_values: CdiValues,
Alice Wangf4bd1c62023-02-08 08:38:44 +000036 /// Boot Certificate Chain.
Alice Wang4d3059a2023-02-15 10:24:33 +000037 bcc: Vec<u8>,
38}
39
40impl DiceArtifacts for OwnedDiceArtifacts {
41 fn cdi_attest(&self) -> &[u8; CDI_SIZE] {
42 &self.cdi_values.cdi_attest
43 }
44
45 fn cdi_seal(&self) -> &[u8; CDI_SIZE] {
46 &self.cdi_values.cdi_seal
47 }
48
49 fn bcc(&self) -> Option<&[u8]> {
50 Some(&self.bcc)
51 }
Alice Wangf4bd1c62023-02-08 08:38:44 +000052}
53
Alice Wangef999242023-05-22 11:14:59 +000054/// Retries the given function with bigger measured buffer size.
55fn retry_with_measured_buffer<F>(mut f: F) -> Result<Vec<u8>>
Alice Wang9c40eca2023-02-03 13:10:24 +000056where
57 F: FnMut(&mut Vec<u8>) -> Result<usize>,
58{
Alice Wangef999242023-05-22 11:14:59 +000059 let mut buffer = Vec::new();
60 match f(&mut buffer) {
61 Err(DiceError::BufferTooSmall(actual_size)) => {
62 buffer.resize(actual_size, 0);
63 f(&mut buffer)?;
Alice Wang9c40eca2023-02-03 13:10:24 +000064 }
Alice Wangef999242023-05-22 11:14:59 +000065 Err(e) => return Err(e),
66 Ok(_) => {}
67 };
68 Ok(buffer)
Alice Wang9c40eca2023-02-03 13:10:24 +000069}
70
71/// Formats a configuration descriptor following the BCC's specification.
72pub fn retry_bcc_format_config_descriptor(
73 name: Option<&CStr>,
74 version: Option<u64>,
75 resettable: bool,
76) -> Result<Vec<u8>> {
Alice Wangef999242023-05-22 11:14:59 +000077 retry_with_measured_buffer(|buffer| {
Alice Wang9c40eca2023-02-03 13:10:24 +000078 bcc_format_config_descriptor(name, version, resettable, buffer)
79 })
80}
Alice Wangf4bd1c62023-02-08 08:38:44 +000081
82/// Executes the main BCC flow.
83///
84/// Given a full set of input values along with the current BCC and CDI values,
85/// computes the next CDI values and matching updated BCC.
86pub fn retry_bcc_main_flow(
87 current_cdi_attest: &Cdi,
88 current_cdi_seal: &Cdi,
89 bcc: &[u8],
90 input_values: &InputValues,
91) -> Result<OwnedDiceArtifacts> {
92 let mut next_cdi_values = CdiValues::default();
Alice Wangef999242023-05-22 11:14:59 +000093 let next_bcc = retry_with_measured_buffer(|next_bcc| {
Alice Wangf4bd1c62023-02-08 08:38:44 +000094 bcc_main_flow(
95 current_cdi_attest,
96 current_cdi_seal,
97 bcc,
98 input_values,
99 &mut next_cdi_values,
100 next_bcc,
101 )
102 })?;
103 Ok(OwnedDiceArtifacts { cdi_values: next_cdi_values, bcc: next_bcc })
104}
Alice Wang44f48b22023-02-09 09:51:22 +0000105
106/// Executes the main DICE flow.
107///
108/// Given a full set of input values and the current CDI values, computes the
109/// next CDI values and a matching certificate.
110pub fn retry_dice_main_flow(
111 current_cdi_attest: &Cdi,
112 current_cdi_seal: &Cdi,
113 input_values: &InputValues,
114) -> Result<(CdiValues, Vec<u8>)> {
115 let mut next_cdi_values = CdiValues::default();
Alice Wangef999242023-05-22 11:14:59 +0000116 let next_cdi_certificate = retry_with_measured_buffer(|next_cdi_certificate| {
Alice Wang44f48b22023-02-09 09:51:22 +0000117 dice_main_flow(
118 current_cdi_attest,
119 current_cdi_seal,
120 input_values,
121 next_cdi_certificate,
122 &mut next_cdi_values,
123 )
124 })?;
125 Ok((next_cdi_values, next_cdi_certificate))
126}
Alice Wang4d611772023-02-13 09:45:21 +0000127
128/// Generates an X.509 certificate from the given `subject_private_key_seed` and
129/// `input_values`, and signed by `authority_private_key_seed`.
130/// The subject private key seed is supplied here so the implementation can choose
131/// between asymmetric mechanisms, for example ECDSA vs Ed25519.
132/// Returns the generated certificate.
133pub fn retry_generate_certificate(
134 subject_private_key_seed: &[u8; PRIVATE_KEY_SEED_SIZE],
135 authority_private_key_seed: &[u8; PRIVATE_KEY_SEED_SIZE],
136 input_values: &InputValues,
137) -> Result<Vec<u8>> {
Alice Wangef999242023-05-22 11:14:59 +0000138 retry_with_measured_buffer(|certificate| {
Alice Wang4d611772023-02-13 09:45:21 +0000139 generate_certificate(
140 subject_private_key_seed,
141 authority_private_key_seed,
142 input_values,
143 certificate,
144 )
145 })
146}