Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 1 | // Copyright 2022, 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 | //! Logic for handling the DICE values and boot operations. |
| 16 | |
Alice Wang | 6a22be9 | 2023-02-15 10:08:36 +0000 | [diff] [blame] | 17 | use anyhow::{anyhow, bail, Context, Error, Result}; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 18 | use byteorder::{NativeEndian, ReadBytesExt}; |
Alice Wang | f4b8b00 | 2023-02-08 08:53:23 +0000 | [diff] [blame] | 19 | use diced_open_dice::{ |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 20 | bcc_handover_parse, retry_bcc_main_flow, BccHandover, Config, DiceArtifacts, DiceMode, Hash, |
| 21 | Hidden, InputValues, OwnedDiceArtifacts, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 22 | }; |
Alice Wang | 285a3d2 | 2023-03-01 11:36:29 +0000 | [diff] [blame^] | 23 | use diced_utils::cbor::{encode_header, encode_number}; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 24 | use keystore2_crypto::ZVec; |
| 25 | use libc::{c_void, mmap, munmap, MAP_FAILED, MAP_PRIVATE, PROT_READ}; |
Alice Wang | 285a3d2 | 2023-03-01 11:36:29 +0000 | [diff] [blame^] | 26 | use microdroid_metadata::PayloadMetadata; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 27 | use openssl::hkdf::hkdf; |
| 28 | use openssl::md::Md; |
| 29 | use std::fs; |
Alice Wang | 285a3d2 | 2023-03-01 11:36:29 +0000 | [diff] [blame^] | 30 | use std::io::Write; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 31 | use std::os::unix::io::AsRawFd; |
| 32 | use std::path::{Path, PathBuf}; |
| 33 | use std::ptr::null_mut; |
| 34 | use std::slice; |
| 35 | |
Alice Wang | 62f7e64 | 2023-02-10 09:55:13 +0000 | [diff] [blame] | 36 | /// Derives a sealing key from the DICE sealing CDI. |
| 37 | pub fn derive_sealing_key( |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 38 | dice_artifacts: &dyn DiceArtifacts, |
Alice Wang | 62f7e64 | 2023-02-10 09:55:13 +0000 | [diff] [blame] | 39 | salt: &[u8], |
| 40 | info: &[u8], |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 41 | key: &mut [u8], |
| 42 | ) -> Result<()> { |
| 43 | Ok(hkdf(key, Md::sha256(), dice_artifacts.cdi_seal(), salt, info)?) |
Shikha Panwar | 566c967 | 2022-11-15 14:39:58 +0000 | [diff] [blame] | 44 | } |
| 45 | |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 46 | /// Artifacts that are mapped into the process address space from the driver. |
| 47 | pub enum DiceDriver<'a> { |
| 48 | Real { |
| 49 | driver_path: PathBuf, |
| 50 | mmap_addr: *mut c_void, |
| 51 | mmap_size: usize, |
Alice Wang | 6a22be9 | 2023-02-15 10:08:36 +0000 | [diff] [blame] | 52 | bcc_handover: BccHandover<'a>, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 53 | }, |
Alice Wang | 62f7e64 | 2023-02-10 09:55:13 +0000 | [diff] [blame] | 54 | Fake(OwnedDiceArtifacts), |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 55 | } |
| 56 | |
| 57 | impl DiceDriver<'_> { |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 58 | fn dice_artifacts(&self) -> &dyn DiceArtifacts { |
| 59 | match self { |
| 60 | Self::Real { bcc_handover, .. } => bcc_handover, |
| 61 | Self::Fake(owned_dice_artifacts) => owned_dice_artifacts, |
| 62 | } |
| 63 | } |
| 64 | |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 65 | pub fn new(driver_path: &Path) -> Result<Self> { |
| 66 | if driver_path.exists() { |
| 67 | log::info!("Using DICE values from driver"); |
| 68 | } else if super::is_strict_boot() { |
| 69 | bail!("Strict boot requires DICE value from driver but none were found"); |
| 70 | } else { |
| 71 | log::warn!("Using sample DICE values"); |
Alice Wang | f4b8b00 | 2023-02-08 08:53:23 +0000 | [diff] [blame] | 72 | let dice_artifacts = diced_sample_inputs::make_sample_bcc_and_cdis() |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 73 | .expect("Failed to create sample dice artifacts."); |
Alice Wang | 62f7e64 | 2023-02-10 09:55:13 +0000 | [diff] [blame] | 74 | return Ok(Self::Fake(dice_artifacts)); |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 75 | }; |
| 76 | |
| 77 | let mut file = fs::File::open(driver_path) |
| 78 | .map_err(|error| Error::new(error).context("Opening driver"))?; |
| 79 | let mmap_size = |
| 80 | file.read_u64::<NativeEndian>() |
| 81 | .map_err(|error| Error::new(error).context("Reading driver"))? as usize; |
| 82 | // It's safe to map the driver as the service will only create a single |
| 83 | // mapping per process. |
| 84 | let mmap_addr = unsafe { |
| 85 | let fd = file.as_raw_fd(); |
| 86 | mmap(null_mut(), mmap_size, PROT_READ, MAP_PRIVATE, fd, 0) |
| 87 | }; |
| 88 | if mmap_addr == MAP_FAILED { |
| 89 | bail!("Failed to mmap {:?}", driver_path); |
| 90 | } |
| 91 | // The slice is created for the region of memory that was just |
| 92 | // successfully mapped into the process address space so it will be |
| 93 | // accessible and not referenced from anywhere else. |
| 94 | let mmap_buf = |
| 95 | unsafe { slice::from_raw_parts((mmap_addr as *const u8).as_ref().unwrap(), mmap_size) }; |
Alice Wang | 6a22be9 | 2023-02-15 10:08:36 +0000 | [diff] [blame] | 96 | let bcc_handover = |
| 97 | bcc_handover_parse(mmap_buf).map_err(|_| anyhow!("Failed to parse Bcc Handover"))?; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 98 | Ok(Self::Real { |
| 99 | driver_path: driver_path.to_path_buf(), |
| 100 | mmap_addr, |
| 101 | mmap_size, |
Alice Wang | 6a22be9 | 2023-02-15 10:08:36 +0000 | [diff] [blame] | 102 | bcc_handover, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 103 | }) |
| 104 | } |
| 105 | |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 106 | /// Derives a sealing key of `key_length` bytes from the DICE sealing CDI. |
| 107 | pub fn get_sealing_key(&self, identifier: &[u8], key_length: usize) -> Result<ZVec> { |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 108 | // Deterministically derive a key to use for sealing data, rather than using the CDI |
| 109 | // directly, so we have the chance to rotate the key if needed. A salt isn't needed as the |
| 110 | // input key material is already cryptographically strong. |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 111 | let mut key = ZVec::new(key_length)?; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 112 | let salt = &[]; |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 113 | derive_sealing_key(self.dice_artifacts(), salt, identifier, &mut key)?; |
| 114 | Ok(key) |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 115 | } |
| 116 | |
| 117 | pub fn derive( |
| 118 | self, |
Alice Wang | 5aeed33 | 2023-02-02 09:42:21 +0000 | [diff] [blame] | 119 | code_hash: Hash, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 120 | config_desc: &[u8], |
Alice Wang | 5aeed33 | 2023-02-02 09:42:21 +0000 | [diff] [blame] | 121 | authority_hash: Hash, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 122 | debug: bool, |
Alice Wang | 5aeed33 | 2023-02-02 09:42:21 +0000 | [diff] [blame] | 123 | hidden: Hidden, |
Alice Wang | 62f7e64 | 2023-02-10 09:55:13 +0000 | [diff] [blame] | 124 | ) -> Result<OwnedDiceArtifacts> { |
Alice Wang | a777366 | 2023-02-03 09:37:17 +0000 | [diff] [blame] | 125 | let input_values = InputValues::new( |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 126 | code_hash, |
| 127 | Config::Descriptor(config_desc), |
| 128 | authority_hash, |
Alice Wang | 3122613 | 2023-01-31 12:44:39 +0000 | [diff] [blame] | 129 | if debug { DiceMode::kDiceModeDebug } else { DiceMode::kDiceModeNormal }, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 130 | hidden, |
| 131 | ); |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 132 | let current_dice_artifacts = self.dice_artifacts(); |
| 133 | let next_dice_artifacts = retry_bcc_main_flow( |
| 134 | current_dice_artifacts.cdi_attest(), |
| 135 | current_dice_artifacts.cdi_seal(), |
| 136 | current_dice_artifacts.bcc().ok_or_else(|| anyhow!("bcc is none"))?, |
| 137 | &input_values, |
| 138 | ) |
| 139 | .context("DICE derive from driver")?; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 140 | if let Self::Real { driver_path, .. } = &self { |
| 141 | // Writing to the device wipes the artifacts. The string is ignored by the driver but |
| 142 | // included for documentation. |
| 143 | fs::write(driver_path, "wipe") |
| 144 | .map_err(|err| Error::new(err).context("Wiping driver"))?; |
| 145 | } |
Alice Wang | 7e6c935 | 2023-02-15 15:44:13 +0000 | [diff] [blame] | 146 | Ok(next_dice_artifacts) |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 147 | } |
| 148 | } |
| 149 | |
| 150 | impl Drop for DiceDriver<'_> { |
| 151 | fn drop(&mut self) { |
| 152 | if let &mut Self::Real { mmap_addr, mmap_size, .. } = self { |
| 153 | // All references to the mapped region have the same lifetime as self. Since self is |
| 154 | // being dropped, so are all the references to the mapped region meaning its safe to |
| 155 | // unmap. |
| 156 | let ret = unsafe { munmap(mmap_addr, mmap_size) }; |
| 157 | if ret != 0 { |
| 158 | log::warn!("Failed to munmap ({})", ret); |
| 159 | } |
| 160 | } |
| 161 | } |
| 162 | } |
Alice Wang | 285a3d2 | 2023-03-01 11:36:29 +0000 | [diff] [blame^] | 163 | |
| 164 | /// Returns a configuration descriptor of the given payload following the BCC's specification: |
| 165 | /// https://cs.android.com/android/platform/superproject/+/master:hardware/interfaces/security/rkp/aidl/android/hardware/security/keymint/ProtectedData.aidl |
| 166 | /// { |
| 167 | /// -70002: "Microdroid payload", |
| 168 | /// ? -71000: tstr // payload_config_path |
| 169 | /// ? -71001: PayloadConfig |
| 170 | /// } |
| 171 | /// PayloadConfig = { |
| 172 | /// 1: tstr // payload_binary_name |
| 173 | /// } |
| 174 | pub fn format_payload_config_descriptor(payload_metadata: &PayloadMetadata) -> Result<Vec<u8>> { |
| 175 | let mut config_descriptor = vec![ |
| 176 | 0xa2, // map(2) |
| 177 | 0x3a, 0x00, 0x01, 0x11, 0x71, // -70002 |
| 178 | 0x72, 0x4d, 0x69, 0x63, 0x72, 0x6f, 0x64, 0x72, 0x6f, 0x69, 0x64, 0x20, 0x70, 0x61, 0x79, |
| 179 | 0x6c, 0x6f, 0x61, 0x64, // "Microdroid payload" |
| 180 | ]; |
| 181 | |
| 182 | match payload_metadata { |
| 183 | PayloadMetadata::config_path(payload_config_path) => { |
| 184 | encode_negative_number(-71000, &mut config_descriptor)?; |
| 185 | encode_tstr(payload_config_path, &mut config_descriptor)?; |
| 186 | } |
| 187 | PayloadMetadata::config(payload_config) => { |
| 188 | encode_negative_number(-71001, &mut config_descriptor)?; |
| 189 | encode_header(5, 1, &mut config_descriptor)?; // map(1) |
| 190 | encode_number(1, &mut config_descriptor)?; |
| 191 | encode_tstr(&payload_config.payload_binary_name, &mut config_descriptor)?; |
| 192 | } |
| 193 | } |
| 194 | Ok(config_descriptor) |
| 195 | } |
| 196 | |
| 197 | fn encode_tstr(tstr: &str, buffer: &mut Vec<u8>) -> Result<()> { |
| 198 | let bytes = tstr.as_bytes(); |
| 199 | encode_header(3, bytes.len().try_into().unwrap(), buffer)?; |
| 200 | buffer.extend_from_slice(bytes); |
| 201 | Ok(()) |
| 202 | } |
| 203 | |
| 204 | fn encode_negative_number(n: i64, buffer: &mut dyn Write) -> Result<()> { |
| 205 | anyhow::ensure!(n < 0); |
| 206 | let n = -1 - n; |
| 207 | encode_header(1, n.try_into().unwrap(), buffer) |
| 208 | } |
| 209 | |
| 210 | #[cfg(test)] |
| 211 | mod tests { |
| 212 | use super::*; |
| 213 | use microdroid_metadata::PayloadConfig; |
| 214 | |
| 215 | #[test] |
| 216 | fn payload_metadata_with_path_formats_correctly() -> Result<()> { |
| 217 | let payload_metadata = PayloadMetadata::config_path("/config_path".to_string()); |
| 218 | let config_descriptor = format_payload_config_descriptor(&payload_metadata)?; |
| 219 | static EXPECTED_CONFIG_DESCRIPTOR: &[u8] = &[ |
| 220 | 0xa2, 0x3a, 0x00, 0x01, 0x11, 0x71, 0x72, 0x4d, 0x69, 0x63, 0x72, 0x6f, 0x64, 0x72, |
| 221 | 0x6f, 0x69, 0x64, 0x20, 0x70, 0x61, 0x79, 0x6c, 0x6f, 0x61, 0x64, 0x3a, 0x00, 0x01, |
| 222 | 0x15, 0x57, 0x6c, 0x2f, 0x63, 0x6f, 0x6e, 0x66, 0x69, 0x67, 0x5f, 0x70, 0x61, 0x74, |
| 223 | 0x68, |
| 224 | ]; |
| 225 | assert_eq!(EXPECTED_CONFIG_DESCRIPTOR, &config_descriptor); |
| 226 | Ok(()) |
| 227 | } |
| 228 | |
| 229 | #[test] |
| 230 | fn payload_metadata_with_config_formats_correctly() -> Result<()> { |
| 231 | let payload_config = PayloadConfig { |
| 232 | payload_binary_name: "payload_binary".to_string(), |
| 233 | ..Default::default() |
| 234 | }; |
| 235 | let payload_metadata = PayloadMetadata::config(payload_config); |
| 236 | let config_descriptor = format_payload_config_descriptor(&payload_metadata)?; |
| 237 | static EXPECTED_CONFIG_DESCRIPTOR: &[u8] = &[ |
| 238 | 0xa2, 0x3a, 0x00, 0x01, 0x11, 0x71, 0x72, 0x4d, 0x69, 0x63, 0x72, 0x6f, 0x64, 0x72, |
| 239 | 0x6f, 0x69, 0x64, 0x20, 0x70, 0x61, 0x79, 0x6c, 0x6f, 0x61, 0x64, 0x3a, 0x00, 0x01, |
| 240 | 0x15, 0x58, 0xa1, 0x01, 0x6e, 0x70, 0x61, 0x79, 0x6c, 0x6f, 0x61, 0x64, 0x5f, 0x62, |
| 241 | 0x69, 0x6e, 0x61, 0x72, 0x79, |
| 242 | ]; |
| 243 | assert_eq!(EXPECTED_CONFIG_DESCRIPTOR, &config_descriptor); |
| 244 | Ok(()) |
| 245 | } |
| 246 | } |