blob: 9eb6a79472ad272e699d126fc6f556132b63efd7 [file] [log] [blame]
David Brazdil66fc1202022-07-04 21:48:45 +01001// 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//! Integration test for Rialto.
16
17use android_system_virtualizationservice::{
18 aidl::android::system::virtualizationservice::{
Alice Wanga6357692023-09-07 14:59:37 +000019 VirtualMachineConfig::VirtualMachineConfig,
David Brazdil66fc1202022-07-04 21:48:45 +010020 VirtualMachineRawConfig::VirtualMachineRawConfig,
21 },
22 binder::{ParcelFileDescriptor, ProcessState},
23};
Alice Wang9646fb32023-09-08 10:01:31 +000024use anyhow::{bail, Context, Result};
Alice Wangeb77f7d2023-12-01 09:13:58 +000025use bssl_avf::{sha256, EcKey, PKey};
Alice Wangde6bee52023-11-10 09:58:40 +000026use client_vm_csr::generate_attestation_key_and_csr;
Alice Wang20b8ebc2023-11-17 09:54:47 +000027use coset::{CborSerializable, CoseMac0, CoseSign};
Alice Wang68d11402024-01-02 13:59:44 +000028use hwtrust::{rkp, session::Session};
David Brazdil66fc1202022-07-04 21:48:45 +010029use log::info;
Alice Wang9646fb32023-09-08 10:01:31 +000030use service_vm_comm::{
Alice Wang20b8ebc2023-11-17 09:54:47 +000031 ClientVmAttestationParams, Csr, CsrPayload, EcdsaP256KeyPair, GenerateCertificateRequestParams,
Alice Wangd3a96402023-11-24 15:37:39 +000032 Request, RequestProcessingError, Response, VmType,
Alice Wang9646fb32023-09-08 10:01:31 +000033};
Alice Wang1cc13502023-12-05 11:05:34 +000034use service_vm_fake_chain::client_vm::{
35 fake_client_vm_dice_artifacts, fake_sub_components, SubComponent,
36};
Alice Wang17dc76e2023-09-06 09:43:52 +000037use service_vm_manager::ServiceVm;
Alice Wang20b8ebc2023-11-17 09:54:47 +000038use std::fs;
David Brazdil66fc1202022-07-04 21:48:45 +010039use std::fs::File;
David Brazdil66fc1202022-07-04 21:48:45 +010040use std::panic;
Alice Wang17dc76e2023-09-06 09:43:52 +000041use std::path::PathBuf;
Alice Wang6a504ef2023-12-21 15:37:55 +000042use std::str::FromStr;
Alice Wang17dc76e2023-09-06 09:43:52 +000043use vmclient::VmInstance;
Alice Wang6a504ef2023-12-21 15:37:55 +000044use x509_cert::{
45 certificate::{Certificate, Version},
46 der::{self, asn1, Decode, Encode},
47 name::Name,
48 spki::{AlgorithmIdentifier, ObjectIdentifier, SubjectPublicKeyInfo},
Alice Wang20b8ebc2023-11-17 09:54:47 +000049};
Alice Wang4e082c32023-07-11 07:41:50 +000050
Alice Wang9a8b39f2023-04-12 15:31:48 +000051const UNSIGNED_RIALTO_PATH: &str = "/data/local/tmp/rialto_test/arm64/rialto_unsigned.bin";
52const INSTANCE_IMG_PATH: &str = "/data/local/tmp/rialto_test/arm64/instance.img";
Alice Wang20b8ebc2023-11-17 09:54:47 +000053const TEST_CERT_CHAIN_PATH: &str = "testdata/rkp_cert_chain.der";
David Brazdil66fc1202022-07-04 21:48:45 +010054
Alice Wang9a8b39f2023-04-12 15:31:48 +000055#[test]
Alice Wange910b902023-09-07 10:35:12 +000056fn process_requests_in_protected_vm() -> Result<()> {
Alice Wang9646fb32023-09-08 10:01:31 +000057 check_processing_requests(VmType::ProtectedVm)
Alice Wang9a8b39f2023-04-12 15:31:48 +000058}
59
Alice Wange910b902023-09-07 10:35:12 +000060#[test]
61fn process_requests_in_non_protected_vm() -> Result<()> {
Alice Wang9646fb32023-09-08 10:01:31 +000062 check_processing_requests(VmType::NonProtectedVm)
63}
64
65fn check_processing_requests(vm_type: VmType) -> Result<()> {
66 let mut vm = start_service_vm(vm_type)?;
Alice Wange910b902023-09-07 10:35:12 +000067
68 check_processing_reverse_request(&mut vm)?;
Alice Wang74eb78b2023-11-09 16:13:10 +000069 let key_pair = check_processing_generating_key_pair_request(&mut vm)?;
70 check_processing_generating_certificate_request(&mut vm, &key_pair.maced_public_key)?;
Alice Wangd3a96402023-11-24 15:37:39 +000071 check_attestation_request(&mut vm, &key_pair, vm_type)?;
Alice Wange910b902023-09-07 10:35:12 +000072 Ok(())
73}
74
75fn check_processing_reverse_request(vm: &mut ServiceVm) -> Result<()> {
Alice Wang0486e252023-10-06 14:30:49 +000076 let message = "abc".repeat(500);
Alice Wange910b902023-09-07 10:35:12 +000077 let request = Request::Reverse(message.as_bytes().to_vec());
78
Alice Wangfbdc85b2023-09-07 12:56:46 +000079 let response = vm.process_request(request)?;
80 info!("Received response: {response:?}.");
Alice Wange910b902023-09-07 10:35:12 +000081
82 let expected_response: Vec<u8> = message.as_bytes().iter().rev().cloned().collect();
83 assert_eq!(Response::Reverse(expected_response), response);
84 Ok(())
85}
86
Alice Wang74eb78b2023-11-09 16:13:10 +000087fn check_processing_generating_key_pair_request(vm: &mut ServiceVm) -> Result<EcdsaP256KeyPair> {
Alice Wang9646fb32023-09-08 10:01:31 +000088 let request = Request::GenerateEcdsaP256KeyPair;
89
90 let response = vm.process_request(request)?;
91 info!("Received response: {response:?}.");
92
93 match response {
Alice Wang74eb78b2023-11-09 16:13:10 +000094 Response::GenerateEcdsaP256KeyPair(key_pair) => {
95 assert_array_has_nonzero(&key_pair.maced_public_key);
96 assert_array_has_nonzero(&key_pair.key_blob);
97 Ok(key_pair)
Alice Wanga78d3f02023-09-13 12:39:16 +000098 }
Alice Wangff5592d2023-09-13 15:27:39 +000099 _ => bail!("Incorrect response type: {response:?}"),
Alice Wang9646fb32023-09-08 10:01:31 +0000100 }
101}
102
Alice Wanga78d3f02023-09-13 12:39:16 +0000103fn assert_array_has_nonzero(v: &[u8]) {
104 assert!(v.iter().any(|&x| x != 0))
105}
106
Alice Wangff5592d2023-09-13 15:27:39 +0000107fn check_processing_generating_certificate_request(
108 vm: &mut ServiceVm,
Alice Wang74eb78b2023-11-09 16:13:10 +0000109 maced_public_key: &[u8],
Alice Wangff5592d2023-09-13 15:27:39 +0000110) -> Result<()> {
111 let params = GenerateCertificateRequestParams {
Alice Wang74eb78b2023-11-09 16:13:10 +0000112 keys_to_sign: vec![maced_public_key.to_vec()],
Alice Wangff5592d2023-09-13 15:27:39 +0000113 challenge: vec![],
114 };
Alice Wang9646fb32023-09-08 10:01:31 +0000115 let request = Request::GenerateCertificateRequest(params);
116
117 let response = vm.process_request(request)?;
118 info!("Received response: {response:?}.");
119
120 match response {
Alice Wangf7c0f942023-09-14 09:33:04 +0000121 Response::GenerateCertificateRequest(csr) => check_csr(csr),
Alice Wangff5592d2023-09-13 15:27:39 +0000122 _ => bail!("Incorrect response type: {response:?}"),
Alice Wang9646fb32023-09-08 10:01:31 +0000123 }
124}
125
Alice Wang20b8ebc2023-11-17 09:54:47 +0000126fn check_attestation_request(
127 vm: &mut ServiceVm,
128 remotely_provisioned_key_pair: &EcdsaP256KeyPair,
Alice Wangd3a96402023-11-24 15:37:39 +0000129 vm_type: VmType,
Alice Wang20b8ebc2023-11-17 09:54:47 +0000130) -> Result<()> {
Alice Wangde6bee52023-11-10 09:58:40 +0000131 /// The following data was generated randomly with urandom.
132 const CHALLENGE: [u8; 16] = [
133 0x7d, 0x86, 0x58, 0x79, 0x3a, 0x09, 0xdf, 0x1c, 0xa5, 0x80, 0x80, 0x15, 0x2b, 0x13, 0x17,
134 0x5c,
135 ];
Alice Wang4ac9c8b2023-12-05 16:23:14 +0000136 let dice_artifacts = fake_client_vm_dice_artifacts()?;
Alice Wangde6bee52023-11-10 09:58:40 +0000137 let attestation_data = generate_attestation_key_and_csr(&CHALLENGE, &dice_artifacts)?;
Alice Wang20b8ebc2023-11-17 09:54:47 +0000138 let cert_chain = fs::read(TEST_CERT_CHAIN_PATH)?;
Alice Wang6a504ef2023-12-21 15:37:55 +0000139 // The certificate chain contains several certificates, but we only need the first one.
140 // Parsing the data with trailing data always fails with a `TrailingData` error.
141 let cert_len: usize = match Certificate::from_der(&cert_chain).unwrap_err().kind() {
142 der::ErrorKind::TrailingData { decoded, .. } => decoded.try_into().unwrap(),
143 e => bail!("Unexpected error: {e}"),
144 };
Alice Wangde6bee52023-11-10 09:58:40 +0000145
Alice Wang20b8ebc2023-11-17 09:54:47 +0000146 // Builds the mock parameters for the client VM attestation.
147 // The `csr` and `remotely_provisioned_key_blob` parameters are extracted from the same
148 // libraries as in production.
149 // The `remotely_provisioned_cert` parameter is an RKP certificate extracted from a test
150 // certificate chain retrieved from RKPD.
Alice Wangde6bee52023-11-10 09:58:40 +0000151 let params = ClientVmAttestationParams {
Alice Wang20b8ebc2023-11-17 09:54:47 +0000152 csr: attestation_data.csr.clone().into_cbor_vec()?,
153 remotely_provisioned_key_blob: remotely_provisioned_key_pair.key_blob.to_vec(),
Alice Wang6a504ef2023-12-21 15:37:55 +0000154 remotely_provisioned_cert: cert_chain[..cert_len].to_vec(),
Alice Wangde6bee52023-11-10 09:58:40 +0000155 };
Alice Wang74eb78b2023-11-09 16:13:10 +0000156 let request = Request::RequestClientVmAttestation(params);
157
158 let response = vm.process_request(request)?;
159 info!("Received response: {response:?}.");
160
161 match response {
Alice Wang20b8ebc2023-11-17 09:54:47 +0000162 Response::RequestClientVmAttestation(certificate) => {
Alice Wangd3a96402023-11-24 15:37:39 +0000163 // The end-to-end test for non-protected VM attestation works because both the service
164 // VM and the client VM use the same fake DICE chain.
165 assert_eq!(vm_type, VmType::NonProtectedVm);
Alice Wang20b8ebc2023-11-17 09:54:47 +0000166 check_certificate_for_client_vm(
167 &certificate,
168 &remotely_provisioned_key_pair.maced_public_key,
169 &attestation_data.csr,
Alice Wang6a504ef2023-12-21 15:37:55 +0000170 &Certificate::from_der(&cert_chain[..cert_len]).unwrap(),
Alice Wang20b8ebc2023-11-17 09:54:47 +0000171 )?;
172 Ok(())
173 }
Alice Wangd3a96402023-11-24 15:37:39 +0000174 Response::Err(RequestProcessingError::InvalidDiceChain) => {
175 // The end-to-end test for protected VM attestation doesn't work because the service VM
176 // compares the fake DICE chain in the CSR with the real DICE chain.
177 // We cannot generate a valid DICE chain with the same payloads up to pvmfw.
178 assert_eq!(vm_type, VmType::ProtectedVm);
179 Ok(())
180 }
Alice Wang74eb78b2023-11-09 16:13:10 +0000181 _ => bail!("Incorrect response type: {response:?}"),
182 }
183}
184
Alice Wang6a504ef2023-12-21 15:37:55 +0000185fn check_vm_components(vm_components: &asn1::SequenceOf<asn1::Any, 4>) -> Result<()> {
Alice Wang1cc13502023-12-05 11:05:34 +0000186 let expected_components = fake_sub_components();
187 assert_eq!(expected_components.len(), vm_components.len());
Alice Wang6a504ef2023-12-21 15:37:55 +0000188 for (i, expected_component) in expected_components.iter().enumerate() {
189 check_vm_component(vm_components.get(i).unwrap(), expected_component)?;
Alice Wang1cc13502023-12-05 11:05:34 +0000190 }
191 Ok(())
192}
193
Alice Wang6a504ef2023-12-21 15:37:55 +0000194fn check_vm_component(vm_component: &asn1::Any, expected_component: &SubComponent) -> Result<()> {
195 let vm_component = vm_component.decode_as::<asn1::SequenceOf<asn1::Any, 4>>().unwrap();
Alice Wang1cc13502023-12-05 11:05:34 +0000196 assert_eq!(4, vm_component.len());
Alice Wang6a504ef2023-12-21 15:37:55 +0000197 let name = vm_component.get(0).unwrap().decode_as::<asn1::Utf8StringRef>().unwrap();
198 assert_eq!(expected_component.name, name.as_ref());
199 let version = vm_component.get(1).unwrap().decode_as::<u64>().unwrap();
200 assert_eq!(expected_component.version, version);
201 let code_hash = vm_component.get(2).unwrap().decode_as::<asn1::OctetString>().unwrap();
202 assert_eq!(expected_component.code_hash, code_hash.as_bytes());
203 let authority_hash = vm_component.get(3).unwrap().decode_as::<asn1::OctetString>().unwrap();
204 assert_eq!(expected_component.authority_hash, authority_hash.as_bytes());
Alice Wang1cc13502023-12-05 11:05:34 +0000205 Ok(())
206}
207
Alice Wang20b8ebc2023-11-17 09:54:47 +0000208fn check_certificate_for_client_vm(
209 certificate: &[u8],
210 maced_public_key: &[u8],
211 csr: &Csr,
Alice Wang6a504ef2023-12-21 15:37:55 +0000212 parent_certificate: &Certificate,
Alice Wang20b8ebc2023-11-17 09:54:47 +0000213) -> Result<()> {
214 let cose_mac = CoseMac0::from_slice(maced_public_key)?;
Alice Wangbe7a4b12023-12-01 11:53:36 +0000215 let authority_public_key =
216 EcKey::from_cose_public_key_slice(&cose_mac.payload.unwrap()).unwrap();
Alice Wang6a504ef2023-12-21 15:37:55 +0000217 let cert = Certificate::from_der(certificate).unwrap();
Alice Wang20b8ebc2023-11-17 09:54:47 +0000218
219 // Checks the certificate signature against the authority public key.
Alice Wang6a504ef2023-12-21 15:37:55 +0000220 const ECDSA_WITH_SHA_256: ObjectIdentifier =
221 ObjectIdentifier::new_unwrap("1.2.840.10045.4.3.2");
222 let expected_algorithm = AlgorithmIdentifier { oid: ECDSA_WITH_SHA_256, parameters: None };
Alice Wang20b8ebc2023-11-17 09:54:47 +0000223 assert_eq!(expected_algorithm, cert.signature_algorithm);
Alice Wang6a504ef2023-12-21 15:37:55 +0000224 let tbs_cert = cert.tbs_certificate;
225 let digest = sha256(&tbs_cert.to_der().unwrap()).unwrap();
Alice Wang20b8ebc2023-11-17 09:54:47 +0000226 authority_public_key
Alice Wang6a504ef2023-12-21 15:37:55 +0000227 .ecdsa_verify(cert.signature.raw_bytes(), &digest)
Alice Wang20b8ebc2023-11-17 09:54:47 +0000228 .expect("Failed to verify the certificate signature with the authority public key");
229
230 // Checks that the certificate's subject public key is equal to the key in the CSR.
231 let cose_sign = CoseSign::from_slice(&csr.signed_csr_payload)?;
232 let csr_payload =
233 cose_sign.payload.as_ref().and_then(|v| CsrPayload::from_cbor_slice(v).ok()).unwrap();
Alice Wangbe7a4b12023-12-01 11:53:36 +0000234 let subject_public_key = EcKey::from_cose_public_key_slice(&csr_payload.public_key).unwrap();
Alice Wang20b8ebc2023-11-17 09:54:47 +0000235 let expected_spki_data =
Alice Wangeb77f7d2023-12-01 09:13:58 +0000236 PKey::try_from(subject_public_key).unwrap().subject_public_key_info().unwrap();
Alice Wang6a504ef2023-12-21 15:37:55 +0000237 let expected_spki = SubjectPublicKeyInfo::from_der(&expected_spki_data).unwrap();
238 assert_eq!(expected_spki, tbs_cert.subject_public_key_info);
Alice Wang20b8ebc2023-11-17 09:54:47 +0000239
240 // Checks the certificate extension.
Alice Wang6a504ef2023-12-21 15:37:55 +0000241 const ATTESTATION_EXTENSION_OID: ObjectIdentifier =
242 ObjectIdentifier::new_unwrap("1.3.6.1.4.1.11129.2.1.29.1");
243 let extensions = tbs_cert.extensions.unwrap();
Alice Wang20b8ebc2023-11-17 09:54:47 +0000244 assert_eq!(1, extensions.len());
245 let extension = &extensions[0];
Alice Wang6a504ef2023-12-21 15:37:55 +0000246 assert_eq!(ATTESTATION_EXTENSION_OID, extension.extn_id);
Alice Wang20b8ebc2023-11-17 09:54:47 +0000247 assert!(!extension.critical);
Alice Wang6a504ef2023-12-21 15:37:55 +0000248 let attestation_ext =
249 asn1::SequenceOf::<asn1::Any, 3>::from_der(extension.extn_value.as_bytes()).unwrap();
Alice Wang1cc13502023-12-05 11:05:34 +0000250 assert_eq!(3, attestation_ext.len());
Alice Wang6a504ef2023-12-21 15:37:55 +0000251 let challenge = attestation_ext.get(0).unwrap().decode_as::<asn1::OctetString>().unwrap();
252 assert_eq!(csr_payload.challenge, challenge.as_bytes());
253 let is_vm_secure = attestation_ext.get(1).unwrap().decode_as::<bool>().unwrap();
Alice Wangd3a96402023-11-24 15:37:39 +0000254 assert!(
255 !is_vm_secure,
256 "The VM shouldn't be secure as the last payload added in the test is in Debug mode"
257 );
Alice Wang6a504ef2023-12-21 15:37:55 +0000258 let vm_components =
259 attestation_ext.get(2).unwrap().decode_as::<asn1::SequenceOf<asn1::Any, 4>>().unwrap();
260 check_vm_components(&vm_components)?;
Alice Wang20b8ebc2023-11-17 09:54:47 +0000261
262 // Checks other fields on the certificate
Alice Wang6a504ef2023-12-21 15:37:55 +0000263 assert_eq!(Version::V3, tbs_cert.version);
264 assert_eq!(parent_certificate.tbs_certificate.validity, tbs_cert.validity);
Alice Wang20b8ebc2023-11-17 09:54:47 +0000265 assert_eq!(
Alice Wang6a504ef2023-12-21 15:37:55 +0000266 Name::from_str("CN=Android Protected Virtual Machine Key").unwrap(),
267 tbs_cert.subject
Alice Wang20b8ebc2023-11-17 09:54:47 +0000268 );
Alice Wang6a504ef2023-12-21 15:37:55 +0000269 assert_eq!(parent_certificate.tbs_certificate.subject, tbs_cert.issuer);
Alice Wang20b8ebc2023-11-17 09:54:47 +0000270
271 Ok(())
272}
273
Alice Wangf7c0f942023-09-14 09:33:04 +0000274fn check_csr(csr: Vec<u8>) -> Result<()> {
Alice Wang68d11402024-01-02 13:59:44 +0000275 let _csr = rkp::Csr::from_cbor(&Session::default(), &csr[..]).context("Failed to parse CSR")?;
Alice Wangf7c0f942023-09-14 09:33:04 +0000276 Ok(())
277}
278
Alice Wange910b902023-09-07 10:35:12 +0000279fn start_service_vm(vm_type: VmType) -> Result<ServiceVm> {
David Brazdil66fc1202022-07-04 21:48:45 +0100280 android_logger::init_once(
281 android_logger::Config::default().with_tag("rialto").with_min_level(log::Level::Debug),
282 );
David Brazdil66fc1202022-07-04 21:48:45 +0100283 // Redirect panic messages to logcat.
284 panic::set_hook(Box::new(|panic_info| {
285 log::error!("{}", panic_info);
286 }));
David Brazdil66fc1202022-07-04 21:48:45 +0100287 // We need to start the thread pool for Binder to work properly, especially link_to_death.
288 ProcessState::start_thread_pool();
Alice Wange910b902023-09-07 10:35:12 +0000289 ServiceVm::start_vm(vm_instance(vm_type)?, vm_type)
Alice Wang17dc76e2023-09-06 09:43:52 +0000290}
291
Alice Wange910b902023-09-07 10:35:12 +0000292fn vm_instance(vm_type: VmType) -> Result<VmInstance> {
Alice Wanga6357692023-09-07 14:59:37 +0000293 match vm_type {
Alice Wang1d9a5872023-09-06 14:32:36 +0000294 VmType::ProtectedVm => {
Alice Wanga6357692023-09-07 14:59:37 +0000295 service_vm_manager::protected_vm_instance(PathBuf::from(INSTANCE_IMG_PATH))
Alice Wang1d9a5872023-09-06 14:32:36 +0000296 }
Alice Wanga6357692023-09-07 14:59:37 +0000297 VmType::NonProtectedVm => nonprotected_vm_instance(),
298 }
299}
300
301fn nonprotected_vm_instance() -> Result<VmInstance> {
302 let rialto = File::open(UNSIGNED_RIALTO_PATH).context("Failed to open Rialto kernel binary")?;
David Brazdil66fc1202022-07-04 21:48:45 +0100303 let config = VirtualMachineConfig::RawConfig(VirtualMachineRawConfig {
Alice Wanga6357692023-09-07 14:59:37 +0000304 name: String::from("Non protected rialto"),
David Brazdil66fc1202022-07-04 21:48:45 +0100305 bootloader: Some(ParcelFileDescriptor::new(rialto)),
Alice Wanga6357692023-09-07 14:59:37 +0000306 protectedVm: false,
David Brazdil66fc1202022-07-04 21:48:45 +0100307 memoryMib: 300,
David Brazdil66fc1202022-07-04 21:48:45 +0100308 platformVersion: "~1.0".to_string(),
Inseob Kim6ef80972023-07-20 17:23:36 +0900309 ..Default::default()
David Brazdil66fc1202022-07-04 21:48:45 +0100310 });
Alice Wanga6357692023-09-07 14:59:37 +0000311 let console = Some(service_vm_manager::android_log_fd()?);
312 let log = Some(service_vm_manager::android_log_fd()?);
313 let virtmgr = vmclient::VirtualizationService::new().context("Failed to spawn VirtMgr")?;
314 let service = virtmgr.connect().context("Failed to connect to VirtMgr")?;
315 info!("Connected to VirtMgr for service VM");
316 VmInstance::create(service.as_ref(), &config, console, /* consoleIn */ None, log, None)
317 .context("Failed to create VM")
David Brazdil66fc1202022-07-04 21:48:45 +0100318}