Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 1 | /* |
| 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 | |
Seth Moore | f1f6215 | 2022-09-13 12:00:30 -0700 | [diff] [blame] | 17 | #include <memory> |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 18 | #include <string> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 19 | #define LOG_TAG "VtsRemotelyProvisionableComponentTests" |
| 20 | |
Seth Moore | 8f810b1 | 2022-12-12 16:51:01 -0800 | [diff] [blame] | 21 | #include <aidl/android/hardware/security/keymint/BnRemotelyProvisionedComponent.h> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 22 | #include <aidl/android/hardware/security/keymint/IRemotelyProvisionedComponent.h> |
| 23 | #include <aidl/android/hardware/security/keymint/SecurityLevel.h> |
| 24 | #include <android/binder_manager.h> |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 25 | #include <binder/IServiceManager.h> |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 26 | #include <cppbor.h> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 27 | #include <cppbor_parse.h> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 28 | #include <gmock/gmock.h> |
Max Bires | 9704ff6 | 2021-04-07 11:12:01 -0700 | [diff] [blame] | 29 | #include <keymaster/cppcose/cppcose.h> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 30 | #include <keymaster/keymaster_configuration.h> |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 31 | #include <keymint_support/authorization_set.h> |
| 32 | #include <openssl/ec.h> |
| 33 | #include <openssl/ec_key.h> |
| 34 | #include <openssl/x509.h> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 35 | #include <remote_prov/remote_prov_utils.h> |
Max Bires | 757ed42 | 2022-09-07 16:20:31 -0700 | [diff] [blame] | 36 | #include <optional> |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 37 | #include <set> |
Sean Thomas | afbab60 | 2024-11-07 23:14:05 +0000 | [diff] [blame] | 38 | #include <string_view> |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 39 | #include <vector> |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 40 | |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 41 | #include "KeyMintAidlTestBase.h" |
| 42 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 43 | namespace aidl::android::hardware::security::keymint::test { |
| 44 | |
| 45 | using ::std::string; |
| 46 | using ::std::vector; |
| 47 | |
| 48 | namespace { |
| 49 | |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 50 | constexpr int32_t VERSION_WITH_UNIQUE_ID_SUPPORT = 2; |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 51 | |
| 52 | constexpr int32_t VERSION_WITHOUT_EEK = 3; |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 53 | constexpr int32_t VERSION_WITHOUT_TEST_MODE = 3; |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 54 | constexpr int32_t VERSION_WITH_CERTIFICATE_REQUEST_V2 = 3; |
| 55 | constexpr int32_t VERSION_WITH_SUPPORTED_NUM_KEYS_IN_CSR = 3; |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 56 | |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 57 | constexpr uint8_t MIN_CHALLENGE_SIZE = 0; |
| 58 | constexpr uint8_t MAX_CHALLENGE_SIZE = 64; |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 59 | |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 60 | const string KEYMINT_STRONGBOX_INSTANCE_NAME = |
| 61 | "android.hardware.security.keymint.IKeyMintDevice/strongbox"; |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 62 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 63 | #define INSTANTIATE_REM_PROV_AIDL_TEST(name) \ |
Seth Moore | 6305e23 | 2021-07-27 14:20:17 -0700 | [diff] [blame] | 64 | GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(name); \ |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 65 | INSTANTIATE_TEST_SUITE_P( \ |
| 66 | PerInstance, name, \ |
| 67 | testing::ValuesIn(VtsRemotelyProvisionedComponentTests::build_params()), \ |
| 68 | ::android::PrintInstanceNameToString) |
| 69 | |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 70 | using ::android::sp; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 71 | using bytevec = std::vector<uint8_t>; |
| 72 | using testing::MatchesRegex; |
| 73 | using namespace remote_prov; |
| 74 | using namespace keymaster; |
| 75 | |
| 76 | bytevec string_to_bytevec(const char* s) { |
| 77 | const uint8_t* p = reinterpret_cast<const uint8_t*>(s); |
| 78 | return bytevec(p, p + strlen(s)); |
| 79 | } |
| 80 | |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 81 | ErrMsgOr<MacedPublicKey> corrupt_maced_key(const MacedPublicKey& macedPubKey) { |
| 82 | auto [coseMac0, _, mac0ParseErr] = cppbor::parse(macedPubKey.macedKey); |
| 83 | if (!coseMac0 || coseMac0->asArray()->size() != kCoseMac0EntryCount) { |
| 84 | return "COSE Mac0 parse failed"; |
| 85 | } |
| 86 | auto protParams = coseMac0->asArray()->get(kCoseMac0ProtectedParams)->asBstr(); |
| 87 | auto unprotParams = coseMac0->asArray()->get(kCoseMac0UnprotectedParams)->asMap(); |
| 88 | auto payload = coseMac0->asArray()->get(kCoseMac0Payload)->asBstr(); |
| 89 | auto tag = coseMac0->asArray()->get(kCoseMac0Tag)->asBstr(); |
| 90 | if (!protParams || !unprotParams || !payload || !tag) { |
| 91 | return "Invalid COSE_Sign1: missing content"; |
| 92 | } |
| 93 | auto corruptMac0 = cppbor::Array(); |
| 94 | corruptMac0.add(protParams->clone()); |
| 95 | corruptMac0.add(unprotParams->clone()); |
| 96 | corruptMac0.add(payload->clone()); |
| 97 | vector<uint8_t> tagData = tag->value(); |
| 98 | tagData[0] ^= 0x08; |
| 99 | tagData[tagData.size() - 1] ^= 0x80; |
| 100 | corruptMac0.add(cppbor::Bstr(tagData)); |
| 101 | |
| 102 | return MacedPublicKey{corruptMac0.encode()}; |
| 103 | } |
| 104 | |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 105 | ErrMsgOr<cppbor::Array> corrupt_sig(const cppbor::Array* coseSign1) { |
| 106 | if (coseSign1->size() != kCoseSign1EntryCount) { |
| 107 | return "Invalid COSE_Sign1, wrong entry count"; |
| 108 | } |
| 109 | const cppbor::Bstr* protectedParams = coseSign1->get(kCoseSign1ProtectedParams)->asBstr(); |
| 110 | const cppbor::Map* unprotectedParams = coseSign1->get(kCoseSign1UnprotectedParams)->asMap(); |
| 111 | const cppbor::Bstr* payload = coseSign1->get(kCoseSign1Payload)->asBstr(); |
| 112 | const cppbor::Bstr* signature = coseSign1->get(kCoseSign1Signature)->asBstr(); |
| 113 | if (!protectedParams || !unprotectedParams || !payload || !signature) { |
| 114 | return "Invalid COSE_Sign1: missing content"; |
| 115 | } |
| 116 | |
| 117 | auto corruptSig = cppbor::Array(); |
| 118 | corruptSig.add(protectedParams->clone()); |
| 119 | corruptSig.add(unprotectedParams->clone()); |
| 120 | corruptSig.add(payload->clone()); |
| 121 | vector<uint8_t> sigData = signature->value(); |
| 122 | sigData[0] ^= 0x08; |
| 123 | corruptSig.add(cppbor::Bstr(sigData)); |
| 124 | |
| 125 | return std::move(corruptSig); |
| 126 | } |
| 127 | |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 128 | ErrMsgOr<bytevec> corrupt_sig_chain(const bytevec& encodedEekChain, int which) { |
| 129 | auto [chain, _, parseErr] = cppbor::parse(encodedEekChain); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 130 | if (!chain || !chain->asArray()) { |
| 131 | return "EekChain parse failed"; |
| 132 | } |
| 133 | |
| 134 | cppbor::Array* eekChain = chain->asArray(); |
| 135 | if (which >= eekChain->size()) { |
| 136 | return "selected sig out of range"; |
| 137 | } |
| 138 | auto corruptChain = cppbor::Array(); |
| 139 | |
| 140 | for (int ii = 0; ii < eekChain->size(); ++ii) { |
| 141 | if (ii == which) { |
| 142 | auto sig = corrupt_sig(eekChain->get(which)->asArray()); |
| 143 | if (!sig) { |
| 144 | return "Failed to build corrupted signature" + sig.moveMessage(); |
| 145 | } |
| 146 | corruptChain.add(sig.moveValue()); |
| 147 | } else { |
| 148 | corruptChain.add(eekChain->get(ii)->clone()); |
| 149 | } |
| 150 | } |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 151 | return corruptChain.encode(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 152 | } |
| 153 | |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 154 | template <class T> |
| 155 | auto getHandle(const string& serviceName) { |
| 156 | ::ndk::SpAIBinder binder(AServiceManager_waitForService(serviceName.c_str())); |
| 157 | return T::fromBinder(binder); |
| 158 | } |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 159 | |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 160 | std::shared_ptr<IKeyMintDevice> matchingKeyMintDevice(const string& rpcName) { |
| 161 | auto rpcSuffix = deviceSuffix(rpcName); |
| 162 | |
| 163 | vector<string> kmNames = ::android::getAidlHalInstanceNames(IKeyMintDevice::descriptor); |
| 164 | for (const string& kmName : kmNames) { |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 165 | // If the suffix of the KeyMint instance equals the suffix of the |
| 166 | // RemotelyProvisionedComponent instance, assume they match. |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 167 | if (deviceSuffix(kmName) == rpcSuffix && AServiceManager_isDeclared(kmName.c_str())) { |
| 168 | getHandle<IKeyMintDevice>(kmName); |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 169 | } |
| 170 | } |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 171 | return nullptr; |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 172 | } |
| 173 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 174 | } // namespace |
| 175 | |
| 176 | class VtsRemotelyProvisionedComponentTests : public testing::TestWithParam<std::string> { |
| 177 | public: |
| 178 | virtual void SetUp() override { |
| 179 | if (AServiceManager_isDeclared(GetParam().c_str())) { |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 180 | provisionable_ = getHandle<IRemotelyProvisionedComponent>(GetParam()); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 181 | } |
| 182 | ASSERT_NE(provisionable_, nullptr); |
Alice Wang | 895f4b3 | 2023-11-14 07:38:18 +0000 | [diff] [blame] | 183 | auto status = provisionable_->getHardwareInfo(&rpcHardwareInfo); |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 184 | isRkpVmInstance_ = GetParam() == RKPVM_INSTANCE_NAME; |
Karuna Wadhera | ca6d8cc | 2024-07-18 14:08:36 +0000 | [diff] [blame] | 185 | if (isRkpVmInstance_) { |
Alice Wang | 46ff286 | 2024-05-14 07:07:05 +0000 | [diff] [blame] | 186 | if (status.getExceptionCode() == EX_UNSUPPORTED_OPERATION) { |
| 187 | GTEST_SKIP() << "The RKP VM is not supported on this system."; |
| 188 | } |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 189 | int vendorApiLevel = get_vendor_api_level(); |
| 190 | if (vendorApiLevel < __ANDROID_API_V__) { |
| 191 | GTEST_SKIP() << "The RKP VM is supported only on vendor API level >= 202404. This " |
| 192 | << "device has vendor API level: " << vendorApiLevel; |
Alice Wang | 46ff286 | 2024-05-14 07:07:05 +0000 | [diff] [blame] | 193 | } |
Alice Wang | 895f4b3 | 2023-11-14 07:38:18 +0000 | [diff] [blame] | 194 | } |
| 195 | ASSERT_TRUE(status.isOk()); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 196 | } |
| 197 | |
| 198 | static vector<string> build_params() { |
| 199 | auto params = ::android::getAidlHalInstanceNames(IRemotelyProvisionedComponent::descriptor); |
| 200 | return params; |
| 201 | } |
| 202 | |
| 203 | protected: |
| 204 | std::shared_ptr<IRemotelyProvisionedComponent> provisionable_; |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 205 | RpcHardwareInfo rpcHardwareInfo; |
Karuna Wadhera | ca6d8cc | 2024-07-18 14:08:36 +0000 | [diff] [blame] | 206 | bool isRkpVmInstance_; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 207 | }; |
| 208 | |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 209 | /** |
| 210 | * Verify that every implementation reports a different unique id. |
| 211 | */ |
| 212 | TEST(NonParameterizedTests, eachRpcHasAUniqueId) { |
| 213 | std::set<std::string> uniqueIds; |
| 214 | for (auto hal : ::android::getAidlHalInstanceNames(IRemotelyProvisionedComponent::descriptor)) { |
| 215 | ASSERT_TRUE(AServiceManager_isDeclared(hal.c_str())); |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 216 | auto rpc = getHandle<IRemotelyProvisionedComponent>(hal); |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 217 | ASSERT_NE(rpc, nullptr); |
| 218 | |
| 219 | RpcHardwareInfo hwInfo; |
Alice Wang | 895f4b3 | 2023-11-14 07:38:18 +0000 | [diff] [blame] | 220 | auto status = rpc->getHardwareInfo(&hwInfo); |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 221 | if (hal == RKPVM_INSTANCE_NAME && status.getExceptionCode() == EX_UNSUPPORTED_OPERATION) { |
Alice Wang | 895f4b3 | 2023-11-14 07:38:18 +0000 | [diff] [blame] | 222 | GTEST_SKIP() << "The RKP VM is not supported on this system."; |
| 223 | } |
| 224 | ASSERT_TRUE(status.isOk()); |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 225 | |
Tri Vo | dd12c48 | 2022-10-12 22:41:28 +0000 | [diff] [blame] | 226 | if (hwInfo.versionNumber >= VERSION_WITH_UNIQUE_ID_SUPPORT) { |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 227 | ASSERT_TRUE(hwInfo.uniqueId); |
| 228 | auto [_, wasInserted] = uniqueIds.insert(*hwInfo.uniqueId); |
| 229 | EXPECT_TRUE(wasInserted); |
| 230 | } else { |
| 231 | ASSERT_FALSE(hwInfo.uniqueId); |
| 232 | } |
| 233 | } |
| 234 | } |
| 235 | |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 236 | /** |
| 237 | * Verify that the default implementation supports DICE if there is a StrongBox KeyMint instance |
| 238 | * on the device. |
| 239 | */ |
| 240 | // @VsrTest = 3.10-015 |
Sean Thomas | 08cda5d | 2024-11-20 23:19:57 +0000 | [diff] [blame] | 241 | // @VsrTest = 3.10-018.001 |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 242 | TEST(NonParameterizedTests, requireDiceOnDefaultInstanceIfStrongboxPresent) { |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 243 | int vendor_api_level = get_vendor_api_level(); |
| 244 | if (vendor_api_level < __ANDROID_API_V__) { |
| 245 | GTEST_SKIP() << "Applies only to vendor API level >= 202404, but this device is: " |
| 246 | << vendor_api_level; |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 247 | } |
| 248 | |
| 249 | if (!AServiceManager_isDeclared(KEYMINT_STRONGBOX_INSTANCE_NAME.c_str())) { |
| 250 | GTEST_SKIP() << "Strongbox is not present on this device."; |
| 251 | } |
| 252 | |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 253 | auto rpc = getHandle<IRemotelyProvisionedComponent>(DEFAULT_INSTANCE_NAME); |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 254 | ASSERT_NE(rpc, nullptr); |
| 255 | |
| 256 | bytevec challenge = randomBytes(64); |
| 257 | bytevec csr; |
| 258 | auto status = rpc->generateCertificateRequestV2({} /* keysToSign */, challenge, &csr); |
| 259 | EXPECT_TRUE(status.isOk()) << status.getDescription(); |
| 260 | |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 261 | auto result = isCsrWithProperDiceChain(csr, DEFAULT_INSTANCE_NAME); |
Andrew Scull | 2146152 | 2024-03-25 15:08:08 +0000 | [diff] [blame] | 262 | ASSERT_TRUE(result) << result.message(); |
| 263 | ASSERT_TRUE(*result); |
| 264 | } |
| 265 | |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 266 | /** |
| 267 | * Verify that if a protected VM (also called `avf` or RKP VM) implementation exists, then the |
| 268 | * protected VM and the primary KeyMint (also called 'default') implementation's DICE certificate |
| 269 | * chain has the same root public key, i.e., the same UDS public key |
| 270 | */ |
| 271 | // @VsrTest = 7.1-003.001 |
| 272 | TEST(NonParameterizedTests, equalUdsPubInDiceCertChainForRkpVmAndPrimaryKeyMintInstances) { |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 273 | int vendorApiLevel = get_vendor_api_level(); |
| 274 | if (vendorApiLevel < 202504 && !AServiceManager_isDeclared(RKPVM_INSTANCE_NAME.c_str())) { |
Sean Thomas | 08cda5d | 2024-11-20 23:19:57 +0000 | [diff] [blame] | 275 | GTEST_SKIP() << "The RKP VM (" << RKPVM_INSTANCE_NAME << ") is not present on this device."; |
| 276 | } |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 277 | if (vendorApiLevel >= 202504) { |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 278 | ASSERT_TRUE(AServiceManager_isDeclared(RKPVM_INSTANCE_NAME.c_str())); |
| 279 | } |
| 280 | |
| 281 | auto rkpVmRpc = getHandle<IRemotelyProvisionedComponent>(RKPVM_INSTANCE_NAME); |
| 282 | ASSERT_NE(rkpVmRpc, nullptr) << "The RKP VM (" << RKPVM_INSTANCE_NAME |
| 283 | << ") RPC is unavailable."; |
| 284 | |
| 285 | RpcHardwareInfo hardwareInfo; |
| 286 | auto status = rkpVmRpc->getHardwareInfo(&hardwareInfo); |
| 287 | if (!status.isOk()) { |
| 288 | GTEST_SKIP() << "The RKP VM is not supported on this system."; |
| 289 | } |
| 290 | |
| 291 | bytevec rkpVmChallenge = randomBytes(MAX_CHALLENGE_SIZE); |
| 292 | bytevec rkpVmCsr; |
| 293 | auto rkpVmStatus = |
| 294 | rkpVmRpc->generateCertificateRequestV2({} /* keysToSign */, rkpVmChallenge, &rkpVmCsr); |
| 295 | ASSERT_TRUE(rkpVmStatus.isOk()) << rkpVmStatus.getDescription(); |
| 296 | |
| 297 | auto primaryKeyMintRpc = getHandle<IRemotelyProvisionedComponent>(DEFAULT_INSTANCE_NAME); |
| 298 | ASSERT_NE(primaryKeyMintRpc, nullptr) |
| 299 | << "The Primary KeyMint (" << DEFAULT_INSTANCE_NAME << ") RPC is unavailable."; |
| 300 | |
| 301 | bytevec primaryKeyMintChallenge = randomBytes(MAX_CHALLENGE_SIZE); |
| 302 | bytevec primaryKeyMintCsr; |
| 303 | auto primaryKeyMintStatus = primaryKeyMintRpc->generateCertificateRequestV2( |
| 304 | {} /* keysToSign */, primaryKeyMintChallenge, &primaryKeyMintCsr); |
| 305 | ASSERT_TRUE(primaryKeyMintStatus.isOk()) << primaryKeyMintStatus.getDescription(); |
| 306 | |
| 307 | auto equal = compareRootPublicKeysInDiceChains(rkpVmCsr, RKPVM_INSTANCE_NAME, primaryKeyMintCsr, |
| 308 | DEFAULT_INSTANCE_NAME); |
| 309 | ASSERT_TRUE(equal) << equal.message(); |
| 310 | ASSERT_TRUE(*equal) << "Primary KeyMint and RKP VM RPCs have different UDS public keys"; |
| 311 | } |
| 312 | |
Sean Thomas | 08cda5d | 2024-11-20 23:19:57 +0000 | [diff] [blame] | 313 | /** |
| 314 | * Suppose that there is a StrongBox KeyMint instance on the device. |
| 315 | * |
| 316 | * Then, this test verifies that "keymint" is a substring of the component name in the configuration |
| 317 | * descriptor in the leaf certificate of the DICE chain for the primary ("default") KeyMint |
| 318 | * instance. |
| 319 | */ |
| 320 | // @VsrTest = 3.10-018.003 |
| 321 | TEST(NonParameterizedTests, componentNameInConfigurationDescriptorForPrimaryKeyMintInstance) { |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 322 | int vendor_api_level = get_vendor_api_level(); |
| 323 | if (vendor_api_level < 202504) { |
| 324 | GTEST_SKIP() << "Applies only to vendor API level >= 202504, but this device is: " |
| 325 | << vendor_api_level; |
Sean Thomas | 08cda5d | 2024-11-20 23:19:57 +0000 | [diff] [blame] | 326 | } |
| 327 | |
| 328 | if (!AServiceManager_isDeclared(KEYMINT_STRONGBOX_INSTANCE_NAME.c_str())) { |
| 329 | GTEST_SKIP() << "Strongbox is not present on this device."; |
| 330 | } |
| 331 | |
| 332 | ::ndk::SpAIBinder binder(AServiceManager_waitForService(DEFAULT_INSTANCE_NAME.c_str())); |
| 333 | std::shared_ptr<IRemotelyProvisionedComponent> rpc = |
| 334 | IRemotelyProvisionedComponent::fromBinder(binder); |
| 335 | ASSERT_NE(rpc, nullptr); |
| 336 | |
| 337 | bytevec challenge = randomBytes(64); |
| 338 | bytevec csr; |
| 339 | auto status = rpc->generateCertificateRequestV2({} /* keysToSign */, challenge, &csr); |
| 340 | EXPECT_TRUE(status.isOk()) << status.getDescription(); |
| 341 | |
| 342 | auto result = verifyComponentNameInKeyMintDiceChain(csr); |
| 343 | ASSERT_TRUE(result) << result.message(); |
| 344 | ASSERT_TRUE(*result); |
| 345 | } |
| 346 | |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 347 | using GetHardwareInfoTests = VtsRemotelyProvisionedComponentTests; |
| 348 | |
| 349 | INSTANTIATE_REM_PROV_AIDL_TEST(GetHardwareInfoTests); |
| 350 | |
| 351 | /** |
| 352 | * Verify that a valid curve is reported by the implementation. |
| 353 | */ |
| 354 | TEST_P(GetHardwareInfoTests, supportsValidCurve) { |
| 355 | RpcHardwareInfo hwInfo; |
| 356 | ASSERT_TRUE(provisionable_->getHardwareInfo(&hwInfo).isOk()); |
| 357 | |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 358 | if (rpcHardwareInfo.versionNumber >= VERSION_WITHOUT_EEK) { |
| 359 | ASSERT_EQ(hwInfo.supportedEekCurve, RpcHardwareInfo::CURVE_NONE) |
| 360 | << "Invalid curve: " << hwInfo.supportedEekCurve; |
| 361 | return; |
Hasini Gunasinghe | 666b271 | 2023-01-05 21:35:51 +0000 | [diff] [blame] | 362 | } |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 363 | |
| 364 | const std::set<int> validCurves = {RpcHardwareInfo::CURVE_P256, RpcHardwareInfo::CURVE_25519}; |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 365 | ASSERT_EQ(validCurves.count(hwInfo.supportedEekCurve), 1) |
| 366 | << "Invalid curve: " << hwInfo.supportedEekCurve; |
| 367 | } |
| 368 | |
| 369 | /** |
| 370 | * Verify that the unique id is within the length limits as described in RpcHardwareInfo.aidl. |
| 371 | */ |
| 372 | TEST_P(GetHardwareInfoTests, uniqueId) { |
Tri Vo | dd12c48 | 2022-10-12 22:41:28 +0000 | [diff] [blame] | 373 | if (rpcHardwareInfo.versionNumber < VERSION_WITH_UNIQUE_ID_SUPPORT) { |
Seth Moore | fc86bf4 | 2021-12-09 14:07:04 -0800 | [diff] [blame] | 374 | return; |
| 375 | } |
| 376 | |
| 377 | RpcHardwareInfo hwInfo; |
| 378 | ASSERT_TRUE(provisionable_->getHardwareInfo(&hwInfo).isOk()); |
| 379 | ASSERT_TRUE(hwInfo.uniqueId); |
| 380 | EXPECT_GE(hwInfo.uniqueId->size(), 1); |
| 381 | EXPECT_LE(hwInfo.uniqueId->size(), 32); |
| 382 | } |
| 383 | |
Tri Vo | 9cab73c | 2022-10-28 13:40:24 -0700 | [diff] [blame] | 384 | /** |
| 385 | * Verify implementation supports at least MIN_SUPPORTED_NUM_KEYS_IN_CSR keys in a CSR. |
| 386 | */ |
| 387 | TEST_P(GetHardwareInfoTests, supportedNumKeysInCsr) { |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 388 | if (rpcHardwareInfo.versionNumber < VERSION_WITH_SUPPORTED_NUM_KEYS_IN_CSR) { |
Tri Vo | 9cab73c | 2022-10-28 13:40:24 -0700 | [diff] [blame] | 389 | return; |
| 390 | } |
| 391 | |
| 392 | RpcHardwareInfo hwInfo; |
| 393 | ASSERT_TRUE(provisionable_->getHardwareInfo(&hwInfo).isOk()); |
| 394 | ASSERT_GE(hwInfo.supportedNumKeysInCsr, RpcHardwareInfo::MIN_SUPPORTED_NUM_KEYS_IN_CSR); |
| 395 | } |
| 396 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 397 | using GenerateKeyTests = VtsRemotelyProvisionedComponentTests; |
| 398 | |
| 399 | INSTANTIATE_REM_PROV_AIDL_TEST(GenerateKeyTests); |
| 400 | |
| 401 | /** |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 402 | * Generate and validate a production-mode key. MAC tag can't be verified, but |
| 403 | * the private key blob should be usable in KeyMint operations. |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 404 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 405 | TEST_P(GenerateKeyTests, generateEcdsaP256Key_prodMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 406 | MacedPublicKey macedPubKey; |
| 407 | bytevec privateKeyBlob; |
| 408 | bool testMode = false; |
| 409 | auto status = provisionable_->generateEcdsaP256KeyPair(testMode, &macedPubKey, &privateKeyBlob); |
| 410 | ASSERT_TRUE(status.isOk()); |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 411 | vector<uint8_t> coseKeyData; |
Tri Vo | b0b8acc | 2022-11-30 16:22:23 -0800 | [diff] [blame] | 412 | check_maced_pubkey(macedPubKey, testMode, &coseKeyData); |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 413 | } |
| 414 | |
| 415 | /** |
| 416 | * Generate and validate a production-mode key, then use it as a KeyMint attestation key. |
| 417 | */ |
| 418 | TEST_P(GenerateKeyTests, generateAndUseEcdsaP256Key_prodMode) { |
| 419 | // See if there is a matching IKeyMintDevice for this IRemotelyProvisionedComponent. |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 420 | auto keyMint = matchingKeyMintDevice(GetParam()); |
| 421 | if (!keyMint) { |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 422 | GTEST_SKIP() << "Skipping key use test as no matching KeyMint device found"; |
| 423 | return; |
| 424 | } |
| 425 | KeyMintHardwareInfo info; |
| 426 | ASSERT_TRUE(keyMint->getHardwareInfo(&info).isOk()); |
| 427 | |
| 428 | MacedPublicKey macedPubKey; |
| 429 | bytevec privateKeyBlob; |
| 430 | bool testMode = false; |
| 431 | auto status = provisionable_->generateEcdsaP256KeyPair(testMode, &macedPubKey, &privateKeyBlob); |
| 432 | ASSERT_TRUE(status.isOk()); |
| 433 | vector<uint8_t> coseKeyData; |
Tri Vo | b0b8acc | 2022-11-30 16:22:23 -0800 | [diff] [blame] | 434 | check_maced_pubkey(macedPubKey, testMode, &coseKeyData); |
David Drysdale | 4d3c298 | 2021-03-31 18:21:40 +0100 | [diff] [blame] | 435 | |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 436 | AttestationKey attestKey; |
| 437 | attestKey.keyBlob = std::move(privateKeyBlob); |
| 438 | attestKey.issuerSubjectName = make_name_from_str("Android Keystore Key"); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 439 | |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 440 | // Generate an ECDSA key that is attested by the generated P256 keypair. |
| 441 | AuthorizationSet keyDesc = AuthorizationSetBuilder() |
| 442 | .Authorization(TAG_NO_AUTH_REQUIRED) |
David Drysdale | 915ce25 | 2021-10-14 15:17:36 +0100 | [diff] [blame] | 443 | .EcdsaSigningKey(EcCurve::P_256) |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 444 | .AttestationChallenge("foo") |
| 445 | .AttestationApplicationId("bar") |
| 446 | .Digest(Digest::NONE) |
| 447 | .SetDefaultValidity(); |
| 448 | KeyCreationResult creationResult; |
| 449 | auto result = keyMint->generateKey(keyDesc.vector_data(), attestKey, &creationResult); |
| 450 | ASSERT_TRUE(result.isOk()); |
| 451 | vector<uint8_t> attested_key_blob = std::move(creationResult.keyBlob); |
| 452 | vector<KeyCharacteristics> attested_key_characteristics = |
| 453 | std::move(creationResult.keyCharacteristics); |
| 454 | vector<Certificate> attested_key_cert_chain = std::move(creationResult.certificateChain); |
| 455 | EXPECT_EQ(attested_key_cert_chain.size(), 1); |
| 456 | |
David Drysdale | 7dff4fc | 2021-12-10 10:10:52 +0000 | [diff] [blame] | 457 | int32_t aidl_version = 0; |
| 458 | ASSERT_TRUE(keyMint->getInterfaceVersion(&aidl_version).isOk()); |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 459 | AuthorizationSet hw_enforced = HwEnforcedAuthorizations(attested_key_characteristics); |
| 460 | AuthorizationSet sw_enforced = SwEnforcedAuthorizations(attested_key_characteristics); |
David Drysdale | 7dff4fc | 2021-12-10 10:10:52 +0000 | [diff] [blame] | 461 | EXPECT_TRUE(verify_attestation_record(aidl_version, "foo", "bar", sw_enforced, hw_enforced, |
David Drysdale | f0d516d | 2021-03-22 07:51:43 +0000 | [diff] [blame] | 462 | info.securityLevel, |
| 463 | attested_key_cert_chain[0].encodedCertificate)); |
| 464 | |
| 465 | // Attestation by itself is not valid (last entry is not self-signed). |
| 466 | EXPECT_FALSE(ChainSignaturesAreValid(attested_key_cert_chain)); |
| 467 | |
| 468 | // The signature over the attested key should correspond to the P256 public key. |
| 469 | X509_Ptr key_cert(parse_cert_blob(attested_key_cert_chain[0].encodedCertificate)); |
| 470 | ASSERT_TRUE(key_cert.get()); |
| 471 | EVP_PKEY_Ptr signing_pubkey; |
| 472 | p256_pub_key(coseKeyData, &signing_pubkey); |
| 473 | ASSERT_TRUE(signing_pubkey.get()); |
| 474 | |
| 475 | ASSERT_TRUE(X509_verify(key_cert.get(), signing_pubkey.get())) |
| 476 | << "Verification of attested certificate failed " |
| 477 | << "OpenSSL error string: " << ERR_error_string(ERR_get_error(), NULL); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 478 | } |
| 479 | |
| 480 | /** |
| 481 | * Generate and validate a test-mode key. |
| 482 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 483 | TEST_P(GenerateKeyTests, generateEcdsaP256Key_testMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 484 | MacedPublicKey macedPubKey; |
| 485 | bytevec privateKeyBlob; |
| 486 | bool testMode = true; |
| 487 | auto status = provisionable_->generateEcdsaP256KeyPair(testMode, &macedPubKey, &privateKeyBlob); |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 488 | |
| 489 | if (rpcHardwareInfo.versionNumber >= VERSION_WITHOUT_TEST_MODE) { |
| 490 | ASSERT_FALSE(status.isOk()); |
| 491 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_REMOVED); |
| 492 | return; |
| 493 | } |
| 494 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 495 | ASSERT_TRUE(status.isOk()); |
Tri Vo | b0b8acc | 2022-11-30 16:22:23 -0800 | [diff] [blame] | 496 | check_maced_pubkey(macedPubKey, testMode, nullptr); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 497 | } |
| 498 | |
Sean Thomas | f2946ab | 2024-11-27 18:09:46 +0000 | [diff] [blame] | 499 | /** |
| 500 | * Generate and validate at most 2**16 production-mode keys. This aims to catch issues that do not |
| 501 | * deterministically show up. In practice, this will test far fewer keys, but a certain number are |
| 502 | * tested at a minimum. |
| 503 | */ |
| 504 | TEST_P(GenerateKeyTests, generateManyEcdsaP256KeysInProdMode) { |
| 505 | const auto start = std::chrono::steady_clock::now(); |
| 506 | const auto time_bound = std::chrono::seconds(5); |
| 507 | const auto upper_bound = 1 << 16; |
| 508 | const auto lower_bound = 1 << 8; |
| 509 | for (auto iteration = 0; iteration < upper_bound; iteration++) { |
| 510 | MacedPublicKey macedPubKey; |
| 511 | bytevec privateKeyBlob; |
| 512 | bool testMode = false; |
| 513 | auto status = |
| 514 | provisionable_->generateEcdsaP256KeyPair(testMode, &macedPubKey, &privateKeyBlob); |
| 515 | ASSERT_TRUE(status.isOk()); |
| 516 | vector<uint8_t> coseKeyData; |
| 517 | check_maced_pubkey(macedPubKey, testMode, &coseKeyData); |
| 518 | const auto current_time = std::chrono::steady_clock::now() - start; |
| 519 | if (iteration >= lower_bound && current_time >= time_bound) { |
| 520 | break; |
| 521 | } |
| 522 | } |
| 523 | } |
| 524 | |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 525 | class CertificateRequestTestBase : public VtsRemotelyProvisionedComponentTests { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 526 | protected: |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 527 | CertificateRequestTestBase() |
| 528 | : eekId_(string_to_bytevec("eekid")), challenge_(randomBytes(64)) {} |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 529 | |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 530 | void generateTestEekChain(size_t eekLength) { |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 531 | auto chain = generateEekChain(rpcHardwareInfo.supportedEekCurve, eekLength, eekId_); |
David Drysdale | 08696a7 | 2022-03-10 10:43:25 +0000 | [diff] [blame] | 532 | ASSERT_TRUE(chain) << chain.message(); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 533 | if (chain) testEekChain_ = chain.moveValue(); |
| 534 | testEekLength_ = eekLength; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 535 | } |
| 536 | |
| 537 | void generateKeys(bool testMode, size_t numKeys) { |
| 538 | keysToSign_ = std::vector<MacedPublicKey>(numKeys); |
| 539 | cborKeysToSign_ = cppbor::Array(); |
| 540 | |
| 541 | for (auto& key : keysToSign_) { |
| 542 | bytevec privateKeyBlob; |
| 543 | auto status = provisionable_->generateEcdsaP256KeyPair(testMode, &key, &privateKeyBlob); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 544 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 545 | |
David Drysdale | c840077 | 2021-03-11 12:35:11 +0000 | [diff] [blame] | 546 | vector<uint8_t> payload_value; |
Tri Vo | b0b8acc | 2022-11-30 16:22:23 -0800 | [diff] [blame] | 547 | check_maced_pubkey(key, testMode, &payload_value); |
David Drysdale | c840077 | 2021-03-11 12:35:11 +0000 | [diff] [blame] | 548 | cborKeysToSign_.add(cppbor::EncodedItem(payload_value)); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 549 | } |
| 550 | } |
| 551 | |
| 552 | bytevec eekId_; |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 553 | size_t testEekLength_; |
| 554 | EekChain testEekChain_; |
David Drysdale | c840077 | 2021-03-11 12:35:11 +0000 | [diff] [blame] | 555 | bytevec challenge_; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 556 | std::vector<MacedPublicKey> keysToSign_; |
| 557 | cppbor::Array cborKeysToSign_; |
| 558 | }; |
| 559 | |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 560 | class CertificateRequestTest : public CertificateRequestTestBase { |
| 561 | protected: |
| 562 | void SetUp() override { |
| 563 | CertificateRequestTestBase::SetUp(); |
Andrew Scull | 1bcb602 | 2022-12-27 10:43:27 +0000 | [diff] [blame] | 564 | ASSERT_FALSE(HasFatalFailure()); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 565 | |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 566 | if (rpcHardwareInfo.versionNumber >= VERSION_WITH_CERTIFICATE_REQUEST_V2) { |
Andrew Scull | 95b3131 | 2023-03-27 19:16:07 +0000 | [diff] [blame] | 567 | GTEST_SKIP() << "This test case only applies to RKP v1 and v2. " |
| 568 | << "RKP version discovered: " << rpcHardwareInfo.versionNumber; |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 569 | } |
| 570 | } |
| 571 | }; |
| 572 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 573 | /** |
| 574 | * Generate an empty certificate request in test mode, and decrypt and verify the structure and |
| 575 | * content. |
| 576 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 577 | TEST_P(CertificateRequestTest, EmptyRequest_testMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 578 | bool testMode = true; |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 579 | for (size_t eekLength : {2, 3, 7}) { |
| 580 | SCOPED_TRACE(testing::Message() << "EEK of length " << eekLength); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 581 | generateTestEekChain(eekLength); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 582 | |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 583 | bytevec keysToSignMac; |
| 584 | DeviceInfo deviceInfo; |
| 585 | ProtectedData protectedData; |
| 586 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 587 | testMode, {} /* keysToSign */, testEekChain_.chain, challenge_, &deviceInfo, |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 588 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 589 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 590 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 591 | auto result = verifyProductionProtectedData(deviceInfo, cppbor::Array(), keysToSignMac, |
| 592 | protectedData, testEekChain_, eekId_, |
| 593 | rpcHardwareInfo, GetParam(), challenge_); |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 594 | ASSERT_TRUE(result) << result.message(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 595 | } |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 596 | } |
| 597 | |
| 598 | /** |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 599 | * Ensure that test mode outputs a unique BCC root key every time we request a |
| 600 | * certificate request. Else, it's possible that the test mode API could be used |
| 601 | * to fingerprint devices. Only the GEEK should be allowed to decrypt the same |
| 602 | * device public key multiple times. |
| 603 | */ |
| 604 | TEST_P(CertificateRequestTest, NewKeyPerCallInTestMode) { |
| 605 | constexpr bool testMode = true; |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 606 | |
| 607 | bytevec keysToSignMac; |
| 608 | DeviceInfo deviceInfo; |
| 609 | ProtectedData protectedData; |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 610 | generateTestEekChain(3); |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 611 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 612 | testMode, {} /* keysToSign */, testEekChain_.chain, challenge_, &deviceInfo, |
| 613 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 614 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 615 | |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 616 | auto firstBcc = verifyProductionProtectedData(deviceInfo, /*keysToSign=*/cppbor::Array(), |
| 617 | keysToSignMac, protectedData, testEekChain_, |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 618 | eekId_, rpcHardwareInfo, GetParam(), challenge_); |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 619 | ASSERT_TRUE(firstBcc) << firstBcc.message(); |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 620 | |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 621 | status = provisionable_->generateCertificateRequest( |
| 622 | testMode, {} /* keysToSign */, testEekChain_.chain, challenge_, &deviceInfo, |
| 623 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 624 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 625 | |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 626 | auto secondBcc = verifyProductionProtectedData(deviceInfo, /*keysToSign=*/cppbor::Array(), |
| 627 | keysToSignMac, protectedData, testEekChain_, |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 628 | eekId_, rpcHardwareInfo, GetParam(), challenge_); |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 629 | ASSERT_TRUE(secondBcc) << secondBcc.message(); |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 630 | |
| 631 | // Verify that none of the keys in the first BCC are repeated in the second one. |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 632 | for (const auto& i : *firstBcc) { |
| 633 | for (auto& j : *secondBcc) { |
Seth Moore | 42c1133 | 2021-07-02 15:38:17 -0700 | [diff] [blame] | 634 | ASSERT_THAT(i.pubKey, testing::Not(testing::ElementsAreArray(j.pubKey))) |
| 635 | << "Found a repeated pubkey in two generateCertificateRequest test mode calls"; |
| 636 | } |
| 637 | } |
| 638 | } |
| 639 | |
| 640 | /** |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 641 | * Generate an empty certificate request in prod mode. This test must be run explicitly, and |
| 642 | * is not run by default. Not all devices are GMS devices, and therefore they do not all |
| 643 | * trust the Google EEK root. |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 644 | */ |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 645 | TEST_P(CertificateRequestTest, DISABLED_EmptyRequest_prodMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 646 | bool testMode = false; |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 647 | |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 648 | bytevec keysToSignMac; |
| 649 | DeviceInfo deviceInfo; |
| 650 | ProtectedData protectedData; |
| 651 | auto status = provisionable_->generateCertificateRequest( |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 652 | testMode, {} /* keysToSign */, getProdEekChain(rpcHardwareInfo.supportedEekCurve), |
| 653 | challenge_, &deviceInfo, &protectedData, &keysToSignMac); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 654 | EXPECT_TRUE(status.isOk()); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 655 | } |
| 656 | |
| 657 | /** |
| 658 | * Generate a non-empty certificate request in test mode. Decrypt, parse and validate the contents. |
| 659 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 660 | TEST_P(CertificateRequestTest, NonEmptyRequest_testMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 661 | bool testMode = true; |
| 662 | generateKeys(testMode, 4 /* numKeys */); |
| 663 | |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 664 | for (size_t eekLength : {2, 3, 7}) { |
| 665 | SCOPED_TRACE(testing::Message() << "EEK of length " << eekLength); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 666 | generateTestEekChain(eekLength); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 667 | |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 668 | bytevec keysToSignMac; |
| 669 | DeviceInfo deviceInfo; |
| 670 | ProtectedData protectedData; |
| 671 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 672 | testMode, keysToSign_, testEekChain_.chain, challenge_, &deviceInfo, &protectedData, |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 673 | &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 674 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 675 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 676 | auto result = verifyProductionProtectedData(deviceInfo, cborKeysToSign_, keysToSignMac, |
| 677 | protectedData, testEekChain_, eekId_, |
| 678 | rpcHardwareInfo, GetParam(), challenge_); |
Seth Moore | 2fc6f83 | 2022-09-13 16:10:11 -0700 | [diff] [blame] | 679 | ASSERT_TRUE(result) << result.message(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 680 | } |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 681 | } |
| 682 | |
| 683 | /** |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 684 | * Generate a non-empty certificate request in prod mode. This test must be run explicitly, and |
| 685 | * is not run by default. Not all devices are GMS devices, and therefore they do not all |
| 686 | * trust the Google EEK root. |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 687 | */ |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 688 | TEST_P(CertificateRequestTest, DISABLED_NonEmptyRequest_prodMode) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 689 | bool testMode = false; |
| 690 | generateKeys(testMode, 4 /* numKeys */); |
| 691 | |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 692 | bytevec keysToSignMac; |
| 693 | DeviceInfo deviceInfo; |
| 694 | ProtectedData protectedData; |
| 695 | auto status = provisionable_->generateCertificateRequest( |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 696 | testMode, keysToSign_, getProdEekChain(rpcHardwareInfo.supportedEekCurve), challenge_, |
| 697 | &deviceInfo, &protectedData, &keysToSignMac); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 698 | EXPECT_TRUE(status.isOk()); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 699 | } |
| 700 | |
| 701 | /** |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 702 | * Generate a non-empty certificate request in test mode, but with the MAC corrupted on the keypair. |
| 703 | */ |
| 704 | TEST_P(CertificateRequestTest, NonEmptyRequestCorruptMac_testMode) { |
| 705 | bool testMode = true; |
| 706 | generateKeys(testMode, 1 /* numKeys */); |
David Drysdale | 08696a7 | 2022-03-10 10:43:25 +0000 | [diff] [blame] | 707 | auto result = corrupt_maced_key(keysToSign_[0]); |
| 708 | ASSERT_TRUE(result) << result.moveMessage(); |
| 709 | MacedPublicKey keyWithCorruptMac = result.moveValue(); |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 710 | |
| 711 | bytevec keysToSignMac; |
| 712 | DeviceInfo deviceInfo; |
| 713 | ProtectedData protectedData; |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 714 | generateTestEekChain(3); |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 715 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 716 | testMode, {keyWithCorruptMac}, testEekChain_.chain, challenge_, &deviceInfo, |
| 717 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 718 | ASSERT_FALSE(status.isOk()) << status.getDescription(); |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 719 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_INVALID_MAC); |
| 720 | } |
| 721 | |
| 722 | /** |
| 723 | * Generate a non-empty certificate request in prod mode, but with the MAC corrupted on the keypair. |
| 724 | */ |
| 725 | TEST_P(CertificateRequestTest, NonEmptyRequestCorruptMac_prodMode) { |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 726 | bool testMode = false; |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 727 | generateKeys(testMode, 1 /* numKeys */); |
David Drysdale | 08696a7 | 2022-03-10 10:43:25 +0000 | [diff] [blame] | 728 | auto result = corrupt_maced_key(keysToSign_[0]); |
| 729 | ASSERT_TRUE(result) << result.moveMessage(); |
| 730 | MacedPublicKey keyWithCorruptMac = result.moveValue(); |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 731 | |
| 732 | bytevec keysToSignMac; |
| 733 | DeviceInfo deviceInfo; |
| 734 | ProtectedData protectedData; |
| 735 | auto status = provisionable_->generateCertificateRequest( |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 736 | testMode, {keyWithCorruptMac}, getProdEekChain(rpcHardwareInfo.supportedEekCurve), |
| 737 | challenge_, &deviceInfo, &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 738 | ASSERT_FALSE(status.isOk()) << status.getDescription(); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 739 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_INVALID_MAC); |
David Drysdale | e99ed86 | 2021-03-15 16:43:06 +0000 | [diff] [blame] | 740 | } |
| 741 | |
| 742 | /** |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 743 | * Generate a non-empty certificate request in prod mode that has a corrupt EEK chain. |
| 744 | * Confirm that the request is rejected. |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 745 | */ |
| 746 | TEST_P(CertificateRequestTest, NonEmptyCorruptEekRequest_prodMode) { |
| 747 | bool testMode = false; |
| 748 | generateKeys(testMode, 4 /* numKeys */); |
| 749 | |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 750 | auto prodEekChain = getProdEekChain(rpcHardwareInfo.supportedEekCurve); |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 751 | auto [parsedChain, _, parseErr] = cppbor::parse(prodEekChain); |
| 752 | ASSERT_NE(parsedChain, nullptr) << parseErr; |
| 753 | ASSERT_NE(parsedChain->asArray(), nullptr); |
| 754 | |
| 755 | for (int ii = 0; ii < parsedChain->asArray()->size(); ++ii) { |
| 756 | auto chain = corrupt_sig_chain(prodEekChain, ii); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 757 | ASSERT_TRUE(chain) << chain.message(); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 758 | |
| 759 | bytevec keysToSignMac; |
| 760 | DeviceInfo deviceInfo; |
| 761 | ProtectedData protectedData; |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 762 | auto status = provisionable_->generateCertificateRequest(testMode, keysToSign_, *chain, |
| 763 | challenge_, &deviceInfo, |
| 764 | &protectedData, &keysToSignMac); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 765 | ASSERT_FALSE(status.isOk()); |
| 766 | ASSERT_EQ(status.getServiceSpecificError(), |
| 767 | BnRemotelyProvisionedComponent::STATUS_INVALID_EEK); |
| 768 | } |
| 769 | } |
| 770 | |
| 771 | /** |
| 772 | * Generate a non-empty certificate request in prod mode that has an incomplete EEK chain. |
| 773 | * Confirm that the request is rejected. |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 774 | */ |
| 775 | TEST_P(CertificateRequestTest, NonEmptyIncompleteEekRequest_prodMode) { |
| 776 | bool testMode = false; |
| 777 | generateKeys(testMode, 4 /* numKeys */); |
| 778 | |
| 779 | // Build an EEK chain that omits the first self-signed cert. |
| 780 | auto truncatedChain = cppbor::Array(); |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 781 | auto [chain, _, parseErr] = cppbor::parse(getProdEekChain(rpcHardwareInfo.supportedEekCurve)); |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 782 | ASSERT_TRUE(chain); |
| 783 | auto eekChain = chain->asArray(); |
| 784 | ASSERT_NE(eekChain, nullptr); |
| 785 | for (size_t ii = 1; ii < eekChain->size(); ii++) { |
| 786 | truncatedChain.add(eekChain->get(ii)->clone()); |
| 787 | } |
| 788 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 789 | bytevec keysToSignMac; |
Max Bires | fdbb904 | 2021-03-23 12:43:38 -0700 | [diff] [blame] | 790 | DeviceInfo deviceInfo; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 791 | ProtectedData protectedData; |
David Drysdale | cceca9f | 2021-03-12 15:49:47 +0000 | [diff] [blame] | 792 | auto status = provisionable_->generateCertificateRequest( |
| 793 | testMode, keysToSign_, truncatedChain.encode(), challenge_, &deviceInfo, &protectedData, |
| 794 | &keysToSignMac); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 795 | ASSERT_FALSE(status.isOk()); |
| 796 | ASSERT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_INVALID_EEK); |
| 797 | } |
| 798 | |
| 799 | /** |
| 800 | * Generate a non-empty certificate request in test mode, with prod keys. Must fail with |
| 801 | * STATUS_PRODUCTION_KEY_IN_TEST_REQUEST. |
| 802 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 803 | TEST_P(CertificateRequestTest, NonEmptyRequest_prodKeyInTestCert) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 804 | generateKeys(false /* testMode */, 2 /* numKeys */); |
| 805 | |
| 806 | bytevec keysToSignMac; |
Max Bires | fdbb904 | 2021-03-23 12:43:38 -0700 | [diff] [blame] | 807 | DeviceInfo deviceInfo; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 808 | ProtectedData protectedData; |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 809 | generateTestEekChain(3); |
Max Bires | fdbb904 | 2021-03-23 12:43:38 -0700 | [diff] [blame] | 810 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 811 | true /* testMode */, keysToSign_, testEekChain_.chain, challenge_, &deviceInfo, |
Max Bires | fdbb904 | 2021-03-23 12:43:38 -0700 | [diff] [blame] | 812 | &protectedData, &keysToSignMac); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 813 | ASSERT_FALSE(status.isOk()); |
| 814 | ASSERT_EQ(status.getServiceSpecificError(), |
| 815 | BnRemotelyProvisionedComponent::STATUS_PRODUCTION_KEY_IN_TEST_REQUEST); |
| 816 | } |
| 817 | |
| 818 | /** |
| 819 | * Generate a non-empty certificate request in prod mode, with test keys. Must fail with |
| 820 | * STATUS_TEST_KEY_IN_PRODUCTION_REQUEST. |
| 821 | */ |
Max Bires | 126869a | 2021-02-21 18:32:59 -0800 | [diff] [blame] | 822 | TEST_P(CertificateRequestTest, NonEmptyRequest_testKeyInProdCert) { |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 823 | generateKeys(true /* testMode */, 2 /* numKeys */); |
| 824 | |
| 825 | bytevec keysToSignMac; |
Max Bires | fdbb904 | 2021-03-23 12:43:38 -0700 | [diff] [blame] | 826 | DeviceInfo deviceInfo; |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 827 | ProtectedData protectedData; |
subrahmanyaman | fb213d6 | 2022-02-02 23:10:55 +0000 | [diff] [blame] | 828 | generateTestEekChain(3); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 829 | auto status = provisionable_->generateCertificateRequest( |
Seth Moore | 19acbe9 | 2021-06-23 15:15:52 -0700 | [diff] [blame] | 830 | false /* testMode */, keysToSign_, testEekChain_.chain, challenge_, &deviceInfo, |
David Drysdale | c840077 | 2021-03-11 12:35:11 +0000 | [diff] [blame] | 831 | &protectedData, &keysToSignMac); |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 832 | ASSERT_FALSE(status.isOk()); |
| 833 | ASSERT_EQ(status.getServiceSpecificError(), |
| 834 | BnRemotelyProvisionedComponent::STATUS_TEST_KEY_IN_PRODUCTION_REQUEST); |
| 835 | } |
| 836 | |
| 837 | INSTANTIATE_REM_PROV_AIDL_TEST(CertificateRequestTest); |
| 838 | |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 839 | class CertificateRequestV2Test : public CertificateRequestTestBase { |
| 840 | void SetUp() override { |
| 841 | CertificateRequestTestBase::SetUp(); |
Andrew Scull | 1bcb602 | 2022-12-27 10:43:27 +0000 | [diff] [blame] | 842 | ASSERT_FALSE(HasFatalFailure()); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 843 | |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 844 | if (rpcHardwareInfo.versionNumber < VERSION_WITH_CERTIFICATE_REQUEST_V2) { |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 845 | GTEST_SKIP() << "This test case only applies to RKP v3 and above. " |
| 846 | << "RKP version discovered: " << rpcHardwareInfo.versionNumber; |
| 847 | } |
| 848 | } |
| 849 | }; |
| 850 | |
| 851 | /** |
Sean Thomas | 4991fdd | 2024-11-22 19:12:00 +0000 | [diff] [blame] | 852 | * Check that ro.boot.vbmeta.device_state is not "locked" or ro.boot.verifiedbootstate |
| 853 | * is not "green" if and only if the mode on at least one certificate in the DICE chain |
| 854 | * is non-normal. |
| 855 | */ |
Sean Thomas | 76e97b7 | 2025-01-08 18:58:06 +0000 | [diff] [blame^] | 856 | TEST_P(CertificateRequestV2Test, DISABLED_unlockedBootloaderStatesImpliesNonnormalDiceChain) { |
Sean Thomas | 4991fdd | 2024-11-22 19:12:00 +0000 | [diff] [blame] | 857 | auto challenge = randomBytes(MAX_CHALLENGE_SIZE); |
| 858 | bytevec csr; |
| 859 | auto status = |
| 860 | provisionable_->generateCertificateRequestV2({} /* keysToSign */, challenge, &csr); |
| 861 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
| 862 | |
| 863 | auto isProper = isCsrWithProperDiceChain(csr, GetParam()); |
| 864 | ASSERT_TRUE(isProper) << isProper.message(); |
| 865 | if (!*isProper) { |
| 866 | GTEST_SKIP() << "Skipping test: Only a proper DICE chain has a mode set."; |
| 867 | } |
| 868 | |
| 869 | auto nonNormalMode = hasNonNormalModeInDiceChain(csr, GetParam()); |
| 870 | ASSERT_TRUE(nonNormalMode) << nonNormalMode.message(); |
| 871 | |
| 872 | auto deviceState = ::android::base::GetProperty("ro.boot.vbmeta.device_state", ""); |
| 873 | auto verifiedBootState = ::android::base::GetProperty("ro.boot.verifiedbootstate", ""); |
| 874 | |
| 875 | ASSERT_EQ(deviceState != "locked" || verifiedBootState != "green", *nonNormalMode) |
| 876 | << "ro.boot.vbmeta.device_state = '" << deviceState |
| 877 | << "' and ro.boot.verifiedbootstate = '" << verifiedBootState << "', but it is " |
| 878 | << *nonNormalMode |
| 879 | << " that the DICE chain has a certificate with a non-normal mode set."; |
| 880 | } |
| 881 | |
| 882 | /** |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 883 | * Generate an empty certificate request with all possible length of challenge, and decrypt and |
| 884 | * verify the structure and content. |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 885 | */ |
Seth Moore | ac1639f | 2023-04-27 11:14:11 -0700 | [diff] [blame] | 886 | // @VsrTest = 3.10-015 |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 887 | TEST_P(CertificateRequestV2Test, EmptyRequest) { |
| 888 | bytevec csr; |
| 889 | |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 890 | for (auto size = MIN_CHALLENGE_SIZE; size <= MAX_CHALLENGE_SIZE; size++) { |
| 891 | SCOPED_TRACE(testing::Message() << "challenge[" << size << "]"); |
| 892 | auto challenge = randomBytes(size); |
| 893 | auto status = |
| 894 | provisionable_->generateCertificateRequestV2({} /* keysToSign */, challenge, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 895 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 896 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 897 | auto result = verifyProductionCsr(cppbor::Array(), csr, rpcHardwareInfo, GetParam(), |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 898 | challenge, isRkpVmInstance_); |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 899 | ASSERT_TRUE(result) << result.message(); |
| 900 | } |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 901 | } |
| 902 | |
| 903 | /** |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 904 | * Generate a non-empty certificate request with all possible length of challenge. Decrypt, parse |
| 905 | * and validate the contents. |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 906 | */ |
Seth Moore | ac1639f | 2023-04-27 11:14:11 -0700 | [diff] [blame] | 907 | // @VsrTest = 3.10-015 |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 908 | TEST_P(CertificateRequestV2Test, NonEmptyRequest) { |
| 909 | generateKeys(false /* testMode */, 1 /* numKeys */); |
| 910 | |
| 911 | bytevec csr; |
| 912 | |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 913 | for (auto size = MIN_CHALLENGE_SIZE; size <= MAX_CHALLENGE_SIZE; size++) { |
| 914 | SCOPED_TRACE(testing::Message() << "challenge[" << size << "]"); |
| 915 | auto challenge = randomBytes(size); |
| 916 | auto status = provisionable_->generateCertificateRequestV2(keysToSign_, challenge, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 917 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 918 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 919 | auto result = verifyProductionCsr(cborKeysToSign_, csr, rpcHardwareInfo, GetParam(), |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 920 | challenge, isRkpVmInstance_); |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 921 | ASSERT_TRUE(result) << result.message(); |
| 922 | } |
| 923 | } |
| 924 | |
| 925 | /** |
| 926 | * Generate an empty certificate request with invalid size of challenge |
| 927 | */ |
| 928 | TEST_P(CertificateRequestV2Test, EmptyRequestWithInvalidChallengeFail) { |
| 929 | bytevec csr; |
| 930 | |
| 931 | auto status = provisionable_->generateCertificateRequestV2( |
| 932 | /* keysToSign */ {}, randomBytes(MAX_CHALLENGE_SIZE + 1), &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 933 | EXPECT_FALSE(status.isOk()) << status.getDescription(); |
Tommy Chiu | fde3ad1 | 2023-03-17 05:58:28 +0000 | [diff] [blame] | 934 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_FAILED); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 935 | } |
| 936 | |
| 937 | /** |
Andrew Scull | fb49ad2 | 2022-11-09 21:02:48 +0000 | [diff] [blame] | 938 | * Generate a non-empty certificate request. Make sure contents are reproducible but allow for the |
| 939 | * signature to be different since algorithms including ECDSA P-256 can include a random value. |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 940 | */ |
Seth Moore | ac1639f | 2023-04-27 11:14:11 -0700 | [diff] [blame] | 941 | // @VsrTest = 3.10-015 |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 942 | TEST_P(CertificateRequestV2Test, NonEmptyRequestReproducible) { |
| 943 | generateKeys(false /* testMode */, 1 /* numKeys */); |
| 944 | |
| 945 | bytevec csr; |
| 946 | |
| 947 | auto status = provisionable_->generateCertificateRequestV2(keysToSign_, challenge_, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 948 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 949 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 950 | auto firstCsr = verifyProductionCsr(cborKeysToSign_, csr, rpcHardwareInfo, GetParam(), |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 951 | challenge_, isRkpVmInstance_); |
Andrew Scull | fb49ad2 | 2022-11-09 21:02:48 +0000 | [diff] [blame] | 952 | ASSERT_TRUE(firstCsr) << firstCsr.message(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 953 | |
| 954 | status = provisionable_->generateCertificateRequestV2(keysToSign_, challenge_, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 955 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 956 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 957 | auto secondCsr = verifyProductionCsr(cborKeysToSign_, csr, rpcHardwareInfo, GetParam(), |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 958 | challenge_, isRkpVmInstance_); |
Andrew Scull | fb49ad2 | 2022-11-09 21:02:48 +0000 | [diff] [blame] | 959 | ASSERT_TRUE(secondCsr) << secondCsr.message(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 960 | |
Andrew Scull | fb49ad2 | 2022-11-09 21:02:48 +0000 | [diff] [blame] | 961 | ASSERT_EQ(**firstCsr, **secondCsr); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 962 | } |
| 963 | |
| 964 | /** |
| 965 | * Generate a non-empty certificate request with multiple keys. |
| 966 | */ |
Seth Moore | ac1639f | 2023-04-27 11:14:11 -0700 | [diff] [blame] | 967 | // @VsrTest = 3.10-015 |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 968 | TEST_P(CertificateRequestV2Test, NonEmptyRequestMultipleKeys) { |
Tri Vo | 9cab73c | 2022-10-28 13:40:24 -0700 | [diff] [blame] | 969 | generateKeys(false /* testMode */, rpcHardwareInfo.supportedNumKeysInCsr /* numKeys */); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 970 | |
| 971 | bytevec csr; |
| 972 | |
| 973 | auto status = provisionable_->generateCertificateRequestV2(keysToSign_, challenge_, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 974 | ASSERT_TRUE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 975 | |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 976 | auto result = verifyProductionCsr(cborKeysToSign_, csr, rpcHardwareInfo, GetParam(), challenge_, |
| 977 | isRkpVmInstance_); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 978 | ASSERT_TRUE(result) << result.message(); |
| 979 | } |
| 980 | |
| 981 | /** |
| 982 | * Generate a non-empty certificate request, but with the MAC corrupted on the keypair. |
| 983 | */ |
| 984 | TEST_P(CertificateRequestV2Test, NonEmptyRequestCorruptMac) { |
| 985 | generateKeys(false /* testMode */, 1 /* numKeys */); |
| 986 | auto result = corrupt_maced_key(keysToSign_[0]); |
| 987 | ASSERT_TRUE(result) << result.moveMessage(); |
| 988 | MacedPublicKey keyWithCorruptMac = result.moveValue(); |
| 989 | |
| 990 | bytevec csr; |
| 991 | auto status = |
| 992 | provisionable_->generateCertificateRequestV2({keyWithCorruptMac}, challenge_, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 993 | ASSERT_FALSE(status.isOk()) << status.getDescription(); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 994 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_INVALID_MAC); |
| 995 | } |
| 996 | |
| 997 | /** |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 998 | * Call generateCertificateRequest(). Make sure it's removed. |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 999 | */ |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 1000 | TEST_P(CertificateRequestV2Test, CertificateRequestV1Removed_prodMode) { |
| 1001 | bytevec keysToSignMac; |
| 1002 | DeviceInfo deviceInfo; |
| 1003 | ProtectedData protectedData; |
| 1004 | auto status = provisionable_->generateCertificateRequest( |
| 1005 | false /* testMode */, {} /* keysToSign */, {} /* EEK chain */, challenge_, &deviceInfo, |
| 1006 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 1007 | ASSERT_FALSE(status.isOk()) << status.getDescription(); |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 1008 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_REMOVED); |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 1009 | } |
| 1010 | |
Andrew Scull | 95b3131 | 2023-03-27 19:16:07 +0000 | [diff] [blame] | 1011 | /** |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 1012 | * Call generateCertificateRequest() in test mode. Make sure it's removed. |
Andrew Scull | 95b3131 | 2023-03-27 19:16:07 +0000 | [diff] [blame] | 1013 | */ |
Andrew Scull | f2ae193 | 2023-04-24 19:09:09 +0000 | [diff] [blame] | 1014 | TEST_P(CertificateRequestV2Test, CertificateRequestV1Removed_testMode) { |
Andrew Scull | 95b3131 | 2023-03-27 19:16:07 +0000 | [diff] [blame] | 1015 | bytevec keysToSignMac; |
| 1016 | DeviceInfo deviceInfo; |
| 1017 | ProtectedData protectedData; |
| 1018 | auto status = provisionable_->generateCertificateRequest( |
| 1019 | true /* testMode */, {} /* keysToSign */, {} /* EEK chain */, challenge_, &deviceInfo, |
| 1020 | &protectedData, &keysToSignMac); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 1021 | ASSERT_FALSE(status.isOk()) << status.getDescription(); |
Andrew Scull | 95b3131 | 2023-03-27 19:16:07 +0000 | [diff] [blame] | 1022 | EXPECT_EQ(status.getServiceSpecificError(), BnRemotelyProvisionedComponent::STATUS_REMOVED); |
| 1023 | } |
| 1024 | |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1025 | void parse_root_of_trust(const vector<uint8_t>& attestation_cert, |
| 1026 | vector<uint8_t>* verified_boot_key, VerifiedBoot* verified_boot_state, |
| 1027 | bool* device_locked, vector<uint8_t>* verified_boot_hash) { |
| 1028 | X509_Ptr cert(parse_cert_blob(attestation_cert)); |
| 1029 | ASSERT_TRUE(cert.get()); |
| 1030 | |
| 1031 | ASN1_OCTET_STRING* attest_rec = get_attestation_record(cert.get()); |
| 1032 | ASSERT_TRUE(attest_rec); |
| 1033 | |
| 1034 | auto error = parse_root_of_trust(attest_rec->data, attest_rec->length, verified_boot_key, |
| 1035 | verified_boot_state, device_locked, verified_boot_hash); |
| 1036 | ASSERT_EQ(error, ErrorCode::OK); |
| 1037 | } |
| 1038 | |
| 1039 | /** |
| 1040 | * Generate a CSR and verify DeviceInfo against IDs attested by KeyMint. |
| 1041 | */ |
Seth Moore | ac1639f | 2023-04-27 11:14:11 -0700 | [diff] [blame] | 1042 | // @VsrTest = 3.10-015 |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1043 | TEST_P(CertificateRequestV2Test, DeviceInfo) { |
| 1044 | // See if there is a matching IKeyMintDevice for this IRemotelyProvisionedComponent. |
Sean Thomas | a737a2d | 2024-11-20 17:25:53 +0000 | [diff] [blame] | 1045 | std::shared_ptr<IKeyMintDevice> keyMint = matchingKeyMintDevice(GetParam()); |
| 1046 | if (!keyMint) { |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1047 | GTEST_SKIP() << "Skipping key use test as no matching KeyMint device found"; |
| 1048 | return; |
| 1049 | } |
| 1050 | KeyMintHardwareInfo info; |
| 1051 | ASSERT_TRUE(keyMint->getHardwareInfo(&info).isOk()); |
| 1052 | |
| 1053 | // Get IDs attested by KeyMint. |
| 1054 | MacedPublicKey macedPubKey; |
| 1055 | bytevec privateKeyBlob; |
| 1056 | auto irpcStatus = |
| 1057 | provisionable_->generateEcdsaP256KeyPair(false, &macedPubKey, &privateKeyBlob); |
| 1058 | ASSERT_TRUE(irpcStatus.isOk()); |
| 1059 | |
| 1060 | AttestationKey attestKey; |
| 1061 | attestKey.keyBlob = std::move(privateKeyBlob); |
| 1062 | attestKey.issuerSubjectName = make_name_from_str("Android Keystore Key"); |
| 1063 | |
| 1064 | // Generate an ECDSA key that is attested by the generated P256 keypair. |
| 1065 | AuthorizationSet keyDesc = AuthorizationSetBuilder() |
| 1066 | .Authorization(TAG_NO_AUTH_REQUIRED) |
| 1067 | .EcdsaSigningKey(EcCurve::P_256) |
| 1068 | .AttestationChallenge("foo") |
| 1069 | .AttestationApplicationId("bar") |
| 1070 | .Digest(Digest::NONE) |
| 1071 | .SetDefaultValidity(); |
| 1072 | KeyCreationResult creationResult; |
| 1073 | auto kmStatus = keyMint->generateKey(keyDesc.vector_data(), attestKey, &creationResult); |
| 1074 | ASSERT_TRUE(kmStatus.isOk()); |
| 1075 | |
| 1076 | vector<KeyCharacteristics> key_characteristics = std::move(creationResult.keyCharacteristics); |
| 1077 | vector<Certificate> key_cert_chain = std::move(creationResult.certificateChain); |
| 1078 | // We didn't provision the attestation key. |
| 1079 | ASSERT_EQ(key_cert_chain.size(), 1); |
| 1080 | |
| 1081 | // Parse attested patch levels. |
| 1082 | auto auths = HwEnforcedAuthorizations(key_characteristics); |
| 1083 | |
| 1084 | auto attestedSystemPatchLevel = auths.GetTagValue(TAG_OS_PATCHLEVEL); |
| 1085 | auto attestedVendorPatchLevel = auths.GetTagValue(TAG_VENDOR_PATCHLEVEL); |
| 1086 | auto attestedBootPatchLevel = auths.GetTagValue(TAG_BOOT_PATCHLEVEL); |
| 1087 | |
| 1088 | ASSERT_TRUE(attestedSystemPatchLevel.has_value()); |
| 1089 | ASSERT_TRUE(attestedVendorPatchLevel.has_value()); |
| 1090 | ASSERT_TRUE(attestedBootPatchLevel.has_value()); |
| 1091 | |
| 1092 | // Parse attested AVB values. |
| 1093 | vector<uint8_t> key; |
| 1094 | VerifiedBoot attestedVbState; |
| 1095 | bool attestedBootloaderState; |
| 1096 | vector<uint8_t> attestedVbmetaDigest; |
| 1097 | parse_root_of_trust(key_cert_chain[0].encodedCertificate, &key, &attestedVbState, |
| 1098 | &attestedBootloaderState, &attestedVbmetaDigest); |
| 1099 | |
| 1100 | // Get IDs from DeviceInfo. |
| 1101 | bytevec csr; |
| 1102 | irpcStatus = |
| 1103 | provisionable_->generateCertificateRequestV2({} /* keysToSign */, challenge_, &csr); |
Frederick Mayle | 9891be0 | 2023-11-03 14:39:24 -0700 | [diff] [blame] | 1104 | ASSERT_TRUE(irpcStatus.isOk()) << irpcStatus.getDescription(); |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1105 | |
Alice Wang | f112ec9 | 2024-10-08 07:30:28 +0000 | [diff] [blame] | 1106 | auto result = |
Sean Thomas | 2d2385b | 2024-11-07 23:56:03 +0000 | [diff] [blame] | 1107 | verifyProductionCsr(cppbor::Array(), csr, rpcHardwareInfo, GetParam(), challenge_); |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1108 | ASSERT_TRUE(result) << result.message(); |
| 1109 | |
| 1110 | std::unique_ptr<cppbor::Array> csrPayload = std::move(*result); |
| 1111 | ASSERT_TRUE(csrPayload); |
Sean Thomas | b85a71d | 2024-11-12 20:29:21 +0000 | [diff] [blame] | 1112 | ASSERT_TRUE(csrPayload->size() > 2); |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1113 | |
| 1114 | auto deviceInfo = csrPayload->get(2)->asMap(); |
| 1115 | ASSERT_TRUE(deviceInfo); |
| 1116 | |
| 1117 | auto vbState = deviceInfo->get("vb_state")->asTstr(); |
| 1118 | auto bootloaderState = deviceInfo->get("bootloader_state")->asTstr(); |
| 1119 | auto vbmetaDigest = deviceInfo->get("vbmeta_digest")->asBstr(); |
| 1120 | auto systemPatchLevel = deviceInfo->get("system_patch_level")->asUint(); |
| 1121 | auto vendorPatchLevel = deviceInfo->get("vendor_patch_level")->asUint(); |
| 1122 | auto bootPatchLevel = deviceInfo->get("boot_patch_level")->asUint(); |
| 1123 | auto securityLevel = deviceInfo->get("security_level")->asTstr(); |
| 1124 | |
| 1125 | ASSERT_TRUE(vbState); |
| 1126 | ASSERT_TRUE(bootloaderState); |
| 1127 | ASSERT_TRUE(vbmetaDigest); |
| 1128 | ASSERT_TRUE(systemPatchLevel); |
| 1129 | ASSERT_TRUE(vendorPatchLevel); |
| 1130 | ASSERT_TRUE(bootPatchLevel); |
| 1131 | ASSERT_TRUE(securityLevel); |
| 1132 | |
Sean Thomas | afbab60 | 2024-11-07 23:14:05 +0000 | [diff] [blame] | 1133 | auto kmDeviceName = deviceSuffix(GetParam()); |
Tri Vo | ec50ee1 | 2023-02-14 16:29:53 -0800 | [diff] [blame] | 1134 | |
| 1135 | // Compare DeviceInfo against IDs attested by KeyMint. |
| 1136 | ASSERT_TRUE((securityLevel->value() == "tee" && kmDeviceName == "default") || |
| 1137 | (securityLevel->value() == "strongbox" && kmDeviceName == "strongbox")); |
| 1138 | ASSERT_TRUE((vbState->value() == "green" && attestedVbState == VerifiedBoot::VERIFIED) || |
| 1139 | (vbState->value() == "yellow" && attestedVbState == VerifiedBoot::SELF_SIGNED) || |
| 1140 | (vbState->value() == "orange" && attestedVbState == VerifiedBoot::UNVERIFIED)); |
| 1141 | ASSERT_TRUE((bootloaderState->value() == "locked" && attestedBootloaderState) || |
| 1142 | (bootloaderState->value() == "unlocked" && !attestedBootloaderState)); |
| 1143 | ASSERT_EQ(vbmetaDigest->value(), attestedVbmetaDigest); |
| 1144 | ASSERT_EQ(systemPatchLevel->value(), attestedSystemPatchLevel.value()); |
| 1145 | ASSERT_EQ(vendorPatchLevel->value(), attestedVendorPatchLevel.value()); |
| 1146 | ASSERT_EQ(bootPatchLevel->value(), attestedBootPatchLevel.value()); |
| 1147 | } |
| 1148 | |
Tri Vo | 0d6204e | 2022-09-29 16:15:34 -0700 | [diff] [blame] | 1149 | INSTANTIATE_REM_PROV_AIDL_TEST(CertificateRequestV2Test); |
| 1150 | |
Max Bires | a9b3bb9 | 2022-11-21 23:02:09 -0800 | [diff] [blame] | 1151 | using VsrRequirementTest = VtsRemotelyProvisionedComponentTests; |
| 1152 | |
| 1153 | INSTANTIATE_REM_PROV_AIDL_TEST(VsrRequirementTest); |
| 1154 | |
| 1155 | TEST_P(VsrRequirementTest, VsrEnforcementTest) { |
| 1156 | RpcHardwareInfo hwInfo; |
| 1157 | ASSERT_TRUE(provisionable_->getHardwareInfo(&hwInfo).isOk()); |
Catherine Vlasov | 6d94e96 | 2024-12-13 14:57:42 +0000 | [diff] [blame] | 1158 | int vendor_api_level = get_vendor_api_level(); |
| 1159 | if (vendor_api_level < __ANDROID_API_U__) { |
| 1160 | GTEST_SKIP() << "Applies only to vendor API level >= 34, but this device is: " |
| 1161 | << vendor_api_level; |
Max Bires | a9b3bb9 | 2022-11-21 23:02:09 -0800 | [diff] [blame] | 1162 | } |
| 1163 | EXPECT_GE(hwInfo.versionNumber, 3) |
| 1164 | << "VSR 14+ requires IRemotelyProvisionedComponent v3 or newer."; |
| 1165 | } |
| 1166 | |
Shawn Willden | 274bb55 | 2020-09-30 22:39:22 -0600 | [diff] [blame] | 1167 | } // namespace aidl::android::hardware::security::keymint::test |