blob: 1fcde5144e5bdd9f05bfdd78e80e115a70813c25 [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
20#include <openssl/aead.h>
21#include <openssl/bytestring.h>
22#include <openssl/digest.h>
23#include <openssl/hmac.h>
24#include <openssl/hkdf.h>
25#include <openssl/mem.h>
26
27#include "internal.h"
28
29
30int tls13_init_key_schedule(SSL *ssl, const uint8_t *resumption_ctx,
31 size_t resumption_ctx_len) {
32 SSL_HANDSHAKE *hs = ssl->s3->hs;
33 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
34
35 hs->hash_len = EVP_MD_size(digest);
36
37 /* Save the hash of the resumption context. */
38 unsigned resumption_hash_len;
39 if (!EVP_Digest(resumption_ctx, resumption_ctx_len, hs->resumption_hash,
40 &resumption_hash_len, digest, NULL)) {
41 return 0;
42 }
43
44 /* Initialize the secret to the zero key. */
45 memset(hs->secret, 0, hs->hash_len);
46
47 /* Initialize the rolling hashes and release the handshake buffer. */
48 if (!ssl3_init_handshake_hash(ssl)) {
49 return 0;
50 }
51 ssl3_free_handshake_buffer(ssl);
52 return 1;
53}
54
55int tls13_advance_key_schedule(SSL *ssl, const uint8_t *in, size_t len) {
56 SSL_HANDSHAKE *hs = ssl->s3->hs;
57 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
58
59 return HKDF_extract(hs->secret, &hs->hash_len, digest, in, len, hs->secret,
60 hs->hash_len);
61}
62
63static int hkdf_expand_label(uint8_t *out, const EVP_MD *digest,
64 const uint8_t *secret, size_t secret_len,
65 const uint8_t *label, size_t label_len,
66 const uint8_t *hash, size_t hash_len, size_t len) {
67 static const char kTLS13LabelVersion[] = "TLS 1.3, ";
68
69 CBB cbb, child;
70 uint8_t *hkdf_label;
71 size_t hkdf_label_len;
72 if (!CBB_init(&cbb, 2 + 1 + strlen(kTLS13LabelVersion) + label_len + 1 +
73 hash_len) ||
74 !CBB_add_u16(&cbb, len) ||
75 !CBB_add_u8_length_prefixed(&cbb, &child) ||
76 !CBB_add_bytes(&child, (const uint8_t *)kTLS13LabelVersion,
77 strlen(kTLS13LabelVersion)) ||
78 !CBB_add_bytes(&child, label, label_len) ||
79 !CBB_add_u8_length_prefixed(&cbb, &child) ||
80 !CBB_add_bytes(&child, hash, hash_len) ||
81 !CBB_finish(&cbb, &hkdf_label, &hkdf_label_len)) {
82 CBB_cleanup(&cbb);
83 return 0;
84 }
85
86 int ret = HKDF_expand(out, len, digest, secret, secret_len, hkdf_label,
87 hkdf_label_len);
88 OPENSSL_free(hkdf_label);
89 return ret;
90}
91
92int tls13_get_context_hashes(SSL *ssl, uint8_t *out, size_t *out_len) {
93 SSL_HANDSHAKE *hs = ssl->s3->hs;
94
95 EVP_MD_CTX ctx;
96 EVP_MD_CTX_init(&ctx);
97 unsigned handshake_len = 0;
98 int ok = EVP_MD_CTX_copy_ex(&ctx, &ssl->s3->handshake_hash) &&
99 EVP_DigestFinal_ex(&ctx, out, &handshake_len);
100 EVP_MD_CTX_cleanup(&ctx);
101 if (!ok) {
102 return 0;
103 }
104
105 memcpy(out + handshake_len, hs->resumption_hash, hs->hash_len);
106 *out_len = handshake_len + hs->hash_len;
107 return 1;
108}
109
110/* derive_secret derives a secret of length |len| and writes the result in |out|
111 * with the given label and the current base secret and most recently-saved
112 * handshake context. It returns one on success and zero on error. */
113static int derive_secret(SSL *ssl, uint8_t *out, size_t len,
114 const uint8_t *label, size_t label_len) {
115 SSL_HANDSHAKE *hs = ssl->s3->hs;
116 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
117
118 uint8_t context_hashes[2 * EVP_MAX_MD_SIZE];
119 size_t context_hashes_len;
120 if (!tls13_get_context_hashes(ssl, context_hashes, &context_hashes_len)) {
121 return 0;
122 }
123
124 return hkdf_expand_label(out, digest, hs->secret, hs->hash_len, label,
125 label_len, context_hashes, context_hashes_len, len);
126}
127
128int tls13_set_traffic_key(SSL *ssl, enum tls_record_type_t type,
129 enum evp_aead_direction_t direction,
130 const uint8_t *traffic_secret,
131 size_t traffic_secret_len) {
132 if (traffic_secret_len > 0xff) {
133 OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
134 return 0;
135 }
136
Steven Valdezc4aa7272016-10-03 12:25:56 -0400137 const char *key_label, *iv_label;
Steven Valdez143e8b32016-07-11 13:19:03 -0400138 switch (type) {
139 case type_early_handshake:
Steven Valdezc4aa7272016-10-03 12:25:56 -0400140 key_label = "early handshake key expansion, key";
141 iv_label = "early handshake key expansion, iv";
Steven Valdez143e8b32016-07-11 13:19:03 -0400142 break;
143 case type_early_data:
Steven Valdezc4aa7272016-10-03 12:25:56 -0400144 key_label = "early application data key expansion, key";
145 iv_label = "early application data key expansion, iv";
Steven Valdez143e8b32016-07-11 13:19:03 -0400146 break;
147 case type_handshake:
Steven Valdezc4aa7272016-10-03 12:25:56 -0400148 key_label = "handshake key expansion, key";
149 iv_label = "handshake key expansion, iv";
Steven Valdez143e8b32016-07-11 13:19:03 -0400150 break;
151 case type_data:
Steven Valdezc4aa7272016-10-03 12:25:56 -0400152 key_label = "application data key expansion, key";
153 iv_label = "application data key expansion, iv";
Steven Valdez143e8b32016-07-11 13:19:03 -0400154 break;
155 default:
156 return 0;
157 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400158
159 /* Look up cipher suite properties. */
160 const EVP_AEAD *aead;
161 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
162 size_t mac_secret_len, fixed_iv_len;
163 if (!ssl_cipher_get_evp_aead(&aead, &mac_secret_len, &fixed_iv_len,
Steven Valdez1dc53d22016-07-26 12:27:38 -0400164 SSL_get_session(ssl)->cipher,
Steven Valdez143e8b32016-07-11 13:19:03 -0400165 ssl3_protocol_version(ssl))) {
166 return 0;
167 }
168
169 /* Derive the key. */
170 size_t key_len = EVP_AEAD_key_length(aead);
171 uint8_t key[EVP_AEAD_MAX_KEY_LENGTH];
Steven Valdezc4aa7272016-10-03 12:25:56 -0400172 if (!hkdf_expand_label(key, digest, traffic_secret, traffic_secret_len,
173 (const uint8_t *)key_label, strlen(key_label), NULL, 0,
174 key_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400175 return 0;
176 }
177
Steven Valdez143e8b32016-07-11 13:19:03 -0400178 /* Derive the IV. */
179 size_t iv_len = EVP_AEAD_nonce_length(aead);
180 uint8_t iv[EVP_AEAD_MAX_NONCE_LENGTH];
Steven Valdezc4aa7272016-10-03 12:25:56 -0400181 if (!hkdf_expand_label(iv, digest, traffic_secret, traffic_secret_len,
182 (const uint8_t *)iv_label, strlen(iv_label), NULL, 0,
183 iv_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400184 return 0;
185 }
186
Steven Valdez87eab492016-06-27 16:34:59 -0400187 SSL_AEAD_CTX *traffic_aead = SSL_AEAD_CTX_new(
Steven Valdez1dc53d22016-07-26 12:27:38 -0400188 direction, ssl3_protocol_version(ssl), SSL_get_session(ssl)->cipher, key,
Steven Valdez87eab492016-06-27 16:34:59 -0400189 key_len, NULL, 0, iv, iv_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400190 if (traffic_aead == NULL) {
191 return 0;
192 }
193
194 if (direction == evp_aead_open) {
195 if (!ssl->method->set_read_state(ssl, traffic_aead)) {
196 return 0;
197 }
198 } else {
199 if (!ssl->method->set_write_state(ssl, traffic_aead)) {
200 return 0;
201 }
202 }
203
204 /* Save the traffic secret. */
205 if (direction == evp_aead_open) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400206 memmove(ssl->s3->read_traffic_secret, traffic_secret, traffic_secret_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400207 ssl->s3->read_traffic_secret_len = traffic_secret_len;
208 } else {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400209 memmove(ssl->s3->write_traffic_secret, traffic_secret, traffic_secret_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400210 ssl->s3->write_traffic_secret_len = traffic_secret_len;
211 }
212
213 return 1;
214}
215
Steven Valdezc4aa7272016-10-03 12:25:56 -0400216static const char kTLS13LabelClientHandshakeTraffic[] =
217 "client handshake traffic secret";
218static const char kTLS13LabelServerHandshakeTraffic[] =
219 "server handshake traffic secret";
220static const char kTLS13LabelClientApplicationTraffic[] =
221 "client application traffic secret";
222static const char kTLS13LabelServerApplicationTraffic[] =
223 "server application traffic secret";
Steven Valdez143e8b32016-07-11 13:19:03 -0400224
225int tls13_set_handshake_traffic(SSL *ssl) {
226 SSL_HANDSHAKE *hs = ssl->s3->hs;
227
Steven Valdezc4aa7272016-10-03 12:25:56 -0400228 uint8_t client_traffic_secret[EVP_MAX_MD_SIZE];
229 uint8_t server_traffic_secret[EVP_MAX_MD_SIZE];
230 if (!derive_secret(ssl, client_traffic_secret, hs->hash_len,
231 (const uint8_t *)kTLS13LabelClientHandshakeTraffic,
232 strlen(kTLS13LabelClientHandshakeTraffic)) ||
233 !ssl_log_secret(ssl, "CLIENT_HANDSHAKE_TRAFFIC_SECRET",
234 client_traffic_secret, hs->hash_len) ||
235 !derive_secret(ssl, server_traffic_secret, hs->hash_len,
236 (const uint8_t *)kTLS13LabelServerHandshakeTraffic,
237 strlen(kTLS13LabelServerHandshakeTraffic)) ||
238 !ssl_log_secret(ssl, "SERVER_HANDSHAKE_TRAFFIC_SECRET",
239 server_traffic_secret, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400240 return 0;
241 }
Steven Valdezc4aa7272016-10-03 12:25:56 -0400242
243 if (ssl->server) {
244 if (!tls13_set_traffic_key(ssl, type_handshake, evp_aead_open,
245 client_traffic_secret, hs->hash_len) ||
246 !tls13_set_traffic_key(ssl, type_handshake, evp_aead_seal,
247 server_traffic_secret, hs->hash_len)) {
248 return 0;
249 }
250 } else {
251 if (!tls13_set_traffic_key(ssl, type_handshake, evp_aead_open,
252 server_traffic_secret, hs->hash_len) ||
253 !tls13_set_traffic_key(ssl, type_handshake, evp_aead_seal,
254 client_traffic_secret, hs->hash_len)) {
255 return 0;
256 }
257 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400258 return 1;
259}
260
261int tls13_derive_traffic_secret_0(SSL *ssl) {
262 SSL_HANDSHAKE *hs = ssl->s3->hs;
263
Steven Valdezc4aa7272016-10-03 12:25:56 -0400264 return derive_secret(ssl, hs->client_traffic_secret_0, hs->hash_len,
265 (const uint8_t *)kTLS13LabelClientApplicationTraffic,
266 strlen(kTLS13LabelClientApplicationTraffic)) &&
267 ssl_log_secret(ssl, "CLIENT_TRAFFIC_SECRET_0",
268 hs->client_traffic_secret_0, hs->hash_len) &&
269 derive_secret(ssl, hs->server_traffic_secret_0, hs->hash_len,
270 (const uint8_t *)kTLS13LabelServerApplicationTraffic,
271 strlen(kTLS13LabelServerApplicationTraffic)) &&
272 ssl_log_secret(ssl, "SERVER_TRAFFIC_SECRET_0",
273 hs->server_traffic_secret_0, hs->hash_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400274}
275
Steven Valdezc4aa7272016-10-03 12:25:56 -0400276static const char kTLS13LabelApplicationTraffic[] =
277 "application traffic secret";
278
Steven Valdez1dc53d22016-07-26 12:27:38 -0400279int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction) {
280 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
281
282 uint8_t *secret;
283 size_t secret_len;
284 if (direction == evp_aead_open) {
285 secret = ssl->s3->read_traffic_secret;
286 secret_len = ssl->s3->read_traffic_secret_len;
287 } else {
288 secret = ssl->s3->write_traffic_secret;
289 secret_len = ssl->s3->write_traffic_secret_len;
290 }
291
292 if (!hkdf_expand_label(secret, digest, secret, secret_len,
293 (const uint8_t *)kTLS13LabelApplicationTraffic,
294 strlen(kTLS13LabelApplicationTraffic), NULL, 0,
295 secret_len)) {
296 return 0;
297 }
298
299 return tls13_set_traffic_key(ssl, type_data, direction, secret, secret_len);
300}
301
Steven Valdez143e8b32016-07-11 13:19:03 -0400302static const char kTLS13LabelExporter[] = "exporter master secret";
303static const char kTLS13LabelResumption[] = "resumption master secret";
304
305int tls13_finalize_keys(SSL *ssl) {
306 SSL_HANDSHAKE *hs = ssl->s3->hs;
307
308 ssl->s3->exporter_secret_len = hs->hash_len;
Steven Valdez87eab492016-06-27 16:34:59 -0400309 ssl->s3->new_session->master_key_length = hs->hash_len;
Steven Valdez143e8b32016-07-11 13:19:03 -0400310 if (!derive_secret(
311 ssl, ssl->s3->exporter_secret, ssl->s3->exporter_secret_len,
312 (const uint8_t *)kTLS13LabelExporter, strlen(kTLS13LabelExporter)) ||
Steven Valdez87eab492016-06-27 16:34:59 -0400313 !derive_secret(ssl, ssl->s3->new_session->master_key,
314 ssl->s3->new_session->master_key_length,
Steven Valdez143e8b32016-07-11 13:19:03 -0400315 (const uint8_t *)kTLS13LabelResumption,
316 strlen(kTLS13LabelResumption))) {
317 return 0;
318 }
319
320 return 1;
321}
322
323int tls13_finished_mac(SSL *ssl, uint8_t *out, size_t *out_len, int is_server) {
324 SSL_HANDSHAKE *hs = ssl->s3->hs;
325 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
326
327 uint8_t key[EVP_MAX_MD_SIZE];
328 size_t key_len = EVP_MD_size(digest);
329
David Benjamin0fb46d42016-08-31 16:58:36 -0400330 const uint8_t *traffic_secret;
Steven Valdezc4aa7272016-10-03 12:25:56 -0400331 const char *label = "finished";
332 if (is_server == ssl->server) {
333 traffic_secret = ssl->s3->write_traffic_secret;
Steven Valdez143e8b32016-07-11 13:19:03 -0400334 } else {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400335 traffic_secret = ssl->s3->read_traffic_secret;
Steven Valdez143e8b32016-07-11 13:19:03 -0400336 }
337
338 uint8_t context_hashes[2 * EVP_MAX_MD_SIZE];
339 size_t context_hashes_len;
340 unsigned len;
341 if (!hkdf_expand_label(key, digest, traffic_secret, hs->hash_len,
342 (const uint8_t *)label, strlen(label), NULL, 0,
343 hs->hash_len) ||
344 !tls13_get_context_hashes(ssl, context_hashes, &context_hashes_len) ||
345 HMAC(digest, key, key_len, context_hashes, context_hashes_len, out,
346 &len) == NULL) {
347 return 0;
348 }
349 *out_len = len;
350 return 1;
351}
352
Steven Valdez4aa154e2016-07-29 14:32:55 -0400353static const char kTLS13LabelResumptionPSK[] = "resumption psk";
354static const char kTLS13LabelResumptionContext[] = "resumption context";
355
356int tls13_resumption_psk(SSL *ssl, uint8_t *out, size_t out_len,
357 const SSL_SESSION *session) {
358 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
359 return hkdf_expand_label(out, digest, session->master_key,
360 session->master_key_length,
361 (const uint8_t *)kTLS13LabelResumptionPSK,
362 strlen(kTLS13LabelResumptionPSK), NULL, 0, out_len);
363}
364
365int tls13_resumption_context(SSL *ssl, uint8_t *out, size_t out_len,
366 const SSL_SESSION *session) {
367 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
368 return hkdf_expand_label(out, digest, session->master_key,
369 session->master_key_length,
370 (const uint8_t *)kTLS13LabelResumptionContext,
371 strlen(kTLS13LabelResumptionContext), NULL, 0,
372 out_len);
373}
374
Steven Valdez143e8b32016-07-11 13:19:03 -0400375int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
376 const char *label, size_t label_len,
377 const uint8_t *context, size_t context_len,
378 int use_context) {
379 const EVP_MD *digest = ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl));
380
381 const uint8_t *hash = NULL;
382 size_t hash_len = 0;
383 if (use_context) {
384 hash = context;
385 hash_len = context_len;
386 }
387 return hkdf_expand_label(out, digest, ssl->s3->exporter_secret,
388 ssl->s3->exporter_secret_len, (const uint8_t *)label,
389 label_len, hash, hash_len, out_len);
390}