blob: 70b89c3280341d62250fd99d878a0feec2113157 [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 Drysdale4dc01072021-04-01 12:17:35 +010026#include <cppbor_parse.h>
Shawn Willden7c130392020-12-21 09:58:22 -070027#include <cutils/properties.h>
David Drysdale4dc01072021-04-01 12:17:35 +010028#include <gmock/gmock.h>
David Drysdale42fe1892021-10-14 14:43:46 +010029#include <openssl/evp.h>
Shawn Willden7c130392020-12-21 09:58:22 -070030#include <openssl/mem.h>
David Drysdale4dc01072021-04-01 12:17:35 +010031#include <remote_prov/remote_prov_utils.h>
Selene Huang31ab4042020-04-29 04:22:39 -070032
Max Bires9704ff62021-04-07 11:12:01 -070033#include <keymaster/cppcose/cppcose.h>
Shawn Willden08a7e432020-12-11 13:05:27 +000034#include <keymint_support/key_param_output.h>
35#include <keymint_support/keymint_utils.h>
Shawn Willden7c130392020-12-21 09:58:22 -070036#include <keymint_support/openssl_utils.h>
Selene Huang31ab4042020-04-29 04:22:39 -070037
Janis Danisevskis24c04702020-12-16 18:28:39 -080038namespace aidl::android::hardware::security::keymint {
Selene Huang31ab4042020-04-29 04:22:39 -070039
David Drysdale4dc01072021-04-01 12:17:35 +010040using namespace cppcose;
Selene Huang31ab4042020-04-29 04:22:39 -070041using namespace std::literals::chrono_literals;
42using std::endl;
43using std::optional;
Shawn Willden7c130392020-12-21 09:58:22 -070044using std::unique_ptr;
45using ::testing::AssertionFailure;
46using ::testing::AssertionResult;
47using ::testing::AssertionSuccess;
Seth Moore026bb742021-04-30 11:41:18 -070048using ::testing::ElementsAreArray;
David Drysdale4dc01072021-04-01 12:17:35 +010049using ::testing::MatchesRegex;
Seth Moore026bb742021-04-30 11:41:18 -070050using ::testing::Not;
Selene Huang31ab4042020-04-29 04:22:39 -070051
52::std::ostream& operator<<(::std::ostream& os, const AuthorizationSet& set) {
53 if (set.size() == 0)
54 os << "(Empty)" << ::std::endl;
55 else {
56 os << "\n";
Shawn Willden0e80b5d2020-12-17 09:07:27 -070057 for (auto& entry : set) os << entry << ::std::endl;
Selene Huang31ab4042020-04-29 04:22:39 -070058 }
59 return os;
60}
61
62namespace test {
63
Shawn Willden7f424372021-01-10 18:06:50 -070064namespace {
David Drysdaledf8f52e2021-05-06 08:10:58 +010065
David Drysdale37af4b32021-05-14 16:46:59 +010066// Invalid value for a patchlevel (which is of form YYYYMMDD).
67const uint32_t kInvalidPatchlevel = 99998877;
68
David Drysdaledf8f52e2021-05-06 08:10:58 +010069// Overhead for PKCS#1 v1.5 signature padding of undigested messages. Digested messages have
70// additional overhead, for the digest algorithmIdentifier required by PKCS#1.
71const size_t kPkcs1UndigestedSignaturePaddingOverhead = 11;
72
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +000073typedef KeyMintAidlTestBase::KeyData KeyData;
Shawn Willden7f424372021-01-10 18:06:50 -070074// Predicate for testing basic characteristics validity in generation or import.
75bool KeyCharacteristicsBasicallyValid(SecurityLevel secLevel,
76 const vector<KeyCharacteristics>& key_characteristics) {
77 if (key_characteristics.empty()) return false;
78
79 std::unordered_set<SecurityLevel> levels_seen;
80 for (auto& entry : key_characteristics) {
Seth Moore2a9a00e2021-08-04 16:31:52 -070081 if (entry.authorizations.empty()) {
82 GTEST_LOG_(ERROR) << "empty authorizations for " << entry.securityLevel;
83 return false;
84 }
Shawn Willden7f424372021-01-10 18:06:50 -070085
Qi Wubeefae42021-01-28 23:16:37 +080086 // Just ignore the SecurityLevel::KEYSTORE as the KM won't do any enforcement on this.
87 if (entry.securityLevel == SecurityLevel::KEYSTORE) continue;
88
Seth Moore2a9a00e2021-08-04 16:31:52 -070089 if (levels_seen.find(entry.securityLevel) != levels_seen.end()) {
90 GTEST_LOG_(ERROR) << "duplicate authorizations for " << entry.securityLevel;
91 return false;
92 }
Shawn Willden7f424372021-01-10 18:06:50 -070093 levels_seen.insert(entry.securityLevel);
94
95 // Generally, we should only have one entry, at the same security level as the KM
96 // instance. There is an exception: StrongBox KM can have some authorizations that are
97 // enforced by the TEE.
98 bool isExpectedSecurityLevel = secLevel == entry.securityLevel ||
99 (secLevel == SecurityLevel::STRONGBOX &&
100 entry.securityLevel == SecurityLevel::TRUSTED_ENVIRONMENT);
101
Seth Moore2a9a00e2021-08-04 16:31:52 -0700102 if (!isExpectedSecurityLevel) {
103 GTEST_LOG_(ERROR) << "Unexpected security level " << entry.securityLevel;
104 return false;
105 }
Shawn Willden7f424372021-01-10 18:06:50 -0700106 }
107 return true;
108}
109
Shawn Willden7c130392020-12-21 09:58:22 -0700110// Extract attestation record from cert. Returned object is still part of cert; don't free it
111// separately.
112ASN1_OCTET_STRING* get_attestation_record(X509* certificate) {
113 ASN1_OBJECT_Ptr oid(OBJ_txt2obj(kAttestionRecordOid, 1 /* dotted string format */));
114 EXPECT_TRUE(!!oid.get());
115 if (!oid.get()) return nullptr;
116
117 int location = X509_get_ext_by_OBJ(certificate, oid.get(), -1 /* search from beginning */);
118 EXPECT_NE(-1, location) << "Attestation extension not found in certificate";
119 if (location == -1) return nullptr;
120
121 X509_EXTENSION* attest_rec_ext = X509_get_ext(certificate, location);
122 EXPECT_TRUE(!!attest_rec_ext)
123 << "Found attestation extension but couldn't retrieve it? Probably a BoringSSL bug.";
124 if (!attest_rec_ext) return nullptr;
125
126 ASN1_OCTET_STRING* attest_rec = X509_EXTENSION_get_data(attest_rec_ext);
127 EXPECT_TRUE(!!attest_rec) << "Attestation extension contained no data";
128 return attest_rec;
129}
130
David Drysdale7dff4fc2021-12-10 10:10:52 +0000131void check_attestation_version(uint32_t attestation_version, int32_t aidl_version) {
132 // Version numbers in attestation extensions should be a multiple of 100.
133 EXPECT_EQ(attestation_version % 100, 0);
134
135 // The multiplier should never be higher than the AIDL version, but can be less
136 // (for example, if the implementation is from an earlier version but the HAL service
137 // uses the default libraries and so reports the current AIDL version).
138 EXPECT_TRUE((attestation_version / 100) <= aidl_version);
139}
140
Shawn Willden7c130392020-12-21 09:58:22 -0700141bool avb_verification_enabled() {
142 char value[PROPERTY_VALUE_MAX];
143 return property_get("ro.boot.vbmeta.device_state", value, "") != 0;
144}
145
146char nibble2hex[16] = {'0', '1', '2', '3', '4', '5', '6', '7',
147 '8', '9', 'a', 'b', 'c', 'd', 'e', 'f'};
148
149// Attestations don't contain everything in key authorization lists, so we need to filter the key
150// lists to produce the lists that we expect to match the attestations.
151auto kTagsToFilter = {
David Drysdale37af4b32021-05-14 16:46:59 +0100152 Tag::CREATION_DATETIME,
153 Tag::HARDWARE_TYPE,
154 Tag::INCLUDE_UNIQUE_ID,
Shawn Willden7c130392020-12-21 09:58:22 -0700155};
156
157AuthorizationSet filtered_tags(const AuthorizationSet& set) {
158 AuthorizationSet filtered;
159 std::remove_copy_if(
160 set.begin(), set.end(), std::back_inserter(filtered), [](const auto& entry) -> bool {
161 return std::find(kTagsToFilter.begin(), kTagsToFilter.end(), entry.tag) !=
162 kTagsToFilter.end();
163 });
164 return filtered;
165}
166
David Drysdale300b5552021-05-20 12:05:26 +0100167// Remove any SecurityLevel::KEYSTORE entries from a list of key characteristics.
168void strip_keystore_tags(vector<KeyCharacteristics>* characteristics) {
169 characteristics->erase(std::remove_if(characteristics->begin(), characteristics->end(),
170 [](const auto& entry) {
171 return entry.securityLevel == SecurityLevel::KEYSTORE;
172 }),
173 characteristics->end());
174}
175
Shawn Willden7c130392020-12-21 09:58:22 -0700176string x509NameToStr(X509_NAME* name) {
177 char* s = X509_NAME_oneline(name, nullptr, 0);
178 string retval(s);
179 OPENSSL_free(s);
180 return retval;
181}
182
Shawn Willden7f424372021-01-10 18:06:50 -0700183} // namespace
184
Shawn Willden7c130392020-12-21 09:58:22 -0700185bool KeyMintAidlTestBase::arm_deleteAllKeys = false;
186bool KeyMintAidlTestBase::dump_Attestations = false;
187
David Drysdale37af4b32021-05-14 16:46:59 +0100188uint32_t KeyMintAidlTestBase::boot_patch_level(
189 const vector<KeyCharacteristics>& key_characteristics) {
190 // The boot patchlevel is not available as a property, but should be present
191 // in the key characteristics of any created key.
192 AuthorizationSet allAuths;
193 for (auto& entry : key_characteristics) {
194 allAuths.push_back(AuthorizationSet(entry.authorizations));
195 }
196 auto patchlevel = allAuths.GetTagValue(TAG_BOOT_PATCHLEVEL);
197 if (patchlevel.has_value()) {
198 return patchlevel.value();
199 } else {
200 // No boot patchlevel is available. Return a value that won't match anything
201 // and so will trigger test failures.
202 return kInvalidPatchlevel;
203 }
204}
205
206uint32_t KeyMintAidlTestBase::boot_patch_level() {
207 return boot_patch_level(key_characteristics_);
208}
209
Prashant Patil88ad1892022-03-15 16:31:02 +0000210/**
211 * An API to determine device IDs attestation is required or not,
212 * which is mandatory for KeyMint version 2 or first_api_level 33 or greater.
213 */
214bool KeyMintAidlTestBase::isDeviceIdAttestationRequired() {
215 return AidlVersion() >= 2 || property_get_int32("ro.vendor.api_level", 0) >= 33;
216}
217
David Drysdale42fe1892021-10-14 14:43:46 +0100218bool KeyMintAidlTestBase::Curve25519Supported() {
219 // Strongbox never supports curve 25519.
220 if (SecLevel() == SecurityLevel::STRONGBOX) {
221 return false;
222 }
223
224 // Curve 25519 was included in version 2 of the KeyMint interface.
225 int32_t version = 0;
226 auto status = keymint_->getInterfaceVersion(&version);
227 if (!status.isOk()) {
228 ADD_FAILURE() << "Failed to determine interface version";
229 }
230 return version >= 2;
231}
232
Janis Danisevskis24c04702020-12-16 18:28:39 -0800233ErrorCode KeyMintAidlTestBase::GetReturnErrorCode(const Status& result) {
Selene Huang31ab4042020-04-29 04:22:39 -0700234 if (result.isOk()) return ErrorCode::OK;
235
Janis Danisevskis24c04702020-12-16 18:28:39 -0800236 if (result.getExceptionCode() == EX_SERVICE_SPECIFIC) {
237 return static_cast<ErrorCode>(result.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700238 }
239
240 return ErrorCode::UNKNOWN_ERROR;
241}
242
Janis Danisevskis24c04702020-12-16 18:28:39 -0800243void KeyMintAidlTestBase::InitializeKeyMint(std::shared_ptr<IKeyMintDevice> keyMint) {
Selene Huang31ab4042020-04-29 04:22:39 -0700244 ASSERT_NE(keyMint, nullptr);
Janis Danisevskis24c04702020-12-16 18:28:39 -0800245 keymint_ = std::move(keyMint);
Selene Huang31ab4042020-04-29 04:22:39 -0700246
247 KeyMintHardwareInfo info;
248 ASSERT_TRUE(keymint_->getHardwareInfo(&info).isOk());
249
250 securityLevel_ = info.securityLevel;
251 name_.assign(info.keyMintName.begin(), info.keyMintName.end());
252 author_.assign(info.keyMintAuthorName.begin(), info.keyMintAuthorName.end());
David Drysdaled2cc8c22021-04-15 13:29:45 +0100253 timestamp_token_required_ = info.timestampTokenRequired;
Selene Huang31ab4042020-04-29 04:22:39 -0700254
255 os_version_ = getOsVersion();
256 os_patch_level_ = getOsPatchlevel();
David Drysdalebb3d85e2021-04-13 11:15:51 +0100257 vendor_patch_level_ = getVendorPatchlevel();
Selene Huang31ab4042020-04-29 04:22:39 -0700258}
259
David Drysdale7dff4fc2021-12-10 10:10:52 +0000260int32_t KeyMintAidlTestBase::AidlVersion() {
261 int32_t version = 0;
262 auto status = keymint_->getInterfaceVersion(&version);
263 if (!status.isOk()) {
264 ADD_FAILURE() << "Failed to determine interface version";
265 }
266 return version;
267}
268
Selene Huang31ab4042020-04-29 04:22:39 -0700269void KeyMintAidlTestBase::SetUp() {
Janis Danisevskis24c04702020-12-16 18:28:39 -0800270 if (AServiceManager_isDeclared(GetParam().c_str())) {
271 ::ndk::SpAIBinder binder(AServiceManager_waitForService(GetParam().c_str()));
272 InitializeKeyMint(IKeyMintDevice::fromBinder(binder));
273 } else {
274 InitializeKeyMint(nullptr);
275 }
Selene Huang31ab4042020-04-29 04:22:39 -0700276}
277
278ErrorCode KeyMintAidlTestBase::GenerateKey(const AuthorizationSet& key_desc,
Shawn Willden7c130392020-12-21 09:58:22 -0700279 const optional<AttestationKey>& attest_key,
Shawn Willden7f424372021-01-10 18:06:50 -0700280 vector<uint8_t>* key_blob,
Shawn Willden7c130392020-12-21 09:58:22 -0700281 vector<KeyCharacteristics>* key_characteristics,
282 vector<Certificate>* cert_chain) {
Shawn Willden7f424372021-01-10 18:06:50 -0700283 EXPECT_NE(key_blob, nullptr) << "Key blob pointer must not be null. Test bug";
284 EXPECT_NE(key_characteristics, nullptr)
Selene Huang31ab4042020-04-29 04:22:39 -0700285 << "Previous characteristics not deleted before generating key. Test bug.";
286
Shawn Willden7f424372021-01-10 18:06:50 -0700287 KeyCreationResult creationResult;
Shawn Willden7c130392020-12-21 09:58:22 -0700288 Status result = keymint_->generateKey(key_desc.vector_data(), attest_key, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700289 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700290 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
291 creationResult.keyCharacteristics);
292 EXPECT_GT(creationResult.keyBlob.size(), 0);
293 *key_blob = std::move(creationResult.keyBlob);
294 *key_characteristics = std::move(creationResult.keyCharacteristics);
Shawn Willden7c130392020-12-21 09:58:22 -0700295 *cert_chain = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700296
297 auto algorithm = key_desc.GetTagValue(TAG_ALGORITHM);
298 EXPECT_TRUE(algorithm);
299 if (algorithm &&
300 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
Shawn Willden7c130392020-12-21 09:58:22 -0700301 EXPECT_GE(cert_chain->size(), 1);
302 if (key_desc.Contains(TAG_ATTESTATION_CHALLENGE)) {
303 if (attest_key) {
304 EXPECT_EQ(cert_chain->size(), 1);
305 } else {
306 EXPECT_GT(cert_chain->size(), 1);
307 }
308 }
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700309 } else {
310 // For symmetric keys there should be no certificates.
Shawn Willden7c130392020-12-21 09:58:22 -0700311 EXPECT_EQ(cert_chain->size(), 0);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700312 }
Selene Huang31ab4042020-04-29 04:22:39 -0700313 }
314
315 return GetReturnErrorCode(result);
316}
317
Shawn Willden7c130392020-12-21 09:58:22 -0700318ErrorCode KeyMintAidlTestBase::GenerateKey(const AuthorizationSet& key_desc,
319 const optional<AttestationKey>& attest_key) {
320 return GenerateKey(key_desc, attest_key, &key_blob_, &key_characteristics_, &cert_chain_);
Selene Huang31ab4042020-04-29 04:22:39 -0700321}
322
subrahmanyaman7d9bc462022-03-16 01:40:39 +0000323ErrorCode KeyMintAidlTestBase::GenerateKeyWithSelfSignedAttestKey(
324 const AuthorizationSet& attest_key_desc, const AuthorizationSet& key_desc,
325 vector<uint8_t>* key_blob, vector<KeyCharacteristics>* key_characteristics,
326 vector<Certificate>* cert_chain) {
327 AttestationKey attest_key;
328 vector<Certificate> attest_cert_chain;
329 vector<KeyCharacteristics> attest_key_characteristics;
330 // Generate a key with self signed attestation.
331 auto error = GenerateKey(attest_key_desc, std::nullopt, &attest_key.keyBlob,
332 &attest_key_characteristics, &attest_cert_chain);
333 if (error != ErrorCode::OK) {
334 return error;
335 }
336
337 attest_key.issuerSubjectName = make_name_from_str("Android Keystore Key");
338 // Generate a key, by passing the above self signed attestation key as attest key.
339 error = GenerateKey(key_desc, attest_key, key_blob, key_characteristics, cert_chain);
340 if (error == ErrorCode::OK) {
341 // Append the attest_cert_chain to the attested cert_chain to yield a valid cert chain.
342 cert_chain->push_back(attest_cert_chain[0]);
343 }
344 return error;
345}
346
Selene Huang31ab4042020-04-29 04:22:39 -0700347ErrorCode KeyMintAidlTestBase::ImportKey(const AuthorizationSet& key_desc, KeyFormat format,
348 const string& key_material, vector<uint8_t>* key_blob,
Shawn Willden7f424372021-01-10 18:06:50 -0700349 vector<KeyCharacteristics>* key_characteristics) {
Selene Huang31ab4042020-04-29 04:22:39 -0700350 Status result;
351
Shawn Willden7f424372021-01-10 18:06:50 -0700352 cert_chain_.clear();
353 key_characteristics->clear();
Selene Huang31ab4042020-04-29 04:22:39 -0700354 key_blob->clear();
355
Shawn Willden7f424372021-01-10 18:06:50 -0700356 KeyCreationResult creationResult;
Selene Huang31ab4042020-04-29 04:22:39 -0700357 result = keymint_->importKey(key_desc.vector_data(), format,
Shawn Willden7f424372021-01-10 18:06:50 -0700358 vector<uint8_t>(key_material.begin(), key_material.end()),
Shawn Willden7c130392020-12-21 09:58:22 -0700359 {} /* attestationSigningKeyBlob */, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700360
361 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700362 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
363 creationResult.keyCharacteristics);
364 EXPECT_GT(creationResult.keyBlob.size(), 0);
365
366 *key_blob = std::move(creationResult.keyBlob);
367 *key_characteristics = std::move(creationResult.keyCharacteristics);
368 cert_chain_ = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700369
370 auto algorithm = key_desc.GetTagValue(TAG_ALGORITHM);
371 EXPECT_TRUE(algorithm);
372 if (algorithm &&
373 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
374 EXPECT_GE(cert_chain_.size(), 1);
375 if (key_desc.Contains(TAG_ATTESTATION_CHALLENGE)) EXPECT_GT(cert_chain_.size(), 1);
376 } else {
377 // For symmetric keys there should be no certificates.
378 EXPECT_EQ(cert_chain_.size(), 0);
379 }
Selene Huang31ab4042020-04-29 04:22:39 -0700380 }
381
382 return GetReturnErrorCode(result);
383}
384
385ErrorCode KeyMintAidlTestBase::ImportKey(const AuthorizationSet& key_desc, KeyFormat format,
386 const string& key_material) {
387 return ImportKey(key_desc, format, key_material, &key_blob_, &key_characteristics_);
388}
389
390ErrorCode KeyMintAidlTestBase::ImportWrappedKey(string wrapped_key, string wrapping_key,
391 const AuthorizationSet& wrapping_key_desc,
392 string masking_key,
David Drysdaled2cc8c22021-04-15 13:29:45 +0100393 const AuthorizationSet& unwrapping_params,
394 int64_t password_sid, int64_t biometric_sid) {
Selene Huang31ab4042020-04-29 04:22:39 -0700395 EXPECT_EQ(ErrorCode::OK, ImportKey(wrapping_key_desc, KeyFormat::PKCS8, wrapping_key));
396
Shawn Willden7f424372021-01-10 18:06:50 -0700397 key_characteristics_.clear();
Selene Huang31ab4042020-04-29 04:22:39 -0700398
Shawn Willden7f424372021-01-10 18:06:50 -0700399 KeyCreationResult creationResult;
400 Status result = keymint_->importWrappedKey(
401 vector<uint8_t>(wrapped_key.begin(), wrapped_key.end()), key_blob_,
402 vector<uint8_t>(masking_key.begin(), masking_key.end()),
David Drysdaled2cc8c22021-04-15 13:29:45 +0100403 unwrapping_params.vector_data(), password_sid, biometric_sid, &creationResult);
Selene Huang31ab4042020-04-29 04:22:39 -0700404
405 if (result.isOk()) {
Shawn Willden7f424372021-01-10 18:06:50 -0700406 EXPECT_PRED2(KeyCharacteristicsBasicallyValid, SecLevel(),
407 creationResult.keyCharacteristics);
408 EXPECT_GT(creationResult.keyBlob.size(), 0);
409
410 key_blob_ = std::move(creationResult.keyBlob);
411 key_characteristics_ = std::move(creationResult.keyCharacteristics);
412 cert_chain_ = std::move(creationResult.certificateChain);
Shawn Willden0e80b5d2020-12-17 09:07:27 -0700413
414 AuthorizationSet allAuths;
415 for (auto& entry : key_characteristics_) {
416 allAuths.push_back(AuthorizationSet(entry.authorizations));
417 }
418 auto algorithm = allAuths.GetTagValue(TAG_ALGORITHM);
419 EXPECT_TRUE(algorithm);
420 if (algorithm &&
421 (algorithm.value() == Algorithm::RSA || algorithm.value() == Algorithm::EC)) {
422 EXPECT_GE(cert_chain_.size(), 1);
423 } else {
424 // For symmetric keys there should be no certificates.
425 EXPECT_EQ(cert_chain_.size(), 0);
426 }
Selene Huang31ab4042020-04-29 04:22:39 -0700427 }
428
429 return GetReturnErrorCode(result);
430}
431
David Drysdale300b5552021-05-20 12:05:26 +0100432ErrorCode KeyMintAidlTestBase::GetCharacteristics(const vector<uint8_t>& key_blob,
433 const vector<uint8_t>& app_id,
434 const vector<uint8_t>& app_data,
435 vector<KeyCharacteristics>* key_characteristics) {
436 Status result =
437 keymint_->getKeyCharacteristics(key_blob, app_id, app_data, key_characteristics);
438 return GetReturnErrorCode(result);
439}
440
441ErrorCode KeyMintAidlTestBase::GetCharacteristics(const vector<uint8_t>& key_blob,
442 vector<KeyCharacteristics>* key_characteristics) {
443 vector<uint8_t> empty_app_id, empty_app_data;
444 return GetCharacteristics(key_blob, empty_app_id, empty_app_data, key_characteristics);
445}
446
447void KeyMintAidlTestBase::CheckCharacteristics(
448 const vector<uint8_t>& key_blob,
449 const vector<KeyCharacteristics>& generate_characteristics) {
450 // Any key characteristics that were in SecurityLevel::KEYSTORE when returned from
451 // generateKey() should be excluded, as KeyMint will have no record of them.
452 // This applies to CREATION_DATETIME in particular.
453 vector<KeyCharacteristics> expected_characteristics(generate_characteristics);
454 strip_keystore_tags(&expected_characteristics);
455
456 vector<KeyCharacteristics> retrieved;
457 ASSERT_EQ(ErrorCode::OK, GetCharacteristics(key_blob, &retrieved));
458 EXPECT_EQ(expected_characteristics, retrieved);
459}
460
461void KeyMintAidlTestBase::CheckAppIdCharacteristics(
462 const vector<uint8_t>& key_blob, std::string_view app_id_string,
463 std::string_view app_data_string,
464 const vector<KeyCharacteristics>& generate_characteristics) {
465 // Exclude any SecurityLevel::KEYSTORE characteristics for comparisons.
466 vector<KeyCharacteristics> expected_characteristics(generate_characteristics);
467 strip_keystore_tags(&expected_characteristics);
468
469 vector<uint8_t> app_id(app_id_string.begin(), app_id_string.end());
470 vector<uint8_t> app_data(app_data_string.begin(), app_data_string.end());
471 vector<KeyCharacteristics> retrieved;
472 ASSERT_EQ(ErrorCode::OK, GetCharacteristics(key_blob, app_id, app_data, &retrieved));
473 EXPECT_EQ(expected_characteristics, retrieved);
474
475 // Check that key characteristics can't be retrieved if the app ID or app data is missing.
476 vector<uint8_t> empty;
477 vector<KeyCharacteristics> not_retrieved;
478 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
479 GetCharacteristics(key_blob, empty, app_data, &not_retrieved));
480 EXPECT_EQ(not_retrieved.size(), 0);
481
482 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
483 GetCharacteristics(key_blob, app_id, empty, &not_retrieved));
484 EXPECT_EQ(not_retrieved.size(), 0);
485
486 EXPECT_EQ(ErrorCode::INVALID_KEY_BLOB,
487 GetCharacteristics(key_blob, empty, empty, &not_retrieved));
488 EXPECT_EQ(not_retrieved.size(), 0);
489}
490
Selene Huang31ab4042020-04-29 04:22:39 -0700491ErrorCode KeyMintAidlTestBase::DeleteKey(vector<uint8_t>* key_blob, bool keep_key_blob) {
492 Status result = keymint_->deleteKey(*key_blob);
493 if (!keep_key_blob) {
494 *key_blob = vector<uint8_t>();
495 }
496
Janis Danisevskis24c04702020-12-16 18:28:39 -0800497 EXPECT_TRUE(result.isOk()) << result.getServiceSpecificError() << endl;
Selene Huang31ab4042020-04-29 04:22:39 -0700498 return GetReturnErrorCode(result);
499}
500
501ErrorCode KeyMintAidlTestBase::DeleteKey(bool keep_key_blob) {
502 return DeleteKey(&key_blob_, keep_key_blob);
503}
504
505ErrorCode KeyMintAidlTestBase::DeleteAllKeys() {
506 Status result = keymint_->deleteAllKeys();
Janis Danisevskis24c04702020-12-16 18:28:39 -0800507 EXPECT_TRUE(result.isOk()) << result.getServiceSpecificError() << endl;
Selene Huang31ab4042020-04-29 04:22:39 -0700508 return GetReturnErrorCode(result);
509}
510
David Drysdaled2cc8c22021-04-15 13:29:45 +0100511ErrorCode KeyMintAidlTestBase::DestroyAttestationIds() {
512 Status result = keymint_->destroyAttestationIds();
513 return GetReturnErrorCode(result);
514}
515
Selene Huang31ab4042020-04-29 04:22:39 -0700516void KeyMintAidlTestBase::CheckedDeleteKey(vector<uint8_t>* key_blob, bool keep_key_blob) {
517 ErrorCode result = DeleteKey(key_blob, keep_key_blob);
518 EXPECT_TRUE(result == ErrorCode::OK || result == ErrorCode::UNIMPLEMENTED) << result << endl;
519}
520
521void KeyMintAidlTestBase::CheckedDeleteKey() {
522 CheckedDeleteKey(&key_blob_);
523}
524
525ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const vector<uint8_t>& key_blob,
526 const AuthorizationSet& in_params,
Janis Danisevskis24c04702020-12-16 18:28:39 -0800527 AuthorizationSet* out_params,
528 std::shared_ptr<IKeyMintOperation>& op) {
Selene Huang31ab4042020-04-29 04:22:39 -0700529 SCOPED_TRACE("Begin");
530 Status result;
531 BeginResult out;
David Drysdale56ba9122021-04-19 19:10:47 +0100532 result = keymint_->begin(purpose, key_blob, in_params.vector_data(), std::nullopt, &out);
Selene Huang31ab4042020-04-29 04:22:39 -0700533
534 if (result.isOk()) {
535 *out_params = out.params;
536 challenge_ = out.challenge;
537 op = out.operation;
538 }
539
540 return GetReturnErrorCode(result);
541}
542
543ErrorCode KeyMintAidlTestBase::Begin(KeyPurpose purpose, const vector<uint8_t>& key_blob,
544 const AuthorizationSet& in_params,
545 AuthorizationSet* out_params) {
546 SCOPED_TRACE("Begin");
547 Status result;
548 BeginResult out;
549
David Drysdale56ba9122021-04-19 19:10:47 +0100550 result = keymint_->begin(purpose, key_blob, in_params.vector_data(), std::nullopt, &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
Shawn Willden92d79c02021-02-19 07:31:55 -0700604ErrorCode KeyMintAidlTestBase::Finish(const string& input, const string& signature,
Selene Huang31ab4042020-04-29 04:22:39 -0700605 string* output) {
606 SCOPED_TRACE("Finish");
607 Status result;
608
609 EXPECT_NE(op_, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700610 if (!op_) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700611
612 vector<uint8_t> oPut;
Shawn Willden92d79c02021-02-19 07:31:55 -0700613 result = op_->finish(vector<uint8_t>(input.begin(), input.end()),
614 vector<uint8_t>(signature.begin(), signature.end()), {} /* authToken */,
615 {} /* timestampToken */, {} /* confirmationToken */, &oPut);
Selene Huang31ab4042020-04-29 04:22:39 -0700616
Shawn Willden92d79c02021-02-19 07:31:55 -0700617 if (result.isOk()) output->append(oPut.begin(), oPut.end());
Selene Huang31ab4042020-04-29 04:22:39 -0700618
Shawn Willden92d79c02021-02-19 07:31:55 -0700619 op_ = {};
Selene Huang31ab4042020-04-29 04:22:39 -0700620 return GetReturnErrorCode(result);
621}
622
Janis Danisevskis24c04702020-12-16 18:28:39 -0800623ErrorCode KeyMintAidlTestBase::Abort(const std::shared_ptr<IKeyMintOperation>& op) {
Selene Huang31ab4042020-04-29 04:22:39 -0700624 SCOPED_TRACE("Abort");
625
626 EXPECT_NE(op, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700627 if (!op) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700628
629 Status retval = op->abort();
630 EXPECT_TRUE(retval.isOk());
Janis Danisevskis24c04702020-12-16 18:28:39 -0800631 return static_cast<ErrorCode>(retval.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700632}
633
634ErrorCode KeyMintAidlTestBase::Abort() {
635 SCOPED_TRACE("Abort");
636
637 EXPECT_NE(op_, nullptr);
Shawn Willden92d79c02021-02-19 07:31:55 -0700638 if (!op_) return ErrorCode::UNEXPECTED_NULL_POINTER;
Selene Huang31ab4042020-04-29 04:22:39 -0700639
640 Status retval = op_->abort();
Janis Danisevskis24c04702020-12-16 18:28:39 -0800641 return static_cast<ErrorCode>(retval.getServiceSpecificError());
Selene Huang31ab4042020-04-29 04:22:39 -0700642}
643
644void KeyMintAidlTestBase::AbortIfNeeded() {
645 SCOPED_TRACE("AbortIfNeeded");
646 if (op_) {
647 EXPECT_EQ(ErrorCode::OK, Abort());
Janis Danisevskis24c04702020-12-16 18:28:39 -0800648 op_.reset();
Selene Huang31ab4042020-04-29 04:22:39 -0700649 }
650}
651
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000652auto KeyMintAidlTestBase::ProcessMessage(const vector<uint8_t>& key_blob, KeyPurpose operation,
653 const string& message, const AuthorizationSet& in_params)
Shawn Willden92d79c02021-02-19 07:31:55 -0700654 -> std::tuple<ErrorCode, string> {
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000655 AuthorizationSet begin_out_params;
656 ErrorCode result = Begin(operation, key_blob, in_params, &begin_out_params);
Shawn Willden92d79c02021-02-19 07:31:55 -0700657 if (result != ErrorCode::OK) return {result, {}};
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000658
659 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700660 return {Finish(message, &output), output};
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +0000661}
662
Selene Huang31ab4042020-04-29 04:22:39 -0700663string KeyMintAidlTestBase::ProcessMessage(const vector<uint8_t>& key_blob, KeyPurpose operation,
664 const string& message, const AuthorizationSet& in_params,
665 AuthorizationSet* out_params) {
666 SCOPED_TRACE("ProcessMessage");
667 AuthorizationSet begin_out_params;
Shawn Willden92d79c02021-02-19 07:31:55 -0700668 ErrorCode result = Begin(operation, key_blob, in_params, out_params);
Selene Huang31ab4042020-04-29 04:22:39 -0700669 EXPECT_EQ(ErrorCode::OK, result);
670 if (result != ErrorCode::OK) {
671 return "";
672 }
673
674 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700675 EXPECT_EQ(ErrorCode::OK, Finish(message, &output));
Selene Huang31ab4042020-04-29 04:22:39 -0700676 return output;
677}
678
679string KeyMintAidlTestBase::SignMessage(const vector<uint8_t>& key_blob, const string& message,
680 const AuthorizationSet& params) {
681 SCOPED_TRACE("SignMessage");
682 AuthorizationSet out_params;
683 string signature = ProcessMessage(key_blob, KeyPurpose::SIGN, message, params, &out_params);
684 EXPECT_TRUE(out_params.empty());
685 return signature;
686}
687
688string KeyMintAidlTestBase::SignMessage(const string& message, const AuthorizationSet& params) {
689 SCOPED_TRACE("SignMessage");
690 return SignMessage(key_blob_, message, params);
691}
692
693string KeyMintAidlTestBase::MacMessage(const string& message, Digest digest, size_t mac_length) {
694 SCOPED_TRACE("MacMessage");
695 return SignMessage(
696 key_blob_, message,
697 AuthorizationSetBuilder().Digest(digest).Authorization(TAG_MAC_LENGTH, mac_length));
698}
699
anil.hiranniah19a4ca12022-03-03 17:39:30 +0530700void KeyMintAidlTestBase::CheckAesIncrementalEncryptOperation(BlockMode block_mode,
701 int message_size) {
David Drysdale1a637192022-03-14 09:11:29 +0000702 auto builder = AuthorizationSetBuilder()
703 .Authorization(TAG_NO_AUTH_REQUIRED)
704 .AesEncryptionKey(128)
705 .BlockMode(block_mode)
706 .Padding(PaddingMode::NONE);
707 if (block_mode == BlockMode::GCM) {
708 builder.Authorization(TAG_MIN_MAC_LENGTH, 128);
709 }
710 ASSERT_EQ(ErrorCode::OK, GenerateKey(builder));
anil.hiranniah19a4ca12022-03-03 17:39:30 +0530711
712 for (int increment = 1; increment <= message_size; ++increment) {
713 string message(message_size, 'a');
714 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(PaddingMode::NONE);
715 if (block_mode == BlockMode::GCM) {
716 params.Authorization(TAG_MAC_LENGTH, 128) /* for GCM */;
717 }
718
719 AuthorizationSet output_params;
720 EXPECT_EQ(ErrorCode::OK, Begin(KeyPurpose::ENCRYPT, params, &output_params));
721
722 string ciphertext;
723 string to_send;
724 for (size_t i = 0; i < message.size(); i += increment) {
725 EXPECT_EQ(ErrorCode::OK, Update(message.substr(i, increment), &ciphertext));
726 }
727 EXPECT_EQ(ErrorCode::OK, Finish(to_send, &ciphertext))
728 << "Error sending " << to_send << " with block mode " << block_mode;
729
730 switch (block_mode) {
731 case BlockMode::GCM:
732 EXPECT_EQ(message.size() + 16, ciphertext.size());
733 break;
734 case BlockMode::CTR:
735 EXPECT_EQ(message.size(), ciphertext.size());
736 break;
737 case BlockMode::CBC:
738 case BlockMode::ECB:
739 EXPECT_EQ(message.size() + message.size() % 16, ciphertext.size());
740 break;
741 }
742
743 auto iv = output_params.GetTagValue(TAG_NONCE);
744 switch (block_mode) {
745 case BlockMode::CBC:
746 case BlockMode::GCM:
747 case BlockMode::CTR:
748 ASSERT_TRUE(iv) << "No IV for block mode " << block_mode;
749 EXPECT_EQ(block_mode == BlockMode::GCM ? 12U : 16U, iv->get().size());
750 params.push_back(TAG_NONCE, iv->get());
751 break;
752
753 case BlockMode::ECB:
754 EXPECT_FALSE(iv) << "ECB mode should not generate IV";
755 break;
756 }
757
758 EXPECT_EQ(ErrorCode::OK, Begin(KeyPurpose::DECRYPT, params))
759 << "Decrypt begin() failed for block mode " << block_mode;
760
761 string plaintext;
762 for (size_t i = 0; i < ciphertext.size(); i += increment) {
763 EXPECT_EQ(ErrorCode::OK, Update(ciphertext.substr(i, increment), &plaintext));
764 }
765 ErrorCode error = Finish(to_send, &plaintext);
766 ASSERT_EQ(ErrorCode::OK, error) << "Decryption failed for block mode " << block_mode
767 << " and increment " << increment;
768 if (error == ErrorCode::OK) {
769 ASSERT_EQ(message, plaintext) << "Decryption didn't match for block mode " << block_mode
770 << " and increment " << increment;
771 }
772 }
773}
774
Selene Huang31ab4042020-04-29 04:22:39 -0700775void KeyMintAidlTestBase::CheckHmacTestVector(const string& key, const string& message,
776 Digest digest, const string& expected_mac) {
777 SCOPED_TRACE("CheckHmacTestVector");
778 ASSERT_EQ(ErrorCode::OK,
779 ImportKey(AuthorizationSetBuilder()
780 .Authorization(TAG_NO_AUTH_REQUIRED)
781 .HmacKey(key.size() * 8)
782 .Authorization(TAG_MIN_MAC_LENGTH, expected_mac.size() * 8)
783 .Digest(digest),
784 KeyFormat::RAW, key));
785 string signature = MacMessage(message, digest, expected_mac.size() * 8);
786 EXPECT_EQ(expected_mac, signature)
787 << "Test vector didn't match for key of size " << key.size() << " message of size "
788 << message.size() << " and digest " << digest;
789 CheckedDeleteKey();
790}
791
792void KeyMintAidlTestBase::CheckAesCtrTestVector(const string& key, const string& nonce,
793 const string& message,
794 const string& expected_ciphertext) {
795 SCOPED_TRACE("CheckAesCtrTestVector");
796 ASSERT_EQ(ErrorCode::OK, ImportKey(AuthorizationSetBuilder()
797 .Authorization(TAG_NO_AUTH_REQUIRED)
798 .AesEncryptionKey(key.size() * 8)
799 .BlockMode(BlockMode::CTR)
800 .Authorization(TAG_CALLER_NONCE)
801 .Padding(PaddingMode::NONE),
802 KeyFormat::RAW, key));
803
804 auto params = AuthorizationSetBuilder()
805 .Authorization(TAG_NONCE, nonce.data(), nonce.size())
806 .BlockMode(BlockMode::CTR)
807 .Padding(PaddingMode::NONE);
808 AuthorizationSet out_params;
809 string ciphertext = EncryptMessage(key_blob_, message, params, &out_params);
810 EXPECT_EQ(expected_ciphertext, ciphertext);
811}
812
813void KeyMintAidlTestBase::CheckTripleDesTestVector(KeyPurpose purpose, BlockMode block_mode,
814 PaddingMode padding_mode, const string& key,
815 const string& iv, const string& input,
816 const string& expected_output) {
817 auto authset = AuthorizationSetBuilder()
818 .TripleDesEncryptionKey(key.size() * 7)
819 .BlockMode(block_mode)
820 .Authorization(TAG_NO_AUTH_REQUIRED)
821 .Padding(padding_mode);
822 if (iv.size()) authset.Authorization(TAG_CALLER_NONCE);
823 ASSERT_EQ(ErrorCode::OK, ImportKey(authset, KeyFormat::RAW, key));
824 ASSERT_GT(key_blob_.size(), 0U);
825
826 auto begin_params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding_mode);
827 if (iv.size()) begin_params.Authorization(TAG_NONCE, iv.data(), iv.size());
828 AuthorizationSet output_params;
829 string output = ProcessMessage(key_blob_, purpose, input, begin_params, &output_params);
830 EXPECT_EQ(expected_output, output);
831}
832
833void KeyMintAidlTestBase::VerifyMessage(const vector<uint8_t>& key_blob, const string& message,
834 const string& signature, const AuthorizationSet& params) {
835 SCOPED_TRACE("VerifyMessage");
836 AuthorizationSet begin_out_params;
837 ASSERT_EQ(ErrorCode::OK, Begin(KeyPurpose::VERIFY, key_blob, params, &begin_out_params));
838
839 string output;
Shawn Willden92d79c02021-02-19 07:31:55 -0700840 EXPECT_EQ(ErrorCode::OK, Finish(message, signature, &output));
Selene Huang31ab4042020-04-29 04:22:39 -0700841 EXPECT_TRUE(output.empty());
Shawn Willden92d79c02021-02-19 07:31:55 -0700842 op_ = {};
Selene Huang31ab4042020-04-29 04:22:39 -0700843}
844
845void KeyMintAidlTestBase::VerifyMessage(const string& message, const string& signature,
846 const AuthorizationSet& params) {
847 SCOPED_TRACE("VerifyMessage");
848 VerifyMessage(key_blob_, message, signature, params);
849}
850
David Drysdaledf8f52e2021-05-06 08:10:58 +0100851void KeyMintAidlTestBase::LocalVerifyMessage(const string& message, const string& signature,
852 const AuthorizationSet& params) {
853 SCOPED_TRACE("LocalVerifyMessage");
854
855 // Retrieve the public key from the leaf certificate.
856 ASSERT_GT(cert_chain_.size(), 0);
857 X509_Ptr key_cert(parse_cert_blob(cert_chain_[0].encodedCertificate));
858 ASSERT_TRUE(key_cert.get());
859 EVP_PKEY_Ptr pub_key(X509_get_pubkey(key_cert.get()));
860 ASSERT_TRUE(pub_key.get());
861
862 Digest digest = params.GetTagValue(TAG_DIGEST).value();
863 PaddingMode padding = PaddingMode::NONE;
864 auto tag = params.GetTagValue(TAG_PADDING);
865 if (tag.has_value()) {
866 padding = tag.value();
867 }
868
869 if (digest == Digest::NONE) {
870 switch (EVP_PKEY_id(pub_key.get())) {
David Drysdale42fe1892021-10-14 14:43:46 +0100871 case EVP_PKEY_ED25519: {
872 ASSERT_EQ(64, signature.size());
873 uint8_t pub_keydata[32];
874 size_t pub_len = sizeof(pub_keydata);
875 ASSERT_EQ(1, EVP_PKEY_get_raw_public_key(pub_key.get(), pub_keydata, &pub_len));
876 ASSERT_EQ(sizeof(pub_keydata), pub_len);
877 ASSERT_EQ(1, ED25519_verify(reinterpret_cast<const uint8_t*>(message.data()),
878 message.size(),
879 reinterpret_cast<const uint8_t*>(signature.data()),
880 pub_keydata));
881 break;
882 }
883
David Drysdaledf8f52e2021-05-06 08:10:58 +0100884 case EVP_PKEY_EC: {
885 vector<uint8_t> data((EVP_PKEY_bits(pub_key.get()) + 7) / 8);
886 size_t data_size = std::min(data.size(), message.size());
887 memcpy(data.data(), message.data(), data_size);
888 EC_KEY_Ptr ecdsa(EVP_PKEY_get1_EC_KEY(pub_key.get()));
889 ASSERT_TRUE(ecdsa.get());
890 ASSERT_EQ(1,
891 ECDSA_verify(0, reinterpret_cast<const uint8_t*>(data.data()), data_size,
892 reinterpret_cast<const uint8_t*>(signature.data()),
893 signature.size(), ecdsa.get()));
894 break;
895 }
896 case EVP_PKEY_RSA: {
897 vector<uint8_t> data(EVP_PKEY_size(pub_key.get()));
898 size_t data_size = std::min(data.size(), message.size());
899 memcpy(data.data(), message.data(), data_size);
900
901 RSA_Ptr rsa(EVP_PKEY_get1_RSA(const_cast<EVP_PKEY*>(pub_key.get())));
902 ASSERT_TRUE(rsa.get());
903
904 size_t key_len = RSA_size(rsa.get());
905 int openssl_padding = RSA_NO_PADDING;
906 switch (padding) {
907 case PaddingMode::NONE:
908 ASSERT_TRUE(data_size <= key_len);
909 ASSERT_EQ(key_len, signature.size());
910 openssl_padding = RSA_NO_PADDING;
911 break;
912 case PaddingMode::RSA_PKCS1_1_5_SIGN:
913 ASSERT_TRUE(data_size + kPkcs1UndigestedSignaturePaddingOverhead <=
914 key_len);
915 openssl_padding = RSA_PKCS1_PADDING;
916 break;
917 default:
918 ADD_FAILURE() << "Unsupported RSA padding mode " << padding;
919 }
920
921 vector<uint8_t> decrypted_data(key_len);
922 int bytes_decrypted = RSA_public_decrypt(
923 signature.size(), reinterpret_cast<const uint8_t*>(signature.data()),
924 decrypted_data.data(), rsa.get(), openssl_padding);
925 ASSERT_GE(bytes_decrypted, 0);
926
927 const uint8_t* compare_pos = decrypted_data.data();
928 size_t bytes_to_compare = bytes_decrypted;
929 uint8_t zero_check_result = 0;
930 if (padding == PaddingMode::NONE && data_size < bytes_to_compare) {
931 // If the data is short, for "unpadded" signing we zero-pad to the left. So
932 // during verification we should have zeros on the left of the decrypted data.
933 // Do a constant-time check.
934 const uint8_t* zero_end = compare_pos + bytes_to_compare - data_size;
935 while (compare_pos < zero_end) zero_check_result |= *compare_pos++;
936 ASSERT_EQ(0, zero_check_result);
937 bytes_to_compare = data_size;
938 }
939 ASSERT_EQ(0, memcmp(compare_pos, data.data(), bytes_to_compare));
940 break;
941 }
942 default:
943 ADD_FAILURE() << "Unknown public key type";
944 }
945 } else {
946 EVP_MD_CTX digest_ctx;
947 EVP_MD_CTX_init(&digest_ctx);
948 EVP_PKEY_CTX* pkey_ctx;
949 const EVP_MD* md = openssl_digest(digest);
950 ASSERT_NE(md, nullptr);
951 ASSERT_EQ(1, EVP_DigestVerifyInit(&digest_ctx, &pkey_ctx, md, nullptr, pub_key.get()));
952
953 if (padding == PaddingMode::RSA_PSS) {
954 EXPECT_GT(EVP_PKEY_CTX_set_rsa_padding(pkey_ctx, RSA_PKCS1_PSS_PADDING), 0);
955 EXPECT_GT(EVP_PKEY_CTX_set_rsa_pss_saltlen(pkey_ctx, EVP_MD_size(md)), 0);
David Drysdalec6b89072021-12-14 14:32:51 +0000956 EXPECT_GT(EVP_PKEY_CTX_set_rsa_mgf1_md(pkey_ctx, md), 0);
David Drysdaledf8f52e2021-05-06 08:10:58 +0100957 }
958
959 ASSERT_EQ(1, EVP_DigestVerifyUpdate(&digest_ctx,
960 reinterpret_cast<const uint8_t*>(message.data()),
961 message.size()));
962 ASSERT_EQ(1, EVP_DigestVerifyFinal(&digest_ctx,
963 reinterpret_cast<const uint8_t*>(signature.data()),
964 signature.size()));
965 EVP_MD_CTX_cleanup(&digest_ctx);
966 }
967}
968
David Drysdale59cae642021-05-12 13:52:03 +0100969string KeyMintAidlTestBase::LocalRsaEncryptMessage(const string& message,
970 const AuthorizationSet& params) {
971 SCOPED_TRACE("LocalRsaEncryptMessage");
972
973 // Retrieve the public key from the leaf certificate.
974 if (cert_chain_.empty()) {
975 ADD_FAILURE() << "No public key available";
976 return "Failure";
977 }
978 X509_Ptr key_cert(parse_cert_blob(cert_chain_[0].encodedCertificate));
979 EVP_PKEY_Ptr pub_key(X509_get_pubkey(key_cert.get()));
980 RSA_Ptr rsa(EVP_PKEY_get1_RSA(const_cast<EVP_PKEY*>(pub_key.get())));
981
982 // Retrieve relevant tags.
983 Digest digest = Digest::NONE;
984 Digest mgf_digest = Digest::NONE;
985 PaddingMode padding = PaddingMode::NONE;
986
987 auto digest_tag = params.GetTagValue(TAG_DIGEST);
988 if (digest_tag.has_value()) digest = digest_tag.value();
989 auto pad_tag = params.GetTagValue(TAG_PADDING);
990 if (pad_tag.has_value()) padding = pad_tag.value();
991 auto mgf_tag = params.GetTagValue(TAG_RSA_OAEP_MGF_DIGEST);
992 if (mgf_tag.has_value()) mgf_digest = mgf_tag.value();
993
994 const EVP_MD* md = openssl_digest(digest);
995 const EVP_MD* mgf_md = openssl_digest(mgf_digest);
996
997 // Set up encryption context.
998 EVP_PKEY_CTX_Ptr ctx(EVP_PKEY_CTX_new(pub_key.get(), /* engine= */ nullptr));
999 if (EVP_PKEY_encrypt_init(ctx.get()) <= 0) {
1000 ADD_FAILURE() << "Encryption init failed: " << ERR_peek_last_error();
1001 return "Failure";
1002 }
1003
1004 int rc = -1;
1005 switch (padding) {
1006 case PaddingMode::NONE:
1007 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_NO_PADDING);
1008 break;
1009 case PaddingMode::RSA_PKCS1_1_5_ENCRYPT:
1010 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_PKCS1_PADDING);
1011 break;
1012 case PaddingMode::RSA_OAEP:
1013 rc = EVP_PKEY_CTX_set_rsa_padding(ctx.get(), RSA_PKCS1_OAEP_PADDING);
1014 break;
1015 default:
1016 break;
1017 }
1018 if (rc <= 0) {
1019 ADD_FAILURE() << "Set padding failed: " << ERR_peek_last_error();
1020 return "Failure";
1021 }
1022 if (padding == PaddingMode::RSA_OAEP) {
1023 if (!EVP_PKEY_CTX_set_rsa_oaep_md(ctx.get(), md)) {
1024 ADD_FAILURE() << "Set digest failed: " << ERR_peek_last_error();
1025 return "Failure";
1026 }
1027 if (!EVP_PKEY_CTX_set_rsa_mgf1_md(ctx.get(), mgf_md)) {
1028 ADD_FAILURE() << "Set MGF digest failed: " << ERR_peek_last_error();
1029 return "Failure";
1030 }
1031 }
1032
1033 // Determine output size.
1034 size_t outlen;
1035 if (EVP_PKEY_encrypt(ctx.get(), nullptr /* out */, &outlen,
1036 reinterpret_cast<const uint8_t*>(message.data()), message.size()) <= 0) {
1037 ADD_FAILURE() << "Determine output size failed: " << ERR_peek_last_error();
1038 return "Failure";
1039 }
1040
1041 // Left-zero-pad the input if necessary.
1042 const uint8_t* to_encrypt = reinterpret_cast<const uint8_t*>(message.data());
1043 size_t to_encrypt_len = message.size();
1044
1045 std::unique_ptr<string> zero_padded_message;
1046 if (padding == PaddingMode::NONE && to_encrypt_len < outlen) {
1047 zero_padded_message.reset(new string(outlen, '\0'));
1048 memcpy(zero_padded_message->data() + (outlen - to_encrypt_len), message.data(),
1049 message.size());
1050 to_encrypt = reinterpret_cast<const uint8_t*>(zero_padded_message->data());
1051 to_encrypt_len = outlen;
1052 }
1053
1054 // Do the encryption.
1055 string output(outlen, '\0');
1056 if (EVP_PKEY_encrypt(ctx.get(), reinterpret_cast<uint8_t*>(output.data()), &outlen, to_encrypt,
1057 to_encrypt_len) <= 0) {
1058 ADD_FAILURE() << "Encryption failed: " << ERR_peek_last_error();
1059 return "Failure";
1060 }
1061 return output;
1062}
1063
Selene Huang31ab4042020-04-29 04:22:39 -07001064string KeyMintAidlTestBase::EncryptMessage(const vector<uint8_t>& key_blob, const string& message,
1065 const AuthorizationSet& in_params,
1066 AuthorizationSet* out_params) {
1067 SCOPED_TRACE("EncryptMessage");
1068 return ProcessMessage(key_blob, KeyPurpose::ENCRYPT, message, in_params, out_params);
1069}
1070
1071string KeyMintAidlTestBase::EncryptMessage(const string& message, const AuthorizationSet& params,
1072 AuthorizationSet* out_params) {
1073 SCOPED_TRACE("EncryptMessage");
1074 return EncryptMessage(key_blob_, message, params, out_params);
1075}
1076
1077string KeyMintAidlTestBase::EncryptMessage(const string& message, const AuthorizationSet& params) {
1078 SCOPED_TRACE("EncryptMessage");
1079 AuthorizationSet out_params;
1080 string ciphertext = EncryptMessage(message, params, &out_params);
1081 EXPECT_TRUE(out_params.empty()) << "Output params should be empty. Contained: " << out_params;
1082 return ciphertext;
1083}
1084
1085string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1086 PaddingMode padding) {
1087 SCOPED_TRACE("EncryptMessage");
1088 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding);
1089 AuthorizationSet out_params;
1090 string ciphertext = EncryptMessage(message, params, &out_params);
1091 EXPECT_TRUE(out_params.empty()) << "Output params should be empty. Contained: " << out_params;
1092 return ciphertext;
1093}
1094
1095string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1096 PaddingMode padding, vector<uint8_t>* iv_out) {
1097 SCOPED_TRACE("EncryptMessage");
1098 auto params = AuthorizationSetBuilder().BlockMode(block_mode).Padding(padding);
1099 AuthorizationSet out_params;
1100 string ciphertext = EncryptMessage(message, params, &out_params);
1101 EXPECT_EQ(1U, out_params.size());
1102 auto ivVal = out_params.GetTagValue(TAG_NONCE);
Janis Danisevskis5ba09332020-12-17 10:05:15 -08001103 EXPECT_TRUE(ivVal);
1104 if (ivVal) *iv_out = *ivVal;
Selene Huang31ab4042020-04-29 04:22:39 -07001105 return ciphertext;
1106}
1107
1108string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1109 PaddingMode padding, const vector<uint8_t>& iv_in) {
1110 SCOPED_TRACE("EncryptMessage");
1111 auto params = AuthorizationSetBuilder()
1112 .BlockMode(block_mode)
1113 .Padding(padding)
1114 .Authorization(TAG_NONCE, iv_in);
1115 AuthorizationSet out_params;
1116 string ciphertext = EncryptMessage(message, params, &out_params);
1117 return ciphertext;
1118}
1119
1120string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1121 PaddingMode padding, uint8_t mac_length_bits,
1122 const vector<uint8_t>& iv_in) {
1123 SCOPED_TRACE("EncryptMessage");
1124 auto params = AuthorizationSetBuilder()
1125 .BlockMode(block_mode)
1126 .Padding(padding)
1127 .Authorization(TAG_MAC_LENGTH, mac_length_bits)
1128 .Authorization(TAG_NONCE, iv_in);
1129 AuthorizationSet out_params;
1130 string ciphertext = EncryptMessage(message, params, &out_params);
1131 return ciphertext;
1132}
1133
David Drysdaled2cc8c22021-04-15 13:29:45 +01001134string KeyMintAidlTestBase::EncryptMessage(const string& message, BlockMode block_mode,
1135 PaddingMode padding, uint8_t mac_length_bits) {
1136 SCOPED_TRACE("EncryptMessage");
1137 auto params = AuthorizationSetBuilder()
1138 .BlockMode(block_mode)
1139 .Padding(padding)
1140 .Authorization(TAG_MAC_LENGTH, mac_length_bits);
1141 AuthorizationSet out_params;
1142 string ciphertext = EncryptMessage(message, params, &out_params);
1143 return ciphertext;
1144}
1145
Selene Huang31ab4042020-04-29 04:22:39 -07001146string KeyMintAidlTestBase::DecryptMessage(const vector<uint8_t>& key_blob,
1147 const string& ciphertext,
1148 const AuthorizationSet& params) {
1149 SCOPED_TRACE("DecryptMessage");
1150 AuthorizationSet out_params;
1151 string plaintext =
1152 ProcessMessage(key_blob, KeyPurpose::DECRYPT, ciphertext, params, &out_params);
1153 EXPECT_TRUE(out_params.empty());
1154 return plaintext;
1155}
1156
1157string KeyMintAidlTestBase::DecryptMessage(const string& ciphertext,
1158 const AuthorizationSet& params) {
1159 SCOPED_TRACE("DecryptMessage");
1160 return DecryptMessage(key_blob_, ciphertext, params);
1161}
1162
1163string KeyMintAidlTestBase::DecryptMessage(const string& ciphertext, BlockMode block_mode,
1164 PaddingMode padding_mode, const vector<uint8_t>& iv) {
1165 SCOPED_TRACE("DecryptMessage");
1166 auto params = AuthorizationSetBuilder()
1167 .BlockMode(block_mode)
1168 .Padding(padding_mode)
1169 .Authorization(TAG_NONCE, iv);
1170 return DecryptMessage(key_blob_, ciphertext, params);
1171}
1172
1173std::pair<ErrorCode, vector<uint8_t>> KeyMintAidlTestBase::UpgradeKey(
1174 const vector<uint8_t>& key_blob) {
1175 std::pair<ErrorCode, vector<uint8_t>> retval;
1176 vector<uint8_t> outKeyBlob;
1177 Status result = keymint_->upgradeKey(key_blob, vector<KeyParameter>(), &outKeyBlob);
1178 ErrorCode errorcode = GetReturnErrorCode(result);
1179 retval = std::tie(errorcode, outKeyBlob);
1180
1181 return retval;
1182}
1183vector<uint32_t> KeyMintAidlTestBase::ValidKeySizes(Algorithm algorithm) {
1184 switch (algorithm) {
1185 case Algorithm::RSA:
1186 switch (SecLevel()) {
1187 case SecurityLevel::SOFTWARE:
1188 case SecurityLevel::TRUSTED_ENVIRONMENT:
1189 return {2048, 3072, 4096};
1190 case SecurityLevel::STRONGBOX:
1191 return {2048};
1192 default:
1193 ADD_FAILURE() << "Invalid security level " << uint32_t(SecLevel());
1194 break;
1195 }
1196 break;
1197 case Algorithm::EC:
David Drysdaledf09e542021-06-08 15:46:11 +01001198 ADD_FAILURE() << "EC keys must be specified by curve not size";
Selene Huang31ab4042020-04-29 04:22:39 -07001199 break;
1200 case Algorithm::AES:
1201 return {128, 256};
1202 case Algorithm::TRIPLE_DES:
1203 return {168};
1204 case Algorithm::HMAC: {
1205 vector<uint32_t> retval((512 - 64) / 8 + 1);
1206 uint32_t size = 64 - 8;
1207 std::generate(retval.begin(), retval.end(), [&]() { return (size += 8); });
1208 return retval;
1209 }
1210 default:
1211 ADD_FAILURE() << "Invalid Algorithm: " << algorithm;
1212 return {};
1213 }
1214 ADD_FAILURE() << "Should be impossible to get here";
1215 return {};
1216}
1217
1218vector<uint32_t> KeyMintAidlTestBase::InvalidKeySizes(Algorithm algorithm) {
1219 if (SecLevel() == SecurityLevel::STRONGBOX) {
1220 switch (algorithm) {
1221 case Algorithm::RSA:
1222 return {3072, 4096};
1223 case Algorithm::EC:
1224 return {224, 384, 521};
1225 case Algorithm::AES:
1226 return {192};
David Drysdale7de9feb2021-03-05 14:56:19 +00001227 case Algorithm::TRIPLE_DES:
1228 return {56};
1229 default:
1230 return {};
1231 }
1232 } else {
1233 switch (algorithm) {
Prashant Patild72b3512021-11-16 08:19:19 +00001234 case Algorithm::AES:
1235 return {64, 96, 131, 512};
David Drysdale7de9feb2021-03-05 14:56:19 +00001236 case Algorithm::TRIPLE_DES:
1237 return {56};
Selene Huang31ab4042020-04-29 04:22:39 -07001238 default:
1239 return {};
1240 }
1241 }
1242 return {};
1243}
1244
David Drysdale7de9feb2021-03-05 14:56:19 +00001245vector<BlockMode> KeyMintAidlTestBase::ValidBlockModes(Algorithm algorithm) {
1246 switch (algorithm) {
1247 case Algorithm::AES:
1248 return {
1249 BlockMode::CBC,
1250 BlockMode::CTR,
1251 BlockMode::ECB,
1252 BlockMode::GCM,
1253 };
1254 case Algorithm::TRIPLE_DES:
1255 return {
1256 BlockMode::CBC,
1257 BlockMode::ECB,
1258 };
1259 default:
1260 return {};
1261 }
1262}
1263
1264vector<PaddingMode> KeyMintAidlTestBase::ValidPaddingModes(Algorithm algorithm,
1265 BlockMode blockMode) {
1266 switch (algorithm) {
1267 case Algorithm::AES:
1268 switch (blockMode) {
1269 case BlockMode::CBC:
1270 case BlockMode::ECB:
1271 return {PaddingMode::NONE, PaddingMode::PKCS7};
1272 case BlockMode::CTR:
1273 case BlockMode::GCM:
1274 return {PaddingMode::NONE};
1275 default:
1276 return {};
1277 };
1278 case Algorithm::TRIPLE_DES:
1279 switch (blockMode) {
1280 case BlockMode::CBC:
1281 case BlockMode::ECB:
1282 return {PaddingMode::NONE, PaddingMode::PKCS7};
1283 default:
1284 return {};
1285 };
1286 default:
1287 return {};
1288 }
1289}
1290
1291vector<PaddingMode> KeyMintAidlTestBase::InvalidPaddingModes(Algorithm algorithm,
1292 BlockMode blockMode) {
1293 switch (algorithm) {
1294 case Algorithm::AES:
1295 switch (blockMode) {
1296 case BlockMode::CTR:
1297 case BlockMode::GCM:
1298 return {PaddingMode::PKCS7};
1299 default:
1300 return {};
1301 };
1302 default:
1303 return {};
1304 }
1305}
1306
Selene Huang31ab4042020-04-29 04:22:39 -07001307vector<EcCurve> KeyMintAidlTestBase::ValidCurves() {
1308 if (securityLevel_ == SecurityLevel::STRONGBOX) {
1309 return {EcCurve::P_256};
David Drysdale42fe1892021-10-14 14:43:46 +01001310 } else if (Curve25519Supported()) {
1311 return {EcCurve::P_224, EcCurve::P_256, EcCurve::P_384, EcCurve::P_521,
1312 EcCurve::CURVE_25519};
Selene Huang31ab4042020-04-29 04:22:39 -07001313 } else {
David Drysdale42fe1892021-10-14 14:43:46 +01001314 return {
1315 EcCurve::P_224,
1316 EcCurve::P_256,
1317 EcCurve::P_384,
1318 EcCurve::P_521,
1319 };
Selene Huang31ab4042020-04-29 04:22:39 -07001320 }
1321}
1322
1323vector<EcCurve> KeyMintAidlTestBase::InvalidCurves() {
David Drysdaledf09e542021-06-08 15:46:11 +01001324 if (SecLevel() == SecurityLevel::STRONGBOX) {
David Drysdale42fe1892021-10-14 14:43:46 +01001325 // Curve 25519 is not supported, either because:
1326 // - KeyMint v1: it's an unknown enum value
1327 // - KeyMint v2+: it's not supported by StrongBox.
1328 return {EcCurve::P_224, EcCurve::P_384, EcCurve::P_521, EcCurve::CURVE_25519};
David Drysdaledf09e542021-06-08 15:46:11 +01001329 } else {
David Drysdale42fe1892021-10-14 14:43:46 +01001330 if (Curve25519Supported()) {
1331 return {};
1332 } else {
1333 return {EcCurve::CURVE_25519};
1334 }
David Drysdaledf09e542021-06-08 15:46:11 +01001335 }
Selene Huang31ab4042020-04-29 04:22:39 -07001336}
1337
subrahmanyaman05642492022-02-05 07:10:56 +00001338vector<uint64_t> KeyMintAidlTestBase::ValidExponents() {
1339 if (SecLevel() == SecurityLevel::STRONGBOX) {
1340 return {65537};
1341 } else {
1342 return {3, 65537};
1343 }
1344}
1345
Selene Huang31ab4042020-04-29 04:22:39 -07001346vector<Digest> KeyMintAidlTestBase::ValidDigests(bool withNone, bool withMD5) {
1347 switch (SecLevel()) {
1348 case SecurityLevel::SOFTWARE:
1349 case SecurityLevel::TRUSTED_ENVIRONMENT:
1350 if (withNone) {
1351 if (withMD5)
1352 return {Digest::NONE, Digest::MD5, Digest::SHA1,
1353 Digest::SHA_2_224, Digest::SHA_2_256, Digest::SHA_2_384,
1354 Digest::SHA_2_512};
1355 else
1356 return {Digest::NONE, Digest::SHA1, Digest::SHA_2_224,
1357 Digest::SHA_2_256, Digest::SHA_2_384, Digest::SHA_2_512};
1358 } else {
1359 if (withMD5)
1360 return {Digest::MD5, Digest::SHA1, Digest::SHA_2_224,
1361 Digest::SHA_2_256, Digest::SHA_2_384, Digest::SHA_2_512};
1362 else
1363 return {Digest::SHA1, Digest::SHA_2_224, Digest::SHA_2_256, Digest::SHA_2_384,
1364 Digest::SHA_2_512};
1365 }
1366 break;
1367 case SecurityLevel::STRONGBOX:
1368 if (withNone)
1369 return {Digest::NONE, Digest::SHA_2_256};
1370 else
1371 return {Digest::SHA_2_256};
1372 break;
1373 default:
1374 ADD_FAILURE() << "Invalid security level " << uint32_t(SecLevel());
1375 break;
1376 }
1377 ADD_FAILURE() << "Should be impossible to get here";
1378 return {};
1379}
1380
Shawn Willden7f424372021-01-10 18:06:50 -07001381static const vector<KeyParameter> kEmptyAuthList{};
1382
1383const vector<KeyParameter>& KeyMintAidlTestBase::SecLevelAuthorizations(
1384 const vector<KeyCharacteristics>& key_characteristics) {
1385 auto found = std::find_if(key_characteristics.begin(), key_characteristics.end(),
1386 [this](auto& entry) { return entry.securityLevel == SecLevel(); });
1387 return (found == key_characteristics.end()) ? kEmptyAuthList : found->authorizations;
1388}
1389
Qi Wubeefae42021-01-28 23:16:37 +08001390const vector<KeyParameter>& KeyMintAidlTestBase::SecLevelAuthorizations(
1391 const vector<KeyCharacteristics>& key_characteristics, SecurityLevel securityLevel) {
1392 auto found = std::find_if(
1393 key_characteristics.begin(), key_characteristics.end(),
1394 [securityLevel](auto& entry) { return entry.securityLevel == securityLevel; });
Shawn Willden0e80b5d2020-12-17 09:07:27 -07001395 return (found == key_characteristics.end()) ? kEmptyAuthList : found->authorizations;
1396}
1397
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001398ErrorCode KeyMintAidlTestBase::UseAesKey(const vector<uint8_t>& aesKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001399 auto [result, ciphertext] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001400 aesKeyBlob, KeyPurpose::ENCRYPT, "1234567890123456",
1401 AuthorizationSetBuilder().BlockMode(BlockMode::ECB).Padding(PaddingMode::NONE));
1402 return result;
1403}
1404
1405ErrorCode KeyMintAidlTestBase::UseHmacKey(const vector<uint8_t>& hmacKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001406 auto [result, mac] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001407 hmacKeyBlob, KeyPurpose::SIGN, "1234567890123456",
1408 AuthorizationSetBuilder().Authorization(TAG_MAC_LENGTH, 128).Digest(Digest::SHA_2_256));
1409 return result;
1410}
1411
1412ErrorCode KeyMintAidlTestBase::UseRsaKey(const vector<uint8_t>& rsaKeyBlob) {
1413 std::string message(2048 / 8, 'a');
Shawn Willden92d79c02021-02-19 07:31:55 -07001414 auto [result, signature] = ProcessMessage(
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001415 rsaKeyBlob, KeyPurpose::SIGN, message,
1416 AuthorizationSetBuilder().Digest(Digest::NONE).Padding(PaddingMode::NONE));
1417 return result;
1418}
1419
1420ErrorCode KeyMintAidlTestBase::UseEcdsaKey(const vector<uint8_t>& ecdsaKeyBlob) {
Shawn Willden92d79c02021-02-19 07:31:55 -07001421 auto [result, signature] = ProcessMessage(ecdsaKeyBlob, KeyPurpose::SIGN, "a",
1422 AuthorizationSetBuilder().Digest(Digest::SHA_2_256));
Chirag Pathak9ea6a0a2021-02-01 23:54:27 +00001423 return result;
1424}
1425
Selene Huang6e46f142021-04-20 19:20:11 -07001426void verify_serial(X509* cert, const uint64_t expected_serial) {
1427 BIGNUM_Ptr ser(BN_new());
1428 EXPECT_TRUE(ASN1_INTEGER_to_BN(X509_get_serialNumber(cert), ser.get()));
1429
1430 uint64_t serial;
1431 EXPECT_TRUE(BN_get_u64(ser.get(), &serial));
1432 EXPECT_EQ(serial, expected_serial);
1433}
1434
1435// Please set self_signed to true for fake certificates or self signed
1436// certificates
1437void verify_subject(const X509* cert, //
1438 const string& subject, //
1439 bool self_signed) {
1440 char* cert_issuer = //
1441 X509_NAME_oneline(X509_get_issuer_name(cert), nullptr, 0);
1442
1443 char* cert_subj = X509_NAME_oneline(X509_get_subject_name(cert), nullptr, 0);
1444
1445 string expected_subject("/CN=");
1446 if (subject.empty()) {
1447 expected_subject.append("Android Keystore Key");
1448 } else {
1449 expected_subject.append(subject);
1450 }
1451
1452 EXPECT_STREQ(expected_subject.c_str(), cert_subj) << "Cert has wrong subject." << cert_subj;
1453
1454 if (self_signed) {
1455 EXPECT_STREQ(cert_issuer, cert_subj)
1456 << "Cert issuer and subject mismatch for self signed certificate.";
1457 }
1458
1459 OPENSSL_free(cert_subj);
1460 OPENSSL_free(cert_issuer);
1461}
1462
David Drysdale555ba002022-05-03 18:48:57 +01001463bool is_gsi_image() {
1464 std::ifstream ifs("/system/system_ext/etc/init/init.gsi.rc");
1465 return ifs.good();
1466}
1467
Selene Huang6e46f142021-04-20 19:20:11 -07001468vector<uint8_t> build_serial_blob(const uint64_t serial_int) {
1469 BIGNUM_Ptr serial(BN_new());
1470 EXPECT_TRUE(BN_set_u64(serial.get(), serial_int));
1471
1472 int len = BN_num_bytes(serial.get());
1473 vector<uint8_t> serial_blob(len);
1474 if (BN_bn2bin(serial.get(), serial_blob.data()) != len) {
1475 return {};
1476 }
1477
David Drysdaledb0dcf52021-05-18 11:43:31 +01001478 if (serial_blob.empty() || serial_blob[0] & 0x80) {
1479 // An empty blob is OpenSSL's encoding of the zero value; we need single zero byte.
1480 // Top bit being set indicates a negative number in two's complement, but our input
1481 // was positive.
1482 // In either case, prepend a zero byte.
1483 serial_blob.insert(serial_blob.begin(), 0x00);
1484 }
1485
Selene Huang6e46f142021-04-20 19:20:11 -07001486 return serial_blob;
1487}
1488
1489void verify_subject_and_serial(const Certificate& certificate, //
1490 const uint64_t expected_serial, //
1491 const string& subject, bool self_signed) {
1492 X509_Ptr cert(parse_cert_blob(certificate.encodedCertificate));
1493 ASSERT_TRUE(!!cert.get());
1494
1495 verify_serial(cert.get(), expected_serial);
1496 verify_subject(cert.get(), subject, self_signed);
1497}
1498
Shawn Willden4315e132022-03-20 12:49:46 -06001499void verify_root_of_trust(const vector<uint8_t>& verified_boot_key, bool device_locked,
1500 VerifiedBoot verified_boot_state,
1501 const vector<uint8_t>& verified_boot_hash) {
1502 char property_value[PROPERTY_VALUE_MAX] = {};
1503
1504 if (avb_verification_enabled()) {
1505 EXPECT_NE(property_get("ro.boot.vbmeta.digest", property_value, ""), 0);
1506 string prop_string(property_value);
1507 EXPECT_EQ(prop_string.size(), 64);
1508 EXPECT_EQ(prop_string, bin2hex(verified_boot_hash));
1509
1510 EXPECT_NE(property_get("ro.boot.vbmeta.device_state", property_value, ""), 0);
1511 if (!strcmp(property_value, "unlocked")) {
1512 EXPECT_FALSE(device_locked);
1513 } else {
1514 EXPECT_TRUE(device_locked);
1515 }
1516
1517 // Check that the device is locked if not debuggable, e.g., user build
1518 // images in CTS. For VTS, debuggable images are used to allow adb root
1519 // and the device is unlocked.
1520 if (!property_get_bool("ro.debuggable", false)) {
1521 EXPECT_TRUE(device_locked);
1522 } else {
1523 EXPECT_FALSE(device_locked);
1524 }
1525 }
1526
1527 // Verified boot key should be all 0's if the boot state is not verified or self signed
1528 std::string empty_boot_key(32, '\0');
1529 std::string verified_boot_key_str((const char*)verified_boot_key.data(),
1530 verified_boot_key.size());
1531 EXPECT_NE(property_get("ro.boot.verifiedbootstate", property_value, ""), 0);
1532 if (!strcmp(property_value, "green")) {
1533 EXPECT_EQ(verified_boot_state, VerifiedBoot::VERIFIED);
1534 EXPECT_NE(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1535 verified_boot_key.size()));
1536 } else if (!strcmp(property_value, "yellow")) {
1537 EXPECT_EQ(verified_boot_state, VerifiedBoot::SELF_SIGNED);
1538 EXPECT_NE(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1539 verified_boot_key.size()));
1540 } else if (!strcmp(property_value, "orange")) {
1541 EXPECT_EQ(verified_boot_state, VerifiedBoot::UNVERIFIED);
1542 EXPECT_EQ(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1543 verified_boot_key.size()));
1544 } else if (!strcmp(property_value, "red")) {
1545 EXPECT_EQ(verified_boot_state, VerifiedBoot::FAILED);
1546 } else {
1547 EXPECT_EQ(verified_boot_state, VerifiedBoot::UNVERIFIED);
1548 EXPECT_EQ(0, memcmp(verified_boot_key.data(), empty_boot_key.data(),
1549 verified_boot_key.size()));
1550 }
1551}
1552
David Drysdale7dff4fc2021-12-10 10:10:52 +00001553bool verify_attestation_record(int32_t aidl_version, //
1554 const string& challenge, //
Shawn Willden7c130392020-12-21 09:58:22 -07001555 const string& app_id, //
1556 AuthorizationSet expected_sw_enforced, //
1557 AuthorizationSet expected_hw_enforced, //
1558 SecurityLevel security_level,
David Drysdale565ccc72021-10-11 12:49:50 +01001559 const vector<uint8_t>& attestation_cert,
1560 vector<uint8_t>* unique_id) {
Shawn Willden7c130392020-12-21 09:58:22 -07001561 X509_Ptr cert(parse_cert_blob(attestation_cert));
1562 EXPECT_TRUE(!!cert.get());
1563 if (!cert.get()) return false;
1564
1565 ASN1_OCTET_STRING* attest_rec = get_attestation_record(cert.get());
1566 EXPECT_TRUE(!!attest_rec);
1567 if (!attest_rec) return false;
1568
1569 AuthorizationSet att_sw_enforced;
1570 AuthorizationSet att_hw_enforced;
1571 uint32_t att_attestation_version;
David Drysdale37af4b32021-05-14 16:46:59 +01001572 uint32_t att_keymint_version;
Shawn Willden7c130392020-12-21 09:58:22 -07001573 SecurityLevel att_attestation_security_level;
David Drysdale37af4b32021-05-14 16:46:59 +01001574 SecurityLevel att_keymint_security_level;
Shawn Willden7c130392020-12-21 09:58:22 -07001575 vector<uint8_t> att_challenge;
1576 vector<uint8_t> att_unique_id;
1577 vector<uint8_t> att_app_id;
1578
1579 auto error = parse_attestation_record(attest_rec->data, //
1580 attest_rec->length, //
1581 &att_attestation_version, //
1582 &att_attestation_security_level, //
David Drysdale37af4b32021-05-14 16:46:59 +01001583 &att_keymint_version, //
1584 &att_keymint_security_level, //
Shawn Willden7c130392020-12-21 09:58:22 -07001585 &att_challenge, //
1586 &att_sw_enforced, //
1587 &att_hw_enforced, //
1588 &att_unique_id);
1589 EXPECT_EQ(ErrorCode::OK, error);
1590 if (error != ErrorCode::OK) return false;
1591
David Drysdale7dff4fc2021-12-10 10:10:52 +00001592 check_attestation_version(att_attestation_version, aidl_version);
Selene Huang4f64c222021-04-13 19:54:36 -07001593 vector<uint8_t> appId(app_id.begin(), app_id.end());
Shawn Willden7c130392020-12-21 09:58:22 -07001594
Selene Huang4f64c222021-04-13 19:54:36 -07001595 // check challenge and app id only if we expects a non-fake certificate
1596 if (challenge.length() > 0) {
1597 EXPECT_EQ(challenge.length(), att_challenge.size());
1598 EXPECT_EQ(0, memcmp(challenge.data(), att_challenge.data(), challenge.length()));
1599
1600 expected_sw_enforced.push_back(TAG_ATTESTATION_APPLICATION_ID, appId);
1601 }
Shawn Willden7c130392020-12-21 09:58:22 -07001602
David Drysdale7dff4fc2021-12-10 10:10:52 +00001603 check_attestation_version(att_keymint_version, aidl_version);
David Drysdale37af4b32021-05-14 16:46:59 +01001604 EXPECT_EQ(security_level, att_keymint_security_level);
Shawn Willden7c130392020-12-21 09:58:22 -07001605 EXPECT_EQ(security_level, att_attestation_security_level);
1606
Shawn Willden7c130392020-12-21 09:58:22 -07001607 // TODO(b/136282179): When running under VTS-on-GSI the TEE-backed
David Drysdale37af4b32021-05-14 16:46:59 +01001608 // keymint implementation will report YYYYMM dates instead of YYYYMMDD
Shawn Willden7c130392020-12-21 09:58:22 -07001609 // for the BOOT_PATCH_LEVEL.
1610 if (avb_verification_enabled()) {
1611 for (int i = 0; i < att_hw_enforced.size(); i++) {
1612 if (att_hw_enforced[i].tag == TAG_BOOT_PATCHLEVEL ||
1613 att_hw_enforced[i].tag == TAG_VENDOR_PATCHLEVEL) {
1614 std::string date =
Tommy Chiuf00d8f12021-04-08 11:07:48 +08001615 std::to_string(att_hw_enforced[i].value.get<KeyParameterValue::integer>());
David Drysdale168228a2021-10-05 08:43:52 +01001616
Shawn Willden7c130392020-12-21 09:58:22 -07001617 // strptime seems to require delimiters, but the tag value will
1618 // be YYYYMMDD
David Drysdale168228a2021-10-05 08:43:52 +01001619 if (date.size() != 8) {
1620 ADD_FAILURE() << "Tag " << att_hw_enforced[i].tag
1621 << " with invalid format (not YYYYMMDD): " << date;
1622 return false;
1623 }
Shawn Willden7c130392020-12-21 09:58:22 -07001624 date.insert(6, "-");
1625 date.insert(4, "-");
Shawn Willden7c130392020-12-21 09:58:22 -07001626 struct tm time;
1627 strptime(date.c_str(), "%Y-%m-%d", &time);
1628
1629 // Day of the month (0-31)
1630 EXPECT_GE(time.tm_mday, 0);
1631 EXPECT_LT(time.tm_mday, 32);
1632 // Months since Jan (0-11)
1633 EXPECT_GE(time.tm_mon, 0);
1634 EXPECT_LT(time.tm_mon, 12);
1635 // Years since 1900
1636 EXPECT_GT(time.tm_year, 110);
1637 EXPECT_LT(time.tm_year, 200);
1638 }
1639 }
1640 }
1641
1642 // Check to make sure boolean values are properly encoded. Presence of a boolean tag
1643 // indicates true. A provided boolean tag that can be pulled back out of the certificate
1644 // indicates correct encoding. No need to check if it's in both lists, since the
1645 // AuthorizationSet compare below will handle mismatches of tags.
1646 if (security_level == SecurityLevel::SOFTWARE) {
1647 EXPECT_TRUE(expected_sw_enforced.Contains(TAG_NO_AUTH_REQUIRED));
1648 } else {
1649 EXPECT_TRUE(expected_hw_enforced.Contains(TAG_NO_AUTH_REQUIRED));
1650 }
1651
Shawn Willden7c130392020-12-21 09:58:22 -07001652 if (att_hw_enforced.Contains(TAG_ALGORITHM, Algorithm::EC)) {
1653 // For ECDSA keys, either an EC_CURVE or a KEY_SIZE can be specified, but one must be.
1654 EXPECT_TRUE(att_hw_enforced.Contains(TAG_EC_CURVE) ||
1655 att_hw_enforced.Contains(TAG_KEY_SIZE));
1656 }
1657
1658 // Test root of trust elements
1659 vector<uint8_t> verified_boot_key;
1660 VerifiedBoot verified_boot_state;
1661 bool device_locked;
1662 vector<uint8_t> verified_boot_hash;
1663 error = parse_root_of_trust(attest_rec->data, attest_rec->length, &verified_boot_key,
1664 &verified_boot_state, &device_locked, &verified_boot_hash);
1665 EXPECT_EQ(ErrorCode::OK, error);
Shawn Willden4315e132022-03-20 12:49:46 -06001666 verify_root_of_trust(verified_boot_key, device_locked, verified_boot_state, verified_boot_hash);
Shawn Willden7c130392020-12-21 09:58:22 -07001667
1668 att_sw_enforced.Sort();
1669 expected_sw_enforced.Sort();
David Drysdale37af4b32021-05-14 16:46:59 +01001670 EXPECT_EQ(filtered_tags(expected_sw_enforced), filtered_tags(att_sw_enforced));
Shawn Willden7c130392020-12-21 09:58:22 -07001671
1672 att_hw_enforced.Sort();
1673 expected_hw_enforced.Sort();
1674 EXPECT_EQ(filtered_tags(expected_hw_enforced), filtered_tags(att_hw_enforced));
1675
David Drysdale565ccc72021-10-11 12:49:50 +01001676 if (unique_id != nullptr) {
1677 *unique_id = att_unique_id;
1678 }
1679
Shawn Willden7c130392020-12-21 09:58:22 -07001680 return true;
1681}
1682
1683string bin2hex(const vector<uint8_t>& data) {
1684 string retval;
1685 retval.reserve(data.size() * 2 + 1);
1686 for (uint8_t byte : data) {
1687 retval.push_back(nibble2hex[0x0F & (byte >> 4)]);
1688 retval.push_back(nibble2hex[0x0F & byte]);
1689 }
1690 return retval;
1691}
1692
David Drysdalef0d516d2021-03-22 07:51:43 +00001693AuthorizationSet HwEnforcedAuthorizations(const vector<KeyCharacteristics>& key_characteristics) {
1694 AuthorizationSet authList;
1695 for (auto& entry : key_characteristics) {
1696 if (entry.securityLevel == SecurityLevel::STRONGBOX ||
1697 entry.securityLevel == SecurityLevel::TRUSTED_ENVIRONMENT) {
1698 authList.push_back(AuthorizationSet(entry.authorizations));
1699 }
1700 }
1701 return authList;
1702}
1703
1704AuthorizationSet SwEnforcedAuthorizations(const vector<KeyCharacteristics>& key_characteristics) {
1705 AuthorizationSet authList;
1706 for (auto& entry : key_characteristics) {
1707 if (entry.securityLevel == SecurityLevel::SOFTWARE ||
1708 entry.securityLevel == SecurityLevel::KEYSTORE) {
1709 authList.push_back(AuthorizationSet(entry.authorizations));
1710 }
1711 }
1712 return authList;
1713}
1714
Eran Messeri03d7a1a2021-07-06 12:07:57 +01001715AssertionResult ChainSignaturesAreValid(const vector<Certificate>& chain,
1716 bool strict_issuer_check) {
Shawn Willden7c130392020-12-21 09:58:22 -07001717 std::stringstream cert_data;
1718
1719 for (size_t i = 0; i < chain.size(); ++i) {
1720 cert_data << bin2hex(chain[i].encodedCertificate) << std::endl;
1721
1722 X509_Ptr key_cert(parse_cert_blob(chain[i].encodedCertificate));
1723 X509_Ptr signing_cert;
1724 if (i < chain.size() - 1) {
1725 signing_cert = parse_cert_blob(chain[i + 1].encodedCertificate);
1726 } else {
1727 signing_cert = parse_cert_blob(chain[i].encodedCertificate);
1728 }
1729 if (!key_cert.get() || !signing_cert.get()) return AssertionFailure() << cert_data.str();
1730
1731 EVP_PKEY_Ptr signing_pubkey(X509_get_pubkey(signing_cert.get()));
1732 if (!signing_pubkey.get()) return AssertionFailure() << cert_data.str();
1733
1734 if (!X509_verify(key_cert.get(), signing_pubkey.get())) {
1735 return AssertionFailure()
1736 << "Verification of certificate " << i << " failed "
1737 << "OpenSSL error string: " << ERR_error_string(ERR_get_error(), NULL) << '\n'
1738 << cert_data.str();
1739 }
1740
1741 string cert_issuer = x509NameToStr(X509_get_issuer_name(key_cert.get()));
1742 string signer_subj = x509NameToStr(X509_get_subject_name(signing_cert.get()));
Eran Messeri03d7a1a2021-07-06 12:07:57 +01001743 if (cert_issuer != signer_subj && strict_issuer_check) {
Selene Huang8f9494c2021-04-21 15:10:36 -07001744 return AssertionFailure() << "Cert " << i << " has wrong issuer.\n"
1745 << " Signer subject is " << signer_subj
1746 << " Issuer subject is " << cert_issuer << endl
1747 << cert_data.str();
Shawn Willden7c130392020-12-21 09:58:22 -07001748 }
Shawn Willden7c130392020-12-21 09:58:22 -07001749 }
1750
1751 if (KeyMintAidlTestBase::dump_Attestations) std::cout << cert_data.str();
1752 return AssertionSuccess();
1753}
1754
1755X509_Ptr parse_cert_blob(const vector<uint8_t>& blob) {
1756 const uint8_t* p = blob.data();
1757 return X509_Ptr(d2i_X509(nullptr /* allocate new */, &p, blob.size()));
1758}
1759
David Drysdalef0d516d2021-03-22 07:51:43 +00001760vector<uint8_t> make_name_from_str(const string& name) {
1761 X509_NAME_Ptr x509_name(X509_NAME_new());
1762 EXPECT_TRUE(x509_name.get() != nullptr);
1763 if (!x509_name) return {};
1764
1765 EXPECT_EQ(1, X509_NAME_add_entry_by_txt(x509_name.get(), //
1766 "CN", //
1767 MBSTRING_ASC,
1768 reinterpret_cast<const uint8_t*>(name.c_str()),
1769 -1, // len
1770 -1, // loc
1771 0 /* set */));
1772
1773 int len = i2d_X509_NAME(x509_name.get(), nullptr /* only return length */);
1774 EXPECT_GT(len, 0);
1775
1776 vector<uint8_t> retval(len);
1777 uint8_t* p = retval.data();
1778 i2d_X509_NAME(x509_name.get(), &p);
1779
1780 return retval;
1781}
1782
David Drysdale4dc01072021-04-01 12:17:35 +01001783namespace {
1784
1785void check_cose_key(const vector<uint8_t>& data, bool testMode) {
1786 auto [parsedPayload, __, payloadParseErr] = cppbor::parse(data);
1787 ASSERT_TRUE(parsedPayload) << "Key parse failed: " << payloadParseErr;
1788
1789 // The following check assumes that canonical CBOR encoding is used for the COSE_Key.
1790 if (testMode) {
1791 EXPECT_THAT(cppbor::prettyPrint(parsedPayload.get()),
1792 MatchesRegex("{\n"
1793 " 1 : 2,\n" // kty: EC2
1794 " 3 : -7,\n" // alg: ES256
1795 " -1 : 1,\n" // EC id: P256
1796 // The regex {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}} matches a
1797 // sequence of 32 hexadecimal bytes, enclosed in braces and
1798 // separated by commas. In this case, some Ed25519 public key.
1799 " -2 : {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}},\n" // pub_x: data
1800 " -3 : {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}},\n" // pub_y: data
1801 " -70000 : null,\n" // test marker
1802 "}"));
1803 } else {
1804 EXPECT_THAT(cppbor::prettyPrint(parsedPayload.get()),
1805 MatchesRegex("{\n"
1806 " 1 : 2,\n" // kty: EC2
1807 " 3 : -7,\n" // alg: ES256
1808 " -1 : 1,\n" // EC id: P256
1809 // The regex {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}} matches a
1810 // sequence of 32 hexadecimal bytes, enclosed in braces and
1811 // separated by commas. In this case, some Ed25519 public key.
1812 " -2 : {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}},\n" // pub_x: data
1813 " -3 : {(0x[0-9a-f]{2}, ){31}0x[0-9a-f]{2}},\n" // pub_y: data
1814 "}"));
1815 }
1816}
1817
1818} // namespace
1819
1820void check_maced_pubkey(const MacedPublicKey& macedPubKey, bool testMode,
1821 vector<uint8_t>* payload_value) {
1822 auto [coseMac0, _, mac0ParseErr] = cppbor::parse(macedPubKey.macedKey);
1823 ASSERT_TRUE(coseMac0) << "COSE Mac0 parse failed " << mac0ParseErr;
1824
1825 ASSERT_NE(coseMac0->asArray(), nullptr);
1826 ASSERT_EQ(coseMac0->asArray()->size(), kCoseMac0EntryCount);
1827
1828 auto protParms = coseMac0->asArray()->get(kCoseMac0ProtectedParams)->asBstr();
1829 ASSERT_NE(protParms, nullptr);
1830
1831 // Header label:value of 'alg': HMAC-256
1832 ASSERT_EQ(cppbor::prettyPrint(protParms->value()), "{\n 1 : 5,\n}");
1833
1834 auto unprotParms = coseMac0->asArray()->get(kCoseMac0UnprotectedParams)->asMap();
1835 ASSERT_NE(unprotParms, nullptr);
1836 ASSERT_EQ(unprotParms->size(), 0);
1837
1838 // The payload is a bstr holding an encoded COSE_Key
1839 auto payload = coseMac0->asArray()->get(kCoseMac0Payload)->asBstr();
1840 ASSERT_NE(payload, nullptr);
1841 check_cose_key(payload->value(), testMode);
1842
1843 auto coseMac0Tag = coseMac0->asArray()->get(kCoseMac0Tag)->asBstr();
1844 ASSERT_TRUE(coseMac0Tag);
1845 auto extractedTag = coseMac0Tag->value();
1846 EXPECT_EQ(extractedTag.size(), 32U);
1847
1848 // Compare with tag generated with kTestMacKey. Should only match in test mode
Seth Moore026bb742021-04-30 11:41:18 -07001849 auto macFunction = [](const cppcose::bytevec& input) {
1850 return cppcose::generateHmacSha256(remote_prov::kTestMacKey, input);
1851 };
1852 auto testTag =
1853 cppcose::generateCoseMac0Mac(macFunction, {} /* external_aad */, payload->value());
David Drysdale4dc01072021-04-01 12:17:35 +01001854 ASSERT_TRUE(testTag) << "Tag calculation failed: " << testTag.message();
1855
1856 if (testMode) {
Seth Moore026bb742021-04-30 11:41:18 -07001857 EXPECT_THAT(*testTag, ElementsAreArray(extractedTag));
David Drysdale4dc01072021-04-01 12:17:35 +01001858 } else {
Seth Moore026bb742021-04-30 11:41:18 -07001859 EXPECT_THAT(*testTag, Not(ElementsAreArray(extractedTag)));
David Drysdale4dc01072021-04-01 12:17:35 +01001860 }
1861 if (payload_value != nullptr) {
1862 *payload_value = payload->value();
1863 }
1864}
1865
1866void p256_pub_key(const vector<uint8_t>& coseKeyData, EVP_PKEY_Ptr* signingKey) {
1867 // Extract x and y affine coordinates from the encoded Cose_Key.
1868 auto [parsedPayload, __, payloadParseErr] = cppbor::parse(coseKeyData);
1869 ASSERT_TRUE(parsedPayload) << "Key parse failed: " << payloadParseErr;
1870 auto coseKey = parsedPayload->asMap();
1871 const std::unique_ptr<cppbor::Item>& xItem = coseKey->get(cppcose::CoseKey::PUBKEY_X);
1872 ASSERT_NE(xItem->asBstr(), nullptr);
1873 vector<uint8_t> x = xItem->asBstr()->value();
1874 const std::unique_ptr<cppbor::Item>& yItem = coseKey->get(cppcose::CoseKey::PUBKEY_Y);
1875 ASSERT_NE(yItem->asBstr(), nullptr);
1876 vector<uint8_t> y = yItem->asBstr()->value();
1877
1878 // Concatenate: 0x04 (uncompressed form marker) | x | y
1879 vector<uint8_t> pubKeyData{0x04};
1880 pubKeyData.insert(pubKeyData.end(), x.begin(), x.end());
1881 pubKeyData.insert(pubKeyData.end(), y.begin(), y.end());
1882
1883 EC_KEY_Ptr ecKey = EC_KEY_Ptr(EC_KEY_new());
1884 ASSERT_NE(ecKey, nullptr);
1885 EC_GROUP_Ptr group = EC_GROUP_Ptr(EC_GROUP_new_by_curve_name(NID_X9_62_prime256v1));
1886 ASSERT_NE(group, nullptr);
1887 ASSERT_EQ(EC_KEY_set_group(ecKey.get(), group.get()), 1);
1888 EC_POINT_Ptr point = EC_POINT_Ptr(EC_POINT_new(group.get()));
1889 ASSERT_NE(point, nullptr);
1890 ASSERT_EQ(EC_POINT_oct2point(group.get(), point.get(), pubKeyData.data(), pubKeyData.size(),
1891 nullptr),
1892 1);
1893 ASSERT_EQ(EC_KEY_set_public_key(ecKey.get(), point.get()), 1);
1894
1895 EVP_PKEY_Ptr pubKey = EVP_PKEY_Ptr(EVP_PKEY_new());
1896 ASSERT_NE(pubKey, nullptr);
1897 EVP_PKEY_assign_EC_KEY(pubKey.get(), ecKey.release());
1898 *signingKey = std::move(pubKey);
1899}
1900
Selene Huang31ab4042020-04-29 04:22:39 -07001901} // namespace test
Shawn Willden08a7e432020-12-11 13:05:27 +00001902
Janis Danisevskis24c04702020-12-16 18:28:39 -08001903} // namespace aidl::android::hardware::security::keymint