OLD | NEW |
| (Empty) |
1 // Copyright (c) 2013 The Chromium Authors. All rights reserved. | |
2 // Use of this source code is governed by a BSD-style license that can be | |
3 // found in the LICENSE file. | |
4 | |
5 #include "net/quic/crypto/aes_128_gcm_12_decrypter.h" | |
6 | |
7 #include <memory> | |
8 | |
9 #include "net/quic/quic_flags.h" | |
10 #include "net/quic/quic_utils.h" | |
11 #include "net/quic/test_tools/quic_test_utils.h" | |
12 | |
13 using base::StringPiece; | |
14 using std::string; | |
15 | |
16 namespace { | |
17 | |
18 // The AES GCM test vectors come from the file gcmDecrypt128.rsp | |
19 // downloaded from http://csrc.nist.gov/groups/STM/cavp/index.html on | |
20 // 2013-02-01. The test vectors in that file look like this: | |
21 // | |
22 // [Keylen = 128] | |
23 // [IVlen = 96] | |
24 // [PTlen = 0] | |
25 // [AADlen = 0] | |
26 // [Taglen = 128] | |
27 // | |
28 // Count = 0 | |
29 // Key = cf063a34d4a9a76c2c86787d3f96db71 | |
30 // IV = 113b9785971864c83b01c787 | |
31 // CT = | |
32 // AAD = | |
33 // Tag = 72ac8493e3a5228b5d130a69d2510e42 | |
34 // PT = | |
35 // | |
36 // Count = 1 | |
37 // Key = a49a5e26a2f8cb63d05546c2a62f5343 | |
38 // IV = 907763b19b9b4ab6bd4f0281 | |
39 // CT = | |
40 // AAD = | |
41 // Tag = a2be08210d8c470a8df6e8fbd79ec5cf | |
42 // FAIL | |
43 // | |
44 // ... | |
45 // | |
46 // The gcmDecrypt128.rsp file is huge (2.6 MB), so I selected just a | |
47 // few test vectors for this unit test. | |
48 | |
49 // Describes a group of test vectors that all have a given key length, IV | |
50 // length, plaintext length, AAD length, and tag length. | |
51 struct TestGroupInfo { | |
52 size_t key_len; | |
53 size_t iv_len; | |
54 size_t pt_len; | |
55 size_t aad_len; | |
56 size_t tag_len; | |
57 }; | |
58 | |
59 // Each test vector consists of six strings of lowercase hexadecimal digits. | |
60 // The strings may be empty (zero length). A test vector with a nullptr |key| | |
61 // marks the end of an array of test vectors. | |
62 struct TestVector { | |
63 // Input: | |
64 const char* key; | |
65 const char* iv; | |
66 const char* ct; | |
67 const char* aad; | |
68 const char* tag; | |
69 | |
70 // Expected output: | |
71 const char* pt; // An empty string "" means decryption succeeded and | |
72 // the plaintext is zero-length. nullptr means decryption | |
73 // failed. | |
74 }; | |
75 | |
76 const TestGroupInfo test_group_info[] = { | |
77 {128, 96, 0, 0, 128}, {128, 96, 0, 128, 128}, {128, 96, 128, 0, 128}, | |
78 {128, 96, 408, 160, 128}, {128, 96, 408, 720, 128}, {128, 96, 104, 0, 128}, | |
79 }; | |
80 | |
81 const TestVector test_group_0[] = { | |
82 {"cf063a34d4a9a76c2c86787d3f96db71", "113b9785971864c83b01c787", "", "", | |
83 "72ac8493e3a5228b5d130a69d2510e42", ""}, | |
84 { | |
85 "a49a5e26a2f8cb63d05546c2a62f5343", "907763b19b9b4ab6bd4f0281", "", "", | |
86 "a2be08210d8c470a8df6e8fbd79ec5cf", | |
87 nullptr // FAIL | |
88 }, | |
89 {nullptr}}; | |
90 | |
91 const TestVector test_group_1[] = { | |
92 { | |
93 "d1f6af919cde85661208bdce0c27cb22", "898c6929b435017bf031c3c5", "", | |
94 "7c5faa40e636bbc91107e68010c92b9f", "ae45f11777540a2caeb128be8092468a", | |
95 nullptr // FAIL | |
96 }, | |
97 {"2370e320d4344208e0ff5683f243b213", "04dbb82f044d30831c441228", "", | |
98 "d43a8e5089eea0d026c03a85178b27da", "2a049c049d25aa95969b451d93c31c6e", | |
99 ""}, | |
100 {nullptr}}; | |
101 | |
102 const TestVector test_group_2[] = { | |
103 {"e98b72a9881a84ca6b76e0f43e68647a", "8b23299fde174053f3d652ba", | |
104 "5a3c1cf1985dbb8bed818036fdd5ab42", "", "23c7ab0f952b7091cd324835043b5eb5", | |
105 "28286a321293253c3e0aa2704a278032"}, | |
106 {"33240636cd3236165f1a553b773e728e", "17c4d61493ecdc8f31700b12", | |
107 "47bb7e23f7bdfe05a8091ac90e4f8b2e", "", "b723c70e931d9785f40fd4ab1d612dc9", | |
108 "95695a5b12f2870b9cc5fdc8f218a97d"}, | |
109 { | |
110 "5164df856f1e9cac04a79b808dc5be39", "e76925d5355e0584ce871b2b", | |
111 "0216c899c88d6e32c958c7e553daa5bc", "", | |
112 "a145319896329c96df291f64efbe0e3a", | |
113 nullptr // FAIL | |
114 }, | |
115 {nullptr}}; | |
116 | |
117 const TestVector test_group_3[] = { | |
118 {"af57f42c60c0fc5a09adb81ab86ca1c3", "a2dc01871f37025dc0fc9a79", | |
119 "b9a535864f48ea7b6b1367914978f9bfa087d854bb0e269bed8d279d2eea1210e48947" | |
120 "338b22f9bad09093276a331e9c79c7f4", | |
121 "41dc38988945fcb44faf2ef72d0061289ef8efd8", | |
122 "4f71e72bde0018f555c5adcce062e005", | |
123 "3803a0727eeb0ade441e0ec107161ded2d425ec0d102f21f51bf2cf9947c7ec4aa7279" | |
124 "5b2f69b041596e8817d0a3c16f8fadeb"}, | |
125 {"ebc753e5422b377d3cb64b58ffa41b61", "2e1821efaced9acf1f241c9b", | |
126 "069567190554e9ab2b50a4e1fbf9c147340a5025fdbd201929834eaf6532325899ccb9" | |
127 "f401823e04b05817243d2142a3589878", | |
128 "b9673412fd4f88ba0e920f46dd6438ff791d8eef", | |
129 "534d9234d2351cf30e565de47baece0b", | |
130 "39077edb35e9c5a4b1e4c2a6b9bb1fce77f00f5023af40333d6d699014c2bcf4209c18" | |
131 "353a18017f5b36bfc00b1f6dcb7ed485"}, | |
132 { | |
133 "52bdbbf9cf477f187ec010589cb39d58", "d3be36d3393134951d324b31", | |
134 "700188da144fa692cf46e4a8499510a53d90903c967f7f13e8a1bd8151a74adc4fe63e" | |
135 "32b992760b3a5f99e9a47838867000a9", | |
136 "93c4fc6a4135f54d640b0c976bf755a06a292c33", | |
137 "8ca4e38aa3dfa6b1d0297021ccf3ea5f", | |
138 nullptr // FAIL | |
139 }, | |
140 {nullptr}}; | |
141 | |
142 const TestVector test_group_4[] = { | |
143 {"da2bb7d581493d692380c77105590201", "44aa3e7856ca279d2eb020c6", | |
144 "9290d430c9e89c37f0446dbd620c9a6b34b1274aeb6f911f75867efcf95b6feda69f1a" | |
145 "f4ee16c761b3c9aeac3da03aa9889c88", | |
146 "4cd171b23bddb3a53cdf959d5c1710b481eb3785a90eb20a2345ee00d0bb7868c367ab" | |
147 "12e6f4dd1dee72af4eee1d197777d1d6499cc541f34edbf45cda6ef90b3c024f9272d7" | |
148 "2ec1909fb8fba7db88a4d6f7d3d925980f9f9f72", | |
149 "9e3ac938d3eb0cadd6f5c9e35d22ba38", | |
150 "9bbf4c1a2742f6ac80cb4e8a052e4a8f4f07c43602361355b717381edf9fabd4cb7e3a" | |
151 "d65dbd1378b196ac270588dd0621f642"}, | |
152 {"d74e4958717a9d5c0e235b76a926cae8", "0b7471141e0c70b1995fd7b1", | |
153 "e701c57d2330bf066f9ff8cf3ca4343cafe4894651cd199bdaaa681ba486b4a65c5a22" | |
154 "b0f1420be29ea547d42c713bc6af66aa", | |
155 "4a42b7aae8c245c6f1598a395316e4b8484dbd6e64648d5e302021b1d3fa0a38f46e22" | |
156 "bd9c8080b863dc0016482538a8562a4bd0ba84edbe2697c76fd039527ac179ec5506cf" | |
157 "34a6039312774cedebf4961f3978b14a26509f96", | |
158 "e192c23cb036f0b31592989119eed55d", | |
159 "840d9fb95e32559fb3602e48590280a172ca36d9b49ab69510f5bd552bfab7a306f85f" | |
160 "f0a34bc305b88b804c60b90add594a17"}, | |
161 { | |
162 "1986310c725ac94ecfe6422e75fc3ee7", "93ec4214fa8e6dc4e3afc775", | |
163 "b178ec72f85a311ac4168f42a4b2c23113fbea4b85f4b9dabb74e143eb1b8b0a361e02" | |
164 "43edfd365b90d5b325950df0ada058f9", | |
165 "e80b88e62c49c958b5e0b8b54f532d9ff6aa84c8a40132e93e55b59fc24e8decf28463" | |
166 "139f155d1e8ce4ee76aaeefcd245baa0fc519f83a5fb9ad9aa40c4b21126013f576c42" | |
167 "72c2cb136c8fd091cc4539877a5d1e72d607f960", | |
168 "8b347853f11d75e81e8a95010be81f17", | |
169 nullptr // FAIL | |
170 }, | |
171 {nullptr}}; | |
172 | |
173 const TestVector test_group_5[] = { | |
174 {"387218b246c1a8257748b56980e50c94", "dd7e014198672be39f95b69d", | |
175 "cdba9e73eaf3d38eceb2b04a8d", "", "ecf90f4a47c9c626d6fb2c765d201556", | |
176 "48f5b426baca03064554cc2b30"}, | |
177 {"294de463721e359863887c820524b3d4", "3338b35c9d57a5d28190e8c9", | |
178 "2f46634e74b8e4c89812ac83b9", "", "dabd506764e68b82a7e720aa18da0abe", | |
179 "46a2e55c8e264df211bd112685"}, | |
180 {"28ead7fd2179e0d12aa6d5d88c58c2dc", "5055347f18b4d5add0ae5c41", | |
181 "142d8210c3fb84774cdbd0447a", "", "5fd321d9cdb01952dc85f034736c2a7d", | |
182 "3b95b981086ee73cc4d0cc1422"}, | |
183 { | |
184 "7d7b6c988137b8d470c57bf674a09c87", "9edf2aa970d016ac962e1fd8", | |
185 "a85b66c3cb5eab91d5bdc8bc0e", "", "dc054efc01f3afd21d9c2484819f569a", | |
186 nullptr // FAIL | |
187 }, | |
188 {nullptr}}; | |
189 | |
190 const TestVector* const test_group_array[] = { | |
191 test_group_0, test_group_1, test_group_2, | |
192 test_group_3, test_group_4, test_group_5, | |
193 }; | |
194 | |
195 } // namespace | |
196 | |
197 namespace net { | |
198 namespace test { | |
199 | |
200 // DecryptWithNonce wraps the |Decrypt| method of |decrypter| to allow passing | |
201 // in an nonce and also to allocate the buffer needed for the plaintext. | |
202 QuicData* DecryptWithNonce(Aes128Gcm12Decrypter* decrypter, | |
203 StringPiece nonce, | |
204 StringPiece associated_data, | |
205 StringPiece ciphertext) { | |
206 QuicPathId path_id = kDefaultPathId; | |
207 QuicPacketNumber packet_number; | |
208 StringPiece nonce_prefix(nonce.data(), nonce.size() - sizeof(packet_number)); | |
209 decrypter->SetNoncePrefix(nonce_prefix); | |
210 memcpy(&packet_number, nonce.data() + nonce_prefix.size(), | |
211 sizeof(packet_number)); | |
212 path_id = static_cast<QuicPathId>( | |
213 packet_number >> 8 * (sizeof(packet_number) - sizeof(path_id))); | |
214 packet_number &= UINT64_C(0x00FFFFFFFFFFFFFF); | |
215 std::unique_ptr<char[]> output(new char[ciphertext.length()]); | |
216 size_t output_length = 0; | |
217 const bool success = decrypter->DecryptPacket( | |
218 path_id, packet_number, associated_data, ciphertext, output.get(), | |
219 &output_length, ciphertext.length()); | |
220 if (!success) { | |
221 return nullptr; | |
222 } | |
223 return new QuicData(output.release(), output_length, true); | |
224 } | |
225 | |
226 TEST(Aes128Gcm12DecrypterTest, Decrypt) { | |
227 for (size_t i = 0; i < arraysize(test_group_array); i++) { | |
228 SCOPED_TRACE(i); | |
229 const TestVector* test_vectors = test_group_array[i]; | |
230 const TestGroupInfo& test_info = test_group_info[i]; | |
231 for (size_t j = 0; test_vectors[j].key != nullptr; j++) { | |
232 // If not present then decryption is expected to fail. | |
233 bool has_pt = test_vectors[j].pt; | |
234 | |
235 // Decode the test vector. | |
236 string key = QuicUtils::HexDecode(test_vectors[j].key); | |
237 string iv = QuicUtils::HexDecode(test_vectors[j].iv); | |
238 string ct = QuicUtils::HexDecode(test_vectors[j].ct); | |
239 string aad = QuicUtils::HexDecode(test_vectors[j].aad); | |
240 string tag = QuicUtils::HexDecode(test_vectors[j].tag); | |
241 string pt; | |
242 if (has_pt) { | |
243 pt = QuicUtils::HexDecode(test_vectors[j].pt); | |
244 } | |
245 | |
246 // The test vector's lengths should look sane. Note that the lengths | |
247 // in |test_info| are in bits. | |
248 EXPECT_EQ(test_info.key_len, key.length() * 8); | |
249 EXPECT_EQ(test_info.iv_len, iv.length() * 8); | |
250 EXPECT_EQ(test_info.pt_len, ct.length() * 8); | |
251 EXPECT_EQ(test_info.aad_len, aad.length() * 8); | |
252 EXPECT_EQ(test_info.tag_len, tag.length() * 8); | |
253 if (has_pt) { | |
254 EXPECT_EQ(test_info.pt_len, pt.length() * 8); | |
255 } | |
256 | |
257 // The test vectors have 16 byte authenticators but this code only uses | |
258 // the first 12. | |
259 ASSERT_LE(static_cast<size_t>(Aes128Gcm12Decrypter::kAuthTagSize), | |
260 tag.length()); | |
261 tag.resize(Aes128Gcm12Decrypter::kAuthTagSize); | |
262 string ciphertext = ct + tag; | |
263 | |
264 Aes128Gcm12Decrypter decrypter; | |
265 ASSERT_TRUE(decrypter.SetKey(key)); | |
266 | |
267 std::unique_ptr<QuicData> decrypted(DecryptWithNonce( | |
268 &decrypter, iv, | |
269 // This deliberately tests that the decrypter can handle an AAD that | |
270 // is set to nullptr, as opposed to a zero-length, non-nullptr | |
271 // pointer. | |
272 aad.length() ? aad : StringPiece(), ciphertext)); | |
273 if (!decrypted.get()) { | |
274 EXPECT_FALSE(has_pt); | |
275 continue; | |
276 } | |
277 EXPECT_TRUE(has_pt); | |
278 | |
279 ASSERT_EQ(pt.length(), decrypted->length()); | |
280 test::CompareCharArraysWithHexError("plaintext", decrypted->data(), | |
281 pt.length(), pt.data(), pt.length()); | |
282 } | |
283 } | |
284 } | |
285 | |
286 } // namespace test | |
287 } // namespace net | |
OLD | NEW |