blob: 08ee08e404e52558048019e4eea7af1c2fe55ee4 [file] [log] [blame]
Alice Wang33f4cae2023-09-05 09:27:39 +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 contains functions related to the attestation of the
Alice Wang7b2ab942023-09-12 13:04:42 +000016//! service VM via the RKP (Remote Key Provisioning) server.
Alice Wang33f4cae2023-09-05 09:27:39 +000017
Alice Wang8b8e6e62023-10-02 09:10:13 +000018use crate::keyblob::EncryptedKeyBlob;
Alice Wangfacc2b82023-10-05 14:05:47 +000019use crate::pub_key::{build_maced_public_key, validate_public_key};
Alice Wangf7c0f942023-09-14 09:33:04 +000020use alloc::string::String;
21use alloc::vec;
Alice Wang33f4cae2023-09-05 09:27:39 +000022use alloc::vec::Vec;
Alice Wangb3fcf632023-09-26 08:32:55 +000023use bssl_avf::EcKey;
Alice Wang0a76da32024-03-05 13:41:27 +000024use ciborium::{
25 cbor,
26 value::{CanonicalValue, Value},
27};
Alice Wangd80e99e2023-09-15 13:26:01 +000028use core::result;
Alice Wangf7c0f942023-09-14 09:33:04 +000029use coset::{iana, AsCborValue, CoseSign1, CoseSign1Builder, HeaderBuilder};
Alice Wang637b1972023-10-12 15:12:43 +000030use diced_open_dice::{derive_cdi_leaf_priv, kdf, sign, DiceArtifacts, PrivateKey};
Alice Wang6bc2a702023-09-22 12:42:13 +000031use log::error;
Alice Wangd80e99e2023-09-15 13:26:01 +000032use service_vm_comm::{EcdsaP256KeyPair, GenerateCertificateRequestParams, RequestProcessingError};
Alice Wang4ca86b62023-09-22 11:49:43 +000033use zeroize::Zeroizing;
Alice Wangd80e99e2023-09-15 13:26:01 +000034
35type Result<T> = result::Result<T, RequestProcessingError>;
Alice Wang33f4cae2023-09-05 09:27:39 +000036
Alice Wang4ca86b62023-09-22 11:49:43 +000037/// The salt is generated randomly with:
38/// hexdump -vn32 -e'16/1 "0x%02X, " 1 "\n"' /dev/urandom
39const HMAC_KEY_SALT: [u8; 32] = [
40 0x82, 0x80, 0xFA, 0xD3, 0xA8, 0x0A, 0x9A, 0x4B, 0xF7, 0xA5, 0x7D, 0x7B, 0xE9, 0xC3, 0xAB, 0x13,
41 0x89, 0xDC, 0x7B, 0x46, 0xEE, 0x71, 0x22, 0xB4, 0x5F, 0x4C, 0x3F, 0xE2, 0x40, 0x04, 0x3B, 0x6C,
42];
Alice Wang8b8e6e62023-10-02 09:10:13 +000043const HMAC_KEY_INFO: &[u8] = b"rialto hmac wkey";
Alice Wang4ca86b62023-09-22 11:49:43 +000044const HMAC_KEY_LENGTH: usize = 32;
45
Alice Wang77639bf2023-09-21 06:57:12 +000046pub(super) fn generate_ecdsa_p256_key_pair(
Alice Wang4ca86b62023-09-22 11:49:43 +000047 dice_artifacts: &dyn DiceArtifacts,
Alice Wang77639bf2023-09-21 06:57:12 +000048) -> Result<EcdsaP256KeyPair> {
Alice Wang4ca86b62023-09-22 11:49:43 +000049 let hmac_key = derive_hmac_key(dice_artifacts)?;
Alice Wang9bd98092023-11-10 14:08:12 +000050 let mut ec_key = EcKey::new_p256()?;
51 ec_key.generate_key()?;
Alice Wang8b8e6e62023-10-02 09:10:13 +000052
Alice Wang4ca86b62023-09-22 11:49:43 +000053 let maced_public_key = build_maced_public_key(ec_key.cose_public_key()?, hmac_key.as_ref())?;
Alice Wang8b8e6e62023-10-02 09:10:13 +000054 let key_blob =
Alice Wang000595b2023-10-02 13:46:45 +000055 EncryptedKeyBlob::new(ec_key.ec_private_key()?.as_slice(), dice_artifacts.cdi_seal())?;
Alice Wang7b2ab942023-09-12 13:04:42 +000056
Alice Wang5dddeea2023-10-13 12:56:22 +000057 let key_pair =
58 EcdsaP256KeyPair { maced_public_key, key_blob: cbor_util::serialize(&key_blob)? };
Alice Wang33f4cae2023-09-05 09:27:39 +000059 Ok(key_pair)
60}
Alice Wang464e4732023-09-06 12:25:22 +000061
Alice Wangf7c0f942023-09-14 09:33:04 +000062const CSR_PAYLOAD_SCHEMA_V3: u8 = 3;
63const AUTH_REQ_SCHEMA_V1: u8 = 1;
64// TODO(b/300624493): Add a new certificate type for AVF CSR.
65const CERTIFICATE_TYPE: &str = "keymint";
66
67/// Builds the CSR described in:
68///
69/// hardware/interfaces/security/rkp/aidl/android/hardware/security/keymint/
70/// generateCertificateRequestV2.cddl
Alice Wang464e4732023-09-06 12:25:22 +000071pub(super) fn generate_certificate_request(
Alice Wangff5592d2023-09-13 15:27:39 +000072 params: GenerateCertificateRequestParams,
Alice Wang6bc2a702023-09-22 12:42:13 +000073 dice_artifacts: &dyn DiceArtifacts,
Alice Wang464e4732023-09-06 12:25:22 +000074) -> Result<Vec<u8>> {
Alice Wang4ca86b62023-09-22 11:49:43 +000075 let hmac_key = derive_hmac_key(dice_artifacts)?;
Alice Wangf7c0f942023-09-14 09:33:04 +000076 let mut public_keys: Vec<Value> = Vec::new();
Alice Wangff5592d2023-09-13 15:27:39 +000077 for key_to_sign in params.keys_to_sign {
Alice Wang4ca86b62023-09-22 11:49:43 +000078 let public_key = validate_public_key(&key_to_sign, hmac_key.as_ref())?;
Alice Wangf7c0f942023-09-14 09:33:04 +000079 public_keys.push(public_key.to_cbor_value()?);
Alice Wangff5592d2023-09-13 15:27:39 +000080 }
Alice Wangf7c0f942023-09-14 09:33:04 +000081 // Builds `CsrPayload`.
82 let csr_payload = cbor!([
83 Value::Integer(CSR_PAYLOAD_SCHEMA_V3.into()),
84 Value::Text(String::from(CERTIFICATE_TYPE)),
Alice Wang68d11402024-01-02 13:59:44 +000085 device_info(),
Alice Wangf7c0f942023-09-14 09:33:04 +000086 Value::Array(public_keys),
87 ])?;
Alice Wang5dddeea2023-10-13 12:56:22 +000088 let csr_payload = cbor_util::serialize(&csr_payload)?;
Alice Wangf7c0f942023-09-14 09:33:04 +000089
90 // Builds `SignedData`.
91 let signed_data_payload =
92 cbor!([Value::Bytes(params.challenge.to_vec()), Value::Bytes(csr_payload)])?;
Alice Wang6bc2a702023-09-22 12:42:13 +000093 let signed_data = build_signed_data(&signed_data_payload, dice_artifacts)?.to_cbor_value()?;
Alice Wangf7c0f942023-09-14 09:33:04 +000094
95 // Builds `AuthenticatedRequest<CsrPayload>`.
Alice Wanga2738b72023-09-22 15:31:28 +000096 // Currently `UdsCerts` is left empty because it is only needed for Samsung devices.
97 // Check http://b/301574013#comment3 for more information.
Alice Wangf7c0f942023-09-14 09:33:04 +000098 let uds_certs = Value::Map(Vec::new());
Alice Wangfacc2b82023-10-05 14:05:47 +000099 let dice_cert_chain = dice_artifacts.bcc().ok_or(RequestProcessingError::MissingDiceChain)?;
Alice Wang5dddeea2023-10-13 12:56:22 +0000100 let dice_cert_chain: Value = cbor_util::deserialize(dice_cert_chain)?;
Alice Wangf7c0f942023-09-14 09:33:04 +0000101 let auth_req = cbor!([
102 Value::Integer(AUTH_REQ_SCHEMA_V1.into()),
103 uds_certs,
104 dice_cert_chain,
105 signed_data,
106 ])?;
Alice Wang5dddeea2023-10-13 12:56:22 +0000107 Ok(cbor_util::serialize(&auth_req)?)
Alice Wangf7c0f942023-09-14 09:33:04 +0000108}
109
Alice Wang68d11402024-01-02 13:59:44 +0000110/// Generates the device info required by the RKP server as a temporary placeholder.
111/// More details in b/301592917.
Alice Wang0a76da32024-03-05 13:41:27 +0000112///
113/// The keys of the map should be in the length-first core deterministic encoding order
114/// as per RFC8949.
115fn device_info() -> CanonicalValue {
116 cbor!({
117 "brand" => "aosp-avf",
118 "fused" => 1,
119 "model" => "avf",
120 "device" => "avf",
121 "product" => "avf",
122 "manufacturer" => "aosp-avf",
123 "vbmeta_digest" => Value::Bytes(vec![0u8; 0]),
124 "boot_patch_level" => 20240202,
125 "system_patch_level" => 202402,
126 "vendor_patch_level" => 20240202,
127 })
Alice Wang68d11402024-01-02 13:59:44 +0000128 .unwrap()
Alice Wang0a76da32024-03-05 13:41:27 +0000129 .into()
Alice Wang68d11402024-01-02 13:59:44 +0000130}
131
Alice Wang4ca86b62023-09-22 11:49:43 +0000132fn derive_hmac_key(dice_artifacts: &dyn DiceArtifacts) -> Result<Zeroizing<[u8; HMAC_KEY_LENGTH]>> {
133 let mut key = Zeroizing::new([0u8; HMAC_KEY_LENGTH]);
134 kdf(dice_artifacts.cdi_seal(), &HMAC_KEY_SALT, HMAC_KEY_INFO, key.as_mut()).map_err(|e| {
135 error!("Failed to compute the HMAC key: {e}");
136 RequestProcessingError::InternalError
137 })?;
138 Ok(key)
139}
140
Alice Wangf7c0f942023-09-14 09:33:04 +0000141/// Builds the `SignedData` for the given payload.
Alice Wang6bc2a702023-09-22 12:42:13 +0000142fn build_signed_data(payload: &Value, dice_artifacts: &dyn DiceArtifacts) -> Result<CoseSign1> {
143 let cdi_leaf_priv = derive_cdi_leaf_priv(dice_artifacts).map_err(|e| {
144 error!("Failed to derive the CDI_Leaf_Priv: {e}");
145 RequestProcessingError::InternalError
146 })?;
147 let signing_algorithm = iana::Algorithm::EdDSA;
Alice Wangf7c0f942023-09-14 09:33:04 +0000148 let protected = HeaderBuilder::new().algorithm(signing_algorithm).build();
149 let signed_data = CoseSign1Builder::new()
150 .protected(protected)
Alice Wang5dddeea2023-10-13 12:56:22 +0000151 .payload(cbor_util::serialize(payload)?)
Alice Wang6bc2a702023-09-22 12:42:13 +0000152 .try_create_signature(&[], |message| sign_message(message, &cdi_leaf_priv))?
Alice Wangf7c0f942023-09-14 09:33:04 +0000153 .build();
154 Ok(signed_data)
155}
156
Alice Wang6bc2a702023-09-22 12:42:13 +0000157fn sign_message(message: &[u8], private_key: &PrivateKey) -> Result<Vec<u8>> {
158 Ok(sign(message, private_key.as_array())
159 .map_err(|e| {
160 error!("Failed to sign the CSR: {e}");
161 RequestProcessingError::InternalError
162 })?
163 .to_vec())
Alice Wang464e4732023-09-06 12:25:22 +0000164}
Alice Wang0a76da32024-03-05 13:41:27 +0000165
166#[cfg(test)]
167mod tests {
168 use super::*;
169
170 /// The keys of device info map should be in the length-first core deterministic encoding
171 /// order as per RFC8949.
172 /// The CBOR ordering rules are:
173 /// 1. If two keys have different lengths, the shorter one sorts earlier;
174 /// 2. If two keys have the same length, the one with the lower value in
175 /// (bytewise) lexical order sorts earlier.
176 #[test]
177 fn device_info_is_in_length_first_deterministic_order() {
178 let device_info = cbor!(device_info()).unwrap();
179 let device_info_map = device_info.as_map().unwrap();
180 let device_info_keys: Vec<&str> =
181 device_info_map.iter().map(|k| k.0.as_text().unwrap()).collect();
182 let mut sorted_keys = device_info_keys.clone();
183 sorted_keys.sort_by(|a, b| a.len().cmp(&b.len()).then(a.cmp(b)));
184 assert_eq!(device_info_keys, sorted_keys);
185 }
186}