blob: a8ea407e44ab2ab99bf83dbbc13630c2388bf320 [file] [log] [blame]
Selene Huang31ab4042020-04-29 04:22:39 -07001/*
2 * Copyright (C) 2020 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "KeyMintAidlTestBase.h"
18
19#include <chrono>
David Drysdale555ba002022-05-03 18:48:57 +010020#include <fstream>
Shawn Willden7f424372021-01-10 18:06:50 -070021#include <unordered_set>
Selene Huang31ab4042020-04-29 04:22:39 -070022#include <vector>
23
24#include <android-base/logging.h>
Janis Danisevskis24c04702020-12-16 18:28:39 -080025#include <android/binder_manager.h>
David Drysdale3d2ba0a2023-01-11 13:27:26 +000026#include <android/content/pm/IPackageManagerNative.h>
David Drysdale4dc01072021-04-01 12:17:35 +010027#include <cppbor_parse.h>
Shawn Willden7c130392020-12-21 09:58:22 -070028#include <cutils/properties.h>
David Drysdale4dc01072021-04-01 12:17:35 +010029#include <gmock/gmock.h>
David Drysdale42fe1892021-10-14 14:43:46 +010030#include <openssl/evp.h>
Shawn Willden7c130392020-12-21 09:58:22 -070031#include <openssl/mem.h>
David Drysdale4dc01072021-04-01 12:17:35 +010032#include <remote_prov/remote_prov_utils.h>
Selene Huang31ab4042020-04-29 04:22:39 -070033
Max Bires9704ff62021-04-07 11:12:01 -070034#include <keymaster/cppcose/cppcose.h>
Shawn Willden08a7e432020-12-11 13:05:27 +000035#include <keymint_support/key_param_output.h>
36#include <keymint_support/keymint_utils.h>
Shawn Willden7c130392020-12-21 09:58:22 -070037#include <keymint_support/openssl_utils.h>
Selene Huang31ab4042020-04-29 04:22:39 -070038
Janis Danisevskis24c04702020-12-16 18:28:39 -080039namespace aidl::android::hardware::security::keymint {
Selene Huang31ab4042020-04-29 04:22:39 -070040
David Drysdale4dc01072021-04-01 12:17:35 +010041using namespace cppcose;
Selene Huang31ab4042020-04-29 04:22:39 -070042using namespace std::literals::chrono_literals;
43using std::endl;
44using std::optional;
Shawn Willden7c130392020-12-21 09:58:22 -070045using std::unique_ptr;
46using ::testing::AssertionFailure;
47using ::testing::AssertionResult;
48using ::testing::AssertionSuccess;
Seth Moore026bb742021-04-30 11:41:18 -070049using ::testing::ElementsAreArray;
David Drysdale4dc01072021-04-01 12:17:35 +010050using ::testing::MatchesRegex;
Seth Moore026bb742021-04-30 11:41:18 -070051using ::testing::Not;
Selene Huang31ab4042020-04-29 04:22:39 -070052
53::std::ostream& operator<<(::std::ostream& os, const AuthorizationSet& set) {
54 if (set.size() == 0)
55 os << "(Empty)" << ::std::endl;
56 else {
57 os << "\n";
Shawn Willden0e80b5d2020-12-17 09:07:27 -070058 for (auto& entry : set) os << entry << ::std::endl;
Selene Huang31ab4042020-04-29 04:22:39 -070059 }
60 return os;
61}
62
63namespace test {
64
Shawn Willden7f424372021-01-10 18:06:50 -070065namespace {
David Drysdaledf8f52e2021-05-06 08:10:58 +010066
David Drysdale37af4b32021-05-14 16:46:59 +010067// Invalid value for a patchlevel (which is of form YYYYMMDD).
68const uint32_t kInvalidPatchlevel = 99998877;
69
David Drysdaledf8f52e2021-05-06 08:10:58 +010070// Overhead for PKCS#1 v1.5 signature padding of undigested messages. Digested messages have
71// additional overhead, for the digest algorithmIdentifier required by PKCS#1.
72const size_t kPkcs1UndigestedSignaturePaddingOverhead = 11;
73
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +000074typedef KeyMintAidlTestBase::KeyData KeyData;
Shawn Willden7f424372021-01-10 18:06:50 -070075// Predicate for testing basic characteristics validity in generation or import.
76bool KeyCharacteristicsBasicallyValid(SecurityLevel secLevel,
77 const vector<KeyCharacteristics>& key_characteristics) {
78 if (key_characteristics.empty()) return false;
79
80 std::unordered_set<SecurityLevel> levels_seen;
81 for (auto& entry : key_characteristics) {
Seth Moore2a9a00e2021-08-04 16:31:52 -070082 if (entry.authorizations.empty()) {
83 GTEST_LOG_(ERROR) << "empty authorizations for " << entry.securityLevel;
84 return false;
85 }
Shawn Willden7f424372021-01-10 18:06:50 -070086
Qi Wubeefae42021-01-28 23:16:37 +080087 // Just ignore the SecurityLevel::KEYSTORE as the KM won't do any enforcement on this.
88 if (entry.securityLevel == SecurityLevel::KEYSTORE) continue;
89
Seth Moore2a9a00e2021-08-04 16:31:52 -070090 if (levels_seen.find(entry.securityLevel) != levels_seen.end()) {
91 GTEST_LOG_(ERROR) << "duplicate authorizations for " << entry.securityLevel;
92 return false;
93 }
Shawn Willden7f424372021-01-10 18:06:50 -070094 levels_seen.insert(entry.securityLevel);
95
96 // Generally, we should only have one entry, at the same security level as the KM
97 // instance. There is an exception: StrongBox KM can have some authorizations that are
98 // enforced by the TEE.
99 bool isExpectedSecurityLevel = secLevel == entry.securityLevel ||
100 (secLevel == SecurityLevel::STRONGBOX &&
101 entry.securityLevel == SecurityLevel::TRUSTED_ENVIRONMENT);
102
Seth Moore2a9a00e2021-08-04 16:31:52 -0700103 if (!isExpectedSecurityLevel) {
104 GTEST_LOG_(ERROR) << "Unexpected security level " << entry.securityLevel;
105 return false;
106 }
Shawn Willden7f424372021-01-10 18:06:50 -0700107 }
108 return true;
109}
110
Rajesh Nyamagoude98263e2023-02-09 20:36:33 +0000111void check_crl_distribution_points_extension_not_present(X509* certificate) {
112 ASN1_OBJECT_Ptr crl_dp_oid(OBJ_txt2obj(kCrlDPOid, 1 /* dotted string format */));
113 ASSERT_TRUE(crl_dp_oid.get());
114
115 int location =
116 X509_get_ext_by_OBJ(certificate, crl_dp_oid.get(), -1 /* search from beginning */);
117 ASSERT_EQ(location, -1);
118}
119
David Drysdale7dff4fc2021-12-10 10:10:52 +0000120void check_attestation_version(uint32_t attestation_version, int32_t aidl_version) {
121 // Version numbers in attestation extensions should be a multiple of 100.
122 EXPECT_EQ(attestation_version % 100, 0);
123
124 // The multiplier should never be higher than the AIDL version, but can be less
125 // (for example, if the implementation is from an earlier version but the HAL service
126 // uses the default libraries and so reports the current AIDL version).
127 EXPECT_TRUE((attestation_version / 100) <= aidl_version);
128}
129
Shawn Willden7c130392020-12-21 09:58:22 -0700130bool avb_verification_enabled() {
131 char value[PROPERTY_VALUE_MAX];
132 return property_get("ro.boot.vbmeta.device_state", value, "") != 0;
133}
134
135char nibble2hex[16] = {'0', '1', '2', '3', '4', '5', '6', '7',
136 '8', '9', 'a', 'b', 'c', 'd', 'e', 'f'};
137
138// Attestations don't contain everything in key authorization lists, so we need to filter the key
139// lists to produce the lists that we expect to match the attestations.
140auto kTagsToFilter = {
David Drysdale37af4b32021-05-14 16:46:59 +0100141 Tag::CREATION_DATETIME,
142 Tag::HARDWARE_TYPE,
143 Tag::INCLUDE_UNIQUE_ID,
Shawn Willden7c130392020-12-21 09:58:22 -0700144};
145
146AuthorizationSet filtered_tags(const AuthorizationSet& set) {
147 AuthorizationSet filtered;
148 std::remove_copy_if(
149 set.begin(), set.end(), std::back_inserter(filtered), [](const auto& entry) -> bool {
150 return std::find(kTagsToFilter.begin(), kTagsToFilter.end(), entry.tag) !=
151 kTagsToFilter.end();
152 });
153 return filtered;
154}
155
David Drysdale300b5552021-05-20 12:05:26 +0100156// Remove any SecurityLevel::KEYSTORE entries from a list of key characteristics.
157void strip_keystore_tags(vector<KeyCharacteristics>* characteristics) {
158 characteristics->erase(std::remove_if(characteristics->begin(), characteristics->end(),
159 [](const auto& entry) {
160 return entry.securityLevel == SecurityLevel::KEYSTORE;
161 }),
162 characteristics->end());
163}
164
Shawn Willden7c130392020-12-21 09:58:22 -0700165string x509NameToStr(X509_NAME* name) {
166 char* s = X509_NAME_oneline(name, nullptr, 0);
167 string retval(s);
168 OPENSSL_free(s);
169 return retval;
170}
171
Shawn Willden7f424372021-01-10 18:06:50 -0700172} // namespace
173
Shawn Willden7c130392020-12-21 09:58:22 -0700174bool KeyMintAidlTestBase::arm_deleteAllKeys = false;
175bool KeyMintAidlTestBase::dump_Attestations = false;
David Drysdale9f5c0c52022-11-03 15:10:16 +0000176std::string KeyMintAidlTestBase::keyblob_dir;
Shawn Willden7c130392020-12-21 09:58:22 -0700177
David Drysdale37af4b32021-05-14 16:46:59 +0100178uint32_t KeyMintAidlTestBase::boot_patch_level(
179 const vector<KeyCharacteristics>& key_characteristics) {
180 // The boot patchlevel is not available as a property, but should be present
181 // in the key characteristics of any created key.
182 AuthorizationSet allAuths;
183 for (auto& entry : key_characteristics) {
184 allAuths.push_back(AuthorizationSet(entry.authorizations));
185 }
186 auto patchlevel = allAuths.GetTagValue(TAG_BOOT_PATCHLEVEL);
187 if (patchlevel.has_value()) {
188 return patchlevel.value();
189 } else {
190 // No boot patchlevel is available. Return a value that won't match anything
191 // and so will trigger test failures.
192 return kInvalidPatchlevel;
193 }
194}
195
196uint32_t KeyMintAidlTestBase::boot_patch_level() {
197 return boot_patch_level(key_characteristics_);
198}
199
Prashant Patil88ad1892022-03-15 16:31:02 +0000200/**
201 * An API to determine device IDs attestation is required or not,
202 * which is mandatory for KeyMint version 2 or first_api_level 33 or greater.
203 */
204bool KeyMintAidlTestBase::isDeviceIdAttestationRequired() {
Shawn Willden1a545db2023-02-22 14:32:33 -0700205 return AidlVersion() >= 2 || property_get_int32("ro.vendor.api_level", 0) >= __ANDROID_API_T__;
Prashant Patil88ad1892022-03-15 16:31:02 +0000206}
207
Rajesh Nyamagoud5283f812023-01-06 00:27:56 +0000208/**
209 * An API to determine second IMEI ID attestation is required or not,
210 * which is supported for KeyMint version 3 or first_api_level greater than 33.
211 */
212bool KeyMintAidlTestBase::isSecondImeiIdAttestationRequired() {
Shawn Willden1a545db2023-02-22 14:32:33 -0700213 return AidlVersion() >= 3 && property_get_int32("ro.vendor.api_level", 0) > __ANDROID_API_T__;
Rajesh Nyamagoud5283f812023-01-06 00:27:56 +0000214}
215
David Drysdale42fe1892021-10-14 14:43:46 +0100216bool KeyMintAidlTestBase::Curve25519Supported() {
217 // Strongbox never supports curve 25519.
218 if (SecLevel() == SecurityLevel::STRONGBOX) {
219 return false;
220 }
221
222 // Curve 25519 was included in version 2 of the KeyMint interface.
223 int32_t version = 0;
224 auto status = keymint_->getInterfaceVersion(&version);
225 if (!status.isOk()) {
226 ADD_FAILURE() << "Failed to determine interface version";
227 }
228 return version >= 2;
229}
230
Janis Danisevskis24c04702020-12-16 18:28:39 -0800231ErrorCode KeyMintAidlTestBase::GetReturnErrorCode(const Status& result) {
Selene Huang31ab4042020-04-29 04:22:39 -0700232 if (result.isOk()) return ErrorCode::OK;
233
Janis Danisevskis24c04702020-12-16 18:28:39 -0800234 if (result.getExceptionCode() == EX_SERVICE_SPECIFIC) {
235 return static_cast<ErrorCode>(result.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700236 }
237
238 return ErrorCode::UNKNOWN_ERROR;
239}
240
Janis Danisevskis24c04702020-12-16 18:28:39 -0800241void KeyMintAidlTestBase::InitializeKeyMint(std::shared_ptr<IKeyMintDevice> keyMint) {
Selene Huang31ab4042020-04-29 04:22:39 -0700242 ASSERT_NE(keyMint, nullptr);
Janis Danisevskis24c04702020-12-16 18:28:39 -0800243 keymint_ = std::move(keyMint);
Selene Huang31ab4042020-04-29 04:22:39 -0700244
245 KeyMintHardwareInfo info;
246 ASSERT_TRUE(keymint_->getHardwareInfo(&info).isOk());
247
248 securityLevel_ = info.securityLevel;
249 name_.assign(info.keyMintName.begin(), info.keyMintName.end());
250 author_.assign(info.keyMintAuthorName.begin(), info.keyMintAuthorName.end());
David Drysdaled2cc8c22021-04-15 13:29:45 +0100251 timestamp_token_required_ = info.timestampTokenRequired;
Selene Huang31ab4042020-04-29 04:22:39 -0700252
253 os_version_ = getOsVersion();
254 os_patch_level_ = getOsPatchlevel();
David Drysdalebb3d85e2021-04-13 11:15:51 +0100255 vendor_patch_level_ = getVendorPatchlevel();
Selene Huang31ab4042020-04-29 04:22:39 -0700256}
257
David Drysdale7dff4fc2021-12-10 10:10:52 +0000258int32_t KeyMintAidlTestBase::AidlVersion() {
259 int32_t version = 0;
260 auto status = keymint_->getInterfaceVersion(&version);
261 if (!status.isOk()) {
262 ADD_FAILURE() << "Failed to determine interface version";
263 }
264 return version;
265}
266
Selene Huang31ab4042020-04-29 04:22:39 -0700267void KeyMintAidlTestBase::SetUp() {
Janis Danisevskis24c04702020-12-16 18:28:39 -0800268 if (AServiceManager_isDeclared(GetParam().c_str())) {
269 ::ndk::SpAIBinder binder(AServiceManager_waitForService(GetParam().c_str()));
270 InitializeKeyMint(IKeyMintDevice::fromBinder(binder));
271 } else {
272 InitializeKeyMint(nullptr);
273 }
Selene Huang31ab4042020-04-29 04:22:39 -0700274}
275
276ErrorCode KeyMintAidlTestBase::GenerateKey(const AuthorizationSet& key_desc,
Shawn Willden7c130392020-12-21 09:58:22 -0700277 const optional<AttestationKey>& attest_key,
Shawn Willden7f424372021-01-10 18:06:50 -0700278 vector<uint8_t>* key_blob,
Shawn Willden7c130392020-12-21 09:58:22 -0700279 vector<KeyCharacteristics>* key_characteristics,
280 vector<Certificate>* cert_chain) {
Shawn Willden7f424372021-01-10 18:06:50 -0700281 EXPECT_NE(key_blob, nullptr) << "Key blob pointer must not be null. Test bug";
282 EXPECT_NE(key_characteristics, nullptr)
Selene Huang31ab4042020-04-29 04:22:39 -0700283 << "Previous characteristics not deleted before generating key. Test bug.";
284
Shawn Willden7f424372021-01-10 18:06:50 -0700285 KeyCreationResult creationResult;
Shawn Willden7c130392020-12-21 09:58:22 -0700286 Status result = keymint_->generateKey(key_desc.vector_data(), attest_key, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700287 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700288 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
289 creationResult.keyCharacteristics);
290 EXPECT_GT(creationResult.keyBlob.size(), 0);
291 *key_blob = std::move(creationResult.keyBlob);
292 *key_characteristics = std::move(creationResult.keyCharacteristics);
Shawn Willden7c130392020-12-21 09:58:22 -0700293 *cert_chain = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700294
295 auto algorithm = key_desc.GetTagValue(TAG_ALGORITHM);
296 EXPECT_TRUE(algorithm);
297 if (algorithm &&
298 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
Shawn Willden7c130392020-12-21 09:58:22 -0700299 EXPECT_GE(cert_chain->size(), 1);
300 if (key_desc.Contains(TAG_ATTESTATION_CHALLENGE)) {
301 if (attest_key) {
302 EXPECT_EQ(cert_chain->size(), 1);
303 } else {
304 EXPECT_GT(cert_chain->size(), 1);
305 }
306 }
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700307 } else {
308 // For symmetric keys there should be no certificates.
Shawn Willden7c130392020-12-21 09:58:22 -0700309 EXPECT_EQ(cert_chain->size(), 0);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700310 }
Selene Huang31ab4042020-04-29 04:22:39 -0700311 }
312
313 return GetReturnErrorCode(result);
314}
315
Shawn Willden7c130392020-12-21 09:58:22 -0700316ErrorCode KeyMintAidlTestBase::GenerateKey(const AuthorizationSet& key_desc,
317 const optional<AttestationKey>& attest_key) {
318 return GenerateKey(key_desc, attest_key, &key_blob_, &key_characteristics_, &cert_chain_);
Selene Huang31ab4042020-04-29 04:22:39 -0700319}
320
subrahmanyaman7d9bc462022-03-16 01:40:39 +0000321ErrorCode KeyMintAidlTestBase::GenerateKeyWithSelfSignedAttestKey(
322 const AuthorizationSet& attest_key_desc, const AuthorizationSet& key_desc,
323 vector<uint8_t>* key_blob, vector<KeyCharacteristics>* key_characteristics,
324 vector<Certificate>* cert_chain) {
Subrahmanyaman50fcf7d2023-04-20 22:48:39 +0000325 skipAttestKeyTest();
subrahmanyaman7d9bc462022-03-16 01:40:39 +0000326 AttestationKey attest_key;
327 vector<Certificate> attest_cert_chain;
328 vector<KeyCharacteristics> attest_key_characteristics;
329 // Generate a key with self signed attestation.
Subrahmanyaman50fcf7d2023-04-20 22:48:39 +0000330 auto error = GenerateAttestKey(attest_key_desc, std::nullopt, &attest_key.keyBlob,
331 &attest_key_characteristics, &attest_cert_chain);
subrahmanyaman7d9bc462022-03-16 01:40:39 +0000332 if (error != ErrorCode::OK) {
333 return error;
334 }
335
336 attest_key.issuerSubjectName = make_name_from_str("Android Keystore Key");
337 // Generate a key, by passing the above self signed attestation key as attest key.
338 error = GenerateKey(key_desc, attest_key, key_blob, key_characteristics, cert_chain);
339 if (error == ErrorCode::OK) {
340 // Append the attest_cert_chain to the attested cert_chain to yield a valid cert chain.
341 cert_chain->push_back(attest_cert_chain[0]);
342 }
343 return error;
344}
345
Selene Huang31ab4042020-04-29 04:22:39 -0700346ErrorCode KeyMintAidlTestBase::ImportKey(const AuthorizationSet& key_desc, KeyFormat format,
347 const string& key_material, vector<uint8_t>* key_blob,
Shawn Willden7f424372021-01-10 18:06:50 -0700348 vector<KeyCharacteristics>* key_characteristics) {
Selene Huang31ab4042020-04-29 04:22:39 -0700349 Status result;
350
Shawn Willden7f424372021-01-10 18:06:50 -0700351 cert_chain_.clear();
352 key_characteristics->clear();
Selene Huang31ab4042020-04-29 04:22:39 -0700353 key_blob->clear();
354
Shawn Willden7f424372021-01-10 18:06:50 -0700355 KeyCreationResult creationResult;
Selene Huang31ab4042020-04-29 04:22:39 -0700356 result = keymint_->importKey(key_desc.vector_data(), format,
Shawn Willden7f424372021-01-10 18:06:50 -0700357 vector<uint8_t>(key_material.begin(), key_material.end()),
Shawn Willden7c130392020-12-21 09:58:22 -0700358 {} /* attestationSigningKeyBlob */, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700359
360 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700361 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
362 creationResult.keyCharacteristics);
363 EXPECT_GT(creationResult.keyBlob.size(), 0);
364
365 *key_blob = std::move(creationResult.keyBlob);
366 *key_characteristics = std::move(creationResult.keyCharacteristics);
367 cert_chain_ = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700368
369 auto algorithm = key_desc.GetTagValue(TAG_ALGORITHM);
370 EXPECT_TRUE(algorithm);
371 if (algorithm &&
372 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
373 EXPECT_GE(cert_chain_.size(), 1);
374 if (key_desc.Contains(TAG_ATTESTATION_CHALLENGE)) EXPECT_GT(cert_chain_.size(), 1);
375 } else {
376 // For symmetric keys there should be no certificates.
377 EXPECT_EQ(cert_chain_.size(), 0);
378 }
Selene Huang31ab4042020-04-29 04:22:39 -0700379 }
380
381 return GetReturnErrorCode(result);
382}
383
384ErrorCode KeyMintAidlTestBase::ImportKey(const AuthorizationSet& key_desc, KeyFormat format,
385 const string& key_material) {
386 return ImportKey(key_desc, format, key_material, &key_blob_, &key_characteristics_);
387}
388
389ErrorCode KeyMintAidlTestBase::ImportWrappedKey(string wrapped_key, string wrapping_key,
390 const AuthorizationSet& wrapping_key_desc,
391 string masking_key,
David Drysdaled2cc8c22021-04-15 13:29:45 +0100392 const AuthorizationSet& unwrapping_params,
393 int64_t password_sid, int64_t biometric_sid) {
Selene Huang31ab4042020-04-29 04:22:39 -0700394 EXPECT_EQ(ErrorCode::OK, ImportKey(wrapping_key_desc, KeyFormat::PKCS8, wrapping_key));
395
Shawn Willden7f424372021-01-10 18:06:50 -0700396 key_characteristics_.clear();
Selene Huang31ab4042020-04-29 04:22:39 -0700397
Shawn Willden7f424372021-01-10 18:06:50 -0700398 KeyCreationResult creationResult;
399 Status result = keymint_->importWrappedKey(
400 vector<uint8_t>(wrapped_key.begin(), wrapped_key.end()), key_blob_,
401 vector<uint8_t>(masking_key.begin(), masking_key.end()),
David Drysdaled2cc8c22021-04-15 13:29:45 +0100402 unwrapping_params.vector_data(), password_sid, biometric_sid, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700403
404 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700405 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
406 creationResult.keyCharacteristics);
407 EXPECT_GT(creationResult.keyBlob.size(), 0);
408
409 key_blob_ = std::move(creationResult.keyBlob);
410 key_characteristics_ = std::move(creationResult.keyCharacteristics);
411 cert_chain_ = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700412
413 AuthorizationSet allAuths;
414 for (auto& entry : key_characteristics_) {
415 allAuths.push_back(AuthorizationSet(entry.authorizations));
416 }
417 auto algorithm = allAuths.GetTagValue(TAG_ALGORITHM);
418 EXPECT_TRUE(algorithm);
419 if (algorithm &&
420 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
421 EXPECT_GE(cert_chain_.size(), 1);
422 } else {
423 // For symmetric keys there should be no certificates.
424 EXPECT_EQ(cert_chain_.size(), 0);
425 }
Selene Huang31ab4042020-04-29 04:22:39 -0700426 }
427
428 return GetReturnErrorCode(result);
429}
430
David Drysdale300b5552021-05-20 12:05:26 +0100431ErrorCode KeyMintAidlTestBase::GetCharacteristics(const vector<uint8_t>& key_blob,
432 const vector<uint8_t>& app_id,
433 const vector<uint8_t>& app_data,
434 vector<KeyCharacteristics>* key_characteristics) {
435 Status result =
436 keymint_->getKeyCharacteristics(key_blob, app_id, app_data, key_characteristics);
437 return GetReturnErrorCode(result);
438}
439
440ErrorCode KeyMintAidlTestBase::GetCharacteristics(const vector<uint8_t>& key_blob,
441 vector<KeyCharacteristics>* key_characteristics) {
442 vector<uint8_t> empty_app_id, empty_app_data;
443 return GetCharacteristics(key_blob, empty_app_id, empty_app_data, key_characteristics);
444}
445
446void KeyMintAidlTestBase::CheckCharacteristics(
447 const vector<uint8_t>& key_blob,
448 const vector<KeyCharacteristics>& generate_characteristics) {
449 // Any key characteristics that were in SecurityLevel::KEYSTORE when returned from
450 // generateKey() should be excluded, as KeyMint will have no record of them.
451 // This applies to CREATION_DATETIME in particular.
452 vector<KeyCharacteristics> expected_characteristics(generate_characteristics);
453 strip_keystore_tags(&expected_characteristics);
454
455 vector<KeyCharacteristics> retrieved;
456 ASSERT_EQ(ErrorCode::OK, GetCharacteristics(key_blob, &retrieved));
457 EXPECT_EQ(expected_characteristics, retrieved);
458}
459
460void KeyMintAidlTestBase::CheckAppIdCharacteristics(
461 const vector<uint8_t>& key_blob, std::string_view app_id_string,
462 std::string_view app_data_string,
463 const vector<KeyCharacteristics>& generate_characteristics) {
464 // Exclude any SecurityLevel::KEYSTORE characteristics for comparisons.
465 vector<KeyCharacteristics> expected_characteristics(generate_characteristics);
466 strip_keystore_tags(&expected_characteristics);
467
468 vector<uint8_t> app_id(app_id_string.begin(), app_id_string.end());
469 vector<uint8_t> app_data(app_data_string.begin(), app_data_string.end());
470 vector<KeyCharacteristics> retrieved;
471 ASSERT_EQ(ErrorCode::OK, GetCharacteristics(key_blob, app_id, app_data, &retrieved));
472 EXPECT_EQ(expected_characteristics, retrieved);
473
474 // Check that key characteristics can't be retrieved if the app ID or app data is missing.
475 vector<uint8_t> empty;
476 vector<KeyCharacteristics> not_retrieved;
477 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
478 GetCharacteristics(key_blob, empty, app_data, &not_retrieved));
479 EXPECT_EQ(not_retrieved.size(), 0);
480
481 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
482 GetCharacteristics(key_blob, app_id, empty, &not_retrieved));
483 EXPECT_EQ(not_retrieved.size(), 0);
484
485 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
486 GetCharacteristics(key_blob, empty, empty, &not_retrieved));
487 EXPECT_EQ(not_retrieved.size(), 0);
488}
489
Selene Huang31ab4042020-04-29 04:22:39 -0700490ErrorCode KeyMintAidlTestBase::DeleteKey(vector<uint8_t>* key_blob, bool keep_key_blob) {
491 Status result = keymint_->deleteKey(*key_blob);
492 if (!keep_key_blob) {
493 *key_blob = vector<uint8_t>();
494 }
495
Janis Danisevskis24c04702020-12-16 18:28:39 -0800496 EXPECT_TRUE(result.isOk()) << result.getServiceSpecificError() << endl;
Selene Huang31ab4042020-04-29 04:22:39 -0700497 return GetReturnErrorCode(result);
498}
499
500ErrorCode KeyMintAidlTestBase::DeleteKey(bool keep_key_blob) {
501 return DeleteKey(&key_blob_, keep_key_blob);
502}
503
504ErrorCode KeyMintAidlTestBase::DeleteAllKeys() {
505 Status result = keymint_->deleteAllKeys();
Janis Danisevskis24c04702020-12-16 18:28:39 -0800506 EXPECT_TRUE(result.isOk()) << result.getServiceSpecificError() << endl;
Selene Huang31ab4042020-04-29 04:22:39 -0700507 return GetReturnErrorCode(result);
508}
509
David Drysdaled2cc8c22021-04-15 13:29:45 +0100510ErrorCode KeyMintAidlTestBase::DestroyAttestationIds() {
511 Status result = keymint_->destroyAttestationIds();
512 return GetReturnErrorCode(result);
513}
514
Selene Huang31ab4042020-04-29 04:22:39 -0700515void KeyMintAidlTestBase::CheckedDeleteKey(vector<uint8_t>* key_blob, bool keep_key_blob) {
516 ErrorCode result = DeleteKey(key_blob, keep_key_blob);
517 EXPECT_TRUE(result == ErrorCode::OK || result == ErrorCode::UNIMPLEMENTED) << result << endl;
518}
519
520void KeyMintAidlTestBase::CheckedDeleteKey() {
521 CheckedDeleteKey(&key_blob_);
522}
523
524ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const vector<uint8_t>& key_blob,
525 const AuthorizationSet& in_params,
Janis Danisevskis24c04702020-12-16 18:28:39 -0800526 AuthorizationSet* out_params,
527 std::shared_ptr<IKeyMintOperation>& op) {
Selene Huang31ab4042020-04-29 04:22:39 -0700528 SCOPED_TRACE("Begin");
529 Status result;
530 BeginResult out;
David Drysdale56ba9122021-04-19 19:10:47 +0100531 result = keymint_->begin(purpose, key_blob, in_params.vector_data(), std::nullopt, &out);
Selene Huang31ab4042020-04-29 04:22:39 -0700532
533 if (result.isOk()) {
534 *out_params = out.params;
535 challenge_ = out.challenge;
536 op = out.operation;
537 }
538
539 return GetReturnErrorCode(result);
540}
541
542ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const vector<uint8_t>& key_blob,
543 const AuthorizationSet& in_params,
David Drysdale28fa9312023-02-01 14:53:01 +0000544 AuthorizationSet* out_params,
545 std::optional<HardwareAuthToken> hat) {
Selene Huang31ab4042020-04-29 04:22:39 -0700546 SCOPED_TRACE("Begin");
547 Status result;
548 BeginResult out;
549
David Drysdale28fa9312023-02-01 14:53:01 +0000550 result = keymint_->begin(purpose, key_blob, in_params.vector_data(), hat, &out);
Selene Huang31ab4042020-04-29 04:22:39 -0700551
552 if (result.isOk()) {
553 *out_params = out.params;
554 challenge_ = out.challenge;
555 op_ = out.operation;
556 }
557
558 return GetReturnErrorCode(result);
559}
560
561ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const AuthorizationSet& in_params,
562 AuthorizationSet* out_params) {
563 SCOPED_TRACE("Begin");
564 EXPECT_EQ(nullptr, op_);
565 return Begin(purpose, key_blob_, in_params, out_params);
566}
567
568ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const AuthorizationSet& in_params) {
569 SCOPED_TRACE("Begin");
570 AuthorizationSet out_params;
571 ErrorCode result = Begin(purpose, in_params, &out_params);
572 EXPECT_TRUE(out_params.empty());
573 return result;
574}
575
Shawn Willden92d79c02021-02-19 07:31:55 -0700576ErrorCode KeyMintAidlTestBase::UpdateAad(const string& input) {
577 return GetReturnErrorCode(op_->updateAad(vector<uint8_t>(input.begin(), input.end()),
578 {} /* hardwareAuthToken */,
579 {} /* verificationToken */));
580}
581
582ErrorCode KeyMintAidlTestBase::Update(const string& input, string* output) {
Selene Huang31ab4042020-04-29 04:22:39 -0700583 SCOPED_TRACE("Update");
584
585 Status result;
Shawn Willden92d79c02021-02-19 07:31:55 -0700586 if (!output) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700587
Brian J Murrayeabd9d62022-01-06 15:13:51 -0800588 EXPECT_NE(op_, nullptr);
589 if (!op_) return ErrorCode::UNEXPECTED_NULL_POINTER;
590
Shawn Willden92d79c02021-02-19 07:31:55 -0700591 std::vector<uint8_t> o_put;
592 result = op_->update(vector<uint8_t>(input.begin(), input.end()), {}, {}, &o_put);
Selene Huang31ab4042020-04-29 04:22:39 -0700593
David Drysdalefeab5d92022-01-06 15:46:23 +0000594 if (result.isOk()) {
595 output->append(o_put.begin(), o_put.end());
596 } else {
597 // Failure always terminates the operation.
598 op_ = {};
599 }
Selene Huang31ab4042020-04-29 04:22:39 -0700600
601 return GetReturnErrorCode(result);
602}
603
David Drysdale28fa9312023-02-01 14:53:01 +0000604ErrorCode KeyMintAidlTestBase::Finish(const string& input, const string& signature, string* output,
605 std::optional<HardwareAuthToken> hat,
606 std::optional<secureclock::TimeStampToken> time_token) {
Selene Huang31ab4042020-04-29 04:22:39 -0700607 SCOPED_TRACE("Finish");
608 Status result;
609
610 EXPECT_NE(op_, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700611 if (!op_) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700612
613 vector<uint8_t> oPut;
Shawn Willden92d79c02021-02-19 07:31:55 -0700614 result = op_->finish(vector<uint8_t>(input.begin(), input.end()),
David Drysdale28fa9312023-02-01 14:53:01 +0000615 vector<uint8_t>(signature.begin(), signature.end()), hat, time_token,
616 {} /* confirmationToken */, &oPut);
Selene Huang31ab4042020-04-29 04:22:39 -0700617
Shawn Willden92d79c02021-02-19 07:31:55 -0700618 if (result.isOk()) output->append(oPut.begin(), oPut.end());
Selene Huang31ab4042020-04-29 04:22:39 -0700619
Shawn Willden92d79c02021-02-19 07:31:55 -0700620 op_ = {};
Selene Huang31ab4042020-04-29 04:22:39 -0700621 return GetReturnErrorCode(result);
622}
623
Janis Danisevskis24c04702020-12-16 18:28:39 -0800624ErrorCode KeyMintAidlTestBase::Abort(const std::shared_ptr<IKeyMintOperation>& op) {
Selene Huang31ab4042020-04-29 04:22:39 -0700625 SCOPED_TRACE("Abort");
626
627 EXPECT_NE(op, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700628 if (!op) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700629
630 Status retval = op->abort();
631 EXPECT_TRUE(retval.isOk());
Janis Danisevskis24c04702020-12-16 18:28:39 -0800632 return static_cast<ErrorCode>(retval.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700633}
634
635ErrorCode KeyMintAidlTestBase::Abort() {
636 SCOPED_TRACE("Abort");
637
638 EXPECT_NE(op_, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700639 if (!op_) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700640
641 Status retval = op_->abort();
Janis Danisevskis24c04702020-12-16 18:28:39 -0800642 return static_cast<ErrorCode>(retval.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700643}
644
645void KeyMintAidlTestBase::AbortIfNeeded() {
646 SCOPED_TRACE("AbortIfNeeded");
647 if (op_) {
648 EXPECT_EQ(ErrorCode::OK, Abort());
Janis Danisevskis24c04702020-12-16 18:28:39 -0800649 op_.reset();
Selene Huang31ab4042020-04-29 04:22:39 -0700650 }
651}
652
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000653auto KeyMintAidlTestBase::ProcessMessage(const vector<uint8_t>& key_blob, KeyPurpose operation,
654 const string& message, const AuthorizationSet& in_params)
Shawn Willden92d79c02021-02-19 07:31:55 -0700655 -> std::tuple<ErrorCode, string> {
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000656 AuthorizationSet begin_out_params;
657 ErrorCode result = Begin(operation, key_blob, in_params, &begin_out_params);
Shawn Willden92d79c02021-02-19 07:31:55 -0700658 if (result != ErrorCode::OK) return {result, {}};
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000659
660 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700661 return {Finish(message, &output), output};
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000662}
663
Selene Huang31ab4042020-04-29 04:22:39 -0700664string KeyMintAidlTestBase::ProcessMessage(const vector<uint8_t>& key_blob, KeyPurpose operation,
665 const string& message, const AuthorizationSet& in_params,
666 AuthorizationSet* out_params) {
667 SCOPED_TRACE("ProcessMessage");
668 AuthorizationSet begin_out_params;
Shawn Willden92d79c02021-02-19 07:31:55 -0700669 ErrorCode result = Begin(operation, key_blob, in_params, out_params);
Selene Huang31ab4042020-04-29 04:22:39 -0700670 EXPECT_EQ(ErrorCode::OK, result);
671 if (result != ErrorCode::OK) {
672 return "";
673 }
674
675 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700676 EXPECT_EQ(ErrorCode::OK, Finish(message, &output));
Selene Huang31ab4042020-04-29 04:22:39 -0700677 return output;
678}
679
680string KeyMintAidlTestBase::SignMessage(const vector<uint8_t>& key_blob, const string& message,
681 const AuthorizationSet& params) {
682 SCOPED_TRACE("SignMessage");
683 AuthorizationSet out_params;
684 string signature = ProcessMessage(key_blob, KeyPurpose::SIGN, message, params, &out_params);
685 EXPECT_TRUE(out_params.empty());
686 return signature;
687}
688
689string KeyMintAidlTestBase::SignMessage(const string& message, const AuthorizationSet& params) {
690 SCOPED_TRACE("SignMessage");
691 return SignMessage(key_blob_, message, params);
692}
693
694string KeyMintAidlTestBase::MacMessage(const string& message, Digest digest, size_t mac_length) {
695 SCOPED_TRACE("MacMessage");
696 return SignMessage(
697 key_blob_, message,
698 AuthorizationSetBuilder().Digest(digest).Authorization(TAG_MAC_LENGTH, mac_length));
699}
700
anil.hiranniah19a4ca12022-03-03 17:39:30 +0530701void KeyMintAidlTestBase::CheckAesIncrementalEncryptOperation(BlockMode block_mode,
702 int message_size) {
David Drysdale1a637192022-03-14 09:11:29 +0000703 auto builder = AuthorizationSetBuilder()
704 .Authorization(TAG_NO_AUTH_REQUIRED)
705 .AesEncryptionKey(128)
706 .BlockMode(block_mode)
707 .Padding(PaddingMode::NONE);
708 if (block_mode == BlockMode::GCM) {
709 builder.Authorization(TAG_MIN_MAC_LENGTH, 128);
710 }
711 ASSERT_EQ(ErrorCode::OK, GenerateKey(builder));
anil.hiranniah19a4ca12022-03-03 17:39:30 +0530712
713 for (int increment = 1; increment <= message_size; ++increment) {
714 string message(message_size, 'a');
715 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(PaddingMode::NONE);
716 if (block_mode == BlockMode::GCM) {
717 params.Authorization(TAG_MAC_LENGTH, 128) /* for GCM */;
718 }
719
720 AuthorizationSet output_params;
721 EXPECT_EQ(ErrorCode::OK, Begin(KeyPurpose::ENCRYPT, params, &output_params));
722
723 string ciphertext;
724 string to_send;
725 for (size_t i = 0; i < message.size(); i += increment) {
726 EXPECT_EQ(ErrorCode::OK, Update(message.substr(i, increment), &ciphertext));
727 }
728 EXPECT_EQ(ErrorCode::OK, Finish(to_send, &ciphertext))
729 << "Error sending " << to_send << " with block mode " << block_mode;
730
731 switch (block_mode) {
732 case BlockMode::GCM:
733 EXPECT_EQ(message.size() + 16, ciphertext.size());
734 break;
735 case BlockMode::CTR:
736 EXPECT_EQ(message.size(), ciphertext.size());
737 break;
738 case BlockMode::CBC:
739 case BlockMode::ECB:
740 EXPECT_EQ(message.size() + message.size() % 16, ciphertext.size());
741 break;
742 }
743
744 auto iv = output_params.GetTagValue(TAG_NONCE);
745 switch (block_mode) {
746 case BlockMode::CBC:
747 case BlockMode::GCM:
748 case BlockMode::CTR:
749 ASSERT_TRUE(iv) << "No IV for block mode " << block_mode;
750 EXPECT_EQ(block_mode == BlockMode::GCM ? 12U : 16U, iv->get().size());
751 params.push_back(TAG_NONCE, iv->get());
752 break;
753
754 case BlockMode::ECB:
755 EXPECT_FALSE(iv) << "ECB mode should not generate IV";
756 break;
757 }
758
759 EXPECT_EQ(ErrorCode::OK, Begin(KeyPurpose::DECRYPT, params))
760 << "Decrypt begin() failed for block mode " << block_mode;
761
762 string plaintext;
763 for (size_t i = 0; i < ciphertext.size(); i += increment) {
764 EXPECT_EQ(ErrorCode::OK, Update(ciphertext.substr(i, increment), &plaintext));
765 }
766 ErrorCode error = Finish(to_send, &plaintext);
767 ASSERT_EQ(ErrorCode::OK, error) << "Decryption failed for block mode " << block_mode
768 << " and increment " << increment;
769 if (error == ErrorCode::OK) {
770 ASSERT_EQ(message, plaintext) << "Decryption didn't match for block mode " << block_mode
771 << " and increment " << increment;
772 }
773 }
774}
775
Prashant Patildd5f7f02022-07-06 18:58:07 +0000776void KeyMintAidlTestBase::AesCheckEncryptOneByteAtATime(const string& key, BlockMode block_mode,
777 PaddingMode padding_mode, const string& iv,
778 const string& plaintext,
779 const string& exp_cipher_text) {
780 bool is_authenticated_cipher = (block_mode == BlockMode::GCM);
781 auto auth_set = AuthorizationSetBuilder()
782 .Authorization(TAG_NO_AUTH_REQUIRED)
783 .AesEncryptionKey(key.size() * 8)
784 .BlockMode(block_mode)
785 .Padding(padding_mode);
786 if (iv.size() > 0) auth_set.Authorization(TAG_CALLER_NONCE);
787 if (is_authenticated_cipher) auth_set.Authorization(TAG_MIN_MAC_LENGTH, 128);
788 ASSERT_EQ(ErrorCode::OK, ImportKey(auth_set, KeyFormat::RAW, key));
789
790 CheckEncryptOneByteAtATime(block_mode, 16 /*block_size*/, padding_mode, iv, plaintext,
791 exp_cipher_text);
792}
793
794void KeyMintAidlTestBase::CheckEncryptOneByteAtATime(BlockMode block_mode, const int block_size,
795 PaddingMode padding_mode, const string& iv,
796 const string& plaintext,
797 const string& exp_cipher_text) {
798 bool is_stream_cipher = (block_mode == BlockMode::CTR || block_mode == BlockMode::GCM);
799 bool is_authenticated_cipher = (block_mode == BlockMode::GCM);
800 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding_mode);
801 if (iv.size() > 0) params.Authorization(TAG_NONCE, iv.data(), iv.size());
802 if (is_authenticated_cipher) params.Authorization(TAG_MAC_LENGTH, 128);
803
804 AuthorizationSet output_params;
805 EXPECT_EQ(ErrorCode::OK, Begin(KeyPurpose::ENCRYPT, params, &output_params));
806
807 string actual_ciphertext;
808 if (is_stream_cipher) {
809 // Assert that a 1 byte of output is produced for 1 byte of input.
810 // Every input byte produces an output byte.
811 for (int plaintext_index = 0; plaintext_index < plaintext.size(); plaintext_index++) {
812 string ciphertext;
813 EXPECT_EQ(ErrorCode::OK, Update(plaintext.substr(plaintext_index, 1), &ciphertext));
814 // Some StrongBox implementations cannot support 1:1 input:output lengths, so
815 // we relax this API restriction for them.
816 if (SecLevel() != SecurityLevel::STRONGBOX) {
817 EXPECT_EQ(1, ciphertext.size()) << "plaintext index: " << plaintext_index;
818 }
819 actual_ciphertext.append(ciphertext);
820 }
821 string ciphertext;
822 EXPECT_EQ(ErrorCode::OK, Finish(&ciphertext));
823 if (SecLevel() != SecurityLevel::STRONGBOX) {
824 string expected_final_output;
825 if (is_authenticated_cipher) {
826 expected_final_output = exp_cipher_text.substr(plaintext.size());
827 }
828 EXPECT_EQ(expected_final_output, ciphertext);
829 }
830 actual_ciphertext.append(ciphertext);
831 } else {
832 // Assert that a block of output is produced once a full block of input is provided.
833 // Every input block produces an output block.
834 bool compare_output = true;
835 string additional_information;
836 int vendor_api_level = property_get_int32("ro.vendor.api_level", 0);
837 if (SecLevel() == SecurityLevel::STRONGBOX) {
838 // This is known to be broken on older vendor implementations.
Shawn Willden1a545db2023-02-22 14:32:33 -0700839 if (vendor_api_level < __ANDROID_API_T__) {
Prashant Patildd5f7f02022-07-06 18:58:07 +0000840 compare_output = false;
841 } else {
842 additional_information = " (b/194134359) ";
843 }
844 }
845 for (int plaintext_index = 0; plaintext_index < plaintext.size(); plaintext_index++) {
846 string ciphertext;
847 EXPECT_EQ(ErrorCode::OK, Update(plaintext.substr(plaintext_index, 1), &ciphertext));
848 if (compare_output) {
849 if ((plaintext_index % block_size) == block_size - 1) {
850 // Update is expected to have output a new block
851 EXPECT_EQ(block_size, ciphertext.size())
852 << "plaintext index: " << plaintext_index << additional_information;
853 } else {
854 // Update is expected to have produced no output
855 EXPECT_EQ(0, ciphertext.size())
856 << "plaintext index: " << plaintext_index << additional_information;
857 }
858 }
859 actual_ciphertext.append(ciphertext);
860 }
861 string ciphertext;
862 EXPECT_EQ(ErrorCode::OK, Finish(&ciphertext));
863 actual_ciphertext.append(ciphertext);
864 }
865 // Regardless of how the completed ciphertext got accumulated, it should match the expected
866 // ciphertext.
867 EXPECT_EQ(exp_cipher_text, actual_ciphertext);
868}
869
Selene Huang31ab4042020-04-29 04:22:39 -0700870void KeyMintAidlTestBase::CheckHmacTestVector(const string& key, const string& message,
871 Digest digest, const string& expected_mac) {
872 SCOPED_TRACE("CheckHmacTestVector");
873 ASSERT_EQ(ErrorCode::OK,
874 ImportKey(AuthorizationSetBuilder()
875 .Authorization(TAG_NO_AUTH_REQUIRED)
876 .HmacKey(key.size() * 8)
877 .Authorization(TAG_MIN_MAC_LENGTH, expected_mac.size() * 8)
878 .Digest(digest),
879 KeyFormat::RAW, key));
880 string signature = MacMessage(message, digest, expected_mac.size() * 8);
881 EXPECT_EQ(expected_mac, signature)
882 << "Test vector didn't match for key of size " << key.size() << " message of size "
883 << message.size() << " and digest " << digest;
884 CheckedDeleteKey();
885}
886
887void KeyMintAidlTestBase::CheckAesCtrTestVector(const string& key, const string& nonce,
888 const string& message,
889 const string& expected_ciphertext) {
890 SCOPED_TRACE("CheckAesCtrTestVector");
891 ASSERT_EQ(ErrorCode::OK, ImportKey(AuthorizationSetBuilder()
892 .Authorization(TAG_NO_AUTH_REQUIRED)
893 .AesEncryptionKey(key.size() * 8)
894 .BlockMode(BlockMode::CTR)
895 .Authorization(TAG_CALLER_NONCE)
896 .Padding(PaddingMode::NONE),
897 KeyFormat::RAW, key));
898
899 auto params = AuthorizationSetBuilder()
900 .Authorization(TAG_NONCE, nonce.data(), nonce.size())
901 .BlockMode(BlockMode::CTR)
902 .Padding(PaddingMode::NONE);
903 AuthorizationSet out_params;
904 string ciphertext = EncryptMessage(key_blob_, message, params, &out_params);
905 EXPECT_EQ(expected_ciphertext, ciphertext);
906}
907
908void KeyMintAidlTestBase::CheckTripleDesTestVector(KeyPurpose purpose, BlockMode block_mode,
909 PaddingMode padding_mode, const string& key,
910 const string& iv, const string& input,
911 const string& expected_output) {
912 auto authset = AuthorizationSetBuilder()
913 .TripleDesEncryptionKey(key.size() * 7)
914 .BlockMode(block_mode)
915 .Authorization(TAG_NO_AUTH_REQUIRED)
916 .Padding(padding_mode);
917 if (iv.size()) authset.Authorization(TAG_CALLER_NONCE);
918 ASSERT_EQ(ErrorCode::OK, ImportKey(authset, KeyFormat::RAW, key));
919 ASSERT_GT(key_blob_.size(), 0U);
920
921 auto begin_params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding_mode);
922 if (iv.size()) begin_params.Authorization(TAG_NONCE, iv.data(), iv.size());
923 AuthorizationSet output_params;
924 string output = ProcessMessage(key_blob_, purpose, input, begin_params, &output_params);
925 EXPECT_EQ(expected_output, output);
926}
927
928void KeyMintAidlTestBase::VerifyMessage(const vector<uint8_t>& key_blob, const string& message,
929 const string& signature, const AuthorizationSet& params) {
930 SCOPED_TRACE("VerifyMessage");
931 AuthorizationSet begin_out_params;
932 ASSERT_EQ(ErrorCode::OK, Begin(KeyPurpose::VERIFY, key_blob, params, &begin_out_params));
933
934 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700935 EXPECT_EQ(ErrorCode::OK, Finish(message, signature, &output));
Selene Huang31ab4042020-04-29 04:22:39 -0700936 EXPECT_TRUE(output.empty());
Shawn Willden92d79c02021-02-19 07:31:55 -0700937 op_ = {};
Selene Huang31ab4042020-04-29 04:22:39 -0700938}
939
940void KeyMintAidlTestBase::VerifyMessage(const string& message, const string& signature,
941 const AuthorizationSet& params) {
942 SCOPED_TRACE("VerifyMessage");
943 VerifyMessage(key_blob_, message, signature, params);
944}
945
David Drysdaledf8f52e2021-05-06 08:10:58 +0100946void KeyMintAidlTestBase::LocalVerifyMessage(const string& message, const string& signature,
947 const AuthorizationSet& params) {
948 SCOPED_TRACE("LocalVerifyMessage");
949
David Drysdaledf8f52e2021-05-06 08:10:58 +0100950 ASSERT_GT(cert_chain_.size(), 0);
David Drysdale9f5c0c52022-11-03 15:10:16 +0000951 LocalVerifyMessage(cert_chain_[0].encodedCertificate, message, signature, params);
952}
953
954void KeyMintAidlTestBase::LocalVerifyMessage(const vector<uint8_t>& der_cert, const string& message,
955 const string& signature,
956 const AuthorizationSet& params) {
957 // Retrieve the public key from the leaf certificate.
958 X509_Ptr key_cert(parse_cert_blob(der_cert));
David Drysdaledf8f52e2021-05-06 08:10:58 +0100959 ASSERT_TRUE(key_cert.get());
960 EVP_PKEY_Ptr pub_key(X509_get_pubkey(key_cert.get()));
961 ASSERT_TRUE(pub_key.get());
962
963 Digest digest = params.GetTagValue(TAG_DIGEST).value();
964 PaddingMode padding = PaddingMode::NONE;
965 auto tag = params.GetTagValue(TAG_PADDING);
966 if (tag.has_value()) {
967 padding = tag.value();
968 }
969
970 if (digest == Digest::NONE) {
971 switch (EVP_PKEY_id(pub_key.get())) {
David Drysdale42fe1892021-10-14 14:43:46 +0100972 case EVP_PKEY_ED25519: {
973 ASSERT_EQ(64, signature.size());
974 uint8_t pub_keydata[32];
975 size_t pub_len = sizeof(pub_keydata);
976 ASSERT_EQ(1, EVP_PKEY_get_raw_public_key(pub_key.get(), pub_keydata, &pub_len));
977 ASSERT_EQ(sizeof(pub_keydata), pub_len);
978 ASSERT_EQ(1, ED25519_verify(reinterpret_cast<const uint8_t*>(message.data()),
979 message.size(),
980 reinterpret_cast<const uint8_t*>(signature.data()),
981 pub_keydata));
982 break;
983 }
984
David Drysdaledf8f52e2021-05-06 08:10:58 +0100985 case EVP_PKEY_EC: {
986 vector<uint8_t> data((EVP_PKEY_bits(pub_key.get()) + 7) / 8);
987 size_t data_size = std::min(data.size(), message.size());
988 memcpy(data.data(), message.data(), data_size);
989 EC_KEY_Ptr ecdsa(EVP_PKEY_get1_EC_KEY(pub_key.get()));
990 ASSERT_TRUE(ecdsa.get());
991 ASSERT_EQ(1,
992 ECDSA_verify(0, reinterpret_cast<const uint8_t*>(data.data()), data_size,
993 reinterpret_cast<const uint8_t*>(signature.data()),
994 signature.size(), ecdsa.get()));
995 break;
996 }
997 case EVP_PKEY_RSA: {
998 vector<uint8_t> data(EVP_PKEY_size(pub_key.get()));
999 size_t data_size = std::min(data.size(), message.size());
1000 memcpy(data.data(), message.data(), data_size);
1001
1002 RSA_Ptr rsa(EVP_PKEY_get1_RSA(const_cast<EVP_PKEY*>(pub_key.get())));
1003 ASSERT_TRUE(rsa.get());
1004
1005 size_t key_len = RSA_size(rsa.get());
1006 int openssl_padding = RSA_NO_PADDING;
1007 switch (padding) {
1008 case PaddingMode::NONE:
1009 ASSERT_TRUE(data_size <= key_len);
1010 ASSERT_EQ(key_len, signature.size());
1011 openssl_padding = RSA_NO_PADDING;
1012 break;
1013 case PaddingMode::RSA_PKCS1_1_5_SIGN:
1014 ASSERT_TRUE(data_size + kPkcs1UndigestedSignaturePaddingOverhead <=
1015 key_len);
1016 openssl_padding = RSA_PKCS1_PADDING;
1017 break;
1018 default:
1019 ADD_FAILURE() << "Unsupported RSA padding mode " << padding;
1020 }
1021
1022 vector<uint8_t> decrypted_data(key_len);
1023 int bytes_decrypted = RSA_public_decrypt(
1024 signature.size(), reinterpret_cast<const uint8_t*>(signature.data()),
1025 decrypted_data.data(), rsa.get(), openssl_padding);
1026 ASSERT_GE(bytes_decrypted, 0);
1027
1028 const uint8_t* compare_pos = decrypted_data.data();
1029 size_t bytes_to_compare = bytes_decrypted;
1030 uint8_t zero_check_result = 0;
1031 if (padding == PaddingMode::NONE && data_size < bytes_to_compare) {
1032 // If the data is short, for "unpadded" signing we zero-pad to the left. So
1033 // during verification we should have zeros on the left of the decrypted data.
1034 // Do a constant-time check.
1035 const uint8_t* zero_end = compare_pos + bytes_to_compare - data_size;
1036 while (compare_pos < zero_end) zero_check_result |= *compare_pos++;
1037 ASSERT_EQ(0, zero_check_result);
1038 bytes_to_compare = data_size;
1039 }
1040 ASSERT_EQ(0, memcmp(compare_pos, data.data(), bytes_to_compare));
1041 break;
1042 }
1043 default:
1044 ADD_FAILURE() << "Unknown public key type";
1045 }
1046 } else {
1047 EVP_MD_CTX digest_ctx;
1048 EVP_MD_CTX_init(&digest_ctx);
1049 EVP_PKEY_CTX* pkey_ctx;
1050 const EVP_MD* md = openssl_digest(digest);
1051 ASSERT_NE(md, nullptr);
1052 ASSERT_EQ(1, EVP_DigestVerifyInit(&digest_ctx, &pkey_ctx, md, nullptr, pub_key.get()));
1053
1054 if (padding == PaddingMode::RSA_PSS) {
1055 EXPECT_GT(EVP_PKEY_CTX_set_rsa_padding(pkey_ctx, RSA_PKCS1_PSS_PADDING), 0);
1056 EXPECT_GT(EVP_PKEY_CTX_set_rsa_pss_saltlen(pkey_ctx, EVP_MD_size(md)), 0);
David Drysdalec6b89072021-12-14 14:32:51 +00001057 EXPECT_GT(EVP_PKEY_CTX_set_rsa_mgf1_md(pkey_ctx, md), 0);
David Drysdaledf8f52e2021-05-06 08:10:58 +01001058 }
1059
1060 ASSERT_EQ(1, EVP_DigestVerifyUpdate(&digest_ctx,
1061 reinterpret_cast<const uint8_t*>(message.data()),
1062 message.size()));
1063 ASSERT_EQ(1, EVP_DigestVerifyFinal(&digest_ctx,
1064 reinterpret_cast<const uint8_t*>(signature.data()),
1065 signature.size()));
1066 EVP_MD_CTX_cleanup(&digest_ctx);
1067 }
1068}
1069
David Drysdale59cae642021-05-12 13:52:03 +01001070string KeyMintAidlTestBase::LocalRsaEncryptMessage(const string& message,
1071 const AuthorizationSet& params) {
1072 SCOPED_TRACE("LocalRsaEncryptMessage");
1073
1074 // Retrieve the public key from the leaf certificate.
1075 if (cert_chain_.empty()) {
1076 ADD_FAILURE() << "No public key available";
1077 return "Failure";
1078 }
1079 X509_Ptr key_cert(parse_cert_blob(cert_chain_[0].encodedCertificate));
David Drysdaleb97121d2022-08-12 11:54:08 +01001080 if (key_cert.get() == nullptr) {
1081 ADD_FAILURE() << "Failed to parse cert";
1082 return "Failure";
1083 }
David Drysdale59cae642021-05-12 13:52:03 +01001084 EVP_PKEY_Ptr pub_key(X509_get_pubkey(key_cert.get()));
David Drysdaleb97121d2022-08-12 11:54:08 +01001085 if (pub_key.get() == nullptr) {
1086 ADD_FAILURE() << "Failed to retrieve public key";
1087 return "Failure";
1088 }
David Drysdale59cae642021-05-12 13:52:03 +01001089 RSA_Ptr rsa(EVP_PKEY_get1_RSA(const_cast<EVP_PKEY*>(pub_key.get())));
David Drysdaleb97121d2022-08-12 11:54:08 +01001090 if (rsa.get() == nullptr) {
1091 ADD_FAILURE() << "Failed to retrieve RSA public key";
1092 return "Failure";
1093 }
David Drysdale59cae642021-05-12 13:52:03 +01001094
1095 // Retrieve relevant tags.
1096 Digest digest = Digest::NONE;
David Drysdaleae3727b2021-11-11 09:00:14 +00001097 Digest mgf_digest = Digest::SHA1;
David Drysdale59cae642021-05-12 13:52:03 +01001098 PaddingMode padding = PaddingMode::NONE;
1099
1100 auto digest_tag = params.GetTagValue(TAG_DIGEST);
1101 if (digest_tag.has_value()) digest = digest_tag.value();
1102 auto pad_tag = params.GetTagValue(TAG_PADDING);
1103 if (pad_tag.has_value()) padding = pad_tag.value();
1104 auto mgf_tag = params.GetTagValue(TAG_RSA_OAEP_MGF_DIGEST);
1105 if (mgf_tag.has_value()) mgf_digest = mgf_tag.value();
1106
1107 const EVP_MD* md = openssl_digest(digest);
1108 const EVP_MD* mgf_md = openssl_digest(mgf_digest);
1109
1110 // Set up encryption context.
1111 EVP_PKEY_CTX_Ptr ctx(EVP_PKEY_CTX_new(pub_key.get(), /* engine= */ nullptr));
1112 if (EVP_PKEY_encrypt_init(ctx.get()) <= 0) {
1113 ADD_FAILURE() << "Encryption init failed: " << ERR_peek_last_error();
1114 return "Failure";
1115 }
1116
1117 int rc = -1;
1118 switch (padding) {
1119 case PaddingMode::NONE:
1120 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_NO_PADDING);
1121 break;
1122 case PaddingMode::RSA_PKCS1_1_5_ENCRYPT:
1123 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_PKCS1_PADDING);
1124 break;
1125 case PaddingMode::RSA_OAEP:
1126 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_PKCS1_OAEP_PADDING);
1127 break;
1128 default:
1129 break;
1130 }
1131 if (rc <= 0) {
1132 ADD_FAILURE() << "Set padding failed: " << ERR_peek_last_error();
1133 return "Failure";
1134 }
1135 if (padding == PaddingMode::RSA_OAEP) {
1136 if (!EVP_PKEY_CTX_set_rsa_oaep_md(ctx.get(), md)) {
1137 ADD_FAILURE() << "Set digest failed: " << ERR_peek_last_error();
1138 return "Failure";
1139 }
1140 if (!EVP_PKEY_CTX_set_rsa_mgf1_md(ctx.get(), mgf_md)) {
1141 ADD_FAILURE() << "Set MGF digest failed: " << ERR_peek_last_error();
1142 return "Failure";
1143 }
1144 }
1145
1146 // Determine output size.
1147 size_t outlen;
1148 if (EVP_PKEY_encrypt(ctx.get(), nullptr /* out */, &outlen,
1149 reinterpret_cast<const uint8_t*>(message.data()), message.size()) <= 0) {
1150 ADD_FAILURE() << "Determine output size failed: " << ERR_peek_last_error();
1151 return "Failure";
1152 }
1153
1154 // Left-zero-pad the input if necessary.
1155 const uint8_t* to_encrypt = reinterpret_cast<const uint8_t*>(message.data());
1156 size_t to_encrypt_len = message.size();
1157
1158 std::unique_ptr<string> zero_padded_message;
1159 if (padding == PaddingMode::NONE && to_encrypt_len < outlen) {
1160 zero_padded_message.reset(new string(outlen, '\0'));
1161 memcpy(zero_padded_message->data() + (outlen - to_encrypt_len), message.data(),
1162 message.size());
1163 to_encrypt = reinterpret_cast<const uint8_t*>(zero_padded_message->data());
1164 to_encrypt_len = outlen;
1165 }
1166
1167 // Do the encryption.
1168 string output(outlen, '\0');
1169 if (EVP_PKEY_encrypt(ctx.get(), reinterpret_cast<uint8_t*>(output.data()), &outlen, to_encrypt,
1170 to_encrypt_len) <= 0) {
1171 ADD_FAILURE() << "Encryption failed: " << ERR_peek_last_error();
1172 return "Failure";
1173 }
1174 return output;
1175}
1176
Selene Huang31ab4042020-04-29 04:22:39 -07001177string KeyMintAidlTestBase::EncryptMessage(const vector<uint8_t>& key_blob, const string& message,
1178 const AuthorizationSet& in_params,
1179 AuthorizationSet* out_params) {
1180 SCOPED_TRACE("EncryptMessage");
1181 return ProcessMessage(key_blob, KeyPurpose::ENCRYPT, message, in_params, out_params);
1182}
1183
1184string KeyMintAidlTestBase::EncryptMessage(const string& message, const AuthorizationSet& params,
1185 AuthorizationSet* out_params) {
1186 SCOPED_TRACE("EncryptMessage");
1187 return EncryptMessage(key_blob_, message, params, out_params);
1188}
1189
1190string KeyMintAidlTestBase::EncryptMessage(const string& message, const AuthorizationSet& params) {
1191 SCOPED_TRACE("EncryptMessage");
1192 AuthorizationSet out_params;
1193 string ciphertext = EncryptMessage(message, params, &out_params);
1194 EXPECT_TRUE(out_params.empty()) << "Output params should be empty. Contained: " << out_params;
1195 return ciphertext;
1196}
1197
1198string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1199 PaddingMode padding) {
1200 SCOPED_TRACE("EncryptMessage");
1201 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding);
1202 AuthorizationSet out_params;
1203 string ciphertext = EncryptMessage(message, params, &out_params);
1204 EXPECT_TRUE(out_params.empty()) << "Output params should be empty. Contained: " << out_params;
1205 return ciphertext;
1206}
1207
1208string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1209 PaddingMode padding, vector<uint8_t>* iv_out) {
1210 SCOPED_TRACE("EncryptMessage");
1211 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding);
1212 AuthorizationSet out_params;
1213 string ciphertext = EncryptMessage(message, params, &out_params);
1214 EXPECT_EQ(1U, out_params.size());
1215 auto ivVal = out_params.GetTagValue(TAG_NONCE);
Janis Danisevskis5ba09332020-12-17 10:05:15 -08001216 EXPECT_TRUE(ivVal);
1217 if (ivVal) *iv_out = *ivVal;
Selene Huang31ab4042020-04-29 04:22:39 -07001218 return ciphertext;
1219}
1220
1221string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1222 PaddingMode padding, const vector<uint8_t>& iv_in) {
1223 SCOPED_TRACE("EncryptMessage");
1224 auto params = AuthorizationSetBuilder()
1225 .BlockMode(block_mode)
1226 .Padding(padding)
1227 .Authorization(TAG_NONCE, iv_in);
1228 AuthorizationSet out_params;
1229 string ciphertext = EncryptMessage(message, params, &out_params);
1230 return ciphertext;
1231}
1232
1233string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1234 PaddingMode padding, uint8_t mac_length_bits,
1235 const vector<uint8_t>& iv_in) {
1236 SCOPED_TRACE("EncryptMessage");
1237 auto params = AuthorizationSetBuilder()
1238 .BlockMode(block_mode)
1239 .Padding(padding)
1240 .Authorization(TAG_MAC_LENGTH, mac_length_bits)
1241 .Authorization(TAG_NONCE, iv_in);
1242 AuthorizationSet out_params;
1243 string ciphertext = EncryptMessage(message, params, &out_params);
1244 return ciphertext;
1245}
1246
David Drysdaled2cc8c22021-04-15 13:29:45 +01001247string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1248 PaddingMode padding, uint8_t mac_length_bits) {
1249 SCOPED_TRACE("EncryptMessage");
1250 auto params = AuthorizationSetBuilder()
1251 .BlockMode(block_mode)
1252 .Padding(padding)
1253 .Authorization(TAG_MAC_LENGTH, mac_length_bits);
1254 AuthorizationSet out_params;
1255 string ciphertext = EncryptMessage(message, params, &out_params);
1256 return ciphertext;
1257}
1258
Selene Huang31ab4042020-04-29 04:22:39 -07001259string KeyMintAidlTestBase::DecryptMessage(const vector<uint8_t>& key_blob,
1260 const string& ciphertext,
1261 const AuthorizationSet& params) {
1262 SCOPED_TRACE("DecryptMessage");
1263 AuthorizationSet out_params;
1264 string plaintext =
1265 ProcessMessage(key_blob, KeyPurpose::DECRYPT, ciphertext, params, &out_params);
1266 EXPECT_TRUE(out_params.empty());
1267 return plaintext;
1268}
1269
1270string KeyMintAidlTestBase::DecryptMessage(const string& ciphertext,
1271 const AuthorizationSet& params) {
1272 SCOPED_TRACE("DecryptMessage");
1273 return DecryptMessage(key_blob_, ciphertext, params);
1274}
1275
1276string KeyMintAidlTestBase::DecryptMessage(const string& ciphertext, BlockMode block_mode,
1277 PaddingMode padding_mode, const vector<uint8_t>& iv) {
1278 SCOPED_TRACE("DecryptMessage");
1279 auto params = AuthorizationSetBuilder()
1280 .BlockMode(block_mode)
1281 .Padding(padding_mode)
1282 .Authorization(TAG_NONCE, iv);
1283 return DecryptMessage(key_blob_, ciphertext, params);
1284}
1285
1286std::pair<ErrorCode, vector<uint8_t>> KeyMintAidlTestBase::UpgradeKey(
1287 const vector<uint8_t>& key_blob) {
1288 std::pair<ErrorCode, vector<uint8_t>> retval;
1289 vector<uint8_t> outKeyBlob;
1290 Status result = keymint_->upgradeKey(key_blob, vector<KeyParameter>(), &outKeyBlob);
1291 ErrorCode errorcode = GetReturnErrorCode(result);
1292 retval = std::tie(errorcode, outKeyBlob);
1293
1294 return retval;
1295}
Seth Moorea12ac742023-03-03 13:40:30 -08001296
1297bool KeyMintAidlTestBase::IsRkpSupportRequired() const {
1298 if (get_vsr_api_level() >= __ANDROID_API_T__) {
1299 return true;
1300 }
1301
1302 if (get_vsr_api_level() >= __ANDROID_API_S__) {
1303 return SecLevel() != SecurityLevel::STRONGBOX;
1304 }
1305
1306 return false;
1307}
1308
Selene Huang31ab4042020-04-29 04:22:39 -07001309vector<uint32_t> KeyMintAidlTestBase::ValidKeySizes(Algorithm algorithm) {
1310 switch (algorithm) {
1311 case Algorithm::RSA:
1312 switch (SecLevel()) {
1313 case SecurityLevel::SOFTWARE:
1314 case SecurityLevel::TRUSTED_ENVIRONMENT:
1315 return {2048, 3072, 4096};
1316 case SecurityLevel::STRONGBOX:
1317 return {2048};
1318 default:
1319 ADD_FAILURE() << "Invalid security level " << uint32_t(SecLevel());
1320 break;
1321 }
1322 break;
1323 case Algorithm::EC:
David Drysdaledf09e542021-06-08 15:46:11 +01001324 ADD_FAILURE() << "EC keys must be specified by curve not size";
Selene Huang31ab4042020-04-29 04:22:39 -07001325 break;
1326 case Algorithm::AES:
1327 return {128, 256};
1328 case Algorithm::TRIPLE_DES:
1329 return {168};
1330 case Algorithm::HMAC: {
1331 vector<uint32_t> retval((512 - 64) / 8 + 1);
1332 uint32_t size = 64 - 8;
1333 std::generate(retval.begin(), retval.end(), [&]() { return (size += 8); });
1334 return retval;
1335 }
1336 default:
1337 ADD_FAILURE() << "Invalid Algorithm: " << algorithm;
1338 return {};
1339 }
1340 ADD_FAILURE() << "Should be impossible to get here";
1341 return {};
1342}
1343
1344vector<uint32_t> KeyMintAidlTestBase::InvalidKeySizes(Algorithm algorithm) {
1345 if (SecLevel() == SecurityLevel::STRONGBOX) {
1346 switch (algorithm) {
1347 case Algorithm::RSA:
1348 return {3072, 4096};
1349 case Algorithm::EC:
1350 return {224, 384, 521};
1351 case Algorithm::AES:
1352 return {192};
David Drysdale7de9feb2021-03-05 14:56:19 +00001353 case Algorithm::TRIPLE_DES:
1354 return {56};
1355 default:
1356 return {};
1357 }
1358 } else {
1359 switch (algorithm) {
Prashant Patild72b3512021-11-16 08:19:19 +00001360 case Algorithm::AES:
1361 return {64, 96, 131, 512};
David Drysdale7de9feb2021-03-05 14:56:19 +00001362 case Algorithm::TRIPLE_DES:
1363 return {56};
Selene Huang31ab4042020-04-29 04:22:39 -07001364 default:
1365 return {};
1366 }
1367 }
1368 return {};
1369}
1370
David Drysdale7de9feb2021-03-05 14:56:19 +00001371vector<BlockMode> KeyMintAidlTestBase::ValidBlockModes(Algorithm algorithm) {
1372 switch (algorithm) {
1373 case Algorithm::AES:
1374 return {
1375 BlockMode::CBC,
1376 BlockMode::CTR,
1377 BlockMode::ECB,
1378 BlockMode::GCM,
1379 };
1380 case Algorithm::TRIPLE_DES:
1381 return {
1382 BlockMode::CBC,
1383 BlockMode::ECB,
1384 };
1385 default:
1386 return {};
1387 }
1388}
1389
1390vector<PaddingMode> KeyMintAidlTestBase::ValidPaddingModes(Algorithm algorithm,
1391 BlockMode blockMode) {
1392 switch (algorithm) {
1393 case Algorithm::AES:
1394 switch (blockMode) {
1395 case BlockMode::CBC:
1396 case BlockMode::ECB:
1397 return {PaddingMode::NONE, PaddingMode::PKCS7};
1398 case BlockMode::CTR:
1399 case BlockMode::GCM:
1400 return {PaddingMode::NONE};
1401 default:
1402 return {};
1403 };
1404 case Algorithm::TRIPLE_DES:
1405 switch (blockMode) {
1406 case BlockMode::CBC:
1407 case BlockMode::ECB:
1408 return {PaddingMode::NONE, PaddingMode::PKCS7};
1409 default:
1410 return {};
1411 };
1412 default:
1413 return {};
1414 }
1415}
1416
1417vector<PaddingMode> KeyMintAidlTestBase::InvalidPaddingModes(Algorithm algorithm,
1418 BlockMode blockMode) {
1419 switch (algorithm) {
1420 case Algorithm::AES:
1421 switch (blockMode) {
1422 case BlockMode::CTR:
1423 case BlockMode::GCM:
1424 return {PaddingMode::PKCS7};
1425 default:
1426 return {};
1427 };
1428 default:
1429 return {};
1430 }
1431}
1432
Selene Huang31ab4042020-04-29 04:22:39 -07001433vector<EcCurve> KeyMintAidlTestBase::ValidCurves() {
1434 if (securityLevel_ == SecurityLevel::STRONGBOX) {
1435 return {EcCurve::P_256};
David Drysdale42fe1892021-10-14 14:43:46 +01001436 } else if (Curve25519Supported()) {
1437 return {EcCurve::P_224, EcCurve::P_256, EcCurve::P_384, EcCurve::P_521,
1438 EcCurve::CURVE_25519};
Selene Huang31ab4042020-04-29 04:22:39 -07001439 } else {
David Drysdale42fe1892021-10-14 14:43:46 +01001440 return {
1441 EcCurve::P_224,
1442 EcCurve::P_256,
1443 EcCurve::P_384,
1444 EcCurve::P_521,
1445 };
Selene Huang31ab4042020-04-29 04:22:39 -07001446 }
1447}
1448
1449vector<EcCurve> KeyMintAidlTestBase::InvalidCurves() {
David Drysdaledf09e542021-06-08 15:46:11 +01001450 if (SecLevel() == SecurityLevel::STRONGBOX) {
David Drysdale42fe1892021-10-14 14:43:46 +01001451 // Curve 25519 is not supported, either because:
1452 // - KeyMint v1: it's an unknown enum value
1453 // - KeyMint v2+: it's not supported by StrongBox.
1454 return {EcCurve::P_224, EcCurve::P_384, EcCurve::P_521, EcCurve::CURVE_25519};
David Drysdaledf09e542021-06-08 15:46:11 +01001455 } else {
David Drysdale42fe1892021-10-14 14:43:46 +01001456 if (Curve25519Supported()) {
1457 return {};
1458 } else {
1459 return {EcCurve::CURVE_25519};
1460 }
David Drysdaledf09e542021-06-08 15:46:11 +01001461 }
Selene Huang31ab4042020-04-29 04:22:39 -07001462}
1463
subrahmanyaman05642492022-02-05 07:10:56 +00001464vector<uint64_t> KeyMintAidlTestBase::ValidExponents() {
1465 if (SecLevel() == SecurityLevel::STRONGBOX) {
1466 return {65537};
1467 } else {
1468 return {3, 65537};
1469 }
1470}
1471
Selene Huang31ab4042020-04-29 04:22:39 -07001472vector<Digest> KeyMintAidlTestBase::ValidDigests(bool withNone, bool withMD5) {
1473 switch (SecLevel()) {
1474 case SecurityLevel::SOFTWARE:
1475 case SecurityLevel::TRUSTED_ENVIRONMENT:
1476 if (withNone) {
1477 if (withMD5)
1478 return {Digest::NONE, Digest::MD5, Digest::SHA1,
1479 Digest::SHA_2_224, Digest::SHA_2_256, Digest::SHA_2_384,
1480 Digest::SHA_2_512};
1481 else
1482 return {Digest::NONE, Digest::SHA1, Digest::SHA_2_224,
1483 Digest::SHA_2_256, Digest::SHA_2_384, Digest::SHA_2_512};
1484 } else {
1485 if (withMD5)
1486 return {Digest::MD5, Digest::SHA1, Digest::SHA_2_224,
1487 Digest::SHA_2_256, Digest::SHA_2_384, Digest::SHA_2_512};
1488 else
1489 return {Digest::SHA1, Digest::SHA_2_224, Digest::SHA_2_256, Digest::SHA_2_384,
1490 Digest::SHA_2_512};
1491 }
1492 break;
1493 case SecurityLevel::STRONGBOX:
1494 if (withNone)
1495 return {Digest::NONE, Digest::SHA_2_256};
1496 else
1497 return {Digest::SHA_2_256};
1498 break;
1499 default:
1500 ADD_FAILURE() << "Invalid security level " << uint32_t(SecLevel());
1501 break;
1502 }
1503 ADD_FAILURE() << "Should be impossible to get here";
1504 return {};
1505}
1506
Shawn Willden7f424372021-01-10 18:06:50 -07001507static const vector<KeyParameter> kEmptyAuthList{};
1508
1509const vector<KeyParameter>& KeyMintAidlTestBase::SecLevelAuthorizations(
1510 const vector<KeyCharacteristics>& key_characteristics) {
1511 auto found = std::find_if(key_characteristics.begin(), key_characteristics.end(),
1512 [this](auto& entry) { return entry.securityLevel == SecLevel(); });
1513 return (found == key_characteristics.end()) ? kEmptyAuthList : found->authorizations;
1514}
1515
Qi Wubeefae42021-01-28 23:16:37 +08001516const vector<KeyParameter>& KeyMintAidlTestBase::SecLevelAuthorizations(
1517 const vector<KeyCharacteristics>& key_characteristics, SecurityLevel securityLevel) {
1518 auto found = std::find_if(
1519 key_characteristics.begin(), key_characteristics.end(),
1520 [securityLevel](auto& entry) { return entry.securityLevel == securityLevel; });
Shawn Willden0e80b5d2020-12-17 09:07:27 -07001521 return (found == key_characteristics.end()) ? kEmptyAuthList : found->authorizations;
1522}
1523
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001524ErrorCode KeyMintAidlTestBase::UseAesKey(const vector<uint8_t>& aesKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001525 auto [result, ciphertext] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001526 aesKeyBlob, KeyPurpose::ENCRYPT, "1234567890123456",
1527 AuthorizationSetBuilder().BlockMode(BlockMode::ECB).Padding(PaddingMode::NONE));
1528 return result;
1529}
1530
1531ErrorCode KeyMintAidlTestBase::UseHmacKey(const vector<uint8_t>& hmacKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001532 auto [result, mac] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001533 hmacKeyBlob, KeyPurpose::SIGN, "1234567890123456",
1534 AuthorizationSetBuilder().Authorization(TAG_MAC_LENGTH, 128).Digest(Digest::SHA_2_256));
1535 return result;
1536}
1537
1538ErrorCode KeyMintAidlTestBase::UseRsaKey(const vector<uint8_t>& rsaKeyBlob) {
1539 std::string message(2048 / 8, 'a');
Shawn Willden92d79c02021-02-19 07:31:55 -07001540 auto [result, signature] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001541 rsaKeyBlob, KeyPurpose::SIGN, message,
1542 AuthorizationSetBuilder().Digest(Digest::NONE).Padding(PaddingMode::NONE));
1543 return result;
1544}
1545
1546ErrorCode KeyMintAidlTestBase::UseEcdsaKey(const vector<uint8_t>& ecdsaKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001547 auto [result, signature] = ProcessMessage(ecdsaKeyBlob, KeyPurpose::SIGN, "a",
1548 AuthorizationSetBuilder().Digest(Digest::SHA_2_256));
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001549 return result;
1550}
1551
Subrahmanyaman50fcf7d2023-04-20 22:48:39 +00001552ErrorCode KeyMintAidlTestBase::GenerateAttestKey(const AuthorizationSet& key_desc,
1553 const optional<AttestationKey>& attest_key,
1554 vector<uint8_t>* key_blob,
1555 vector<KeyCharacteristics>* key_characteristics,
1556 vector<Certificate>* cert_chain) {
1557 // The original specification for KeyMint v1 required ATTEST_KEY not be combined
1558 // with any other key purpose, but the original VTS tests incorrectly did exactly that.
1559 // This means that a device that launched prior to Android T (API level 33) may
1560 // accept or even require KeyPurpose::SIGN too.
1561 if (property_get_int32("ro.board.first_api_level", 0) < __ANDROID_API_T__) {
1562 AuthorizationSet key_desc_plus_sign = key_desc;
1563 key_desc_plus_sign.push_back(TAG_PURPOSE, KeyPurpose::SIGN);
1564
1565 auto result = GenerateKey(key_desc_plus_sign, attest_key, key_blob, key_characteristics,
1566 cert_chain);
1567 if (result == ErrorCode::OK) {
1568 return result;
1569 }
1570 // If the key generation failed, it may be because the device is (correctly)
1571 // rejecting the combination of ATTEST_KEY+SIGN. Fall through to try again with
1572 // just ATTEST_KEY.
1573 }
1574 return GenerateKey(key_desc, attest_key, key_blob, key_characteristics, cert_chain);
1575}
1576
1577// Check if ATTEST_KEY feature is disabled
1578bool KeyMintAidlTestBase::is_attest_key_feature_disabled(void) const {
1579 if (!check_feature(FEATURE_KEYSTORE_APP_ATTEST_KEY)) {
1580 GTEST_LOG_(INFO) << "Feature " + FEATURE_KEYSTORE_APP_ATTEST_KEY + " is disabled";
1581 return true;
1582 }
1583
1584 return false;
1585}
1586
1587// Check if StrongBox KeyStore is enabled
1588bool KeyMintAidlTestBase::is_strongbox_enabled(void) const {
1589 if (check_feature(FEATURE_STRONGBOX_KEYSTORE)) {
1590 GTEST_LOG_(INFO) << "Feature " + FEATURE_STRONGBOX_KEYSTORE + " is enabled";
1591 return true;
1592 }
1593
1594 return false;
1595}
1596
1597// Check if chipset has received a waiver allowing it to be launched with Android S or T with
1598// Keymaster 4.0 in StrongBox.
1599bool KeyMintAidlTestBase::is_chipset_allowed_km4_strongbox(void) const {
1600 std::array<char, PROPERTY_VALUE_MAX> buffer;
1601
1602 const int32_t first_api_level = property_get_int32("ro.board.first_api_level", 0);
1603 if (first_api_level <= 0 || first_api_level > __ANDROID_API_T__) return false;
1604
1605 auto res = property_get("ro.vendor.qti.soc_model", buffer.data(), nullptr);
1606 if (res <= 0) return false;
1607
1608 const string allowed_soc_models[] = {"SM8450", "SM8475", "SM8550", "SXR2230P"};
1609
1610 for (const string model : allowed_soc_models) {
1611 if (model.compare(buffer.data()) == 0) {
1612 GTEST_LOG_(INFO) << "QTI SOC Model " + model + " is allowed SB KM 4.0";
1613 return true;
1614 }
1615 }
1616
1617 return false;
1618}
1619
1620// Skip the test if all the following conditions hold:
1621// 1. ATTEST_KEY feature is disabled
1622// 2. STRONGBOX is enabled
1623// 3. The device is running one of the chipsets that have received a waiver
1624// allowing it to be launched with Android S (or later) with Keymaster 4.0
1625// in StrongBox
1626void KeyMintAidlTestBase::skipAttestKeyTest(void) const {
1627 // Check the chipset first as that doesn't require a round-trip to Package Manager.
1628 if (is_chipset_allowed_km4_strongbox() && is_strongbox_enabled() &&
1629 is_attest_key_feature_disabled()) {
1630 GTEST_SKIP() << "Test is not applicable";
1631 }
1632}
1633
Selene Huang6e46f142021-04-20 19:20:11 -07001634void verify_serial(X509* cert, const uint64_t expected_serial) {
1635 BIGNUM_Ptr ser(BN_new());
1636 EXPECT_TRUE(ASN1_INTEGER_to_BN(X509_get_serialNumber(cert), ser.get()));
1637
1638 uint64_t serial;
1639 EXPECT_TRUE(BN_get_u64(ser.get(), &serial));
1640 EXPECT_EQ(serial, expected_serial);
1641}
1642
1643// Please set self_signed to true for fake certificates or self signed
1644// certificates
1645void verify_subject(const X509* cert, //
1646 const string& subject, //
1647 bool self_signed) {
1648 char* cert_issuer = //
1649 X509_NAME_oneline(X509_get_issuer_name(cert), nullptr, 0);
1650
1651 char* cert_subj = X509_NAME_oneline(X509_get_subject_name(cert), nullptr, 0);
1652
1653 string expected_subject("/CN=");
1654 if (subject.empty()) {
1655 expected_subject.append("Android Keystore Key");
1656 } else {
1657 expected_subject.append(subject);
1658 }
1659
1660 EXPECT_STREQ(expected_subject.c_str(), cert_subj) << "Cert has wrong subject." << cert_subj;
1661
1662 if (self_signed) {
1663 EXPECT_STREQ(cert_issuer, cert_subj)
1664 << "Cert issuer and subject mismatch for self signed certificate.";
1665 }
1666
1667 OPENSSL_free(cert_subj);
1668 OPENSSL_free(cert_issuer);
1669}
1670
Shawn Willden22fb9c12022-06-02 14:04:33 -06001671int get_vsr_api_level() {
Shawn Willden35db3492022-06-16 12:50:40 -06001672 int vendor_api_level = ::android::base::GetIntProperty("ro.vendor.api_level", -1);
1673 if (vendor_api_level != -1) {
1674 return vendor_api_level;
Shawn Willden22fb9c12022-06-02 14:04:33 -06001675 }
Shawn Willden35db3492022-06-16 12:50:40 -06001676
1677 // Android S and older devices do not define ro.vendor.api_level
1678 vendor_api_level = ::android::base::GetIntProperty("ro.board.api_level", -1);
1679 if (vendor_api_level == -1) {
1680 vendor_api_level = ::android::base::GetIntProperty("ro.board.first_api_level", -1);
Shawn Willden22fb9c12022-06-02 14:04:33 -06001681 }
Shawn Willden35db3492022-06-16 12:50:40 -06001682
1683 int product_api_level = ::android::base::GetIntProperty("ro.product.first_api_level", -1);
1684 if (product_api_level == -1) {
1685 product_api_level = ::android::base::GetIntProperty("ro.build.version.sdk", -1);
1686 EXPECT_NE(product_api_level, -1) << "Could not find ro.build.version.sdk";
Shawn Willden22fb9c12022-06-02 14:04:33 -06001687 }
Shawn Willden35db3492022-06-16 12:50:40 -06001688
1689 // VSR API level is the minimum of vendor_api_level and product_api_level.
1690 if (vendor_api_level == -1 || vendor_api_level > product_api_level) {
1691 return product_api_level;
Shawn Willden22fb9c12022-06-02 14:04:33 -06001692 }
Shawn Willden35db3492022-06-16 12:50:40 -06001693 return vendor_api_level;
Shawn Willden22fb9c12022-06-02 14:04:33 -06001694}
1695
David Drysdale555ba002022-05-03 18:48:57 +01001696bool is_gsi_image() {
1697 std::ifstream ifs("/system/system_ext/etc/init/init.gsi.rc");
1698 return ifs.good();
1699}
1700
Selene Huang6e46f142021-04-20 19:20:11 -07001701vector<uint8_t> build_serial_blob(const uint64_t serial_int) {
1702 BIGNUM_Ptr serial(BN_new());
1703 EXPECT_TRUE(BN_set_u64(serial.get(), serial_int));
1704
1705 int len = BN_num_bytes(serial.get());
1706 vector<uint8_t> serial_blob(len);
1707 if (BN_bn2bin(serial.get(), serial_blob.data()) != len) {
1708 return {};
1709 }
1710
David Drysdaledb0dcf52021-05-18 11:43:31 +01001711 if (serial_blob.empty() || serial_blob[0] & 0x80) {
1712 // An empty blob is OpenSSL's encoding of the zero value; we need single zero byte.
1713 // Top bit being set indicates a negative number in two's complement, but our input
1714 // was positive.
1715 // In either case, prepend a zero byte.
1716 serial_blob.insert(serial_blob.begin(), 0x00);
1717 }
1718
Selene Huang6e46f142021-04-20 19:20:11 -07001719 return serial_blob;
1720}
1721
1722void verify_subject_and_serial(const Certificate& certificate, //
1723 const uint64_t expected_serial, //
1724 const string& subject, bool self_signed) {
1725 X509_Ptr cert(parse_cert_blob(certificate.encodedCertificate));
1726 ASSERT_TRUE(!!cert.get());
1727
1728 verify_serial(cert.get(), expected_serial);
1729 verify_subject(cert.get(), subject, self_signed);
1730}
1731
Shawn Willden4315e132022-03-20 12:49:46 -06001732void verify_root_of_trust(const vector<uint8_t>& verified_boot_key, bool device_locked,
1733 VerifiedBoot verified_boot_state,
1734 const vector<uint8_t>& verified_boot_hash) {
1735 char property_value[PROPERTY_VALUE_MAX] = {};
1736
1737 if (avb_verification_enabled()) {
1738 EXPECT_NE(property_get("ro.boot.vbmeta.digest", property_value, ""), 0);
1739 string prop_string(property_value);
1740 EXPECT_EQ(prop_string.size(), 64);
1741 EXPECT_EQ(prop_string, bin2hex(verified_boot_hash));
1742
1743 EXPECT_NE(property_get("ro.boot.vbmeta.device_state", property_value, ""), 0);
1744 if (!strcmp(property_value, "unlocked")) {
1745 EXPECT_FALSE(device_locked);
1746 } else {
1747 EXPECT_TRUE(device_locked);
1748 }
1749
1750 // Check that the device is locked if not debuggable, e.g., user build
1751 // images in CTS. For VTS, debuggable images are used to allow adb root
1752 // and the device is unlocked.
1753 if (!property_get_bool("ro.debuggable", false)) {
1754 EXPECT_TRUE(device_locked);
1755 } else {
1756 EXPECT_FALSE(device_locked);
1757 }
1758 }
1759
1760 // Verified boot key should be all 0's if the boot state is not verified or self signed
1761 std::string empty_boot_key(32, '\0');
1762 std::string verified_boot_key_str((const char*)verified_boot_key.data(),
1763 verified_boot_key.size());
1764 EXPECT_NE(property_get("ro.boot.verifiedbootstate", property_value, ""), 0);
1765 if (!strcmp(property_value, "green")) {
1766 EXPECT_EQ(verified_boot_state, VerifiedBoot::VERIFIED);
1767 EXPECT_NE(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1768 verified_boot_key.size()));
1769 } else if (!strcmp(property_value, "yellow")) {
1770 EXPECT_EQ(verified_boot_state, VerifiedBoot::SELF_SIGNED);
1771 EXPECT_NE(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1772 verified_boot_key.size()));
1773 } else if (!strcmp(property_value, "orange")) {
1774 EXPECT_EQ(verified_boot_state, VerifiedBoot::UNVERIFIED);
1775 EXPECT_EQ(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1776 verified_boot_key.size()));
1777 } else if (!strcmp(property_value, "red")) {
1778 EXPECT_EQ(verified_boot_state, VerifiedBoot::FAILED);
1779 } else {
1780 EXPECT_EQ(verified_boot_state, VerifiedBoot::UNVERIFIED);
1781 EXPECT_EQ(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1782 verified_boot_key.size()));
1783 }
1784}
1785
David Drysdale7dff4fc2021-12-10 10:10:52 +00001786bool verify_attestation_record(int32_t aidl_version, //
1787 const string& challenge, //
Shawn Willden7c130392020-12-21 09:58:22 -07001788 const string& app_id, //
1789 AuthorizationSet expected_sw_enforced, //
1790 AuthorizationSet expected_hw_enforced, //
1791 SecurityLevel security_level,
David Drysdale565ccc72021-10-11 12:49:50 +01001792 const vector<uint8_t>& attestation_cert,
1793 vector<uint8_t>* unique_id) {
Shawn Willden7c130392020-12-21 09:58:22 -07001794 X509_Ptr cert(parse_cert_blob(attestation_cert));
1795 EXPECT_TRUE(!!cert.get());
1796 if (!cert.get()) return false;
1797
Rajesh Nyamagoude98263e2023-02-09 20:36:33 +00001798 // Make sure CRL Distribution Points extension is not present in a certificate
1799 // containing attestation record.
1800 check_crl_distribution_points_extension_not_present(cert.get());
1801
Shawn Willden7c130392020-12-21 09:58:22 -07001802 ASN1_OCTET_STRING* attest_rec = get_attestation_record(cert.get());
1803 EXPECT_TRUE(!!attest_rec);
1804 if (!attest_rec) return false;
1805
1806 AuthorizationSet att_sw_enforced;
1807 AuthorizationSet att_hw_enforced;
1808 uint32_t att_attestation_version;
David Drysdale37af4b32021-05-14 16:46:59 +01001809 uint32_t att_keymint_version;
Shawn Willden7c130392020-12-21 09:58:22 -07001810 SecurityLevel att_attestation_security_level;
David Drysdale37af4b32021-05-14 16:46:59 +01001811 SecurityLevel att_keymint_security_level;
Shawn Willden7c130392020-12-21 09:58:22 -07001812 vector<uint8_t> att_challenge;
1813 vector<uint8_t> att_unique_id;
1814 vector<uint8_t> att_app_id;
1815
1816 auto error = parse_attestation_record(attest_rec->data, //
1817 attest_rec->length, //
1818 &att_attestation_version, //
1819 &att_attestation_security_level, //
David Drysdale37af4b32021-05-14 16:46:59 +01001820 &att_keymint_version, //
1821 &att_keymint_security_level, //
Shawn Willden7c130392020-12-21 09:58:22 -07001822 &att_challenge, //
1823 &att_sw_enforced, //
1824 &att_hw_enforced, //
1825 &att_unique_id);
1826 EXPECT_EQ(ErrorCode::OK, error);
1827 if (error != ErrorCode::OK) return false;
1828
David Drysdale7dff4fc2021-12-10 10:10:52 +00001829 check_attestation_version(att_attestation_version, aidl_version);
Selene Huang4f64c222021-04-13 19:54:36 -07001830 vector<uint8_t> appId(app_id.begin(), app_id.end());
Shawn Willden7c130392020-12-21 09:58:22 -07001831
Selene Huang4f64c222021-04-13 19:54:36 -07001832 // check challenge and app id only if we expects a non-fake certificate
1833 if (challenge.length() > 0) {
1834 EXPECT_EQ(challenge.length(), att_challenge.size());
1835 EXPECT_EQ(0, memcmp(challenge.data(), att_challenge.data(), challenge.length()));
1836
1837 expected_sw_enforced.push_back(TAG_ATTESTATION_APPLICATION_ID, appId);
1838 }
Shawn Willden7c130392020-12-21 09:58:22 -07001839
David Drysdale7dff4fc2021-12-10 10:10:52 +00001840 check_attestation_version(att_keymint_version, aidl_version);
David Drysdale37af4b32021-05-14 16:46:59 +01001841 EXPECT_EQ(security_level, att_keymint_security_level);
Shawn Willden7c130392020-12-21 09:58:22 -07001842 EXPECT_EQ(security_level, att_attestation_security_level);
1843
Tri Vob21e6df2023-02-17 14:55:43 -08001844 for (int i = 0; i < att_hw_enforced.size(); i++) {
1845 if (att_hw_enforced[i].tag == TAG_BOOT_PATCHLEVEL ||
1846 att_hw_enforced[i].tag == TAG_VENDOR_PATCHLEVEL) {
1847 std::string date =
1848 std::to_string(att_hw_enforced[i].value.get<KeyParameterValue::integer>());
David Drysdale168228a2021-10-05 08:43:52 +01001849
Tri Vob21e6df2023-02-17 14:55:43 -08001850 // strptime seems to require delimiters, but the tag value will
1851 // be YYYYMMDD
1852 if (date.size() != 8) {
1853 ADD_FAILURE() << "Tag " << att_hw_enforced[i].tag
1854 << " with invalid format (not YYYYMMDD): " << date;
1855 return false;
Shawn Willden7c130392020-12-21 09:58:22 -07001856 }
Tri Vob21e6df2023-02-17 14:55:43 -08001857 date.insert(6, "-");
1858 date.insert(4, "-");
1859 struct tm time;
1860 strptime(date.c_str(), "%Y-%m-%d", &time);
1861
1862 // Day of the month (0-31)
1863 EXPECT_GE(time.tm_mday, 0);
1864 EXPECT_LT(time.tm_mday, 32);
1865 // Months since Jan (0-11)
1866 EXPECT_GE(time.tm_mon, 0);
1867 EXPECT_LT(time.tm_mon, 12);
1868 // Years since 1900
1869 EXPECT_GT(time.tm_year, 110);
1870 EXPECT_LT(time.tm_year, 200);
Shawn Willden7c130392020-12-21 09:58:22 -07001871 }
1872 }
1873
1874 // Check to make sure boolean values are properly encoded. Presence of a boolean tag
1875 // indicates true. A provided boolean tag that can be pulled back out of the certificate
1876 // indicates correct encoding. No need to check if it's in both lists, since the
1877 // AuthorizationSet compare below will handle mismatches of tags.
1878 if (security_level == SecurityLevel::SOFTWARE) {
1879 EXPECT_TRUE(expected_sw_enforced.Contains(TAG_NO_AUTH_REQUIRED));
1880 } else {
1881 EXPECT_TRUE(expected_hw_enforced.Contains(TAG_NO_AUTH_REQUIRED));
1882 }
1883
Shawn Willden7c130392020-12-21 09:58:22 -07001884 if (att_hw_enforced.Contains(TAG_ALGORITHM, Algorithm::EC)) {
1885 // For ECDSA keys, either an EC_CURVE or a KEY_SIZE can be specified, but one must be.
1886 EXPECT_TRUE(att_hw_enforced.Contains(TAG_EC_CURVE) ||
1887 att_hw_enforced.Contains(TAG_KEY_SIZE));
1888 }
1889
1890 // Test root of trust elements
1891 vector<uint8_t> verified_boot_key;
1892 VerifiedBoot verified_boot_state;
1893 bool device_locked;
1894 vector<uint8_t> verified_boot_hash;
1895 error = parse_root_of_trust(attest_rec->data, attest_rec->length, &verified_boot_key,
1896 &verified_boot_state, &device_locked, &verified_boot_hash);
1897 EXPECT_EQ(ErrorCode::OK, error);
Shawn Willden4315e132022-03-20 12:49:46 -06001898 verify_root_of_trust(verified_boot_key, device_locked, verified_boot_state, verified_boot_hash);
Shawn Willden7c130392020-12-21 09:58:22 -07001899
1900 att_sw_enforced.Sort();
1901 expected_sw_enforced.Sort();
David Drysdale37af4b32021-05-14 16:46:59 +01001902 EXPECT_EQ(filtered_tags(expected_sw_enforced), filtered_tags(att_sw_enforced));
Shawn Willden7c130392020-12-21 09:58:22 -07001903
1904 att_hw_enforced.Sort();
1905 expected_hw_enforced.Sort();
1906 EXPECT_EQ(filtered_tags(expected_hw_enforced), filtered_tags(att_hw_enforced));
1907
David Drysdale565ccc72021-10-11 12:49:50 +01001908 if (unique_id != nullptr) {
1909 *unique_id = att_unique_id;
1910 }
1911
Shawn Willden7c130392020-12-21 09:58:22 -07001912 return true;
1913}
1914
1915string bin2hex(const vector<uint8_t>& data) {
1916 string retval;
1917 retval.reserve(data.size() * 2 + 1);
1918 for (uint8_t byte : data) {
1919 retval.push_back(nibble2hex[0x0F & (byte >> 4)]);
1920 retval.push_back(nibble2hex[0x0F & byte]);
1921 }
1922 return retval;
1923}
1924
David Drysdalef0d516d2021-03-22 07:51:43 +00001925AuthorizationSet HwEnforcedAuthorizations(const vector<KeyCharacteristics>& key_characteristics) {
1926 AuthorizationSet authList;
1927 for (auto& entry : key_characteristics) {
1928 if (entry.securityLevel == SecurityLevel::STRONGBOX ||
1929 entry.securityLevel == SecurityLevel::TRUSTED_ENVIRONMENT) {
1930 authList.push_back(AuthorizationSet(entry.authorizations));
1931 }
1932 }
1933 return authList;
1934}
1935
1936AuthorizationSet SwEnforcedAuthorizations(const vector<KeyCharacteristics>& key_characteristics) {
1937 AuthorizationSet authList;
1938 for (auto& entry : key_characteristics) {
1939 if (entry.securityLevel == SecurityLevel::SOFTWARE ||
1940 entry.securityLevel == SecurityLevel::KEYSTORE) {
1941 authList.push_back(AuthorizationSet(entry.authorizations));
1942 }
1943 }
1944 return authList;
1945}
1946
Eran Messeri03d7a1a2021-07-06 12:07:57 +01001947AssertionResult ChainSignaturesAreValid(const vector<Certificate>& chain,
1948 bool strict_issuer_check) {
Shawn Willden7c130392020-12-21 09:58:22 -07001949 std::stringstream cert_data;
1950
1951 for (size_t i = 0; i < chain.size(); ++i) {
1952 cert_data << bin2hex(chain[i].encodedCertificate) << std::endl;
1953
1954 X509_Ptr key_cert(parse_cert_blob(chain[i].encodedCertificate));
1955 X509_Ptr signing_cert;
1956 if (i < chain.size() - 1) {
1957 signing_cert = parse_cert_blob(chain[i + 1].encodedCertificate);
1958 } else {
1959 signing_cert = parse_cert_blob(chain[i].encodedCertificate);
1960 }
1961 if (!key_cert.get() || !signing_cert.get()) return AssertionFailure() << cert_data.str();
1962
1963 EVP_PKEY_Ptr signing_pubkey(X509_get_pubkey(signing_cert.get()));
1964 if (!signing_pubkey.get()) return AssertionFailure() << cert_data.str();
1965
1966 if (!X509_verify(key_cert.get(), signing_pubkey.get())) {
1967 return AssertionFailure()
1968 << "Verification of certificate " << i << " failed "
1969 << "OpenSSL error string: " << ERR_error_string(ERR_get_error(), NULL) << '\n'
1970 << cert_data.str();
1971 }
1972
1973 string cert_issuer = x509NameToStr(X509_get_issuer_name(key_cert.get()));
1974 string signer_subj = x509NameToStr(X509_get_subject_name(signing_cert.get()));
Eran Messeri03d7a1a2021-07-06 12:07:57 +01001975 if (cert_issuer != signer_subj && strict_issuer_check) {
Selene Huang8f9494c2021-04-21 15:10:36 -07001976 return AssertionFailure() << "Cert " << i << " has wrong issuer.\n"
1977 << " Signer subject is " << signer_subj
1978 << " Issuer subject is " << cert_issuer << endl
1979 << cert_data.str();
Shawn Willden7c130392020-12-21 09:58:22 -07001980 }
Shawn Willden7c130392020-12-21 09:58:22 -07001981 }
1982
1983 if (KeyMintAidlTestBase::dump_Attestations) std::cout << cert_data.str();
1984 return AssertionSuccess();
1985}
1986
1987X509_Ptr parse_cert_blob(const vector<uint8_t>& blob) {
1988 const uint8_t* p = blob.data();
1989 return X509_Ptr(d2i_X509(nullptr /* allocate new */, &p, blob.size()));
1990}
1991
Tri Voec50ee12023-02-14 16:29:53 -08001992// Extract attestation record from cert. Returned object is still part of cert; don't free it
1993// separately.
1994ASN1_OCTET_STRING* get_attestation_record(X509* certificate) {
1995 ASN1_OBJECT_Ptr oid(OBJ_txt2obj(kAttestionRecordOid, 1 /* dotted string format */));
1996 EXPECT_TRUE(!!oid.get());
1997 if (!oid.get()) return nullptr;
1998
1999 int location = X509_get_ext_by_OBJ(certificate, oid.get(), -1 /* search from beginning */);
2000 EXPECT_NE(-1, location) << "Attestation extension not found in certificate";
2001 if (location == -1) return nullptr;
2002
2003 X509_EXTENSION* attest_rec_ext = X509_get_ext(certificate, location);
2004 EXPECT_TRUE(!!attest_rec_ext)
2005 << "Found attestation extension but couldn't retrieve it? Probably a BoringSSL bug.";
2006 if (!attest_rec_ext) return nullptr;
2007
2008 ASN1_OCTET_STRING* attest_rec = X509_EXTENSION_get_data(attest_rec_ext);
2009 EXPECT_TRUE(!!attest_rec) << "Attestation extension contained no data";
2010 return attest_rec;
2011}
2012
David Drysdalef0d516d2021-03-22 07:51:43 +00002013vector<uint8_t> make_name_from_str(const string& name) {
2014 X509_NAME_Ptr x509_name(X509_NAME_new());
2015 EXPECT_TRUE(x509_name.get() != nullptr);
2016 if (!x509_name) return {};
2017
2018 EXPECT_EQ(1, X509_NAME_add_entry_by_txt(x509_name.get(), //
2019 "CN", //
2020 MBSTRING_ASC,
2021 reinterpret_cast<const uint8_t*>(name.c_str()),
2022 -1, // len
2023 -1, // loc
2024 0 /* set */));
2025
2026 int len = i2d_X509_NAME(x509_name.get(), nullptr /* only return length */);
2027 EXPECT_GT(len, 0);
2028
2029 vector<uint8_t> retval(len);
2030 uint8_t* p = retval.data();
2031 i2d_X509_NAME(x509_name.get(), &p);
2032
2033 return retval;
2034}
2035
David Drysdale4dc01072021-04-01 12:17:35 +01002036namespace {
2037
2038void check_cose_key(const vector<uint8_t>& data, bool testMode) {
2039 auto [parsedPayload, __, payloadParseErr] = cppbor::parse(data);
2040 ASSERT_TRUE(parsedPayload) << "Key parse failed: " << payloadParseErr;
2041
2042 // The following check assumes that canonical CBOR encoding is used for the COSE_Key.
2043 if (testMode) {
Elliott Hughesbe36da42022-11-09 21:35:07 +00002044 EXPECT_THAT(
2045 cppbor::prettyPrint(parsedPayload.get()),
2046 MatchesRegex("\\{\n"
2047 " 1 : 2,\n" // kty: EC2
2048 " 3 : -7,\n" // alg: ES256
2049 " -1 : 1,\n" // EC id: P256
2050 // The regex {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}} matches a
2051 // sequence of 32 hexadecimal bytes, enclosed in braces and
2052 // separated by commas. In this case, some Ed25519 public key.
2053 " -2 : \\{(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}\\},\n" // pub_x: data
2054 " -3 : \\{(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}\\},\n" // pub_y: data
2055 " -70000 : null,\n" // test marker
2056 "\\}"));
David Drysdale4dc01072021-04-01 12:17:35 +01002057 } else {
Elliott Hughesbe36da42022-11-09 21:35:07 +00002058 EXPECT_THAT(
2059 cppbor::prettyPrint(parsedPayload.get()),
2060 MatchesRegex("\\{\n"
2061 " 1 : 2,\n" // kty: EC2
2062 " 3 : -7,\n" // alg: ES256
2063 " -1 : 1,\n" // EC id: P256
2064 // The regex {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}} matches a
2065 // sequence of 32 hexadecimal bytes, enclosed in braces and
2066 // separated by commas. In this case, some Ed25519 public key.
2067 " -2 : \\{(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}\\},\n" // pub_x: data
2068 " -3 : \\{(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}\\},\n" // pub_y: data
2069 "\\}"));
David Drysdale4dc01072021-04-01 12:17:35 +01002070 }
2071}
2072
2073} // namespace
2074
2075void check_maced_pubkey(const MacedPublicKey& macedPubKey, bool testMode,
2076 vector<uint8_t>* payload_value) {
2077 auto [coseMac0, _, mac0ParseErr] = cppbor::parse(macedPubKey.macedKey);
2078 ASSERT_TRUE(coseMac0) << "COSE Mac0 parse failed " << mac0ParseErr;
2079
2080 ASSERT_NE(coseMac0->asArray(), nullptr);
2081 ASSERT_EQ(coseMac0->asArray()->size(), kCoseMac0EntryCount);
2082
2083 auto protParms = coseMac0->asArray()->get(kCoseMac0ProtectedParams)->asBstr();
2084 ASSERT_NE(protParms, nullptr);
2085
2086 // Header label:value of 'alg': HMAC-256
2087 ASSERT_EQ(cppbor::prettyPrint(protParms->value()), "{\n 1 : 5,\n}");
2088
2089 auto unprotParms = coseMac0->asArray()->get(kCoseMac0UnprotectedParams)->asMap();
2090 ASSERT_NE(unprotParms, nullptr);
2091 ASSERT_EQ(unprotParms->size(), 0);
2092
2093 // The payload is a bstr holding an encoded COSE_Key
2094 auto payload = coseMac0->asArray()->get(kCoseMac0Payload)->asBstr();
2095 ASSERT_NE(payload, nullptr);
2096 check_cose_key(payload->value(), testMode);
2097
2098 auto coseMac0Tag = coseMac0->asArray()->get(kCoseMac0Tag)->asBstr();
2099 ASSERT_TRUE(coseMac0Tag);
2100 auto extractedTag = coseMac0Tag->value();
2101 EXPECT_EQ(extractedTag.size(), 32U);
2102
2103 // Compare with tag generated with kTestMacKey. Should only match in test mode
Seth Moore026bb742021-04-30 11:41:18 -07002104 auto macFunction = [](const cppcose::bytevec& input) {
2105 return cppcose::generateHmacSha256(remote_prov::kTestMacKey, input);
2106 };
2107 auto testTag =
2108 cppcose::generateCoseMac0Mac(macFunction, {} /* external_aad */, payload->value());
David Drysdale4dc01072021-04-01 12:17:35 +01002109 ASSERT_TRUE(testTag) << "Tag calculation failed: " << testTag.message();
2110
2111 if (testMode) {
Seth Moore026bb742021-04-30 11:41:18 -07002112 EXPECT_THAT(*testTag, ElementsAreArray(extractedTag));
David Drysdale4dc01072021-04-01 12:17:35 +01002113 } else {
Seth Moore026bb742021-04-30 11:41:18 -07002114 EXPECT_THAT(*testTag, Not(ElementsAreArray(extractedTag)));
David Drysdale4dc01072021-04-01 12:17:35 +01002115 }
2116 if (payload_value != nullptr) {
2117 *payload_value = payload->value();
2118 }
2119}
2120
2121void p256_pub_key(const vector<uint8_t>& coseKeyData, EVP_PKEY_Ptr* signingKey) {
2122 // Extract x and y affine coordinates from the encoded Cose_Key.
2123 auto [parsedPayload, __, payloadParseErr] = cppbor::parse(coseKeyData);
2124 ASSERT_TRUE(parsedPayload) << "Key parse failed: " << payloadParseErr;
2125 auto coseKey = parsedPayload->asMap();
2126 const std::unique_ptr<cppbor::Item>& xItem = coseKey->get(cppcose::CoseKey::PUBKEY_X);
2127 ASSERT_NE(xItem->asBstr(), nullptr);
2128 vector<uint8_t> x = xItem->asBstr()->value();
2129 const std::unique_ptr<cppbor::Item>& yItem = coseKey->get(cppcose::CoseKey::PUBKEY_Y);
2130 ASSERT_NE(yItem->asBstr(), nullptr);
2131 vector<uint8_t> y = yItem->asBstr()->value();
2132
2133 // Concatenate: 0x04 (uncompressed form marker) | x | y
2134 vector<uint8_t> pubKeyData{0x04};
2135 pubKeyData.insert(pubKeyData.end(), x.begin(), x.end());
2136 pubKeyData.insert(pubKeyData.end(), y.begin(), y.end());
2137
2138 EC_KEY_Ptr ecKey = EC_KEY_Ptr(EC_KEY_new());
2139 ASSERT_NE(ecKey, nullptr);
2140 EC_GROUP_Ptr group = EC_GROUP_Ptr(EC_GROUP_new_by_curve_name(NID_X9_62_prime256v1));
2141 ASSERT_NE(group, nullptr);
2142 ASSERT_EQ(EC_KEY_set_group(ecKey.get(), group.get()), 1);
2143 EC_POINT_Ptr point = EC_POINT_Ptr(EC_POINT_new(group.get()));
2144 ASSERT_NE(point, nullptr);
2145 ASSERT_EQ(EC_POINT_oct2point(group.get(), point.get(), pubKeyData.data(), pubKeyData.size(),
2146 nullptr),
2147 1);
2148 ASSERT_EQ(EC_KEY_set_public_key(ecKey.get(), point.get()), 1);
2149
2150 EVP_PKEY_Ptr pubKey = EVP_PKEY_Ptr(EVP_PKEY_new());
2151 ASSERT_NE(pubKey, nullptr);
2152 EVP_PKEY_assign_EC_KEY(pubKey.get(), ecKey.release());
2153 *signingKey = std::move(pubKey);
2154}
2155
Max Biresa97ec692022-11-21 23:37:54 -08002156void device_id_attestation_vsr_check(const ErrorCode& result) {
Shawn Willden1a545db2023-02-22 14:32:33 -07002157 if (get_vsr_api_level() > __ANDROID_API_T__) {
Max Biresa97ec692022-11-21 23:37:54 -08002158 ASSERT_FALSE(result == ErrorCode::INVALID_TAG)
2159 << "It is a specification violation for INVALID_TAG to be returned due to ID "
2160 << "mismatch in a Device ID Attestation call. INVALID_TAG is only intended to "
2161 << "be used for a case where updateAad() is called after update(). As of "
2162 << "VSR-14, this is now enforced as an error.";
2163 }
2164}
2165
David Drysdale3d2ba0a2023-01-11 13:27:26 +00002166// Check whether the given named feature is available.
2167bool check_feature(const std::string& name) {
2168 ::android::sp<::android::IServiceManager> sm(::android::defaultServiceManager());
Tommy Chiu6e5736b2023-02-08 10:16:03 +08002169 ::android::sp<::android::IBinder> binder(
2170 sm->waitForService(::android::String16("package_native")));
David Drysdale3d2ba0a2023-01-11 13:27:26 +00002171 if (binder == nullptr) {
Tommy Chiu6e5736b2023-02-08 10:16:03 +08002172 GTEST_LOG_(ERROR) << "waitForService package_native failed";
David Drysdale3d2ba0a2023-01-11 13:27:26 +00002173 return false;
2174 }
2175 ::android::sp<::android::content::pm::IPackageManagerNative> packageMgr =
2176 ::android::interface_cast<::android::content::pm::IPackageManagerNative>(binder);
2177 if (packageMgr == nullptr) {
2178 GTEST_LOG_(ERROR) << "Cannot find package manager";
2179 return false;
2180 }
2181 bool hasFeature = false;
2182 auto status = packageMgr->hasSystemFeature(::android::String16(name.c_str()), 0, &hasFeature);
2183 if (!status.isOk()) {
2184 GTEST_LOG_(ERROR) << "hasSystemFeature('" << name << "') failed: " << status;
2185 return false;
2186 }
2187 return hasFeature;
2188}
2189
Selene Huang31ab4042020-04-29 04:22:39 -07002190} // namespace test
Shawn Willden08a7e432020-12-11 13:05:27 +00002191
Janis Danisevskis24c04702020-12-16 18:28:39 -08002192} // namespace aidl::android::hardware::security::keymint