tls13_enc.cc 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563
  1. /* 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. #include <openssl/ssl.h>
  15. #include <assert.h>
  16. #include <string.h>
  17. #include <utility>
  18. #include <openssl/aead.h>
  19. #include <openssl/bytestring.h>
  20. #include <openssl/digest.h>
  21. #include <openssl/hkdf.h>
  22. #include <openssl/hmac.h>
  23. #include <openssl/mem.h>
  24. #include "../crypto/internal.h"
  25. #include "internal.h"
  26. namespace bssl {
  27. static int init_key_schedule(SSL_HANDSHAKE *hs, uint16_t version,
  28. const SSL_CIPHER *cipher) {
  29. if (!hs->transcript.InitHash(version, cipher)) {
  30. return 0;
  31. }
  32. hs->hash_len = hs->transcript.DigestLen();
  33. // Initialize the secret to the zero key.
  34. OPENSSL_memset(hs->secret, 0, hs->hash_len);
  35. return 1;
  36. }
  37. int tls13_init_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *psk,
  38. size_t psk_len) {
  39. if (!init_key_schedule(hs, ssl_protocol_version(hs->ssl), hs->new_cipher)) {
  40. return 0;
  41. }
  42. hs->transcript.FreeBuffer();
  43. return HKDF_extract(hs->secret, &hs->hash_len, hs->transcript.Digest(), psk,
  44. psk_len, hs->secret, hs->hash_len);
  45. }
  46. int tls13_init_early_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *psk,
  47. size_t psk_len) {
  48. SSL *const ssl = hs->ssl;
  49. return init_key_schedule(hs, ssl_session_protocol_version(ssl->session),
  50. ssl->session->cipher) &&
  51. HKDF_extract(hs->secret, &hs->hash_len, hs->transcript.Digest(), psk,
  52. psk_len, hs->secret, hs->hash_len);
  53. }
  54. static int hkdf_expand_label(uint8_t *out, uint16_t version,
  55. const EVP_MD *digest, const uint8_t *secret,
  56. size_t secret_len, const uint8_t *label,
  57. size_t label_len, const uint8_t *hash,
  58. size_t hash_len, size_t len) {
  59. const char *kTLS13LabelVersion =
  60. ssl_is_draft21(version) ? "tls13 " : "TLS 1.3, ";
  61. ScopedCBB cbb;
  62. CBB child;
  63. uint8_t *hkdf_label;
  64. size_t hkdf_label_len;
  65. if (!CBB_init(cbb.get(), 2 + 1 + strlen(kTLS13LabelVersion) + label_len + 1 +
  66. hash_len) ||
  67. !CBB_add_u16(cbb.get(), len) ||
  68. !CBB_add_u8_length_prefixed(cbb.get(), &child) ||
  69. !CBB_add_bytes(&child, (const uint8_t *)kTLS13LabelVersion,
  70. strlen(kTLS13LabelVersion)) ||
  71. !CBB_add_bytes(&child, label, label_len) ||
  72. !CBB_add_u8_length_prefixed(cbb.get(), &child) ||
  73. !CBB_add_bytes(&child, hash, hash_len) ||
  74. !CBB_finish(cbb.get(), &hkdf_label, &hkdf_label_len)) {
  75. return 0;
  76. }
  77. int ret = HKDF_expand(out, len, digest, secret, secret_len, hkdf_label,
  78. hkdf_label_len);
  79. OPENSSL_free(hkdf_label);
  80. return ret;
  81. }
  82. static const char kTLS13LabelDerived[] = "derived";
  83. int tls13_advance_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *in,
  84. size_t len) {
  85. SSL *const ssl = hs->ssl;
  86. // Draft 18 does not include the extra Derive-Secret step.
  87. if (ssl_is_draft21(ssl->version)) {
  88. uint8_t derive_context[EVP_MAX_MD_SIZE];
  89. unsigned derive_context_len;
  90. if (!EVP_Digest(nullptr, 0, derive_context, &derive_context_len,
  91. hs->transcript.Digest(), nullptr)) {
  92. return 0;
  93. }
  94. if (!hkdf_expand_label(hs->secret, ssl->version, hs->transcript.Digest(),
  95. hs->secret, hs->hash_len,
  96. (const uint8_t *)kTLS13LabelDerived,
  97. strlen(kTLS13LabelDerived), derive_context,
  98. derive_context_len, hs->hash_len)) {
  99. return 0;
  100. }
  101. }
  102. return HKDF_extract(hs->secret, &hs->hash_len, hs->transcript.Digest(), in,
  103. len, hs->secret, hs->hash_len);
  104. }
  105. // derive_secret derives a secret of length |len| and writes the result in |out|
  106. // with the given label and the current base secret and most recently-saved
  107. // handshake context. It returns one on success and zero on error.
  108. static int derive_secret(SSL_HANDSHAKE *hs, uint8_t *out, size_t len,
  109. const uint8_t *label, size_t label_len) {
  110. uint8_t context_hash[EVP_MAX_MD_SIZE];
  111. size_t context_hash_len;
  112. if (!hs->transcript.GetHash(context_hash, &context_hash_len)) {
  113. return 0;
  114. }
  115. return hkdf_expand_label(out, SSL_get_session(hs->ssl)->ssl_version,
  116. hs->transcript.Digest(), hs->secret, hs->hash_len,
  117. label, label_len, context_hash, context_hash_len,
  118. len);
  119. }
  120. int tls13_set_traffic_key(SSL *ssl, enum evp_aead_direction_t direction,
  121. const uint8_t *traffic_secret,
  122. size_t traffic_secret_len) {
  123. const SSL_SESSION *session = SSL_get_session(ssl);
  124. uint16_t version = ssl_session_protocol_version(session);
  125. if (traffic_secret_len > 0xff) {
  126. OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW);
  127. return 0;
  128. }
  129. // Look up cipher suite properties.
  130. const EVP_AEAD *aead;
  131. size_t discard;
  132. if (!ssl_cipher_get_evp_aead(&aead, &discard, &discard, session->cipher,
  133. version, SSL_is_dtls(ssl))) {
  134. return 0;
  135. }
  136. const EVP_MD *digest = ssl_session_get_digest(session);
  137. // Derive the key.
  138. size_t key_len = EVP_AEAD_key_length(aead);
  139. uint8_t key[EVP_AEAD_MAX_KEY_LENGTH];
  140. if (!hkdf_expand_label(key, session->ssl_version, digest, traffic_secret,
  141. traffic_secret_len, (const uint8_t *)"key", 3, NULL, 0,
  142. key_len)) {
  143. return 0;
  144. }
  145. // Derive the IV.
  146. size_t iv_len = EVP_AEAD_nonce_length(aead);
  147. uint8_t iv[EVP_AEAD_MAX_NONCE_LENGTH];
  148. if (!hkdf_expand_label(iv, session->ssl_version, digest, traffic_secret,
  149. traffic_secret_len, (const uint8_t *)"iv", 2, NULL, 0,
  150. iv_len)) {
  151. return 0;
  152. }
  153. UniquePtr<SSLAEADContext> traffic_aead =
  154. SSLAEADContext::Create(direction, session->ssl_version, SSL_is_dtls(ssl),
  155. session->cipher, MakeConstSpan(key, key_len),
  156. Span<const uint8_t>(), MakeConstSpan(iv, iv_len));
  157. if (!traffic_aead) {
  158. return 0;
  159. }
  160. if (direction == evp_aead_open) {
  161. if (!ssl->method->set_read_state(ssl, std::move(traffic_aead))) {
  162. return 0;
  163. }
  164. } else {
  165. if (!ssl->method->set_write_state(ssl, std::move(traffic_aead))) {
  166. return 0;
  167. }
  168. }
  169. // Save the traffic secret.
  170. if (direction == evp_aead_open) {
  171. OPENSSL_memmove(ssl->s3->read_traffic_secret, traffic_secret,
  172. traffic_secret_len);
  173. ssl->s3->read_traffic_secret_len = traffic_secret_len;
  174. } else {
  175. OPENSSL_memmove(ssl->s3->write_traffic_secret, traffic_secret,
  176. traffic_secret_len);
  177. ssl->s3->write_traffic_secret_len = traffic_secret_len;
  178. }
  179. return 1;
  180. }
  181. static const char kTLS13LabelExporter[] = "exporter master secret";
  182. static const char kTLS13LabelEarlyExporter[] = "early exporter master secret";
  183. static const char kTLS13LabelClientEarlyTraffic[] =
  184. "client early traffic secret";
  185. static const char kTLS13LabelClientHandshakeTraffic[] =
  186. "client handshake traffic secret";
  187. static const char kTLS13LabelServerHandshakeTraffic[] =
  188. "server handshake traffic secret";
  189. static const char kTLS13LabelClientApplicationTraffic[] =
  190. "client application traffic secret";
  191. static const char kTLS13LabelServerApplicationTraffic[] =
  192. "server application traffic secret";
  193. static const char kTLS13Draft21LabelExporter[] = "exp master";
  194. static const char kTLS13Draft21LabelEarlyExporter[] = "e exp master";
  195. static const char kTLS13Draft21LabelClientEarlyTraffic[] = "c e traffic";
  196. static const char kTLS13Draft21LabelClientHandshakeTraffic[] = "c hs traffic";
  197. static const char kTLS13Draft21LabelServerHandshakeTraffic[] = "s hs traffic";
  198. static const char kTLS13Draft21LabelClientApplicationTraffic[] = "c ap traffic";
  199. static const char kTLS13Draft21LabelServerApplicationTraffic[] = "s ap traffic";
  200. int tls13_derive_early_secrets(SSL_HANDSHAKE *hs) {
  201. SSL *const ssl = hs->ssl;
  202. uint16_t version = SSL_get_session(ssl)->ssl_version;
  203. const char *early_traffic_label = ssl_is_draft21(version)
  204. ? kTLS13Draft21LabelClientEarlyTraffic
  205. : kTLS13LabelClientEarlyTraffic;
  206. const char *early_exporter_label = ssl_is_draft21(version)
  207. ? kTLS13Draft21LabelEarlyExporter
  208. : kTLS13LabelEarlyExporter;
  209. return derive_secret(hs, hs->early_traffic_secret, hs->hash_len,
  210. (const uint8_t *)early_traffic_label,
  211. strlen(early_traffic_label)) &&
  212. ssl_log_secret(ssl, "CLIENT_EARLY_TRAFFIC_SECRET",
  213. hs->early_traffic_secret, hs->hash_len) &&
  214. derive_secret(hs, ssl->s3->early_exporter_secret, hs->hash_len,
  215. (const uint8_t *)early_exporter_label,
  216. strlen(early_exporter_label));
  217. }
  218. int tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs) {
  219. SSL *const ssl = hs->ssl;
  220. const char *client_label = ssl_is_draft21(ssl->version)
  221. ? kTLS13Draft21LabelClientHandshakeTraffic
  222. : kTLS13LabelClientHandshakeTraffic;
  223. const char *server_label = ssl_is_draft21(ssl->version)
  224. ? kTLS13Draft21LabelServerHandshakeTraffic
  225. : kTLS13LabelServerHandshakeTraffic;
  226. return derive_secret(hs, hs->client_handshake_secret, hs->hash_len,
  227. (const uint8_t *)client_label, strlen(client_label)) &&
  228. ssl_log_secret(ssl, "CLIENT_HANDSHAKE_TRAFFIC_SECRET",
  229. hs->client_handshake_secret, hs->hash_len) &&
  230. derive_secret(hs, hs->server_handshake_secret, hs->hash_len,
  231. (const uint8_t *)server_label, strlen(server_label)) &&
  232. ssl_log_secret(ssl, "SERVER_HANDSHAKE_TRAFFIC_SECRET",
  233. hs->server_handshake_secret, hs->hash_len);
  234. }
  235. int tls13_derive_application_secrets(SSL_HANDSHAKE *hs) {
  236. SSL *const ssl = hs->ssl;
  237. ssl->s3->exporter_secret_len = hs->hash_len;
  238. const char *client_label = ssl_is_draft21(ssl->version)
  239. ? kTLS13Draft21LabelClientApplicationTraffic
  240. : kTLS13LabelClientApplicationTraffic;
  241. const char *server_label = ssl_is_draft21(ssl->version)
  242. ? kTLS13Draft21LabelServerApplicationTraffic
  243. : kTLS13LabelServerApplicationTraffic;
  244. const char *exporter_label = ssl_is_draft21(ssl->version)
  245. ? kTLS13Draft21LabelExporter
  246. : kTLS13LabelExporter;
  247. return derive_secret(hs, hs->client_traffic_secret_0, hs->hash_len,
  248. (const uint8_t *)client_label, strlen(client_label)) &&
  249. ssl_log_secret(ssl, "CLIENT_TRAFFIC_SECRET_0",
  250. hs->client_traffic_secret_0, hs->hash_len) &&
  251. derive_secret(hs, hs->server_traffic_secret_0, hs->hash_len,
  252. (const uint8_t *)server_label, strlen(server_label)) &&
  253. ssl_log_secret(ssl, "SERVER_TRAFFIC_SECRET_0",
  254. hs->server_traffic_secret_0, hs->hash_len) &&
  255. derive_secret(hs, ssl->s3->exporter_secret, hs->hash_len,
  256. (const uint8_t *)exporter_label,
  257. strlen(exporter_label)) &&
  258. ssl_log_secret(ssl, "EXPORTER_SECRET", ssl->s3->exporter_secret,
  259. hs->hash_len);
  260. }
  261. static const char kTLS13LabelApplicationTraffic[] =
  262. "application traffic secret";
  263. static const char kTLS13Draft21LabelApplicationTraffic[] = "traffic upd";
  264. int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction) {
  265. uint8_t *secret;
  266. size_t secret_len;
  267. if (direction == evp_aead_open) {
  268. secret = ssl->s3->read_traffic_secret;
  269. secret_len = ssl->s3->read_traffic_secret_len;
  270. } else {
  271. secret = ssl->s3->write_traffic_secret;
  272. secret_len = ssl->s3->write_traffic_secret_len;
  273. }
  274. const char *traffic_label = ssl_is_draft21(ssl->version)
  275. ? kTLS13Draft21LabelApplicationTraffic
  276. : kTLS13LabelApplicationTraffic;
  277. const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
  278. if (!hkdf_expand_label(secret, ssl->version, digest, secret, secret_len,
  279. (const uint8_t *)traffic_label, strlen(traffic_label),
  280. NULL, 0, secret_len)) {
  281. return 0;
  282. }
  283. return tls13_set_traffic_key(ssl, direction, secret, secret_len);
  284. }
  285. static const char kTLS13LabelResumption[] = "resumption master secret";
  286. static const char kTLS13Draft21LabelResumption[] = "res master";
  287. int tls13_derive_resumption_secret(SSL_HANDSHAKE *hs) {
  288. if (hs->hash_len > SSL_MAX_MASTER_KEY_LENGTH) {
  289. OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
  290. return 0;
  291. }
  292. const char *resumption_label = ssl_is_draft21(hs->ssl->version)
  293. ? kTLS13Draft21LabelResumption
  294. : kTLS13LabelResumption;
  295. hs->new_session->master_key_length = hs->hash_len;
  296. return derive_secret(
  297. hs, hs->new_session->master_key, hs->new_session->master_key_length,
  298. (const uint8_t *)resumption_label, strlen(resumption_label));
  299. }
  300. static const char kTLS13LabelFinished[] = "finished";
  301. // tls13_verify_data sets |out| to be the HMAC of |context| using a derived
  302. // Finished key for both Finished messages and the PSK binder.
  303. static int tls13_verify_data(const EVP_MD *digest, uint16_t version,
  304. uint8_t *out, size_t *out_len,
  305. const uint8_t *secret, size_t hash_len,
  306. uint8_t *context, size_t context_len) {
  307. uint8_t key[EVP_MAX_MD_SIZE];
  308. unsigned len;
  309. if (!hkdf_expand_label(key, version, digest, secret, hash_len,
  310. (const uint8_t *)kTLS13LabelFinished,
  311. strlen(kTLS13LabelFinished), NULL, 0, hash_len) ||
  312. HMAC(digest, key, hash_len, context, context_len, out, &len) == NULL) {
  313. return 0;
  314. }
  315. *out_len = len;
  316. return 1;
  317. }
  318. int tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len,
  319. int is_server) {
  320. const uint8_t *traffic_secret;
  321. if (is_server) {
  322. traffic_secret = hs->server_handshake_secret;
  323. } else {
  324. traffic_secret = hs->client_handshake_secret;
  325. }
  326. uint8_t context_hash[EVP_MAX_MD_SIZE];
  327. size_t context_hash_len;
  328. if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
  329. !tls13_verify_data(hs->transcript.Digest(), hs->ssl->version, out,
  330. out_len, traffic_secret, hs->hash_len, context_hash,
  331. context_hash_len)) {
  332. return 0;
  333. }
  334. return 1;
  335. }
  336. static const char kTLS13LabelResumptionPSK[] = "resumption";
  337. bool tls13_derive_session_psk(SSL_SESSION *session, Span<const uint8_t> nonce) {
  338. if (!ssl_is_draft21(session->ssl_version)) {
  339. return true;
  340. }
  341. const EVP_MD *digest = ssl_session_get_digest(session);
  342. return hkdf_expand_label(session->master_key, session->ssl_version, digest,
  343. session->master_key, session->master_key_length,
  344. (const uint8_t *)kTLS13LabelResumptionPSK,
  345. strlen(kTLS13LabelResumptionPSK), nonce.data(),
  346. nonce.size(), session->master_key_length);
  347. }
  348. static const char kTLS13LabelExportKeying[] = "exporter";
  349. int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
  350. const char *label, size_t label_len,
  351. const uint8_t *context_in,
  352. size_t context_in_len, int use_context) {
  353. const uint8_t *context = NULL;
  354. size_t context_len = 0;
  355. if (use_context) {
  356. context = context_in;
  357. context_len = context_in_len;
  358. }
  359. if (!ssl_is_draft21(ssl->version)) {
  360. const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
  361. return hkdf_expand_label(
  362. out, ssl->version, digest, ssl->s3->exporter_secret,
  363. ssl->s3->exporter_secret_len, (const uint8_t *)label, label_len,
  364. context, context_len, out_len);
  365. }
  366. const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
  367. uint8_t hash[EVP_MAX_MD_SIZE];
  368. uint8_t export_context[EVP_MAX_MD_SIZE];
  369. uint8_t derived_secret[EVP_MAX_MD_SIZE];
  370. unsigned hash_len;
  371. unsigned export_context_len;
  372. unsigned derived_secret_len = EVP_MD_size(digest);
  373. if (!EVP_Digest(context, context_len, hash, &hash_len, digest, NULL) ||
  374. !EVP_Digest(NULL, 0, export_context, &export_context_len, digest, NULL)) {
  375. return 0;
  376. }
  377. return hkdf_expand_label(
  378. derived_secret, ssl->version, digest, ssl->s3->exporter_secret,
  379. ssl->s3->exporter_secret_len, (const uint8_t *)label, label_len,
  380. export_context, export_context_len, derived_secret_len) &&
  381. hkdf_expand_label(
  382. out, ssl->version, digest, derived_secret, derived_secret_len,
  383. (const uint8_t *)kTLS13LabelExportKeying,
  384. strlen(kTLS13LabelExportKeying), hash, hash_len, out_len);
  385. }
  386. static const char kTLS13LabelPSKBinder[] = "resumption psk binder key";
  387. static const char kTLS13Draft21LabelPSKBinder[] = "res binder";
  388. static int tls13_psk_binder(uint8_t *out, uint16_t version,
  389. const EVP_MD *digest, uint8_t *psk, size_t psk_len,
  390. uint8_t *context, size_t context_len,
  391. size_t hash_len) {
  392. uint8_t binder_context[EVP_MAX_MD_SIZE];
  393. unsigned binder_context_len;
  394. if (!EVP_Digest(NULL, 0, binder_context, &binder_context_len, digest, NULL)) {
  395. return 0;
  396. }
  397. uint8_t early_secret[EVP_MAX_MD_SIZE] = {0};
  398. size_t early_secret_len;
  399. if (!HKDF_extract(early_secret, &early_secret_len, digest, psk, hash_len,
  400. NULL, 0)) {
  401. return 0;
  402. }
  403. const char *binder_label = ssl_is_draft21(version)
  404. ? kTLS13Draft21LabelPSKBinder
  405. : kTLS13LabelPSKBinder;
  406. uint8_t binder_key[EVP_MAX_MD_SIZE] = {0};
  407. size_t len;
  408. if (!hkdf_expand_label(binder_key, version, digest, early_secret, hash_len,
  409. (const uint8_t *)binder_label, strlen(binder_label),
  410. binder_context, binder_context_len, hash_len) ||
  411. !tls13_verify_data(digest, version, out, &len, binder_key, hash_len,
  412. context, context_len)) {
  413. return 0;
  414. }
  415. return 1;
  416. }
  417. int tls13_write_psk_binder(SSL_HANDSHAKE *hs, uint8_t *msg, size_t len) {
  418. SSL *const ssl = hs->ssl;
  419. const EVP_MD *digest = ssl_session_get_digest(ssl->session);
  420. size_t hash_len = EVP_MD_size(digest);
  421. if (len < hash_len + 3) {
  422. OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
  423. return 0;
  424. }
  425. ScopedEVP_MD_CTX ctx;
  426. uint8_t context[EVP_MAX_MD_SIZE];
  427. unsigned context_len;
  428. if (!EVP_DigestInit_ex(ctx.get(), digest, NULL) ||
  429. !EVP_DigestUpdate(ctx.get(), hs->transcript.buffer().data(),
  430. hs->transcript.buffer().size()) ||
  431. !EVP_DigestUpdate(ctx.get(), msg, len - hash_len - 3) ||
  432. !EVP_DigestFinal_ex(ctx.get(), context, &context_len)) {
  433. return 0;
  434. }
  435. uint8_t verify_data[EVP_MAX_MD_SIZE] = {0};
  436. if (!tls13_psk_binder(verify_data, ssl->session->ssl_version, digest,
  437. ssl->session->master_key,
  438. ssl->session->master_key_length, context, context_len,
  439. hash_len)) {
  440. return 0;
  441. }
  442. OPENSSL_memcpy(msg + len - hash_len, verify_data, hash_len);
  443. return 1;
  444. }
  445. int tls13_verify_psk_binder(SSL_HANDSHAKE *hs, SSL_SESSION *session,
  446. const SSLMessage &msg, CBS *binders) {
  447. size_t hash_len = hs->transcript.DigestLen();
  448. // The message must be large enough to exclude the binders.
  449. if (CBS_len(&msg.raw) < CBS_len(binders) + 2) {
  450. OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
  451. return 0;
  452. }
  453. // Hash a ClientHello prefix up to the binders. This includes the header. For
  454. // now, this assumes we only ever verify PSK binders on initial
  455. // ClientHellos.
  456. uint8_t context[EVP_MAX_MD_SIZE];
  457. unsigned context_len;
  458. if (!EVP_Digest(CBS_data(&msg.raw), CBS_len(&msg.raw) - CBS_len(binders) - 2,
  459. context, &context_len, hs->transcript.Digest(), NULL)) {
  460. return 0;
  461. }
  462. uint8_t verify_data[EVP_MAX_MD_SIZE] = {0};
  463. CBS binder;
  464. if (!tls13_psk_binder(verify_data, hs->ssl->version, hs->transcript.Digest(),
  465. session->master_key, session->master_key_length,
  466. context, context_len, hash_len) ||
  467. // We only consider the first PSK, so compare against the first binder.
  468. !CBS_get_u8_length_prefixed(binders, &binder)) {
  469. OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
  470. return 0;
  471. }
  472. int binder_ok =
  473. CBS_len(&binder) == hash_len &&
  474. CRYPTO_memcmp(CBS_data(&binder), verify_data, hash_len) == 0;
  475. #if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
  476. binder_ok = 1;
  477. #endif
  478. if (!binder_ok) {
  479. OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
  480. return 0;
  481. }
  482. return 1;
  483. }
  484. } // namespace bssl