Rich Salz | 846e33c | 2016-05-17 14:18:30 -0400 | [diff] [blame] | 1 | /* |
Richard Levitte | 3c7d094 | 2018-01-09 05:49:01 +0100 | [diff] [blame] | 2 | * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved. |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 3 | * |
Rich Salz | 846e33c | 2016-05-17 14:18:30 -0400 | [diff] [blame] | 4 | * Licensed under the OpenSSL license (the "License"). You may not use |
| 5 | * this file except in compliance with the License. You can obtain a copy |
| 6 | * in the file LICENSE in the source distribution or at |
| 7 | * https://www.openssl.org/source/license.html |
Bodo Möller | f1fd454 | 2006-01-03 03:27:19 +0000 | [diff] [blame] | 8 | */ |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 9 | |
| 10 | #include <stdio.h> |
Emilia Kasper | aa474d1 | 2016-02-19 17:24:44 +0100 | [diff] [blame] | 11 | #include <stdlib.h> |
Bodo Möller | ec57782 | 1999-04-23 22:13:45 +0000 | [diff] [blame] | 12 | #include <openssl/objects.h> |
Dr. Stephen Henson | 6434abb | 2007-08-11 23:18:29 +0000 | [diff] [blame] | 13 | #include <openssl/evp.h> |
| 14 | #include <openssl/hmac.h> |
Dr. Stephen Henson | 67c8e7f | 2007-09-26 21:56:59 +0000 | [diff] [blame] | 15 | #include <openssl/ocsp.h> |
Matt Caswell | 5951e84 | 2016-04-20 16:38:29 +0100 | [diff] [blame] | 16 | #include <openssl/conf.h> |
| 17 | #include <openssl/x509v3.h> |
Rich Salz | 3c27208 | 2016-03-18 14:30:20 -0400 | [diff] [blame] | 18 | #include <openssl/dh.h> |
| 19 | #include <openssl/bn.h> |
Pauli | 677963e | 2017-08-18 13:52:46 +1000 | [diff] [blame] | 20 | #include "internal/nelem.h" |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 21 | #include "ssl_locl.h" |
Rich Salz | 3c27208 | 2016-03-18 14:30:20 -0400 | [diff] [blame] | 22 | #include <openssl/ct.h> |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 23 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 24 | SSL3_ENC_METHOD const TLSv1_enc_data = { |
| 25 | tls1_enc, |
| 26 | tls1_mac, |
| 27 | tls1_setup_key_block, |
| 28 | tls1_generate_master_secret, |
| 29 | tls1_change_cipher_state, |
| 30 | tls1_final_finish_mac, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 31 | TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE, |
| 32 | TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE, |
| 33 | tls1_alert_code, |
| 34 | tls1_export_keying_material, |
| 35 | 0, |
Matt Caswell | a29fa98 | 2016-09-29 22:40:15 +0100 | [diff] [blame] | 36 | ssl3_set_handshake_header, |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 37 | tls_close_construct_packet, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 38 | ssl3_handshake_write |
| 39 | }; |
Dr. Stephen Henson | 173e72e | 2013-03-11 15:34:28 +0000 | [diff] [blame] | 40 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 41 | SSL3_ENC_METHOD const TLSv1_1_enc_data = { |
| 42 | tls1_enc, |
| 43 | tls1_mac, |
| 44 | tls1_setup_key_block, |
| 45 | tls1_generate_master_secret, |
| 46 | tls1_change_cipher_state, |
| 47 | tls1_final_finish_mac, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 48 | TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE, |
| 49 | TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE, |
| 50 | tls1_alert_code, |
| 51 | tls1_export_keying_material, |
| 52 | SSL_ENC_FLAG_EXPLICIT_IV, |
Matt Caswell | a29fa98 | 2016-09-29 22:40:15 +0100 | [diff] [blame] | 53 | ssl3_set_handshake_header, |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 54 | tls_close_construct_packet, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 55 | ssl3_handshake_write |
| 56 | }; |
Dr. Stephen Henson | 173e72e | 2013-03-11 15:34:28 +0000 | [diff] [blame] | 57 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 58 | SSL3_ENC_METHOD const TLSv1_2_enc_data = { |
| 59 | tls1_enc, |
| 60 | tls1_mac, |
| 61 | tls1_setup_key_block, |
| 62 | tls1_generate_master_secret, |
| 63 | tls1_change_cipher_state, |
| 64 | tls1_final_finish_mac, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 65 | TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE, |
| 66 | TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE, |
| 67 | tls1_alert_code, |
| 68 | tls1_export_keying_material, |
| 69 | SSL_ENC_FLAG_EXPLICIT_IV | SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF |
| 70 | | SSL_ENC_FLAG_TLS1_2_CIPHERS, |
Matt Caswell | a29fa98 | 2016-09-29 22:40:15 +0100 | [diff] [blame] | 71 | ssl3_set_handshake_header, |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 72 | tls_close_construct_packet, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 73 | ssl3_handshake_write |
| 74 | }; |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 75 | |
Matt Caswell | 582a17d | 2016-10-21 17:39:33 +0100 | [diff] [blame] | 76 | SSL3_ENC_METHOD const TLSv1_3_enc_data = { |
Matt Caswell | bebc0c7 | 2016-11-17 18:00:17 +0000 | [diff] [blame] | 77 | tls13_enc, |
Matt Caswell | 582a17d | 2016-10-21 17:39:33 +0100 | [diff] [blame] | 78 | tls1_mac, |
Matt Caswell | 92760c2 | 2016-11-09 14:06:12 +0000 | [diff] [blame] | 79 | tls13_setup_key_block, |
| 80 | tls13_generate_master_secret, |
| 81 | tls13_change_cipher_state, |
| 82 | tls13_final_finish_mac, |
Matt Caswell | 582a17d | 2016-10-21 17:39:33 +0100 | [diff] [blame] | 83 | TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE, |
| 84 | TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE, |
Matt Caswell | 0490431 | 2016-12-30 11:26:39 +0000 | [diff] [blame] | 85 | tls13_alert_code, |
Matt Caswell | 0ca8d1e | 2017-06-27 14:57:15 +0100 | [diff] [blame] | 86 | tls13_export_keying_material, |
Matt Caswell | bebc0c7 | 2016-11-17 18:00:17 +0000 | [diff] [blame] | 87 | SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF, |
Matt Caswell | 582a17d | 2016-10-21 17:39:33 +0100 | [diff] [blame] | 88 | ssl3_set_handshake_header, |
| 89 | tls_close_construct_packet, |
| 90 | ssl3_handshake_write |
| 91 | }; |
| 92 | |
Dr. Stephen Henson | f3b656b | 2005-08-05 23:56:11 +0000 | [diff] [blame] | 93 | long tls1_default_timeout(void) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 94 | { |
| 95 | /* |
| 96 | * 2 hours, the 24 hours mentioned in the TLSv1 spec is way too long for |
| 97 | * http, the cache would over fill |
| 98 | */ |
| 99 | return (60 * 60 * 2); |
| 100 | } |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 101 | |
Ulf Möller | 6b691a5 | 1999-04-19 21:31:43 +0000 | [diff] [blame] | 102 | int tls1_new(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 103 | { |
| 104 | if (!ssl3_new(s)) |
Matt Caswell | b77f3ed | 2017-05-22 12:33:42 +0100 | [diff] [blame] | 105 | return 0; |
| 106 | if (!s->method->ssl_clear(s)) |
| 107 | return 0; |
| 108 | |
| 109 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 110 | } |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 111 | |
Ulf Möller | 6b691a5 | 1999-04-19 21:31:43 +0000 | [diff] [blame] | 112 | void tls1_free(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 113 | { |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 114 | OPENSSL_free(s->ext.session_ticket); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 115 | ssl3_free(s); |
| 116 | } |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 117 | |
Matt Caswell | b77f3ed | 2017-05-22 12:33:42 +0100 | [diff] [blame] | 118 | int tls1_clear(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 119 | { |
Matt Caswell | b77f3ed | 2017-05-22 12:33:42 +0100 | [diff] [blame] | 120 | if (!ssl3_clear(s)) |
| 121 | return 0; |
| 122 | |
Viktor Dukhovni | 4fa5214 | 2015-12-29 03:24:17 -0500 | [diff] [blame] | 123 | if (s->method->version == TLS_ANY_VERSION) |
| 124 | s->version = TLS_MAX_VERSION; |
| 125 | else |
| 126 | s->version = s->method->version; |
Matt Caswell | b77f3ed | 2017-05-22 12:33:42 +0100 | [diff] [blame] | 127 | |
| 128 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 129 | } |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 130 | |
Dr. Stephen Henson | 525de5d | 2007-08-12 23:59:05 +0000 | [diff] [blame] | 131 | #ifndef OPENSSL_NO_EC |
Dr. Stephen Henson | eda3766 | 2011-05-30 17:58:13 +0000 | [diff] [blame] | 132 | |
Dr. Stephen Henson | 2dc1aee | 2016-02-13 15:27:43 +0000 | [diff] [blame] | 133 | /* |
| 134 | * Table of curve information. |
Rich Salz | ddb4c04 | 2016-01-03 13:24:32 -0500 | [diff] [blame] | 135 | * Do not delete entries or reorder this array! It is used as a lookup |
Dr. Stephen Henson | 2dc1aee | 2016-02-13 15:27:43 +0000 | [diff] [blame] | 136 | * table: the index of each entry is one less than the TLS curve id. |
| 137 | */ |
Dr. Stephen Henson | 0e464d9 | 2017-09-22 23:47:54 +0100 | [diff] [blame] | 138 | static const TLS_GROUP_INFO nid_list[] = { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 139 | {NID_sect163k1, 80, TLS_CURVE_CHAR2}, /* sect163k1 (1) */ |
| 140 | {NID_sect163r1, 80, TLS_CURVE_CHAR2}, /* sect163r1 (2) */ |
| 141 | {NID_sect163r2, 80, TLS_CURVE_CHAR2}, /* sect163r2 (3) */ |
| 142 | {NID_sect193r1, 80, TLS_CURVE_CHAR2}, /* sect193r1 (4) */ |
| 143 | {NID_sect193r2, 80, TLS_CURVE_CHAR2}, /* sect193r2 (5) */ |
| 144 | {NID_sect233k1, 112, TLS_CURVE_CHAR2}, /* sect233k1 (6) */ |
| 145 | {NID_sect233r1, 112, TLS_CURVE_CHAR2}, /* sect233r1 (7) */ |
| 146 | {NID_sect239k1, 112, TLS_CURVE_CHAR2}, /* sect239k1 (8) */ |
| 147 | {NID_sect283k1, 128, TLS_CURVE_CHAR2}, /* sect283k1 (9) */ |
| 148 | {NID_sect283r1, 128, TLS_CURVE_CHAR2}, /* sect283r1 (10) */ |
| 149 | {NID_sect409k1, 192, TLS_CURVE_CHAR2}, /* sect409k1 (11) */ |
| 150 | {NID_sect409r1, 192, TLS_CURVE_CHAR2}, /* sect409r1 (12) */ |
| 151 | {NID_sect571k1, 256, TLS_CURVE_CHAR2}, /* sect571k1 (13) */ |
| 152 | {NID_sect571r1, 256, TLS_CURVE_CHAR2}, /* sect571r1 (14) */ |
| 153 | {NID_secp160k1, 80, TLS_CURVE_PRIME}, /* secp160k1 (15) */ |
| 154 | {NID_secp160r1, 80, TLS_CURVE_PRIME}, /* secp160r1 (16) */ |
| 155 | {NID_secp160r2, 80, TLS_CURVE_PRIME}, /* secp160r2 (17) */ |
| 156 | {NID_secp192k1, 80, TLS_CURVE_PRIME}, /* secp192k1 (18) */ |
| 157 | {NID_X9_62_prime192v1, 80, TLS_CURVE_PRIME}, /* secp192r1 (19) */ |
| 158 | {NID_secp224k1, 112, TLS_CURVE_PRIME}, /* secp224k1 (20) */ |
| 159 | {NID_secp224r1, 112, TLS_CURVE_PRIME}, /* secp224r1 (21) */ |
| 160 | {NID_secp256k1, 128, TLS_CURVE_PRIME}, /* secp256k1 (22) */ |
| 161 | {NID_X9_62_prime256v1, 128, TLS_CURVE_PRIME}, /* secp256r1 (23) */ |
| 162 | {NID_secp384r1, 192, TLS_CURVE_PRIME}, /* secp384r1 (24) */ |
| 163 | {NID_secp521r1, 256, TLS_CURVE_PRIME}, /* secp521r1 (25) */ |
| 164 | {NID_brainpoolP256r1, 128, TLS_CURVE_PRIME}, /* brainpoolP256r1 (26) */ |
| 165 | {NID_brainpoolP384r1, 192, TLS_CURVE_PRIME}, /* brainpoolP384r1 (27) */ |
| 166 | {NID_brainpoolP512r1, 256, TLS_CURVE_PRIME}, /* brainpool512r1 (28) */ |
Dr. Stephen Henson | d2916a5 | 2017-06-20 16:32:44 +0100 | [diff] [blame] | 167 | {EVP_PKEY_X25519, 128, TLS_CURVE_CUSTOM}, /* X25519 (29) */ |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 168 | {EVP_PKEY_X448, 224, TLS_CURVE_CUSTOM}, /* X448 (30) */ |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 169 | }; |
Dr. Stephen Henson | eda3766 | 2011-05-30 17:58:13 +0000 | [diff] [blame] | 170 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 171 | static const unsigned char ecformats_default[] = { |
| 172 | TLSEXT_ECPOINTFORMAT_uncompressed, |
| 173 | TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime, |
| 174 | TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2 |
| 175 | }; |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 176 | |
Kurt Roeckx | fe6ef24 | 2015-12-04 22:30:36 +0100 | [diff] [blame] | 177 | /* The default curves */ |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 178 | static const uint16_t eccurves_default[] = { |
| 179 | 29, /* X25519 (29) */ |
| 180 | 23, /* secp256r1 (23) */ |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 181 | 30, /* X448 (30) */ |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 182 | 25, /* secp521r1 (25) */ |
| 183 | 24, /* secp384r1 (24) */ |
Emilia Kasper | de57d23 | 2015-05-20 15:47:51 +0200 | [diff] [blame] | 184 | }; |
| 185 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 186 | static const uint16_t suiteb_curves[] = { |
| 187 | TLSEXT_curve_P_256, |
| 188 | TLSEXT_curve_P_384 |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 189 | }; |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 190 | |
Dr. Stephen Henson | f48d826 | 2017-09-26 15:41:34 +0100 | [diff] [blame] | 191 | const TLS_GROUP_INFO *tls1_group_id_lookup(uint16_t group_id) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 192 | { |
| 193 | /* ECC curves from RFC 4492 and RFC 7027 */ |
Dr. Stephen Henson | f48d826 | 2017-09-26 15:41:34 +0100 | [diff] [blame] | 194 | if (group_id < 1 || group_id > OSSL_NELEM(nid_list)) |
Dr. Stephen Henson | 43b95d7 | 2017-09-23 00:15:34 +0100 | [diff] [blame] | 195 | return NULL; |
Dr. Stephen Henson | f48d826 | 2017-09-26 15:41:34 +0100 | [diff] [blame] | 196 | return &nid_list[group_id - 1]; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 197 | } |
Dr. Stephen Henson | 525de5d | 2007-08-12 23:59:05 +0000 | [diff] [blame] | 198 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 199 | static uint16_t tls1_nid2group_id(int nid) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 200 | { |
Dr. Stephen Henson | 2fa2d15 | 2016-02-13 15:28:25 +0000 | [diff] [blame] | 201 | size_t i; |
| 202 | for (i = 0; i < OSSL_NELEM(nid_list); i++) { |
| 203 | if (nid_list[i].nid == nid) |
Andy Polyakov | 3a63c0e | 2017-11-11 22:23:12 +0100 | [diff] [blame] | 204 | return (uint16_t)(i + 1); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 205 | } |
Dr. Stephen Henson | 2fa2d15 | 2016-02-13 15:28:25 +0000 | [diff] [blame] | 206 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 207 | } |
| 208 | |
Emilia Kasper | 740580c | 2014-12-01 16:55:55 +0100 | [diff] [blame] | 209 | /* |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 210 | * Set *pgroups to the supported groups list and *pgroupslen to |
| 211 | * the number of groups supported. |
Dr. Stephen Henson | fd2b65c | 2012-04-04 14:41:01 +0000 | [diff] [blame] | 212 | */ |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 213 | void tls1_get_supported_groups(SSL *s, const uint16_t **pgroups, |
| 214 | size_t *pgroupslen) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 215 | { |
Rich Salz | 3e37351 | 2016-09-19 13:09:58 -0400 | [diff] [blame] | 216 | |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 217 | /* For Suite B mode only include P-256, P-384 */ |
| 218 | switch (tls1_suiteb(s)) { |
| 219 | case SSL_CERT_FLAG_SUITEB_128_LOS: |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 220 | *pgroups = suiteb_curves; |
| 221 | *pgroupslen = OSSL_NELEM(suiteb_curves); |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 222 | break; |
Emilia Kasper | 740580c | 2014-12-01 16:55:55 +0100 | [diff] [blame] | 223 | |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 224 | case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY: |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 225 | *pgroups = suiteb_curves; |
| 226 | *pgroupslen = 1; |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 227 | break; |
| 228 | |
| 229 | case SSL_CERT_FLAG_SUITEB_192_LOS: |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 230 | *pgroups = suiteb_curves + 1; |
| 231 | *pgroupslen = 1; |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 232 | break; |
| 233 | |
| 234 | default: |
| 235 | if (s->ext.supportedgroups == NULL) { |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 236 | *pgroups = eccurves_default; |
| 237 | *pgroupslen = OSSL_NELEM(eccurves_default); |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 238 | } else { |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 239 | *pgroups = s->ext.supportedgroups; |
| 240 | *pgroupslen = s->ext.supportedgroups_len; |
Dr. Stephen Henson | 34e5292 | 2017-09-24 03:26:26 +0100 | [diff] [blame] | 241 | } |
| 242 | break; |
| 243 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 244 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 245 | |
| 246 | /* See if curve is allowed by security callback */ |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 247 | int tls_curve_allowed(SSL *s, uint16_t curve, int op) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 248 | { |
Dr. Stephen Henson | 5ce5f78 | 2017-09-24 21:58:58 +0100 | [diff] [blame] | 249 | const TLS_GROUP_INFO *cinfo = tls1_group_id_lookup(curve); |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 250 | unsigned char ctmp[2]; |
Dr. Stephen Henson | 5ce5f78 | 2017-09-24 21:58:58 +0100 | [diff] [blame] | 251 | |
| 252 | if (cinfo == NULL) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 253 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 254 | # ifdef OPENSSL_NO_EC2M |
| 255 | if (cinfo->flags & TLS_CURVE_CHAR2) |
| 256 | return 0; |
| 257 | # endif |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 258 | ctmp[0] = curve >> 8; |
| 259 | ctmp[1] = curve & 0xff; |
| 260 | return ssl_security(s, op, cinfo->secbits, cinfo->nid, (void *)ctmp); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 261 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 262 | |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 263 | /* Return 1 if "id" is in "list" */ |
| 264 | static int tls1_in_list(uint16_t id, const uint16_t *list, size_t listlen) |
| 265 | { |
| 266 | size_t i; |
| 267 | for (i = 0; i < listlen; i++) |
| 268 | if (list[i] == id) |
| 269 | return 1; |
| 270 | return 0; |
| 271 | } |
| 272 | |
Tim Hudson | 1d97c84 | 2014-12-28 12:48:40 +1000 | [diff] [blame] | 273 | /*- |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 274 | * For nmatch >= 0, return the id of the |nmatch|th shared group or 0 |
Kurt Roeckx | 6977e8e | 2015-12-04 22:25:11 +0100 | [diff] [blame] | 275 | * if there is no match. |
| 276 | * For nmatch == -1, return number of matches |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 277 | * For nmatch == -2, return the id of the group to use for |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 278 | * a tmp key, or 0 if there is no match. |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 279 | */ |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 280 | uint16_t tls1_shared_group(SSL *s, int nmatch) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 281 | { |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 282 | const uint16_t *pref, *supp; |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 283 | size_t num_pref, num_supp, i; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 284 | int k; |
Rich Salz | 3e37351 | 2016-09-19 13:09:58 -0400 | [diff] [blame] | 285 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 286 | /* Can't do anything on client side */ |
| 287 | if (s->server == 0) |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 288 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 289 | if (nmatch == -2) { |
| 290 | if (tls1_suiteb(s)) { |
| 291 | /* |
| 292 | * For Suite B ciphersuite determines curve: we already know |
| 293 | * these are acceptable due to previous checks. |
| 294 | */ |
| 295 | unsigned long cid = s->s3->tmp.new_cipher->id; |
Rich Salz | 3e37351 | 2016-09-19 13:09:58 -0400 | [diff] [blame] | 296 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 297 | if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256) |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 298 | return TLSEXT_curve_P_256; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 299 | if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384) |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 300 | return TLSEXT_curve_P_384; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 301 | /* Should never happen */ |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 302 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 303 | } |
| 304 | /* If not Suite B just return first preference shared curve */ |
| 305 | nmatch = 0; |
| 306 | } |
| 307 | /* |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 308 | * If server preference set, our groups are the preference order |
| 309 | * otherwise peer decides. |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 310 | */ |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 311 | if (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) { |
| 312 | tls1_get_supported_groups(s, &pref, &num_pref); |
| 313 | tls1_get_peer_groups(s, &supp, &num_supp); |
| 314 | } else { |
| 315 | tls1_get_peer_groups(s, &pref, &num_pref); |
| 316 | tls1_get_supported_groups(s, &supp, &num_supp); |
| 317 | } |
Kurt Roeckx | 3c06513 | 2015-05-30 19:20:12 +0200 | [diff] [blame] | 318 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 319 | for (k = 0, i = 0; i < num_pref; i++) { |
| 320 | uint16_t id = pref[i]; |
Rich Salz | 3e37351 | 2016-09-19 13:09:58 -0400 | [diff] [blame] | 321 | |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 322 | if (!tls1_in_list(id, supp, num_supp) |
| 323 | || !tls_curve_allowed(s, id, SSL_SECOP_CURVE_SHARED)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 324 | continue; |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 325 | if (nmatch == k) |
| 326 | return id; |
| 327 | k++; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 328 | } |
| 329 | if (nmatch == -1) |
| 330 | return k; |
| 331 | /* Out of range (nmatch > k). */ |
Dr. Stephen Henson | 8841154 | 2017-09-22 23:43:03 +0100 | [diff] [blame] | 332 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 333 | } |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 334 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 335 | int tls1_set_groups(uint16_t **pext, size_t *pextlen, |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 336 | int *groups, size_t ngroups) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 337 | { |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 338 | uint16_t *glist; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 339 | size_t i; |
| 340 | /* |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 341 | * Bitmap of groups included to detect duplicates: only works while group |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 342 | * ids < 32 |
| 343 | */ |
| 344 | unsigned long dup_list = 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 345 | |
| 346 | if ((glist = OPENSSL_malloc(ngroups * sizeof(*glist))) == NULL) { |
| 347 | SSLerr(SSL_F_TLS1_SET_GROUPS, ERR_R_MALLOC_FAILURE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 348 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 349 | } |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 350 | for (i = 0; i < ngroups; i++) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 351 | unsigned long idmask; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 352 | uint16_t id; |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 353 | /* TODO(TLS1.3): Convert for DH groups */ |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 354 | id = tls1_nid2group_id(groups[i]); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 355 | idmask = 1L << id; |
| 356 | if (!id || (dup_list & idmask)) { |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 357 | OPENSSL_free(glist); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 358 | return 0; |
| 359 | } |
| 360 | dup_list |= idmask; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 361 | glist[i] = id; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 362 | } |
Rich Salz | b548a1f | 2015-05-01 10:02:07 -0400 | [diff] [blame] | 363 | OPENSSL_free(*pext); |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 364 | *pext = glist; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 365 | *pextlen = ngroups; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 366 | return 1; |
| 367 | } |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 368 | |
Matt Caswell | ca50cd9 | 2018-04-24 10:10:39 +0100 | [diff] [blame] | 369 | # define MAX_CURVELIST OSSL_NELEM(nid_list) |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 370 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 371 | typedef struct { |
| 372 | size_t nidcnt; |
| 373 | int nid_arr[MAX_CURVELIST]; |
| 374 | } nid_cb_st; |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 375 | |
| 376 | static int nid_cb(const char *elem, int len, void *arg) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 377 | { |
| 378 | nid_cb_st *narg = arg; |
| 379 | size_t i; |
| 380 | int nid; |
| 381 | char etmp[20]; |
Kurt Roeckx | 2747d73 | 2015-01-24 14:46:50 +0100 | [diff] [blame] | 382 | if (elem == NULL) |
| 383 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 384 | if (narg->nidcnt == MAX_CURVELIST) |
| 385 | return 0; |
| 386 | if (len > (int)(sizeof(etmp) - 1)) |
| 387 | return 0; |
| 388 | memcpy(etmp, elem, len); |
| 389 | etmp[len] = 0; |
| 390 | nid = EC_curve_nist2nid(etmp); |
| 391 | if (nid == NID_undef) |
| 392 | nid = OBJ_sn2nid(etmp); |
| 393 | if (nid == NID_undef) |
| 394 | nid = OBJ_ln2nid(etmp); |
| 395 | if (nid == NID_undef) |
| 396 | return 0; |
| 397 | for (i = 0; i < narg->nidcnt; i++) |
| 398 | if (narg->nid_arr[i] == nid) |
| 399 | return 0; |
| 400 | narg->nid_arr[narg->nidcnt++] = nid; |
| 401 | return 1; |
| 402 | } |
| 403 | |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 404 | /* Set groups based on a colon separate list */ |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 405 | int tls1_set_groups_list(uint16_t **pext, size_t *pextlen, const char *str) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 406 | { |
| 407 | nid_cb_st ncb; |
| 408 | ncb.nidcnt = 0; |
| 409 | if (!CONF_parse_list(str, ':', 1, nid_cb, &ncb)) |
| 410 | return 0; |
| 411 | if (pext == NULL) |
| 412 | return 1; |
Matt Caswell | de4d764 | 2016-11-09 14:51:06 +0000 | [diff] [blame] | 413 | return tls1_set_groups(pext, pextlen, ncb.nid_arr, ncb.nidcnt); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 414 | } |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 415 | /* Return group id of a key */ |
| 416 | static uint16_t tls1_get_group_id(EVP_PKEY *pkey) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 417 | { |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 418 | EC_KEY *ec = EVP_PKEY_get0_EC_KEY(pkey); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 419 | const EC_GROUP *grp; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 420 | |
| 421 | if (ec == NULL) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 422 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 423 | grp = EC_KEY_get0_group(ec); |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 424 | return tls1_nid2group_id(EC_GROUP_get_curve_name(grp)); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 425 | } |
| 426 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 427 | /* Check a key is compatible with compression extension */ |
| 428 | static int tls1_check_pkey_comp(SSL *s, EVP_PKEY *pkey) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 429 | { |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 430 | const EC_KEY *ec; |
| 431 | const EC_GROUP *grp; |
| 432 | unsigned char comp_id; |
| 433 | size_t i; |
| 434 | |
| 435 | /* If not an EC key nothing to check */ |
| 436 | if (EVP_PKEY_id(pkey) != EVP_PKEY_EC) |
| 437 | return 1; |
| 438 | ec = EVP_PKEY_get0_EC_KEY(pkey); |
| 439 | grp = EC_KEY_get0_group(ec); |
| 440 | |
| 441 | /* Get required compression id */ |
| 442 | if (EC_KEY_get_conv_form(ec) == POINT_CONVERSION_UNCOMPRESSED) { |
| 443 | comp_id = TLSEXT_ECPOINTFORMAT_uncompressed; |
| 444 | } else if (SSL_IS_TLS13(s)) { |
Matt Caswell | 7500bc3 | 2018-04-23 14:02:23 +0100 | [diff] [blame] | 445 | /* |
| 446 | * ec_point_formats extension is not used in TLSv1.3 so we ignore |
| 447 | * this check. |
| 448 | */ |
| 449 | return 1; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 450 | } else { |
| 451 | int field_type = EC_METHOD_get_field_type(EC_GROUP_method_of(grp)); |
| 452 | |
| 453 | if (field_type == NID_X9_62_prime_field) |
| 454 | comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime; |
KaoruToda | b255516 | 2017-10-20 22:58:46 -0400 | [diff] [blame] | 455 | else if (field_type == NID_X9_62_characteristic_two_field) |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 456 | comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2; |
| 457 | else |
| 458 | return 0; |
| 459 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 460 | /* |
| 461 | * If point formats extension present check it, otherwise everything is |
| 462 | * supported (see RFC4492). |
| 463 | */ |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 464 | if (s->session->ext.ecpointformats == NULL) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 465 | return 1; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 466 | |
| 467 | for (i = 0; i < s->session->ext.ecpointformats_len; i++) { |
| 468 | if (s->session->ext.ecpointformats[i] == comp_id) |
| 469 | return 1; |
| 470 | } |
| 471 | return 0; |
| 472 | } |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 473 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 474 | /* Check a group id matches preferences */ |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 475 | int tls1_check_group_id(SSL *s, uint16_t group_id, int check_own_groups) |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 476 | { |
| 477 | const uint16_t *groups; |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 478 | size_t groups_len; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 479 | |
| 480 | if (group_id == 0) |
| 481 | return 0; |
| 482 | |
Dr. Stephen Henson | 6447e81 | 2017-09-26 16:17:44 +0100 | [diff] [blame] | 483 | /* Check for Suite B compliance */ |
| 484 | if (tls1_suiteb(s) && s->s3->tmp.new_cipher != NULL) { |
| 485 | unsigned long cid = s->s3->tmp.new_cipher->id; |
| 486 | |
| 487 | if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256) { |
| 488 | if (group_id != TLSEXT_curve_P_256) |
| 489 | return 0; |
| 490 | } else if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384) { |
| 491 | if (group_id != TLSEXT_curve_P_384) |
| 492 | return 0; |
| 493 | } else { |
| 494 | /* Should never happen */ |
| 495 | return 0; |
| 496 | } |
| 497 | } |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 498 | |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 499 | if (check_own_groups) { |
| 500 | /* Check group is one of our preferences */ |
| 501 | tls1_get_supported_groups(s, &groups, &groups_len); |
| 502 | if (!tls1_in_list(group_id, groups, groups_len)) |
| 503 | return 0; |
| 504 | } |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 505 | |
Dr. Stephen Henson | 6447e81 | 2017-09-26 16:17:44 +0100 | [diff] [blame] | 506 | if (!tls_curve_allowed(s, group_id, SSL_SECOP_CURVE_CHECK)) |
| 507 | return 0; |
| 508 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 509 | /* For clients, nothing more to check */ |
| 510 | if (!s->server) |
| 511 | return 1; |
| 512 | |
| 513 | /* Check group is one of peers preferences */ |
Dr. Stephen Henson | ff6d20a | 2017-09-26 15:28:16 +0100 | [diff] [blame] | 514 | tls1_get_peer_groups(s, &groups, &groups_len); |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 515 | |
| 516 | /* |
| 517 | * RFC 4492 does not require the supported elliptic curves extension |
| 518 | * so if it is not sent we can just choose any curve. |
| 519 | * It is invalid to send an empty list in the supported groups |
| 520 | * extension, so groups_len == 0 always means no extension. |
| 521 | */ |
| 522 | if (groups_len == 0) |
| 523 | return 1; |
Dr. Stephen Henson | b50951d | 2017-09-24 21:59:39 +0100 | [diff] [blame] | 524 | return tls1_in_list(group_id, groups, groups_len); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 525 | } |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 526 | |
Matt Caswell | 7da160b | 2016-11-25 10:22:02 +0000 | [diff] [blame] | 527 | void tls1_get_formatlist(SSL *s, const unsigned char **pformats, |
| 528 | size_t *num_formats) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 529 | { |
| 530 | /* |
| 531 | * If we have a custom point format list use it otherwise use default |
| 532 | */ |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 533 | if (s->ext.ecpointformats) { |
| 534 | *pformats = s->ext.ecpointformats; |
| 535 | *num_formats = s->ext.ecpointformats_len; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 536 | } else { |
| 537 | *pformats = ecformats_default; |
| 538 | /* For Suite B we don't support char2 fields */ |
| 539 | if (tls1_suiteb(s)) |
| 540 | *num_formats = sizeof(ecformats_default) - 1; |
| 541 | else |
| 542 | *num_formats = sizeof(ecformats_default); |
| 543 | } |
| 544 | } |
Dr. Stephen Henson | 5087afa | 2012-11-26 18:38:10 +0000 | [diff] [blame] | 545 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 546 | /* |
| 547 | * Check cert parameters compatible with extensions: currently just checks EC |
| 548 | * certificates have compatible curves and compression. |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 549 | */ |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 550 | static int tls1_check_cert_param(SSL *s, X509 *x, int check_ee_md) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 551 | { |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 552 | uint16_t group_id; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 553 | EVP_PKEY *pkey; |
Dr. Stephen Henson | 8382fd3 | 2015-12-20 00:32:36 +0000 | [diff] [blame] | 554 | pkey = X509_get0_pubkey(x); |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 555 | if (pkey == NULL) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 556 | return 0; |
| 557 | /* If not EC nothing to do */ |
Dr. Stephen Henson | 3aeb934 | 2016-01-19 00:21:12 +0000 | [diff] [blame] | 558 | if (EVP_PKEY_id(pkey) != EVP_PKEY_EC) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 559 | return 1; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 560 | /* Check compression */ |
| 561 | if (!tls1_check_pkey_comp(s, pkey)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 562 | return 0; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 563 | group_id = tls1_get_group_id(pkey); |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 564 | /* |
| 565 | * For a server we allow the certificate to not be in our list of supported |
| 566 | * groups. |
| 567 | */ |
| 568 | if (!tls1_check_group_id(s, group_id, !s->server)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 569 | return 0; |
| 570 | /* |
| 571 | * Special case for suite B. We *MUST* sign using SHA256+P-256 or |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 572 | * SHA384+P-384. |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 573 | */ |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 574 | if (check_ee_md && tls1_suiteb(s)) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 575 | int check_md; |
| 576 | size_t i; |
| 577 | CERT *c = s->cert; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 578 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 579 | /* Check to see we have necessary signing algorithm */ |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 580 | if (group_id == TLSEXT_curve_P_256) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 581 | check_md = NID_ecdsa_with_SHA256; |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 582 | else if (group_id == TLSEXT_curve_P_384) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 583 | check_md = NID_ecdsa_with_SHA384; |
| 584 | else |
| 585 | return 0; /* Should never happen */ |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 586 | for (i = 0; i < c->shared_sigalgslen; i++) { |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 587 | if (check_md == c->shared_sigalgs[i]->sigandhash) |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 588 | return 1;; |
| 589 | } |
| 590 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 591 | } |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 592 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 593 | } |
| 594 | |
Kurt Roeckx | 6977e8e | 2015-12-04 22:25:11 +0100 | [diff] [blame] | 595 | /* |
FdaSilvaYY | 8483a00 | 2016-03-10 21:34:48 +0100 | [diff] [blame] | 596 | * tls1_check_ec_tmp_key - Check EC temporary key compatibility |
Kurt Roeckx | 6977e8e | 2015-12-04 22:25:11 +0100 | [diff] [blame] | 597 | * @s: SSL connection |
| 598 | * @cid: Cipher ID we're considering using |
| 599 | * |
| 600 | * Checks that the kECDHE cipher suite we're considering using |
| 601 | * is compatible with the client extensions. |
| 602 | * |
| 603 | * Returns 0 when the cipher can't be used or 1 when it can. |
| 604 | */ |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 605 | int tls1_check_ec_tmp_key(SSL *s, unsigned long cid) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 606 | { |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 607 | /* If not Suite B just need a shared group */ |
| 608 | if (!tls1_suiteb(s)) |
| 609 | return tls1_shared_group(s, 0) != 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 610 | /* |
| 611 | * If Suite B, AES128 MUST use P-256 and AES256 MUST use P-384, no other |
| 612 | * curves permitted. |
| 613 | */ |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 614 | if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256) |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 615 | return tls1_check_group_id(s, TLSEXT_curve_P_256, 1); |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 616 | if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384) |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 617 | return tls1_check_group_id(s, TLSEXT_curve_P_384, 1); |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 618 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 619 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 620 | } |
Dr. Stephen Henson | d0595f1 | 2012-03-28 15:05:04 +0000 | [diff] [blame] | 621 | |
Dr. Stephen Henson | 14536c8 | 2013-08-17 17:40:08 +0100 | [diff] [blame] | 622 | #else |
| 623 | |
| 624 | static int tls1_check_cert_param(SSL *s, X509 *x, int set_ee_md) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 625 | { |
| 626 | return 1; |
| 627 | } |
Dr. Stephen Henson | 14536c8 | 2013-08-17 17:40:08 +0100 | [diff] [blame] | 628 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 629 | #endif /* OPENSSL_NO_EC */ |
Bodo Möller | f1fd454 | 2006-01-03 03:27:19 +0000 | [diff] [blame] | 630 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 631 | /* Default sigalg schemes */ |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 632 | static const uint16_t tls12_sigalgs[] = { |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 633 | #ifndef OPENSSL_NO_EC |
| 634 | TLSEXT_SIGALG_ecdsa_secp256r1_sha256, |
| 635 | TLSEXT_SIGALG_ecdsa_secp384r1_sha384, |
| 636 | TLSEXT_SIGALG_ecdsa_secp521r1_sha512, |
Dr. Stephen Henson | 3d234c9 | 2017-05-24 21:56:38 +0100 | [diff] [blame] | 637 | TLSEXT_SIGALG_ed25519, |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 638 | TLSEXT_SIGALG_ed448, |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 639 | #endif |
Dr. Stephen Henson | fc101f8 | 2011-05-11 16:33:28 +0000 | [diff] [blame] | 640 | |
Benjamin Kaduk | f55e99f | 2018-01-11 13:39:30 -0600 | [diff] [blame] | 641 | TLSEXT_SIGALG_rsa_pss_pss_sha256, |
| 642 | TLSEXT_SIGALG_rsa_pss_pss_sha384, |
| 643 | TLSEXT_SIGALG_rsa_pss_pss_sha512, |
| 644 | TLSEXT_SIGALG_rsa_pss_rsae_sha256, |
| 645 | TLSEXT_SIGALG_rsa_pss_rsae_sha384, |
| 646 | TLSEXT_SIGALG_rsa_pss_rsae_sha512, |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 647 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 648 | TLSEXT_SIGALG_rsa_pkcs1_sha256, |
| 649 | TLSEXT_SIGALG_rsa_pkcs1_sha384, |
| 650 | TLSEXT_SIGALG_rsa_pkcs1_sha512, |
Dr. Stephen Henson | fc101f8 | 2011-05-11 16:33:28 +0000 | [diff] [blame] | 651 | |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 652 | #ifndef OPENSSL_NO_EC |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 653 | TLSEXT_SIGALG_ecdsa_sha224, |
Matt Caswell | 42ab223 | 2017-01-10 13:45:24 +0000 | [diff] [blame] | 654 | TLSEXT_SIGALG_ecdsa_sha1, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 655 | #endif |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 656 | TLSEXT_SIGALG_rsa_pkcs1_sha224, |
Matt Caswell | 42ab223 | 2017-01-10 13:45:24 +0000 | [diff] [blame] | 657 | TLSEXT_SIGALG_rsa_pkcs1_sha1, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 658 | #ifndef OPENSSL_NO_DSA |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 659 | TLSEXT_SIGALG_dsa_sha224, |
Matt Caswell | 42ab223 | 2017-01-10 13:45:24 +0000 | [diff] [blame] | 660 | TLSEXT_SIGALG_dsa_sha1, |
| 661 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 662 | TLSEXT_SIGALG_dsa_sha256, |
| 663 | TLSEXT_SIGALG_dsa_sha384, |
Dmitry Belyavskiy | 41f1030 | 2018-05-03 18:31:01 +0300 | [diff] [blame] | 664 | TLSEXT_SIGALG_dsa_sha512, |
| 665 | #endif |
| 666 | #ifndef OPENSSL_NO_GOST |
| 667 | TLSEXT_SIGALG_gostr34102012_256_gostr34112012_256, |
| 668 | TLSEXT_SIGALG_gostr34102012_512_gostr34112012_512, |
| 669 | TLSEXT_SIGALG_gostr34102001_gostr3411, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 670 | #endif |
Dr. Stephen Henson | fc101f8 | 2011-05-11 16:33:28 +0000 | [diff] [blame] | 671 | }; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 672 | |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 673 | #ifndef OPENSSL_NO_EC |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 674 | static const uint16_t suiteb_sigalgs[] = { |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 675 | TLSEXT_SIGALG_ecdsa_secp256r1_sha256, |
| 676 | TLSEXT_SIGALG_ecdsa_secp384r1_sha384 |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 677 | }; |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 678 | #endif |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 679 | |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 680 | static const SIGALG_LOOKUP sigalg_lookup_tbl[] = { |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 681 | #ifndef OPENSSL_NO_EC |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 682 | {"ecdsa_secp256r1_sha256", TLSEXT_SIGALG_ecdsa_secp256r1_sha256, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 683 | NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_EC, SSL_PKEY_ECC, |
| 684 | NID_ecdsa_with_SHA256, NID_X9_62_prime256v1}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 685 | {"ecdsa_secp384r1_sha384", TLSEXT_SIGALG_ecdsa_secp384r1_sha384, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 686 | NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_EC, SSL_PKEY_ECC, |
| 687 | NID_ecdsa_with_SHA384, NID_secp384r1}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 688 | {"ecdsa_secp521r1_sha512", TLSEXT_SIGALG_ecdsa_secp521r1_sha512, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 689 | NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_EC, SSL_PKEY_ECC, |
| 690 | NID_ecdsa_with_SHA512, NID_secp521r1}, |
Dr. Stephen Henson | b04d4e3 | 2017-05-24 15:28:26 +0100 | [diff] [blame] | 691 | {"ed25519", TLSEXT_SIGALG_ed25519, |
Dr. Stephen Henson | d2916a5 | 2017-06-20 16:32:44 +0100 | [diff] [blame] | 692 | NID_undef, -1, EVP_PKEY_ED25519, SSL_PKEY_ED25519, |
Dr. Stephen Henson | b04d4e3 | 2017-05-24 15:28:26 +0100 | [diff] [blame] | 693 | NID_undef, NID_undef}, |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 694 | {"ed448", TLSEXT_SIGALG_ed448, |
| 695 | NID_undef, -1, EVP_PKEY_ED448, SSL_PKEY_ED448, |
| 696 | NID_undef, NID_undef}, |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 697 | {NULL, TLSEXT_SIGALG_ecdsa_sha224, |
| 698 | NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_EC, SSL_PKEY_ECC, |
| 699 | NID_ecdsa_with_SHA224, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 700 | {NULL, TLSEXT_SIGALG_ecdsa_sha1, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 701 | NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_EC, SSL_PKEY_ECC, |
| 702 | NID_ecdsa_with_SHA1, NID_undef}, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 703 | #endif |
Benjamin Kaduk | f55e99f | 2018-01-11 13:39:30 -0600 | [diff] [blame] | 704 | {"rsa_pss_rsae_sha256", TLSEXT_SIGALG_rsa_pss_rsae_sha256, |
| 705 | NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA, |
| 706 | NID_undef, NID_undef}, |
| 707 | {"rsa_pss_rsae_sha384", TLSEXT_SIGALG_rsa_pss_rsae_sha384, |
| 708 | NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA, |
| 709 | NID_undef, NID_undef}, |
| 710 | {"rsa_pss_rsae_sha512", TLSEXT_SIGALG_rsa_pss_rsae_sha512, |
| 711 | NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA, |
| 712 | NID_undef, NID_undef}, |
| 713 | {"rsa_pss_pss_sha256", TLSEXT_SIGALG_rsa_pss_pss_sha256, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 714 | NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN, |
| 715 | NID_undef, NID_undef}, |
Benjamin Kaduk | f55e99f | 2018-01-11 13:39:30 -0600 | [diff] [blame] | 716 | {"rsa_pss_pss_sha384", TLSEXT_SIGALG_rsa_pss_pss_sha384, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 717 | NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN, |
| 718 | NID_undef, NID_undef}, |
Benjamin Kaduk | f55e99f | 2018-01-11 13:39:30 -0600 | [diff] [blame] | 719 | {"rsa_pss_pss_sha512", TLSEXT_SIGALG_rsa_pss_pss_sha512, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 720 | NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN, |
| 721 | NID_undef, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 722 | {"rsa_pkcs1_sha256", TLSEXT_SIGALG_rsa_pkcs1_sha256, |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 723 | NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 724 | NID_sha256WithRSAEncryption, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 725 | {"rsa_pkcs1_sha384", TLSEXT_SIGALG_rsa_pkcs1_sha384, |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 726 | NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 727 | NID_sha384WithRSAEncryption, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 728 | {"rsa_pkcs1_sha512", TLSEXT_SIGALG_rsa_pkcs1_sha512, |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 729 | NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 730 | NID_sha512WithRSAEncryption, NID_undef}, |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 731 | {"rsa_pkcs1_sha224", TLSEXT_SIGALG_rsa_pkcs1_sha224, |
| 732 | NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA, |
| 733 | NID_sha224WithRSAEncryption, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 734 | {"rsa_pkcs1_sha1", TLSEXT_SIGALG_rsa_pkcs1_sha1, |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 735 | NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 736 | NID_sha1WithRSAEncryption, NID_undef}, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 737 | #ifndef OPENSSL_NO_DSA |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 738 | {NULL, TLSEXT_SIGALG_dsa_sha256, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 739 | NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN, |
| 740 | NID_dsa_with_SHA256, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 741 | {NULL, TLSEXT_SIGALG_dsa_sha384, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 742 | NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN, |
| 743 | NID_undef, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 744 | {NULL, TLSEXT_SIGALG_dsa_sha512, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 745 | NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN, |
| 746 | NID_undef, NID_undef}, |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 747 | {NULL, TLSEXT_SIGALG_dsa_sha224, |
| 748 | NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN, |
| 749 | NID_undef, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 750 | {NULL, TLSEXT_SIGALG_dsa_sha1, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 751 | NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN, |
| 752 | NID_dsaWithSHA1, NID_undef}, |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 753 | #endif |
| 754 | #ifndef OPENSSL_NO_GOST |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 755 | {NULL, TLSEXT_SIGALG_gostr34102012_256_gostr34112012_256, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 756 | NID_id_GostR3411_2012_256, SSL_MD_GOST12_256_IDX, |
| 757 | NID_id_GostR3410_2012_256, SSL_PKEY_GOST12_256, |
| 758 | NID_undef, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 759 | {NULL, TLSEXT_SIGALG_gostr34102012_512_gostr34112012_512, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 760 | NID_id_GostR3411_2012_512, SSL_MD_GOST12_512_IDX, |
| 761 | NID_id_GostR3410_2012_512, SSL_PKEY_GOST12_512, |
| 762 | NID_undef, NID_undef}, |
Dr. Stephen Henson | edbfba1 | 2017-01-26 14:23:05 +0000 | [diff] [blame] | 763 | {NULL, TLSEXT_SIGALG_gostr34102001_gostr3411, |
Dr. Stephen Henson | 17ae384 | 2017-01-30 16:05:23 +0000 | [diff] [blame] | 764 | NID_id_GostR3411_94, SSL_MD_GOST94_IDX, |
| 765 | NID_id_GostR3410_2001, SSL_PKEY_GOST01, |
| 766 | NID_undef, NID_undef} |
Matt Caswell | 5eeb6c6 | 2017-01-10 14:38:09 +0000 | [diff] [blame] | 767 | #endif |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 768 | }; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 769 | /* Legacy sigalgs for TLS < 1.2 RSA TLS signatures */ |
| 770 | static const SIGALG_LOOKUP legacy_rsa_sigalg = { |
| 771 | "rsa_pkcs1_md5_sha1", 0, |
| 772 | NID_md5_sha1, SSL_MD_MD5_SHA1_IDX, |
| 773 | EVP_PKEY_RSA, SSL_PKEY_RSA, |
| 774 | NID_undef, NID_undef |
| 775 | }; |
| 776 | |
| 777 | /* |
| 778 | * Default signature algorithm values used if signature algorithms not present. |
| 779 | * From RFC5246. Note: order must match certificate index order. |
| 780 | */ |
| 781 | static const uint16_t tls_default_sigalg[] = { |
| 782 | TLSEXT_SIGALG_rsa_pkcs1_sha1, /* SSL_PKEY_RSA */ |
Dr. Stephen Henson | 045d078 | 2017-09-13 13:53:03 +0100 | [diff] [blame] | 783 | 0, /* SSL_PKEY_RSA_PSS_SIGN */ |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 784 | TLSEXT_SIGALG_dsa_sha1, /* SSL_PKEY_DSA_SIGN */ |
| 785 | TLSEXT_SIGALG_ecdsa_sha1, /* SSL_PKEY_ECC */ |
| 786 | TLSEXT_SIGALG_gostr34102001_gostr3411, /* SSL_PKEY_GOST01 */ |
| 787 | TLSEXT_SIGALG_gostr34102012_256_gostr34112012_256, /* SSL_PKEY_GOST12_256 */ |
Dr. Stephen Henson | 07afa3d | 2017-05-24 21:54:03 +0100 | [diff] [blame] | 788 | TLSEXT_SIGALG_gostr34102012_512_gostr34112012_512, /* SSL_PKEY_GOST12_512 */ |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 789 | 0, /* SSL_PKEY_ED25519 */ |
| 790 | 0, /* SSL_PKEY_ED448 */ |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 791 | }; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 792 | |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 793 | /* Lookup TLS signature algorithm */ |
| 794 | static const SIGALG_LOOKUP *tls1_lookup_sigalg(uint16_t sigalg) |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 795 | { |
| 796 | size_t i; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 797 | const SIGALG_LOOKUP *s; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 798 | |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 799 | for (i = 0, s = sigalg_lookup_tbl; i < OSSL_NELEM(sigalg_lookup_tbl); |
| 800 | i++, s++) { |
| 801 | if (s->sigalg == sigalg) |
| 802 | return s; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 803 | } |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 804 | return NULL; |
| 805 | } |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 806 | /* Lookup hash: return 0 if invalid or not enabled */ |
| 807 | int tls1_lookup_md(const SIGALG_LOOKUP *lu, const EVP_MD **pmd) |
| 808 | { |
| 809 | const EVP_MD *md; |
| 810 | if (lu == NULL) |
| 811 | return 0; |
| 812 | /* lu->hash == NID_undef means no associated digest */ |
| 813 | if (lu->hash == NID_undef) { |
| 814 | md = NULL; |
| 815 | } else { |
| 816 | md = ssl_md(lu->hash_idx); |
| 817 | if (md == NULL) |
| 818 | return 0; |
| 819 | } |
| 820 | if (pmd) |
| 821 | *pmd = md; |
| 822 | return 1; |
| 823 | } |
| 824 | |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 825 | /* |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 826 | * Check if key is large enough to generate RSA-PSS signature. |
| 827 | * |
| 828 | * The key must greater than or equal to 2 * hash length + 2. |
| 829 | * SHA512 has a hash length of 64 bytes, which is incompatible |
| 830 | * with a 128 byte (1024 bit) key. |
| 831 | */ |
| 832 | #define RSA_PSS_MINIMUM_KEY_SIZE(md) (2 * EVP_MD_size(md) + 2) |
| 833 | static int rsa_pss_check_min_key_size(const RSA *rsa, const SIGALG_LOOKUP *lu) |
| 834 | { |
| 835 | const EVP_MD *md; |
| 836 | |
| 837 | if (rsa == NULL) |
| 838 | return 0; |
| 839 | if (!tls1_lookup_md(lu, &md) || md == NULL) |
| 840 | return 0; |
| 841 | if (RSA_size(rsa) < RSA_PSS_MINIMUM_KEY_SIZE(md)) |
| 842 | return 0; |
| 843 | return 1; |
| 844 | } |
| 845 | |
| 846 | /* |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 847 | * Return a signature algorithm for TLS < 1.2 where the signature type |
| 848 | * is fixed by the certificate type. |
| 849 | */ |
| 850 | static const SIGALG_LOOKUP *tls1_get_legacy_sigalg(const SSL *s, int idx) |
| 851 | { |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 852 | if (idx == -1) { |
| 853 | if (s->server) { |
| 854 | size_t i; |
| 855 | |
| 856 | /* Work out index corresponding to ciphersuite */ |
| 857 | for (i = 0; i < SSL_PKEY_NUM; i++) { |
| 858 | const SSL_CERT_LOOKUP *clu = ssl_cert_lookup_by_idx(i); |
| 859 | |
| 860 | if (clu->amask & s->s3->tmp.new_cipher->algorithm_auth) { |
| 861 | idx = i; |
| 862 | break; |
| 863 | } |
| 864 | } |
Dmitry Belyavskiy | 1f65c04 | 2018-05-03 17:25:48 +0300 | [diff] [blame] | 865 | |
| 866 | /* |
| 867 | * Some GOST ciphersuites allow more than one signature algorithms |
| 868 | * */ |
| 869 | if (idx == SSL_PKEY_GOST01 && s->s3->tmp.new_cipher->algorithm_auth != SSL_aGOST01) { |
| 870 | int real_idx; |
| 871 | |
| 872 | for (real_idx = SSL_PKEY_GOST12_512; real_idx >= SSL_PKEY_GOST01; |
| 873 | real_idx--) { |
| 874 | if (s->cert->pkeys[real_idx].privatekey != NULL) { |
| 875 | idx = real_idx; |
| 876 | break; |
| 877 | } |
| 878 | } |
| 879 | } |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 880 | } else { |
| 881 | idx = s->cert->key - s->cert->pkeys; |
| 882 | } |
| 883 | } |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 884 | if (idx < 0 || idx >= (int)OSSL_NELEM(tls_default_sigalg)) |
| 885 | return NULL; |
| 886 | if (SSL_USE_SIGALGS(s) || idx != SSL_PKEY_RSA) { |
| 887 | const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(tls_default_sigalg[idx]); |
| 888 | |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 889 | if (!tls1_lookup_md(lu, NULL)) |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 890 | return NULL; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 891 | return lu; |
| 892 | } |
| 893 | return &legacy_rsa_sigalg; |
| 894 | } |
| 895 | /* Set peer sigalg based key type */ |
| 896 | int tls1_set_peer_legacy_sigalg(SSL *s, const EVP_PKEY *pkey) |
| 897 | { |
Dr. Stephen Henson | 52fd27f | 2017-06-29 15:20:09 +0100 | [diff] [blame] | 898 | size_t idx; |
| 899 | const SIGALG_LOOKUP *lu; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 900 | |
Dr. Stephen Henson | 52fd27f | 2017-06-29 15:20:09 +0100 | [diff] [blame] | 901 | if (ssl_cert_lookup_by_pkey(pkey, &idx) == NULL) |
| 902 | return 0; |
| 903 | lu = tls1_get_legacy_sigalg(s, idx); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 904 | if (lu == NULL) |
| 905 | return 0; |
| 906 | s->s3->tmp.peer_sigalg = lu; |
| 907 | return 1; |
| 908 | } |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 909 | |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 910 | size_t tls12_get_psigalgs(SSL *s, int sent, const uint16_t **psigs) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 911 | { |
| 912 | /* |
| 913 | * If Suite B mode use Suite B sigalgs only, ignore any other |
| 914 | * preferences. |
| 915 | */ |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 916 | #ifndef OPENSSL_NO_EC |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 917 | switch (tls1_suiteb(s)) { |
| 918 | case SSL_CERT_FLAG_SUITEB_128_LOS: |
| 919 | *psigs = suiteb_sigalgs; |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 920 | return OSSL_NELEM(suiteb_sigalgs); |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 921 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 922 | case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY: |
| 923 | *psigs = suiteb_sigalgs; |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 924 | return 1; |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 925 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 926 | case SSL_CERT_FLAG_SUITEB_192_LOS: |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 927 | *psigs = suiteb_sigalgs + 1; |
| 928 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 929 | } |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 930 | #endif |
Dr. Stephen Henson | a9669dd | 2017-01-25 19:12:48 +0000 | [diff] [blame] | 931 | /* |
| 932 | * We use client_sigalgs (if not NULL) if we're a server |
| 933 | * and sending a certificate request or if we're a client and |
| 934 | * determining which shared algorithm to use. |
| 935 | */ |
| 936 | if ((s->server == sent) && s->cert->client_sigalgs != NULL) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 937 | *psigs = s->cert->client_sigalgs; |
| 938 | return s->cert->client_sigalgslen; |
| 939 | } else if (s->cert->conf_sigalgs) { |
| 940 | *psigs = s->cert->conf_sigalgs; |
| 941 | return s->cert->conf_sigalgslen; |
| 942 | } else { |
| 943 | *psigs = tls12_sigalgs; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 944 | return OSSL_NELEM(tls12_sigalgs); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 945 | } |
| 946 | } |
| 947 | |
| 948 | /* |
| 949 | * Check signature algorithm is consistent with sent supported signature |
Dr. Stephen Henson | b2eb699 | 2017-01-25 16:22:13 +0000 | [diff] [blame] | 950 | * algorithms and if so set relevant digest and signature scheme in |
| 951 | * s. |
Dr. Stephen Henson | ec4a50b | 2012-07-24 18:11:27 +0000 | [diff] [blame] | 952 | */ |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 953 | int tls12_check_peer_sigalg(SSL *s, uint16_t sig, EVP_PKEY *pkey) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 954 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 955 | const uint16_t *sent_sigs; |
Dr. Stephen Henson | 5554fac | 2017-01-25 16:46:02 +0000 | [diff] [blame] | 956 | const EVP_MD *md = NULL; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 957 | char sigalgstr[2]; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 958 | size_t sent_sigslen, i; |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 959 | int pkeyid = EVP_PKEY_id(pkey); |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 960 | const SIGALG_LOOKUP *lu; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 961 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 962 | /* Should never happen */ |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 963 | if (pkeyid == -1) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 964 | return -1; |
Dr. Stephen Henson | 5a8916d | 2017-02-17 16:08:19 +0000 | [diff] [blame] | 965 | if (SSL_IS_TLS13(s)) { |
| 966 | /* Disallow DSA for TLS 1.3 */ |
| 967 | if (pkeyid == EVP_PKEY_DSA) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 968 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 969 | SSL_R_WRONG_SIGNATURE_TYPE); |
Dr. Stephen Henson | 5a8916d | 2017-02-17 16:08:19 +0000 | [diff] [blame] | 970 | return 0; |
| 971 | } |
| 972 | /* Only allow PSS for TLS 1.3 */ |
| 973 | if (pkeyid == EVP_PKEY_RSA) |
| 974 | pkeyid = EVP_PKEY_RSA_PSS; |
| 975 | } |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 976 | lu = tls1_lookup_sigalg(sig); |
| 977 | /* |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 978 | * Check sigalgs is known. Disallow SHA1/SHA224 with TLS 1.3. Check key type |
| 979 | * is consistent with signature: RSA keys can be used for RSA-PSS |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 980 | */ |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 981 | if (lu == NULL |
| 982 | || (SSL_IS_TLS13(s) && (lu->hash == NID_sha1 || lu->hash == NID_sha224)) |
Dr. Stephen Henson | 095a982 | 2017-02-25 00:25:04 +0000 | [diff] [blame] | 983 | || (pkeyid != lu->sig |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 984 | && (lu->sig != EVP_PKEY_RSA_PSS || pkeyid != EVP_PKEY_RSA))) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 985 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 986 | SSL_R_WRONG_SIGNATURE_TYPE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 987 | return 0; |
| 988 | } |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 989 | #ifndef OPENSSL_NO_EC |
Matt Caswell | fe3066e | 2017-01-03 10:01:39 +0000 | [diff] [blame] | 990 | if (pkeyid == EVP_PKEY_EC) { |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 991 | |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 992 | /* Check point compression is permitted */ |
| 993 | if (!tls1_check_pkey_comp(s, pkey)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 994 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, |
| 995 | SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 996 | SSL_R_ILLEGAL_POINT_COMPRESSION); |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 997 | return 0; |
| 998 | } |
| 999 | |
| 1000 | /* For TLS 1.3 or Suite B check curve matches signature algorithm */ |
| 1001 | if (SSL_IS_TLS13(s) || tls1_suiteb(s)) { |
| 1002 | EC_KEY *ec = EVP_PKEY_get0_EC_KEY(pkey); |
| 1003 | int curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec)); |
| 1004 | |
Dr. Stephen Henson | a34a9df | 2017-02-14 14:27:15 +0000 | [diff] [blame] | 1005 | if (lu->curve != NID_undef && curve != lu->curve) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1006 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, |
| 1007 | SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_CURVE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1008 | return 0; |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1009 | } |
Dr. Stephen Henson | 4a1b428 | 2017-09-24 01:45:27 +0100 | [diff] [blame] | 1010 | } |
| 1011 | if (!SSL_IS_TLS13(s)) { |
| 1012 | /* Check curve matches extensions */ |
Matt Caswell | dcf8b01 | 2018-03-12 17:15:25 +0000 | [diff] [blame] | 1013 | if (!tls1_check_group_id(s, tls1_get_group_id(pkey), 1)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1014 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, |
| 1015 | SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_CURVE); |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1016 | return 0; |
| 1017 | } |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1018 | if (tls1_suiteb(s)) { |
Dr. Stephen Henson | f1adb00 | 2017-01-30 22:02:11 +0000 | [diff] [blame] | 1019 | /* Check sigalg matches a permissible Suite B value */ |
| 1020 | if (sig != TLSEXT_SIGALG_ecdsa_secp256r1_sha256 |
| 1021 | && sig != TLSEXT_SIGALG_ecdsa_secp384r1_sha384) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1022 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, |
| 1023 | SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 1024 | SSL_R_WRONG_SIGNATURE_TYPE); |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1025 | return 0; |
Dr. Stephen Henson | f1adb00 | 2017-01-30 22:02:11 +0000 | [diff] [blame] | 1026 | } |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1027 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1028 | } |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1029 | } else if (tls1_suiteb(s)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1030 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 1031 | SSL_R_WRONG_SIGNATURE_TYPE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1032 | return 0; |
Dr. Stephen Henson | 8f88cb5 | 2017-01-30 14:45:20 +0000 | [diff] [blame] | 1033 | } |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 1034 | #endif |
Dr. Stephen Henson | 2ea8035 | 2012-08-15 15:15:05 +0000 | [diff] [blame] | 1035 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1036 | /* Check signature matches a type we sent */ |
Dr. Stephen Henson | a9669dd | 2017-01-25 19:12:48 +0000 | [diff] [blame] | 1037 | sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs); |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 1038 | for (i = 0; i < sent_sigslen; i++, sent_sigs++) { |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1039 | if (sig == *sent_sigs) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1040 | break; |
| 1041 | } |
| 1042 | /* Allow fallback to SHA1 if not strict mode */ |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 1043 | if (i == sent_sigslen && (lu->hash != NID_sha1 |
| 1044 | || s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1045 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 1046 | SSL_R_WRONG_SIGNATURE_TYPE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1047 | return 0; |
| 1048 | } |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 1049 | if (!tls1_lookup_md(lu, &md)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1050 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 1051 | SSL_R_UNKNOWN_DIGEST); |
| 1052 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1053 | } |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 1054 | if (md != NULL) { |
| 1055 | /* |
| 1056 | * Make sure security callback allows algorithm. For historical |
| 1057 | * reasons we have to pass the sigalg as a two byte char array. |
| 1058 | */ |
| 1059 | sigalgstr[0] = (sig >> 8) & 0xff; |
| 1060 | sigalgstr[1] = sig & 0xff; |
| 1061 | if (!ssl_security(s, SSL_SECOP_SIGALG_CHECK, |
| 1062 | EVP_MD_size(md) * 4, EVP_MD_type(md), |
| 1063 | (void *)sigalgstr)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1064 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS12_CHECK_PEER_SIGALG, |
| 1065 | SSL_R_WRONG_SIGNATURE_TYPE); |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 1066 | return 0; |
| 1067 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1068 | } |
Dr. Stephen Henson | 6cbebb5 | 2017-01-30 18:10:17 +0000 | [diff] [blame] | 1069 | /* Store the sigalg the peer uses */ |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 1070 | s->s3->tmp.peer_sigalg = lu; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1071 | return 1; |
| 1072 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1073 | |
Dr. Stephen Henson | 42ef7ae | 2017-01-25 23:28:57 +0000 | [diff] [blame] | 1074 | int SSL_get_peer_signature_type_nid(const SSL *s, int *pnid) |
| 1075 | { |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 1076 | if (s->s3->tmp.peer_sigalg == NULL) |
Dr. Stephen Henson | 42ef7ae | 2017-01-25 23:28:57 +0000 | [diff] [blame] | 1077 | return 0; |
Dr. Stephen Henson | f742cda | 2017-01-30 13:48:39 +0000 | [diff] [blame] | 1078 | *pnid = s->s3->tmp.peer_sigalg->sig; |
Dr. Stephen Henson | 42ef7ae | 2017-01-25 23:28:57 +0000 | [diff] [blame] | 1079 | return 1; |
| 1080 | } |
| 1081 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1082 | /* |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1083 | * Set a mask of disabled algorithms: an algorithm is disabled if it isn't |
| 1084 | * supported, doesn't appear in supported signature algorithms, isn't supported |
| 1085 | * by the enabled protocol versions or by the security level. |
| 1086 | * |
| 1087 | * This function should only be used for checking which ciphers are supported |
| 1088 | * by the client. |
| 1089 | * |
| 1090 | * Call ssl_cipher_disabled() to check that it's enabled or not. |
Dr. Stephen Henson | b7bfe69 | 2012-07-18 14:09:46 +0000 | [diff] [blame] | 1091 | */ |
Matt Caswell | 1d0c08b | 2018-02-09 18:03:08 +0000 | [diff] [blame] | 1092 | int ssl_set_client_disabled(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1093 | { |
Dr. Stephen Henson | 4d69f9e | 2015-05-18 23:29:57 +0100 | [diff] [blame] | 1094 | s->s3->tmp.mask_a = 0; |
| 1095 | s->s3->tmp.mask_k = 0; |
Dr. Stephen Henson | 4d69f9e | 2015-05-18 23:29:57 +0100 | [diff] [blame] | 1096 | ssl_set_sig_mask(&s->s3->tmp.mask_a, s, SSL_SECOP_SIGALG_MASK); |
Matt Caswell | 1d0c08b | 2018-02-09 18:03:08 +0000 | [diff] [blame] | 1097 | if (ssl_get_min_max_version(s, &s->s3->tmp.min_ver, |
| 1098 | &s->s3->tmp.max_ver) != 0) |
| 1099 | return 0; |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1100 | #ifndef OPENSSL_NO_PSK |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1101 | /* with PSK there must be client callback set */ |
| 1102 | if (!s->psk_client_callback) { |
Dr. Stephen Henson | 4d69f9e | 2015-05-18 23:29:57 +0100 | [diff] [blame] | 1103 | s->s3->tmp.mask_a |= SSL_aPSK; |
Dr. Stephen Henson | fe5eef3 | 2015-06-28 17:01:07 +0100 | [diff] [blame] | 1104 | s->s3->tmp.mask_k |= SSL_PSK; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1105 | } |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1106 | #endif /* OPENSSL_NO_PSK */ |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 1107 | #ifndef OPENSSL_NO_SRP |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1108 | if (!(s->srp_ctx.srp_Mask & SSL_kSRP)) { |
Dr. Stephen Henson | 4d69f9e | 2015-05-18 23:29:57 +0100 | [diff] [blame] | 1109 | s->s3->tmp.mask_a |= SSL_aSRP; |
| 1110 | s->s3->tmp.mask_k |= SSL_kSRP; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1111 | } |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 1112 | #endif |
Matt Caswell | 1d0c08b | 2018-02-09 18:03:08 +0000 | [diff] [blame] | 1113 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1114 | } |
Dr. Stephen Henson | fc101f8 | 2011-05-11 16:33:28 +0000 | [diff] [blame] | 1115 | |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1116 | /* |
| 1117 | * ssl_cipher_disabled - check that a cipher is disabled or not |
| 1118 | * @s: SSL connection that you want to use the cipher on |
| 1119 | * @c: cipher to check |
| 1120 | * @op: Security check that you want to do |
Matt Caswell | 8af91fd | 2017-04-12 17:02:42 +0100 | [diff] [blame] | 1121 | * @ecdhe: If set to 1 then TLSv1 ECDHE ciphers are also allowed in SSLv3 |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1122 | * |
| 1123 | * Returns 1 when it's disabled, 0 when enabled. |
| 1124 | */ |
Matt Caswell | 8af91fd | 2017-04-12 17:02:42 +0100 | [diff] [blame] | 1125 | int ssl_cipher_disabled(SSL *s, const SSL_CIPHER *c, int op, int ecdhe) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1126 | { |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1127 | if (c->algorithm_mkey & s->s3->tmp.mask_k |
Dr. Stephen Henson | 4d69f9e | 2015-05-18 23:29:57 +0100 | [diff] [blame] | 1128 | || c->algorithm_auth & s->s3->tmp.mask_a) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1129 | return 1; |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1130 | if (s->s3->tmp.max_ver == 0) |
| 1131 | return 1; |
Matt Caswell | 8af91fd | 2017-04-12 17:02:42 +0100 | [diff] [blame] | 1132 | if (!SSL_IS_DTLS(s)) { |
| 1133 | int min_tls = c->min_tls; |
| 1134 | |
| 1135 | /* |
| 1136 | * For historical reasons we will allow ECHDE to be selected by a server |
| 1137 | * in SSLv3 if we are a client |
| 1138 | */ |
| 1139 | if (min_tls == TLS1_VERSION && ecdhe |
| 1140 | && (c->algorithm_mkey & (SSL_kECDHE | SSL_kECDHEPSK)) != 0) |
| 1141 | min_tls = SSL3_VERSION; |
| 1142 | |
| 1143 | if ((min_tls > s->s3->tmp.max_ver) || (c->max_tls < s->s3->tmp.min_ver)) |
| 1144 | return 1; |
| 1145 | } |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1146 | if (SSL_IS_DTLS(s) && (DTLS_VERSION_GT(c->min_dtls, s->s3->tmp.max_ver) |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1147 | || DTLS_VERSION_LT(c->max_dtls, s->s3->tmp.min_ver))) |
Kurt Roeckx | 3eb2aff | 2016-02-07 20:17:07 +0100 | [diff] [blame] | 1148 | return 1; |
| 1149 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1150 | return !ssl_security(s, op, c->strength_bits, 0, (void *)c); |
| 1151 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1152 | |
Matt Caswell | 7da160b | 2016-11-25 10:22:02 +0000 | [diff] [blame] | 1153 | int tls_use_ticket(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1154 | { |
Matt Caswell | 0819129 | 2017-01-19 11:23:06 +0000 | [diff] [blame] | 1155 | if ((s->options & SSL_OP_NO_TICKET)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1156 | return 0; |
| 1157 | return ssl_security(s, SSL_SECOP_TICKET, 0, 0, NULL); |
| 1158 | } |
Dr. Stephen Henson | 8b8e5be | 2014-01-14 14:55:21 +0000 | [diff] [blame] | 1159 | |
Dr. Stephen Henson | e469af8 | 2014-11-17 16:52:59 +0000 | [diff] [blame] | 1160 | int tls1_set_server_sigalgs(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1161 | { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1162 | size_t i; |
FdaSilvaYY | 8483a00 | 2016-03-10 21:34:48 +0100 | [diff] [blame] | 1163 | |
| 1164 | /* Clear any shared signature algorithms */ |
Rich Salz | b548a1f | 2015-05-01 10:02:07 -0400 | [diff] [blame] | 1165 | OPENSSL_free(s->cert->shared_sigalgs); |
| 1166 | s->cert->shared_sigalgs = NULL; |
| 1167 | s->cert->shared_sigalgslen = 0; |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1168 | /* Clear certificate validity flags */ |
| 1169 | for (i = 0; i < SSL_PKEY_NUM; i++) |
Dr. Stephen Henson | 6383d31 | 2015-05-12 22:17:34 +0100 | [diff] [blame] | 1170 | s->s3->tmp.valid_flags[i] = 0; |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 1171 | /* |
| 1172 | * If peer sent no signature algorithms check to see if we support |
| 1173 | * the default algorithm for each certificate type |
| 1174 | */ |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 1175 | if (s->s3->tmp.peer_cert_sigalgs == NULL |
| 1176 | && s->s3->tmp.peer_sigalgs == NULL) { |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 1177 | const uint16_t *sent_sigs; |
| 1178 | size_t sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs); |
Dr. Stephen Henson | e469af8 | 2014-11-17 16:52:59 +0000 | [diff] [blame] | 1179 | |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 1180 | for (i = 0; i < SSL_PKEY_NUM; i++) { |
| 1181 | const SIGALG_LOOKUP *lu = tls1_get_legacy_sigalg(s, i); |
| 1182 | size_t j; |
| 1183 | |
| 1184 | if (lu == NULL) |
| 1185 | continue; |
| 1186 | /* Check default matches a type we sent */ |
| 1187 | for (j = 0; j < sent_sigslen; j++) { |
| 1188 | if (lu->sigalg == sent_sigs[j]) { |
| 1189 | s->s3->tmp.valid_flags[i] = CERT_PKEY_SIGN; |
| 1190 | break; |
| 1191 | } |
| 1192 | } |
| 1193 | } |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1194 | return 1; |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 1195 | } |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1196 | |
| 1197 | if (!tls1_process_sigalgs(s)) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1198 | SSLfatal(s, SSL_AD_INTERNAL_ERROR, |
| 1199 | SSL_F_TLS1_SET_SERVER_SIGALGS, ERR_R_INTERNAL_ERROR); |
| 1200 | return 0; |
Dr. Stephen Henson | d376e57 | 2015-05-12 18:56:39 +0100 | [diff] [blame] | 1201 | } |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1202 | if (s->cert->shared_sigalgs != NULL) |
| 1203 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1204 | |
Matt Caswell | fb34a0f | 2017-05-16 17:28:23 +0100 | [diff] [blame] | 1205 | /* Fatal error if no shared signature algorithms */ |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 1206 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS1_SET_SERVER_SIGALGS, |
| 1207 | SSL_R_NO_SHARED_SIGNATURE_ALGORITHMS); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1208 | return 0; |
| 1209 | } |
Dr. Stephen Henson | e469af8 | 2014-11-17 16:52:59 +0000 | [diff] [blame] | 1210 | |
Tim Hudson | 1d97c84 | 2014-12-28 12:48:40 +1000 | [diff] [blame] | 1211 | /*- |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1212 | * Gets the ticket information supplied by the client if any. |
Dr. Stephen Henson | e7f0d92 | 2015-12-04 19:48:15 +0000 | [diff] [blame] | 1213 | * |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1214 | * hello: The parsed ClientHello data |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1215 | * ret: (output) on return, if a ticket was decrypted, then this is set to |
| 1216 | * point to the resulting session. |
Dr. Stephen Henson | 6434abb | 2007-08-11 23:18:29 +0000 | [diff] [blame] | 1217 | */ |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1218 | SSL_TICKET_STATUS tls_get_ticket_from_client(SSL *s, CLIENTHELLO_MSG *hello, |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1219 | SSL_SESSION **ret) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1220 | { |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1221 | size_t size; |
| 1222 | RAW_EXTENSION *ticketext; |
Dr. Stephen Henson | e7f0d92 | 2015-12-04 19:48:15 +0000 | [diff] [blame] | 1223 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1224 | *ret = NULL; |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 1225 | s->ext.ticket_expected = 0; |
Dr. Stephen Henson | e8da6a1 | 2008-09-03 22:17:11 +0000 | [diff] [blame] | 1226 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1227 | /* |
Matt Caswell | 9362c93 | 2016-11-08 16:10:21 +0000 | [diff] [blame] | 1228 | * If tickets disabled or not supported by the protocol version |
| 1229 | * (e.g. TLSv1.3) behave as if no ticket present to permit stateful |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1230 | * resumption. |
| 1231 | */ |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1232 | if (s->version <= SSL3_VERSION || !tls_use_ticket(s)) |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1233 | return SSL_TICKET_NONE; |
Matt Caswell | 9ceb242 | 2015-04-16 10:06:25 +0100 | [diff] [blame] | 1234 | |
Matt Caswell | 70af3d8 | 2016-11-28 09:31:59 +0000 | [diff] [blame] | 1235 | ticketext = &hello->pre_proc_exts[TLSEXT_IDX_session_ticket]; |
| 1236 | if (!ticketext->present) |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1237 | return SSL_TICKET_NONE; |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1238 | |
| 1239 | size = PACKET_remaining(&ticketext->data); |
Matt Caswell | 70af3d8 | 2016-11-28 09:31:59 +0000 | [diff] [blame] | 1240 | |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1241 | return tls_decrypt_ticket(s, PACKET_data(&ticketext->data), size, |
Matt Caswell | 70af3d8 | 2016-11-28 09:31:59 +0000 | [diff] [blame] | 1242 | hello->session_id, hello->session_id_len, ret); |
Matt Caswell | 1ab3836 | 2016-10-22 17:24:37 +0100 | [diff] [blame] | 1243 | } |
| 1244 | |
Tim Hudson | 1d97c84 | 2014-12-28 12:48:40 +1000 | [diff] [blame] | 1245 | /*- |
| 1246 | * tls_decrypt_ticket attempts to decrypt a session ticket. |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1247 | * |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1248 | * If s->tls_session_secret_cb is set and we're not doing TLSv1.3 then we are |
| 1249 | * expecting a pre-shared key ciphersuite, in which case we have no use for |
| 1250 | * session tickets and one will never be decrypted, nor will |
| 1251 | * s->ext.ticket_expected be set to 1. |
| 1252 | * |
| 1253 | * Side effects: |
| 1254 | * Sets s->ext.ticket_expected to 1 if the server will have to issue |
| 1255 | * a new session ticket to the client because the client indicated support |
| 1256 | * (and s->tls_session_secret_cb is NULL) but the client either doesn't have |
| 1257 | * a session ticket or we couldn't use the one it gave us, or if |
| 1258 | * s->ctx->ext.ticket_key_cb asked to renew the client's ticket. |
| 1259 | * Otherwise, s->ext.ticket_expected is set to 0. |
| 1260 | * |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1261 | * etick: points to the body of the session ticket extension. |
FdaSilvaYY | 8483a00 | 2016-03-10 21:34:48 +0100 | [diff] [blame] | 1262 | * eticklen: the length of the session tickets extension. |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1263 | * sess_id: points at the session ID. |
| 1264 | * sesslen: the length of the session ID. |
| 1265 | * psess: (output) on return, if a ticket was decrypted, then this is set to |
| 1266 | * point to the resulting session. |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1267 | */ |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1268 | SSL_TICKET_STATUS tls_decrypt_ticket(SSL *s, const unsigned char *etick, |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1269 | size_t eticklen, const unsigned char *sess_id, |
| 1270 | size_t sesslen, SSL_SESSION **psess) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1271 | { |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1272 | SSL_SESSION *sess = NULL; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1273 | unsigned char *sdec; |
| 1274 | const unsigned char *p; |
Matt Caswell | ddf6ec0 | 2017-01-20 16:01:27 +0000 | [diff] [blame] | 1275 | int slen, renew_ticket = 0, declen; |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1276 | SSL_TICKET_STATUS ret = SSL_TICKET_FATAL_ERR_OTHER; |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1277 | size_t mlen; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1278 | unsigned char tick_hmac[EVP_MAX_MD_SIZE]; |
Richard Levitte | bf7c681 | 2015-11-30 13:44:28 +0100 | [diff] [blame] | 1279 | HMAC_CTX *hctx = NULL; |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1280 | EVP_CIPHER_CTX *ctx = NULL; |
Todd Short | 222da97 | 2017-01-31 15:32:50 -0500 | [diff] [blame] | 1281 | SSL_CTX *tctx = s->session_ctx; |
Dr. Stephen Henson | e97763c | 2016-08-22 17:20:01 +0100 | [diff] [blame] | 1282 | |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1283 | if (eticklen == 0) { |
| 1284 | /* |
| 1285 | * The client will accept a ticket but doesn't currently have |
| 1286 | * one (TLSv1.2 and below), or treated as a fatal error in TLSv1.3 |
| 1287 | */ |
| 1288 | ret = SSL_TICKET_EMPTY; |
| 1289 | goto end; |
| 1290 | } |
| 1291 | if (!SSL_IS_TLS13(s) && s->ext.session_secret_cb) { |
| 1292 | /* |
| 1293 | * Indicate that the ticket couldn't be decrypted rather than |
| 1294 | * generating the session from ticket now, trigger |
| 1295 | * abbreviated handshake based on external mechanism to |
| 1296 | * calculate the master secret later. |
| 1297 | */ |
| 1298 | ret = SSL_TICKET_NO_DECRYPT; |
| 1299 | goto end; |
| 1300 | } |
| 1301 | |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1302 | /* Need at least keyname + iv */ |
| 1303 | if (eticklen < TLSEXT_KEYNAME_LENGTH + EVP_MAX_IV_LENGTH) { |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1304 | ret = SSL_TICKET_NO_DECRYPT; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1305 | goto end; |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1306 | } |
| 1307 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1308 | /* Initialize session ticket encryption and HMAC contexts */ |
Richard Levitte | bf7c681 | 2015-11-30 13:44:28 +0100 | [diff] [blame] | 1309 | hctx = HMAC_CTX_new(); |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1310 | if (hctx == NULL) { |
| 1311 | ret = SSL_TICKET_FATAL_ERR_MALLOC; |
| 1312 | goto end; |
| 1313 | } |
Richard Levitte | 846ec07 | 2015-12-13 22:08:41 +0100 | [diff] [blame] | 1314 | ctx = EVP_CIPHER_CTX_new(); |
Matt Caswell | 35b1a43 | 2016-02-13 23:22:45 +0000 | [diff] [blame] | 1315 | if (ctx == NULL) { |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1316 | ret = SSL_TICKET_FATAL_ERR_MALLOC; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1317 | goto end; |
Matt Caswell | 35b1a43 | 2016-02-13 23:22:45 +0000 | [diff] [blame] | 1318 | } |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 1319 | if (tctx->ext.ticket_key_cb) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1320 | unsigned char *nctick = (unsigned char *)etick; |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1321 | int rv = tctx->ext.ticket_key_cb(s, nctick, |
| 1322 | nctick + TLSEXT_KEYNAME_LENGTH, |
| 1323 | ctx, hctx, 0); |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1324 | if (rv < 0) { |
| 1325 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1326 | goto end; |
| 1327 | } |
Matt Caswell | 35b1a43 | 2016-02-13 23:22:45 +0000 | [diff] [blame] | 1328 | if (rv == 0) { |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1329 | ret = SSL_TICKET_NO_DECRYPT; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1330 | goto end; |
Matt Caswell | 35b1a43 | 2016-02-13 23:22:45 +0000 | [diff] [blame] | 1331 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1332 | if (rv == 2) |
| 1333 | renew_ticket = 1; |
| 1334 | } else { |
| 1335 | /* Check key name matches */ |
Rich Salz | aff8c12 | 2016-12-08 14:18:40 -0500 | [diff] [blame] | 1336 | if (memcmp(etick, tctx->ext.tick_key_name, |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1337 | TLSEXT_KEYNAME_LENGTH) != 0) { |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1338 | ret = SSL_TICKET_NO_DECRYPT; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1339 | goto end; |
Matt Caswell | 35b1a43 | 2016-02-13 23:22:45 +0000 | [diff] [blame] | 1340 | } |
Todd Short | 4bfb96f | 2018-03-19 10:50:51 -0400 | [diff] [blame] | 1341 | if (HMAC_Init_ex(hctx, tctx->ext.secure->tick_hmac_key, |
| 1342 | sizeof(tctx->ext.secure->tick_hmac_key), |
Matt Caswell | 5f3d93e | 2015-11-06 16:31:21 +0000 | [diff] [blame] | 1343 | EVP_sha256(), NULL) <= 0 |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1344 | || EVP_DecryptInit_ex(ctx, EVP_aes_256_cbc(), NULL, |
Todd Short | 4bfb96f | 2018-03-19 10:50:51 -0400 | [diff] [blame] | 1345 | tctx->ext.secure->tick_aes_key, |
Matt Caswell | ee76349 | 2018-02-20 10:20:20 +0000 | [diff] [blame] | 1346 | etick + TLSEXT_KEYNAME_LENGTH) <= 0) { |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1347 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1348 | goto end; |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1349 | } |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1350 | if (SSL_IS_TLS13(s)) |
| 1351 | renew_ticket = 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1352 | } |
| 1353 | /* |
| 1354 | * Attempt to process session ticket, first conduct sanity and integrity |
| 1355 | * checks on ticket. |
| 1356 | */ |
Richard Levitte | bf7c681 | 2015-11-30 13:44:28 +0100 | [diff] [blame] | 1357 | mlen = HMAC_size(hctx); |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1358 | if (mlen == 0) { |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1359 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1360 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1361 | } |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1362 | |
Dr. Stephen Henson | e97763c | 2016-08-22 17:20:01 +0100 | [diff] [blame] | 1363 | /* Sanity check ticket length: must exceed keyname + IV + HMAC */ |
| 1364 | if (eticklen <= |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1365 | TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx) + mlen) { |
Todd Short | df0fed9 | 2017-03-15 13:25:55 -0400 | [diff] [blame] | 1366 | ret = SSL_TICKET_NO_DECRYPT; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1367 | goto end; |
Dr. Stephen Henson | e97763c | 2016-08-22 17:20:01 +0100 | [diff] [blame] | 1368 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1369 | eticklen -= mlen; |
| 1370 | /* Check HMAC of encrypted ticket */ |
Richard Levitte | bf7c681 | 2015-11-30 13:44:28 +0100 | [diff] [blame] | 1371 | if (HMAC_Update(hctx, etick, eticklen) <= 0 |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1372 | || HMAC_Final(hctx, tick_hmac, NULL) <= 0) { |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1373 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1374 | goto end; |
Matt Caswell | 5f3d93e | 2015-11-06 16:31:21 +0000 | [diff] [blame] | 1375 | } |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1376 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1377 | if (CRYPTO_memcmp(tick_hmac, etick + eticklen, mlen)) { |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1378 | ret = SSL_TICKET_NO_DECRYPT; |
| 1379 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1380 | } |
| 1381 | /* Attempt to decrypt session data */ |
| 1382 | /* Move p after IV to start of encrypted ticket, update length */ |
Bernd Edlinger | 57b0d65 | 2017-02-13 18:36:13 +0100 | [diff] [blame] | 1383 | p = etick + TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx); |
| 1384 | eticklen -= TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1385 | sdec = OPENSSL_malloc(eticklen); |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1386 | if (sdec == NULL || EVP_DecryptUpdate(ctx, sdec, &slen, p, |
| 1387 | (int)eticklen) <= 0) { |
Matt Caswell | d1247df | 2016-03-15 11:38:56 +0000 | [diff] [blame] | 1388 | OPENSSL_free(sdec); |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1389 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1390 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1391 | } |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1392 | if (EVP_DecryptFinal(ctx, sdec + slen, &declen) <= 0) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1393 | OPENSSL_free(sdec); |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1394 | ret = SSL_TICKET_NO_DECRYPT; |
| 1395 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1396 | } |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1397 | slen += declen; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1398 | p = sdec; |
Bodo Möller | c519e89 | 2011-09-05 13:36:23 +0000 | [diff] [blame] | 1399 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1400 | sess = d2i_SSL_SESSION(NULL, &p, slen); |
Bernd Edlinger | d3bc980 | 2017-03-10 15:10:41 +0100 | [diff] [blame] | 1401 | slen -= p - sdec; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1402 | OPENSSL_free(sdec); |
| 1403 | if (sess) { |
Bernd Edlinger | 79020b2 | 2017-02-22 11:59:44 +0100 | [diff] [blame] | 1404 | /* Some additional consistency checks */ |
Matt Caswell | 32305f8 | 2018-03-15 17:47:29 +0000 | [diff] [blame] | 1405 | if (slen != 0) { |
Bernd Edlinger | 79020b2 | 2017-02-22 11:59:44 +0100 | [diff] [blame] | 1406 | SSL_SESSION_free(sess); |
Kurt Roeckx | 5f96a95 | 2018-05-12 12:08:14 +0200 | [diff] [blame] | 1407 | sess = NULL; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1408 | ret = SSL_TICKET_NO_DECRYPT; |
| 1409 | goto end; |
Bernd Edlinger | 79020b2 | 2017-02-22 11:59:44 +0100 | [diff] [blame] | 1410 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1411 | /* |
| 1412 | * The session ID, if non-empty, is used by some clients to detect |
| 1413 | * that the ticket has been accepted. So we copy it to the session |
| 1414 | * structure. If it is empty set length to zero as required by |
| 1415 | * standard. |
| 1416 | */ |
Matt Caswell | 32305f8 | 2018-03-15 17:47:29 +0000 | [diff] [blame] | 1417 | if (sesslen) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1418 | memcpy(sess->session_id, sess_id, sesslen); |
Matt Caswell | 32305f8 | 2018-03-15 17:47:29 +0000 | [diff] [blame] | 1419 | sess->session_id_length = sesslen; |
| 1420 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1421 | if (renew_ticket) |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1422 | ret = SSL_TICKET_SUCCESS_RENEW; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1423 | else |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1424 | ret = SSL_TICKET_SUCCESS; |
| 1425 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1426 | } |
| 1427 | ERR_clear_error(); |
| 1428 | /* |
| 1429 | * For session parse failure, indicate that we need to send a new ticket. |
| 1430 | */ |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1431 | ret = SSL_TICKET_NO_DECRYPT; |
| 1432 | |
| 1433 | end: |
Richard Levitte | 846ec07 | 2015-12-13 22:08:41 +0100 | [diff] [blame] | 1434 | EVP_CIPHER_CTX_free(ctx); |
Richard Levitte | bf7c681 | 2015-11-30 13:44:28 +0100 | [diff] [blame] | 1435 | HMAC_CTX_free(hctx); |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1436 | |
| 1437 | /* |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1438 | * If set, the decrypt_ticket_cb() is called unless a fatal error was |
| 1439 | * detected above. The callback is responsible for checking |ret| before it |
| 1440 | * performs any action |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1441 | */ |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1442 | if (s->session_ctx->decrypt_ticket_cb != NULL |
| 1443 | && (ret == SSL_TICKET_EMPTY |
| 1444 | || ret == SSL_TICKET_NO_DECRYPT |
| 1445 | || ret == SSL_TICKET_SUCCESS |
| 1446 | || ret == SSL_TICKET_SUCCESS_RENEW)) { |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1447 | size_t keyname_len = eticklen; |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1448 | int retcb; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1449 | |
| 1450 | if (keyname_len > TLSEXT_KEYNAME_LENGTH) |
| 1451 | keyname_len = TLSEXT_KEYNAME_LENGTH; |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1452 | retcb = s->session_ctx->decrypt_ticket_cb(s, sess, etick, keyname_len, |
| 1453 | ret, |
| 1454 | s->session_ctx->ticket_cb_data); |
| 1455 | switch (retcb) { |
| 1456 | case SSL_TICKET_RETURN_ABORT: |
| 1457 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1458 | break; |
| 1459 | |
| 1460 | case SSL_TICKET_RETURN_IGNORE: |
| 1461 | ret = SSL_TICKET_NONE; |
| 1462 | SSL_SESSION_free(sess); |
| 1463 | sess = NULL; |
| 1464 | break; |
| 1465 | |
| 1466 | case SSL_TICKET_RETURN_IGNORE_RENEW: |
| 1467 | if (ret != SSL_TICKET_EMPTY && ret != SSL_TICKET_NO_DECRYPT) |
| 1468 | ret = SSL_TICKET_NO_DECRYPT; |
| 1469 | /* else the value of |ret| will already do the right thing */ |
| 1470 | SSL_SESSION_free(sess); |
| 1471 | sess = NULL; |
| 1472 | break; |
| 1473 | |
| 1474 | case SSL_TICKET_RETURN_USE: |
| 1475 | case SSL_TICKET_RETURN_USE_RENEW: |
| 1476 | if (ret != SSL_TICKET_SUCCESS |
| 1477 | && ret != SSL_TICKET_SUCCESS_RENEW) |
| 1478 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1479 | else if (retcb == SSL_TICKET_RETURN_USE) |
| 1480 | ret = SSL_TICKET_SUCCESS; |
| 1481 | else |
| 1482 | ret = SSL_TICKET_SUCCESS_RENEW; |
| 1483 | break; |
| 1484 | |
| 1485 | default: |
| 1486 | ret = SSL_TICKET_FATAL_ERR_OTHER; |
| 1487 | } |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1488 | } |
| 1489 | |
| 1490 | switch (ret) { |
| 1491 | case SSL_TICKET_NO_DECRYPT: |
| 1492 | case SSL_TICKET_SUCCESS_RENEW: |
| 1493 | case SSL_TICKET_EMPTY: |
| 1494 | s->ext.ticket_expected = 1; |
Matt Caswell | c0638ad | 2018-05-08 14:50:17 +0100 | [diff] [blame] | 1495 | } |
| 1496 | |
Matt Caswell | 61fb592 | 2018-05-09 18:22:36 +0100 | [diff] [blame] | 1497 | *psess = sess; |
| 1498 | |
| 1499 | return ret; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1500 | } |
Dr. Stephen Henson | 6434abb | 2007-08-11 23:18:29 +0000 | [diff] [blame] | 1501 | |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1502 | /* Check to see if a signature algorithm is allowed */ |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1503 | static int tls12_sigalg_allowed(SSL *s, int op, const SIGALG_LOOKUP *lu) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1504 | { |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1505 | unsigned char sigalgstr[2]; |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 1506 | int secbits; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1507 | |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 1508 | /* See if sigalgs is recognised and if hash is enabled */ |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 1509 | if (!tls1_lookup_md(lu, NULL)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1510 | return 0; |
Dr. Stephen Henson | 224b4e3 | 2017-03-01 17:15:43 +0000 | [diff] [blame] | 1511 | /* DSA is not allowed in TLS 1.3 */ |
| 1512 | if (SSL_IS_TLS13(s) && lu->sig == EVP_PKEY_DSA) |
| 1513 | return 0; |
Benjamin Kaduk | 6ffeb26 | 2017-04-24 18:20:33 -0500 | [diff] [blame] | 1514 | /* TODO(OpenSSL1.2) fully axe DSA/etc. in ClientHello per TLS 1.3 spec */ |
| 1515 | if (!s->server && !SSL_IS_DTLS(s) && s->s3->tmp.min_ver >= TLS1_3_VERSION |
| 1516 | && (lu->sig == EVP_PKEY_DSA || lu->hash_idx == SSL_MD_SHA1_IDX |
| 1517 | || lu->hash_idx == SSL_MD_MD5_IDX |
| 1518 | || lu->hash_idx == SSL_MD_SHA224_IDX)) |
| 1519 | return 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1520 | /* See if public key algorithm allowed */ |
Dr. Stephen Henson | b8858ae | 2017-06-28 17:56:45 +0100 | [diff] [blame] | 1521 | if (ssl_cert_is_disabled(lu->sig_idx)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1522 | return 0; |
Dr. Stephen Henson | 168067b | 2017-06-14 16:54:08 +0100 | [diff] [blame] | 1523 | if (lu->hash == NID_undef) |
| 1524 | return 1; |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 1525 | /* Security bits: half digest bits */ |
| 1526 | secbits = EVP_MD_size(ssl_md(lu->hash_idx)) * 4; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1527 | /* Finally see if security callback allows it */ |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1528 | sigalgstr[0] = (lu->sigalg >> 8) & 0xff; |
| 1529 | sigalgstr[1] = lu->sigalg & 0xff; |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 1530 | return ssl_security(s, op, secbits, lu->hash, (void *)sigalgstr); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1531 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1532 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1533 | /* |
| 1534 | * Get a mask of disabled public key algorithms based on supported signature |
| 1535 | * algorithms. For example if no signature algorithm supports RSA then RSA is |
| 1536 | * disabled. |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1537 | */ |
| 1538 | |
Dr. Stephen Henson | 90d9e49 | 2015-11-05 16:14:17 +0000 | [diff] [blame] | 1539 | void ssl_set_sig_mask(uint32_t *pmask_a, SSL *s, int op) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1540 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1541 | const uint16_t *sigalgs; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1542 | size_t i, sigalgslen; |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1543 | uint32_t disabled_mask = SSL_aRSA | SSL_aDSS | SSL_aECDSA; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1544 | /* |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1545 | * Go through all signature algorithms seeing if we support any |
| 1546 | * in disabled_mask. |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1547 | */ |
Dr. Stephen Henson | a9669dd | 2017-01-25 19:12:48 +0000 | [diff] [blame] | 1548 | sigalgslen = tls12_get_psigalgs(s, 1, &sigalgs); |
KaoruToda | b255516 | 2017-10-20 22:58:46 -0400 | [diff] [blame] | 1549 | for (i = 0; i < sigalgslen; i++, sigalgs++) { |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1550 | const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*sigalgs); |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1551 | const SSL_CERT_LOOKUP *clu; |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1552 | |
| 1553 | if (lu == NULL) |
| 1554 | continue; |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1555 | |
| 1556 | clu = ssl_cert_lookup_by_idx(lu->sig_idx); |
KaoruToda | b255516 | 2017-10-20 22:58:46 -0400 | [diff] [blame] | 1557 | if (clu == NULL) |
| 1558 | continue; |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1559 | |
| 1560 | /* If algorithm is disabled see if we can enable it */ |
| 1561 | if ((clu->amask & disabled_mask) != 0 |
| 1562 | && tls12_sigalg_allowed(s, op, lu)) |
| 1563 | disabled_mask &= ~clu->amask; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1564 | } |
Dr. Stephen Henson | 13cc257 | 2017-07-04 11:38:23 +0100 | [diff] [blame] | 1565 | *pmask_a |= disabled_mask; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1566 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 1567 | |
Matt Caswell | ae2f7b3 | 2016-09-05 17:34:04 +0100 | [diff] [blame] | 1568 | int tls12_copy_sigalgs(SSL *s, WPACKET *pkt, |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1569 | const uint16_t *psig, size_t psiglen) |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 1570 | { |
| 1571 | size_t i; |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1572 | int rv = 0; |
Matt Caswell | c0f9e23 | 2016-09-13 09:40:38 +0100 | [diff] [blame] | 1573 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1574 | for (i = 0; i < psiglen; i++, psig++) { |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1575 | const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*psig); |
| 1576 | |
| 1577 | if (!tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SUPPORTED, lu)) |
| 1578 | continue; |
| 1579 | if (!WPACKET_put_bytes_u16(pkt, *psig)) |
| 1580 | return 0; |
| 1581 | /* |
| 1582 | * If TLS 1.3 must have at least one valid TLS 1.3 message |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 1583 | * signing algorithm: i.e. neither RSA nor SHA1/SHA224 |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1584 | */ |
| 1585 | if (rv == 0 && (!SSL_IS_TLS13(s) |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 1586 | || (lu->sig != EVP_PKEY_RSA |
| 1587 | && lu->hash != NID_sha1 |
| 1588 | && lu->hash != NID_sha224))) |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1589 | rv = 1; |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 1590 | } |
Dr. Stephen Henson | 5528d68 | 2017-03-03 03:23:27 +0000 | [diff] [blame] | 1591 | if (rv == 0) |
| 1592 | SSLerr(SSL_F_TLS12_COPY_SIGALGS, SSL_R_NO_SUITABLE_SIGNATURE_ALGORITHM); |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1593 | return rv; |
Matt Caswell | 2c7b4db | 2016-08-03 20:57:52 +0100 | [diff] [blame] | 1594 | } |
| 1595 | |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1596 | /* Given preference and allowed sigalgs set shared sigalgs */ |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1597 | static size_t tls12_shared_sigalgs(SSL *s, const SIGALG_LOOKUP **shsig, |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1598 | const uint16_t *pref, size_t preflen, |
| 1599 | const uint16_t *allow, size_t allowlen) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1600 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1601 | const uint16_t *ptmp, *atmp; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1602 | size_t i, j, nmatch = 0; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1603 | for (i = 0, ptmp = pref; i < preflen; i++, ptmp++) { |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1604 | const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*ptmp); |
| 1605 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1606 | /* Skip disabled hashes or signature algorithms */ |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1607 | if (!tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SHARED, lu)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1608 | continue; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1609 | for (j = 0, atmp = allow; j < allowlen; j++, atmp++) { |
| 1610 | if (*ptmp == *atmp) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1611 | nmatch++; |
Dr. Stephen Henson | b0e9ab9 | 2017-03-03 03:10:13 +0000 | [diff] [blame] | 1612 | if (shsig) |
| 1613 | *shsig++ = lu; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1614 | break; |
| 1615 | } |
| 1616 | } |
| 1617 | } |
| 1618 | return nmatch; |
| 1619 | } |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1620 | |
| 1621 | /* Set shared signature algorithms for SSL structures */ |
| 1622 | static int tls1_set_shared_sigalgs(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1623 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1624 | const uint16_t *pref, *allow, *conf; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1625 | size_t preflen, allowlen, conflen; |
| 1626 | size_t nmatch; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1627 | const SIGALG_LOOKUP **salgs = NULL; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1628 | CERT *c = s->cert; |
| 1629 | unsigned int is_suiteb = tls1_suiteb(s); |
Rich Salz | b548a1f | 2015-05-01 10:02:07 -0400 | [diff] [blame] | 1630 | |
| 1631 | OPENSSL_free(c->shared_sigalgs); |
| 1632 | c->shared_sigalgs = NULL; |
| 1633 | c->shared_sigalgslen = 0; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1634 | /* If client use client signature algorithms if not NULL */ |
| 1635 | if (!s->server && c->client_sigalgs && !is_suiteb) { |
| 1636 | conf = c->client_sigalgs; |
| 1637 | conflen = c->client_sigalgslen; |
| 1638 | } else if (c->conf_sigalgs && !is_suiteb) { |
| 1639 | conf = c->conf_sigalgs; |
| 1640 | conflen = c->conf_sigalgslen; |
| 1641 | } else |
Dr. Stephen Henson | a9669dd | 2017-01-25 19:12:48 +0000 | [diff] [blame] | 1642 | conflen = tls12_get_psigalgs(s, 0, &conf); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1643 | if (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE || is_suiteb) { |
| 1644 | pref = conf; |
| 1645 | preflen = conflen; |
Dr. Stephen Henson | 76106e6 | 2015-05-12 17:17:37 +0100 | [diff] [blame] | 1646 | allow = s->s3->tmp.peer_sigalgs; |
| 1647 | allowlen = s->s3->tmp.peer_sigalgslen; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1648 | } else { |
| 1649 | allow = conf; |
| 1650 | allowlen = conflen; |
Dr. Stephen Henson | 76106e6 | 2015-05-12 17:17:37 +0100 | [diff] [blame] | 1651 | pref = s->s3->tmp.peer_sigalgs; |
| 1652 | preflen = s->s3->tmp.peer_sigalgslen; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1653 | } |
| 1654 | nmatch = tls12_shared_sigalgs(s, NULL, pref, preflen, allow, allowlen); |
Dr. Stephen Henson | 34e3edb | 2015-03-03 13:20:57 +0000 | [diff] [blame] | 1655 | if (nmatch) { |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1656 | if ((salgs = OPENSSL_malloc(nmatch * sizeof(*salgs))) == NULL) { |
| 1657 | SSLerr(SSL_F_TLS1_SET_SHARED_SIGALGS, ERR_R_MALLOC_FAILURE); |
Dr. Stephen Henson | 34e3edb | 2015-03-03 13:20:57 +0000 | [diff] [blame] | 1658 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1659 | } |
Dr. Stephen Henson | 34e3edb | 2015-03-03 13:20:57 +0000 | [diff] [blame] | 1660 | nmatch = tls12_shared_sigalgs(s, salgs, pref, preflen, allow, allowlen); |
| 1661 | } else { |
| 1662 | salgs = NULL; |
| 1663 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1664 | c->shared_sigalgs = salgs; |
| 1665 | c->shared_sigalgslen = nmatch; |
| 1666 | return 1; |
| 1667 | } |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1668 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1669 | int tls1_save_u16(PACKET *pkt, uint16_t **pdest, size_t *pdestlen) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1670 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1671 | unsigned int stmp; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1672 | size_t size, i; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1673 | uint16_t *buf; |
Dr. Stephen Henson | 6b7be58 | 2011-05-06 13:00:07 +0000 | [diff] [blame] | 1674 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1675 | size = PACKET_remaining(pkt); |
| 1676 | |
| 1677 | /* Invalid data length */ |
Dr. Stephen Henson | 8f12296 | 2017-03-03 02:44:18 +0000 | [diff] [blame] | 1678 | if (size == 0 || (size & 1) != 0) |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1679 | return 0; |
| 1680 | |
| 1681 | size >>= 1; |
| 1682 | |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1683 | if ((buf = OPENSSL_malloc(size * sizeof(*buf))) == NULL) { |
| 1684 | SSLerr(SSL_F_TLS1_SAVE_U16, ERR_R_MALLOC_FAILURE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1685 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1686 | } |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1687 | for (i = 0; i < size && PACKET_get_net_2(pkt, &stmp); i++) |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1688 | buf[i] = stmp; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1689 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1690 | if (i != size) { |
| 1691 | OPENSSL_free(buf); |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1692 | return 0; |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1693 | } |
| 1694 | |
| 1695 | OPENSSL_free(*pdest); |
| 1696 | *pdest = buf; |
| 1697 | *pdestlen = size; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1698 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1699 | return 1; |
| 1700 | } |
Dr. Stephen Henson | 6b7be58 | 2011-05-06 13:00:07 +0000 | [diff] [blame] | 1701 | |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 1702 | int tls1_save_sigalgs(SSL *s, PACKET *pkt, int cert) |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1703 | { |
| 1704 | /* Extension ignored for inappropriate versions */ |
| 1705 | if (!SSL_USE_SIGALGS(s)) |
| 1706 | return 1; |
| 1707 | /* Should never happen */ |
| 1708 | if (s->cert == NULL) |
| 1709 | return 0; |
| 1710 | |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 1711 | if (cert) |
| 1712 | return tls1_save_u16(pkt, &s->s3->tmp.peer_cert_sigalgs, |
| 1713 | &s->s3->tmp.peer_cert_sigalgslen); |
| 1714 | else |
| 1715 | return tls1_save_u16(pkt, &s->s3->tmp.peer_sigalgs, |
| 1716 | &s->s3->tmp.peer_sigalgslen); |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1717 | |
Dr. Stephen Henson | 9e84a42 | 2017-09-22 16:06:52 +0100 | [diff] [blame] | 1718 | } |
| 1719 | |
| 1720 | /* Set preferred digest for each key type */ |
| 1721 | |
Dr. Stephen Henson | c800c27 | 2014-10-09 20:37:27 +0100 | [diff] [blame] | 1722 | int tls1_process_sigalgs(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1723 | { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1724 | size_t i; |
Dr. Stephen Henson | f7d5348 | 2015-07-14 23:19:11 +0100 | [diff] [blame] | 1725 | uint32_t *pvalid = s->s3->tmp.valid_flags; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1726 | CERT *c = s->cert; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1727 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1728 | if (!tls1_set_shared_sigalgs(s)) |
| 1729 | return 0; |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1730 | |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1731 | for (i = 0; i < SSL_PKEY_NUM; i++) |
| 1732 | pvalid[i] = 0; |
| 1733 | |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1734 | for (i = 0; i < c->shared_sigalgslen; i++) { |
| 1735 | const SIGALG_LOOKUP *sigptr = c->shared_sigalgs[i]; |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1736 | int idx = sigptr->sig_idx; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1737 | |
Matt Caswell | 523fb32 | 2016-12-30 14:08:19 +0000 | [diff] [blame] | 1738 | /* Ignore PKCS1 based sig algs in TLSv1.3 */ |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1739 | if (SSL_IS_TLS13(s) && sigptr->sig == EVP_PKEY_RSA) |
Matt Caswell | 523fb32 | 2016-12-30 14:08:19 +0000 | [diff] [blame] | 1740 | continue; |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 1741 | /* If not disabled indicate we can explicitly sign */ |
Dr. Stephen Henson | b8858ae | 2017-06-28 17:56:45 +0100 | [diff] [blame] | 1742 | if (pvalid[idx] == 0 && !ssl_cert_is_disabled(idx)) |
| 1743 | pvalid[idx] = CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1744 | } |
| 1745 | return 1; |
| 1746 | } |
Dr. Stephen Henson | 4817504 | 2011-12-31 22:59:57 +0000 | [diff] [blame] | 1747 | |
Dr. Stephen Henson | e7f8ff4 | 2012-03-06 14:28:21 +0000 | [diff] [blame] | 1748 | int SSL_get_sigalgs(SSL *s, int idx, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1749 | int *psign, int *phash, int *psignhash, |
| 1750 | unsigned char *rsig, unsigned char *rhash) |
| 1751 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1752 | uint16_t *psig = s->s3->tmp.peer_sigalgs; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1753 | size_t numsigalgs = s->s3->tmp.peer_sigalgslen; |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1754 | if (psig == NULL || numsigalgs > INT_MAX) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1755 | return 0; |
| 1756 | if (idx >= 0) { |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1757 | const SIGALG_LOOKUP *lu; |
| 1758 | |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 1759 | if (idx >= (int)numsigalgs) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1760 | return 0; |
| 1761 | psig += idx; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1762 | if (rhash != NULL) |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 1763 | *rhash = (unsigned char)((*psig >> 8) & 0xff); |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1764 | if (rsig != NULL) |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 1765 | *rsig = (unsigned char)(*psig & 0xff); |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1766 | lu = tls1_lookup_sigalg(*psig); |
| 1767 | if (psign != NULL) |
| 1768 | *psign = lu != NULL ? lu->sig : NID_undef; |
| 1769 | if (phash != NULL) |
| 1770 | *phash = lu != NULL ? lu->hash : NID_undef; |
| 1771 | if (psignhash != NULL) |
| 1772 | *psignhash = lu != NULL ? lu->sigandhash : NID_undef; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1773 | } |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1774 | return (int)numsigalgs; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1775 | } |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1776 | |
| 1777 | int SSL_get_shared_sigalgs(SSL *s, int idx, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1778 | int *psign, int *phash, int *psignhash, |
| 1779 | unsigned char *rsig, unsigned char *rhash) |
| 1780 | { |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1781 | const SIGALG_LOOKUP *shsigalgs; |
| 1782 | if (s->cert->shared_sigalgs == NULL |
Peter Wu | 6d047e0 | 2017-02-02 12:11:10 +0100 | [diff] [blame] | 1783 | || idx < 0 |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1784 | || idx >= (int)s->cert->shared_sigalgslen |
| 1785 | || s->cert->shared_sigalgslen > INT_MAX) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1786 | return 0; |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1787 | shsigalgs = s->cert->shared_sigalgs[idx]; |
| 1788 | if (phash != NULL) |
| 1789 | *phash = shsigalgs->hash; |
| 1790 | if (psign != NULL) |
| 1791 | *psign = shsigalgs->sig; |
| 1792 | if (psignhash != NULL) |
| 1793 | *psignhash = shsigalgs->sigandhash; |
| 1794 | if (rsig != NULL) |
| 1795 | *rsig = (unsigned char)(shsigalgs->sigalg & 0xff); |
| 1796 | if (rhash != NULL) |
| 1797 | *rhash = (unsigned char)((shsigalgs->sigalg >> 8) & 0xff); |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 1798 | return (int)s->cert->shared_sigalgslen; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1799 | } |
Dr. Stephen Henson | e7f8ff4 | 2012-03-06 14:28:21 +0000 | [diff] [blame] | 1800 | |
Dr. Stephen Henson | 787ebca | 2017-01-29 15:12:58 +0000 | [diff] [blame] | 1801 | /* Maximum possible number of unique entries in sigalgs array */ |
| 1802 | #define TLS_MAX_SIGALGCNT (OSSL_NELEM(sigalg_lookup_tbl) * 2) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1803 | |
| 1804 | typedef struct { |
| 1805 | size_t sigalgcnt; |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1806 | /* TLSEXT_SIGALG_XXX values */ |
| 1807 | uint16_t sigalgs[TLS_MAX_SIGALGCNT]; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1808 | } sig_cb_st; |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1809 | |
Dr. Stephen Henson | 431f458 | 2015-07-23 14:57:42 +0100 | [diff] [blame] | 1810 | static void get_sigorhash(int *psig, int *phash, const char *str) |
| 1811 | { |
| 1812 | if (strcmp(str, "RSA") == 0) { |
| 1813 | *psig = EVP_PKEY_RSA; |
Dr. Stephen Henson | b2eb699 | 2017-01-25 16:22:13 +0000 | [diff] [blame] | 1814 | } else if (strcmp(str, "RSA-PSS") == 0 || strcmp(str, "PSS") == 0) { |
| 1815 | *psig = EVP_PKEY_RSA_PSS; |
Dr. Stephen Henson | 431f458 | 2015-07-23 14:57:42 +0100 | [diff] [blame] | 1816 | } else if (strcmp(str, "DSA") == 0) { |
| 1817 | *psig = EVP_PKEY_DSA; |
| 1818 | } else if (strcmp(str, "ECDSA") == 0) { |
| 1819 | *psig = EVP_PKEY_EC; |
| 1820 | } else { |
| 1821 | *phash = OBJ_sn2nid(str); |
| 1822 | if (*phash == NID_undef) |
| 1823 | *phash = OBJ_ln2nid(str); |
| 1824 | } |
| 1825 | } |
Dr. Stephen Henson | 787ebca | 2017-01-29 15:12:58 +0000 | [diff] [blame] | 1826 | /* Maximum length of a signature algorithm string component */ |
| 1827 | #define TLS_MAX_SIGSTRING_LEN 40 |
Dr. Stephen Henson | 431f458 | 2015-07-23 14:57:42 +0100 | [diff] [blame] | 1828 | |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1829 | static int sig_cb(const char *elem, int len, void *arg) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1830 | { |
| 1831 | sig_cb_st *sarg = arg; |
| 1832 | size_t i; |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1833 | const SIGALG_LOOKUP *s; |
Dr. Stephen Henson | 787ebca | 2017-01-29 15:12:58 +0000 | [diff] [blame] | 1834 | char etmp[TLS_MAX_SIGSTRING_LEN], *p; |
Dr. Stephen Henson | 431f458 | 2015-07-23 14:57:42 +0100 | [diff] [blame] | 1835 | int sig_alg = NID_undef, hash_alg = NID_undef; |
Kurt Roeckx | 2747d73 | 2015-01-24 14:46:50 +0100 | [diff] [blame] | 1836 | if (elem == NULL) |
| 1837 | return 0; |
Dr. Stephen Henson | 787ebca | 2017-01-29 15:12:58 +0000 | [diff] [blame] | 1838 | if (sarg->sigalgcnt == TLS_MAX_SIGALGCNT) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1839 | return 0; |
| 1840 | if (len > (int)(sizeof(etmp) - 1)) |
| 1841 | return 0; |
| 1842 | memcpy(etmp, elem, len); |
| 1843 | etmp[len] = 0; |
| 1844 | p = strchr(etmp, '+'); |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1845 | /* |
| 1846 | * We only allow SignatureSchemes listed in the sigalg_lookup_tbl; |
| 1847 | * if there's no '+' in the provided name, look for the new-style combined |
| 1848 | * name. If not, match both sig+hash to find the needed SIGALG_LOOKUP. |
| 1849 | * Just sig+hash is not unique since TLS 1.3 adds rsa_pss_pss_* and |
| 1850 | * rsa_pss_rsae_* that differ only by public key OID; in such cases |
| 1851 | * we will pick the _rsae_ variant, by virtue of them appearing earlier |
| 1852 | * in the table. |
| 1853 | */ |
Dr. Stephen Henson | 8a43a42 | 2017-01-26 14:40:59 +0000 | [diff] [blame] | 1854 | if (p == NULL) { |
Dr. Stephen Henson | 8a43a42 | 2017-01-26 14:40:59 +0000 | [diff] [blame] | 1855 | for (i = 0, s = sigalg_lookup_tbl; i < OSSL_NELEM(sigalg_lookup_tbl); |
| 1856 | i++, s++) { |
| 1857 | if (s->name != NULL && strcmp(etmp, s->name) == 0) { |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1858 | sarg->sigalgs[sarg->sigalgcnt++] = s->sigalg; |
Dr. Stephen Henson | 8a43a42 | 2017-01-26 14:40:59 +0000 | [diff] [blame] | 1859 | break; |
| 1860 | } |
| 1861 | } |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1862 | if (i == OSSL_NELEM(sigalg_lookup_tbl)) |
| 1863 | return 0; |
Dr. Stephen Henson | 8a43a42 | 2017-01-26 14:40:59 +0000 | [diff] [blame] | 1864 | } else { |
| 1865 | *p = 0; |
| 1866 | p++; |
| 1867 | if (*p == 0) |
| 1868 | return 0; |
| 1869 | get_sigorhash(&sig_alg, &hash_alg, etmp); |
| 1870 | get_sigorhash(&sig_alg, &hash_alg, p); |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1871 | if (sig_alg == NID_undef || hash_alg == NID_undef) |
| 1872 | return 0; |
| 1873 | for (i = 0, s = sigalg_lookup_tbl; i < OSSL_NELEM(sigalg_lookup_tbl); |
| 1874 | i++, s++) { |
| 1875 | if (s->hash == hash_alg && s->sig == sig_alg) { |
| 1876 | sarg->sigalgs[sarg->sigalgcnt++] = s->sigalg; |
| 1877 | break; |
| 1878 | } |
| 1879 | } |
| 1880 | if (i == OSSL_NELEM(sigalg_lookup_tbl)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1881 | return 0; |
| 1882 | } |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1883 | |
| 1884 | /* Reject duplicates */ |
| 1885 | for (i = 0; i < sarg->sigalgcnt - 1; i++) { |
Benjamin Kaduk | c1acef9 | 2018-01-25 19:30:54 -0600 | [diff] [blame] | 1886 | if (sarg->sigalgs[i] == sarg->sigalgs[sarg->sigalgcnt - 1]) { |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1887 | sarg->sigalgcnt--; |
| 1888 | return 0; |
| 1889 | } |
| 1890 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1891 | return 1; |
| 1892 | } |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1893 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1894 | /* |
FdaSilvaYY | 9d22666 | 2016-06-28 22:39:55 +0200 | [diff] [blame] | 1895 | * Set supported signature algorithms based on a colon separated list of the |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1896 | * form sig+hash e.g. RSA+SHA512:DSA+SHA512 |
| 1897 | */ |
Dr. Stephen Henson | 3dbc46d | 2012-07-03 12:51:14 +0000 | [diff] [blame] | 1898 | int tls1_set_sigalgs_list(CERT *c, const char *str, int client) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1899 | { |
| 1900 | sig_cb_st sig; |
| 1901 | sig.sigalgcnt = 0; |
| 1902 | if (!CONF_parse_list(str, ':', 1, sig_cb, &sig)) |
| 1903 | return 0; |
| 1904 | if (c == NULL) |
| 1905 | return 1; |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1906 | return tls1_set_raw_sigalgs(c, sig.sigalgs, sig.sigalgcnt, client); |
| 1907 | } |
| 1908 | |
| 1909 | int tls1_set_raw_sigalgs(CERT *c, const uint16_t *psigs, size_t salglen, |
| 1910 | int client) |
| 1911 | { |
| 1912 | uint16_t *sigalgs; |
| 1913 | |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1914 | if ((sigalgs = OPENSSL_malloc(salglen * sizeof(*sigalgs))) == NULL) { |
| 1915 | SSLerr(SSL_F_TLS1_SET_RAW_SIGALGS, ERR_R_MALLOC_FAILURE); |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1916 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1917 | } |
Benjamin Kaduk | fd5e1a8 | 2018-01-17 11:55:29 -0600 | [diff] [blame] | 1918 | memcpy(sigalgs, psigs, salglen * sizeof(*sigalgs)); |
| 1919 | |
| 1920 | if (client) { |
| 1921 | OPENSSL_free(c->client_sigalgs); |
| 1922 | c->client_sigalgs = sigalgs; |
| 1923 | c->client_sigalgslen = salglen; |
| 1924 | } else { |
| 1925 | OPENSSL_free(c->conf_sigalgs); |
| 1926 | c->conf_sigalgs = sigalgs; |
| 1927 | c->conf_sigalgslen = salglen; |
| 1928 | } |
| 1929 | |
| 1930 | return 1; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1931 | } |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1932 | |
Emilia Kasper | a230b26 | 2016-08-05 19:03:17 +0200 | [diff] [blame] | 1933 | int tls1_set_sigalgs(CERT *c, const int *psig_nids, size_t salglen, int client) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1934 | { |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 1935 | uint16_t *sigalgs, *sptr; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1936 | size_t i; |
Matt Caswell | 63c1df0 | 2016-12-14 16:50:14 +0000 | [diff] [blame] | 1937 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1938 | if (salglen & 1) |
| 1939 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1940 | if ((sigalgs = OPENSSL_malloc((salglen / 2) * sizeof(*sigalgs))) == NULL) { |
| 1941 | SSLerr(SSL_F_TLS1_SET_SIGALGS, ERR_R_MALLOC_FAILURE); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1942 | return 0; |
Rich Salz | cdb10ba | 2018-04-03 11:31:16 -0400 | [diff] [blame] | 1943 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1944 | for (i = 0, sptr = sigalgs; i < salglen; i += 2) { |
Matt Caswell | 63c1df0 | 2016-12-14 16:50:14 +0000 | [diff] [blame] | 1945 | size_t j; |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 1946 | const SIGALG_LOOKUP *curr; |
Matt Caswell | 63c1df0 | 2016-12-14 16:50:14 +0000 | [diff] [blame] | 1947 | int md_id = *psig_nids++; |
| 1948 | int sig_id = *psig_nids++; |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1949 | |
Matt Caswell | 63c1df0 | 2016-12-14 16:50:14 +0000 | [diff] [blame] | 1950 | for (j = 0, curr = sigalg_lookup_tbl; j < OSSL_NELEM(sigalg_lookup_tbl); |
| 1951 | j++, curr++) { |
Matt Caswell | fe3066e | 2017-01-03 10:01:39 +0000 | [diff] [blame] | 1952 | if (curr->hash == md_id && curr->sig == sig_id) { |
Matt Caswell | 63c1df0 | 2016-12-14 16:50:14 +0000 | [diff] [blame] | 1953 | *sptr++ = curr->sigalg; |
| 1954 | break; |
| 1955 | } |
| 1956 | } |
| 1957 | |
| 1958 | if (j == OSSL_NELEM(sigalg_lookup_tbl)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1959 | goto err; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1960 | } |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1961 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1962 | if (client) { |
Rich Salz | b548a1f | 2015-05-01 10:02:07 -0400 | [diff] [blame] | 1963 | OPENSSL_free(c->client_sigalgs); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1964 | c->client_sigalgs = sigalgs; |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 1965 | c->client_sigalgslen = salglen / 2; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1966 | } else { |
Rich Salz | b548a1f | 2015-05-01 10:02:07 -0400 | [diff] [blame] | 1967 | OPENSSL_free(c->conf_sigalgs); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1968 | c->conf_sigalgs = sigalgs; |
Matt Caswell | 7a531ee | 2017-01-10 14:23:02 +0000 | [diff] [blame] | 1969 | c->conf_sigalgslen = salglen / 2; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1970 | } |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1971 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1972 | return 1; |
Dr. Stephen Henson | 0f229cc | 2012-06-22 14:03:31 +0000 | [diff] [blame] | 1973 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1974 | err: |
| 1975 | OPENSSL_free(sigalgs); |
| 1976 | return 0; |
| 1977 | } |
Dr. Stephen Henson | 4453cd8 | 2012-06-25 14:32:30 +0000 | [diff] [blame] | 1978 | |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 1979 | static int tls1_check_sig_alg(CERT *c, X509 *x, int default_nid) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1980 | { |
| 1981 | int sig_nid; |
| 1982 | size_t i; |
| 1983 | if (default_nid == -1) |
| 1984 | return 1; |
| 1985 | sig_nid = X509_get_signature_nid(x); |
| 1986 | if (default_nid) |
| 1987 | return sig_nid == default_nid ? 1 : 0; |
| 1988 | for (i = 0; i < c->shared_sigalgslen; i++) |
Dr. Stephen Henson | 4d43ee2 | 2017-01-26 15:24:35 +0000 | [diff] [blame] | 1989 | if (sig_nid == c->shared_sigalgs[i]->sigandhash) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1990 | return 1; |
| 1991 | return 0; |
| 1992 | } |
| 1993 | |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 1994 | /* Check to see if a certificate issuer name matches list of CA names */ |
| 1995 | static int ssl_check_ca_name(STACK_OF(X509_NAME) *names, X509 *x) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1996 | { |
| 1997 | X509_NAME *nm; |
| 1998 | int i; |
| 1999 | nm = X509_get_issuer_name(x); |
| 2000 | for (i = 0; i < sk_X509_NAME_num(names); i++) { |
| 2001 | if (!X509_NAME_cmp(nm, sk_X509_NAME_value(names, i))) |
| 2002 | return 1; |
| 2003 | } |
| 2004 | return 0; |
| 2005 | } |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2006 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2007 | /* |
| 2008 | * Check certificate chain is consistent with TLS extensions and is usable by |
| 2009 | * server. This servers two purposes: it allows users to check chains before |
| 2010 | * passing them to the server and it allows the server to check chains before |
| 2011 | * attempting to use them. |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2012 | */ |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2013 | |
FdaSilvaYY | 69687aa | 2017-03-28 23:57:28 +0200 | [diff] [blame] | 2014 | /* Flags which need to be set for a certificate when strict mode not set */ |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2015 | |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 2016 | #define CERT_PKEY_VALID_FLAGS \ |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2017 | (CERT_PKEY_EE_SIGNATURE|CERT_PKEY_EE_PARAM) |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2018 | /* Strict mode flags */ |
Matt Caswell | e481f9b | 2015-05-15 10:49:56 +0100 | [diff] [blame] | 2019 | #define CERT_PKEY_STRICT_FLAGS \ |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2020 | (CERT_PKEY_VALID_FLAGS|CERT_PKEY_CA_SIGNATURE|CERT_PKEY_CA_PARAM \ |
| 2021 | | CERT_PKEY_ISSUER_NAME|CERT_PKEY_CERT_TYPE) |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2022 | |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2023 | int tls1_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2024 | int idx) |
| 2025 | { |
| 2026 | int i; |
| 2027 | int rv = 0; |
| 2028 | int check_flags = 0, strict_mode; |
| 2029 | CERT_PKEY *cpk = NULL; |
| 2030 | CERT *c = s->cert; |
Dr. Stephen Henson | f7d5348 | 2015-07-14 23:19:11 +0100 | [diff] [blame] | 2031 | uint32_t *pvalid; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2032 | unsigned int suiteb_flags = tls1_suiteb(s); |
| 2033 | /* idx == -1 means checking server chains */ |
| 2034 | if (idx != -1) { |
| 2035 | /* idx == -2 means checking client certificate chains */ |
| 2036 | if (idx == -2) { |
| 2037 | cpk = c->key; |
Matt Caswell | 348240c | 2016-10-19 15:11:24 +0100 | [diff] [blame] | 2038 | idx = (int)(cpk - c->pkeys); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2039 | } else |
| 2040 | cpk = c->pkeys + idx; |
Dr. Stephen Henson | 6383d31 | 2015-05-12 22:17:34 +0100 | [diff] [blame] | 2041 | pvalid = s->s3->tmp.valid_flags + idx; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2042 | x = cpk->x509; |
| 2043 | pk = cpk->privatekey; |
| 2044 | chain = cpk->chain; |
| 2045 | strict_mode = c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT; |
| 2046 | /* If no cert or key, forget it */ |
| 2047 | if (!x || !pk) |
| 2048 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2049 | } else { |
Dr. Stephen Henson | 52fd27f | 2017-06-29 15:20:09 +0100 | [diff] [blame] | 2050 | size_t certidx; |
| 2051 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2052 | if (!x || !pk) |
Matt Caswell | d813f9e | 2015-03-11 17:01:38 +0000 | [diff] [blame] | 2053 | return 0; |
Dr. Stephen Henson | 52fd27f | 2017-06-29 15:20:09 +0100 | [diff] [blame] | 2054 | |
| 2055 | if (ssl_cert_lookup_by_pkey(pk, &certidx) == NULL) |
Matt Caswell | d813f9e | 2015-03-11 17:01:38 +0000 | [diff] [blame] | 2056 | return 0; |
Dr. Stephen Henson | 52fd27f | 2017-06-29 15:20:09 +0100 | [diff] [blame] | 2057 | idx = certidx; |
Dr. Stephen Henson | 6383d31 | 2015-05-12 22:17:34 +0100 | [diff] [blame] | 2058 | pvalid = s->s3->tmp.valid_flags + idx; |
| 2059 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2060 | if (c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT) |
| 2061 | check_flags = CERT_PKEY_STRICT_FLAGS; |
| 2062 | else |
| 2063 | check_flags = CERT_PKEY_VALID_FLAGS; |
| 2064 | strict_mode = 1; |
| 2065 | } |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2066 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2067 | if (suiteb_flags) { |
| 2068 | int ok; |
| 2069 | if (check_flags) |
| 2070 | check_flags |= CERT_PKEY_SUITEB; |
| 2071 | ok = X509_chain_check_suiteb(NULL, x, chain, suiteb_flags); |
| 2072 | if (ok == X509_V_OK) |
| 2073 | rv |= CERT_PKEY_SUITEB; |
| 2074 | else if (!check_flags) |
| 2075 | goto end; |
| 2076 | } |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2077 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2078 | /* |
| 2079 | * Check all signature algorithms are consistent with signature |
| 2080 | * algorithms extension if TLS 1.2 or later and strict mode. |
| 2081 | */ |
| 2082 | if (TLS1_get_version(s) >= TLS1_2_VERSION && strict_mode) { |
| 2083 | int default_nid; |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2084 | int rsign = 0; |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2085 | if (s->s3->tmp.peer_cert_sigalgs != NULL |
| 2086 | || s->s3->tmp.peer_sigalgs != NULL) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2087 | default_nid = 0; |
| 2088 | /* If no sigalgs extension use defaults from RFC5246 */ |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2089 | } else { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2090 | switch (idx) { |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 2091 | case SSL_PKEY_RSA: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2092 | rsign = EVP_PKEY_RSA; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2093 | default_nid = NID_sha1WithRSAEncryption; |
| 2094 | break; |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2095 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2096 | case SSL_PKEY_DSA_SIGN: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2097 | rsign = EVP_PKEY_DSA; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2098 | default_nid = NID_dsaWithSHA1; |
| 2099 | break; |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2100 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2101 | case SSL_PKEY_ECC: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2102 | rsign = EVP_PKEY_EC; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2103 | default_nid = NID_ecdsa_with_SHA1; |
| 2104 | break; |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2105 | |
Dmitry Belyavsky | e44380a | 2015-11-17 15:32:30 +0000 | [diff] [blame] | 2106 | case SSL_PKEY_GOST01: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2107 | rsign = NID_id_GostR3410_2001; |
Dmitry Belyavsky | e44380a | 2015-11-17 15:32:30 +0000 | [diff] [blame] | 2108 | default_nid = NID_id_GostR3411_94_with_GostR3410_2001; |
| 2109 | break; |
| 2110 | |
| 2111 | case SSL_PKEY_GOST12_256: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2112 | rsign = NID_id_GostR3410_2012_256; |
Dmitry Belyavsky | e44380a | 2015-11-17 15:32:30 +0000 | [diff] [blame] | 2113 | default_nid = NID_id_tc26_signwithdigest_gost3410_2012_256; |
| 2114 | break; |
| 2115 | |
| 2116 | case SSL_PKEY_GOST12_512: |
Matt Caswell | 536199e | 2016-12-14 16:37:48 +0000 | [diff] [blame] | 2117 | rsign = NID_id_GostR3410_2012_512; |
Dmitry Belyavsky | e44380a | 2015-11-17 15:32:30 +0000 | [diff] [blame] | 2118 | default_nid = NID_id_tc26_signwithdigest_gost3410_2012_512; |
| 2119 | break; |
| 2120 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2121 | default: |
| 2122 | default_nid = -1; |
| 2123 | break; |
| 2124 | } |
| 2125 | } |
| 2126 | /* |
| 2127 | * If peer sent no signature algorithms extension and we have set |
| 2128 | * preferred signature algorithms check we support sha1. |
| 2129 | */ |
| 2130 | if (default_nid > 0 && c->conf_sigalgs) { |
| 2131 | size_t j; |
Dr. Stephen Henson | 98c792d | 2017-01-25 14:33:55 +0000 | [diff] [blame] | 2132 | const uint16_t *p = c->conf_sigalgs; |
Matt Caswell | 703bcee | 2016-12-14 14:31:21 +0000 | [diff] [blame] | 2133 | for (j = 0; j < c->conf_sigalgslen; j++, p++) { |
Dr. Stephen Henson | 44b6318 | 2017-01-30 17:27:35 +0000 | [diff] [blame] | 2134 | const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*p); |
| 2135 | |
| 2136 | if (lu != NULL && lu->hash == NID_sha1 && lu->sig == rsign) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2137 | break; |
| 2138 | } |
| 2139 | if (j == c->conf_sigalgslen) { |
| 2140 | if (check_flags) |
| 2141 | goto skip_sigs; |
| 2142 | else |
| 2143 | goto end; |
| 2144 | } |
| 2145 | } |
| 2146 | /* Check signature algorithm of each cert in chain */ |
| 2147 | if (!tls1_check_sig_alg(c, x, default_nid)) { |
| 2148 | if (!check_flags) |
| 2149 | goto end; |
| 2150 | } else |
| 2151 | rv |= CERT_PKEY_EE_SIGNATURE; |
| 2152 | rv |= CERT_PKEY_CA_SIGNATURE; |
| 2153 | for (i = 0; i < sk_X509_num(chain); i++) { |
| 2154 | if (!tls1_check_sig_alg(c, sk_X509_value(chain, i), default_nid)) { |
| 2155 | if (check_flags) { |
| 2156 | rv &= ~CERT_PKEY_CA_SIGNATURE; |
| 2157 | break; |
| 2158 | } else |
| 2159 | goto end; |
| 2160 | } |
| 2161 | } |
| 2162 | } |
| 2163 | /* Else not TLS 1.2, so mark EE and CA signing algorithms OK */ |
| 2164 | else if (check_flags) |
| 2165 | rv |= CERT_PKEY_EE_SIGNATURE | CERT_PKEY_CA_SIGNATURE; |
| 2166 | skip_sigs: |
| 2167 | /* Check cert parameters are consistent */ |
Dr. Stephen Henson | 9195ddc | 2017-02-18 03:42:15 +0000 | [diff] [blame] | 2168 | if (tls1_check_cert_param(s, x, 1)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2169 | rv |= CERT_PKEY_EE_PARAM; |
| 2170 | else if (!check_flags) |
| 2171 | goto end; |
| 2172 | if (!s->server) |
| 2173 | rv |= CERT_PKEY_CA_PARAM; |
| 2174 | /* In strict mode check rest of chain too */ |
| 2175 | else if (strict_mode) { |
| 2176 | rv |= CERT_PKEY_CA_PARAM; |
| 2177 | for (i = 0; i < sk_X509_num(chain); i++) { |
| 2178 | X509 *ca = sk_X509_value(chain, i); |
| 2179 | if (!tls1_check_cert_param(s, ca, 0)) { |
| 2180 | if (check_flags) { |
| 2181 | rv &= ~CERT_PKEY_CA_PARAM; |
| 2182 | break; |
| 2183 | } else |
| 2184 | goto end; |
| 2185 | } |
| 2186 | } |
| 2187 | } |
| 2188 | if (!s->server && strict_mode) { |
| 2189 | STACK_OF(X509_NAME) *ca_dn; |
| 2190 | int check_type = 0; |
Dr. Stephen Henson | 3aeb934 | 2016-01-19 00:21:12 +0000 | [diff] [blame] | 2191 | switch (EVP_PKEY_id(pk)) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2192 | case EVP_PKEY_RSA: |
| 2193 | check_type = TLS_CT_RSA_SIGN; |
| 2194 | break; |
| 2195 | case EVP_PKEY_DSA: |
| 2196 | check_type = TLS_CT_DSS_SIGN; |
| 2197 | break; |
| 2198 | case EVP_PKEY_EC: |
| 2199 | check_type = TLS_CT_ECDSA_SIGN; |
| 2200 | break; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2201 | } |
| 2202 | if (check_type) { |
Dr. Stephen Henson | 75c13e7 | 2017-02-23 22:12:28 +0000 | [diff] [blame] | 2203 | const uint8_t *ctypes = s->s3->tmp.ctype; |
| 2204 | size_t j; |
| 2205 | |
| 2206 | for (j = 0; j < s->s3->tmp.ctype_len; j++, ctypes++) { |
| 2207 | if (*ctypes == check_type) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2208 | rv |= CERT_PKEY_CERT_TYPE; |
| 2209 | break; |
| 2210 | } |
| 2211 | } |
| 2212 | if (!(rv & CERT_PKEY_CERT_TYPE) && !check_flags) |
| 2213 | goto end; |
Dr. Stephen Henson | 75c13e7 | 2017-02-23 22:12:28 +0000 | [diff] [blame] | 2214 | } else { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2215 | rv |= CERT_PKEY_CERT_TYPE; |
Dr. Stephen Henson | 75c13e7 | 2017-02-23 22:12:28 +0000 | [diff] [blame] | 2216 | } |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2217 | |
Dr. Stephen Henson | fa7c263 | 2017-03-13 15:00:36 +0000 | [diff] [blame] | 2218 | ca_dn = s->s3->tmp.peer_ca_names; |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2219 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2220 | if (!sk_X509_NAME_num(ca_dn)) |
| 2221 | rv |= CERT_PKEY_ISSUER_NAME; |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2222 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2223 | if (!(rv & CERT_PKEY_ISSUER_NAME)) { |
| 2224 | if (ssl_check_ca_name(ca_dn, x)) |
| 2225 | rv |= CERT_PKEY_ISSUER_NAME; |
| 2226 | } |
| 2227 | if (!(rv & CERT_PKEY_ISSUER_NAME)) { |
| 2228 | for (i = 0; i < sk_X509_num(chain); i++) { |
| 2229 | X509 *xtmp = sk_X509_value(chain, i); |
| 2230 | if (ssl_check_ca_name(ca_dn, xtmp)) { |
| 2231 | rv |= CERT_PKEY_ISSUER_NAME; |
| 2232 | break; |
| 2233 | } |
| 2234 | } |
| 2235 | } |
| 2236 | if (!check_flags && !(rv & CERT_PKEY_ISSUER_NAME)) |
| 2237 | goto end; |
| 2238 | } else |
| 2239 | rv |= CERT_PKEY_ISSUER_NAME | CERT_PKEY_CERT_TYPE; |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2240 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2241 | if (!check_flags || (rv & check_flags) == check_flags) |
| 2242 | rv |= CERT_PKEY_VALID; |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2243 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2244 | end: |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2245 | |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 2246 | if (TLS1_get_version(s) >= TLS1_2_VERSION) |
| 2247 | rv |= *pvalid & (CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN); |
| 2248 | else |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2249 | rv |= CERT_PKEY_SIGN | CERT_PKEY_EXPLICIT_SIGN; |
Dr. Stephen Henson | 6dbb621 | 2012-07-27 13:39:23 +0000 | [diff] [blame] | 2250 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2251 | /* |
| 2252 | * When checking a CERT_PKEY structure all flags are irrelevant if the |
| 2253 | * chain is invalid. |
| 2254 | */ |
| 2255 | if (!check_flags) { |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 2256 | if (rv & CERT_PKEY_VALID) { |
Dr. Stephen Henson | 6383d31 | 2015-05-12 22:17:34 +0100 | [diff] [blame] | 2257 | *pvalid = rv; |
Dr. Stephen Henson | a8bb912 | 2017-02-19 18:47:16 +0000 | [diff] [blame] | 2258 | } else { |
| 2259 | /* Preserve sign and explicit sign flag, clear rest */ |
| 2260 | *pvalid &= CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2261 | return 0; |
| 2262 | } |
| 2263 | } |
| 2264 | return rv; |
| 2265 | } |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2266 | |
| 2267 | /* Set validity of certificates in an SSL structure */ |
| 2268 | void tls1_set_cert_validity(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2269 | { |
Dr. Stephen Henson | d0ff28f | 2017-02-10 04:23:53 +0000 | [diff] [blame] | 2270 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA); |
Dr. Stephen Henson | 045d078 | 2017-09-13 13:53:03 +0100 | [diff] [blame] | 2271 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA_PSS_SIGN); |
Matt Caswell | 17dd65e | 2015-03-24 15:10:15 +0000 | [diff] [blame] | 2272 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_DSA_SIGN); |
Matt Caswell | 17dd65e | 2015-03-24 15:10:15 +0000 | [diff] [blame] | 2273 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ECC); |
Dmitry Belyavsky | e44380a | 2015-11-17 15:32:30 +0000 | [diff] [blame] | 2274 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST01); |
| 2275 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_256); |
| 2276 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_512); |
Dr. Stephen Henson | 3d234c9 | 2017-05-24 21:56:38 +0100 | [diff] [blame] | 2277 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ED25519); |
Matt Caswell | 0e1d6ec | 2018-02-27 10:12:02 +0000 | [diff] [blame] | 2278 | tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ED448); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2279 | } |
| 2280 | |
FdaSilvaYY | 69687aa | 2017-03-28 23:57:28 +0200 | [diff] [blame] | 2281 | /* User level utility function to check a chain is suitable */ |
Dr. Stephen Henson | 18d7158 | 2012-06-29 14:24:42 +0000 | [diff] [blame] | 2282 | int SSL_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2283 | { |
| 2284 | return tls1_check_chain(s, x, pk, chain, -1); |
| 2285 | } |
Dr. Stephen Henson | d61ff83 | 2012-06-28 12:45:49 +0000 | [diff] [blame] | 2286 | |
Dr. Stephen Henson | 09599b5 | 2014-01-22 16:22:48 +0000 | [diff] [blame] | 2287 | #ifndef OPENSSL_NO_DH |
| 2288 | DH *ssl_get_auto_dh(SSL *s) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2289 | { |
| 2290 | int dh_secbits = 80; |
| 2291 | if (s->cert->dh_tmp_auto == 2) |
| 2292 | return DH_get_1024_160(); |
Dr. Stephen Henson | adc5506 | 2015-06-28 17:01:52 +0100 | [diff] [blame] | 2293 | if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aPSK)) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2294 | if (s->s3->tmp.new_cipher->strength_bits == 256) |
| 2295 | dh_secbits = 128; |
| 2296 | else |
| 2297 | dh_secbits = 80; |
| 2298 | } else { |
Dr. Stephen Henson | a497cf2 | 2017-02-14 00:35:26 +0000 | [diff] [blame] | 2299 | if (s->s3->tmp.cert == NULL) |
Dr. Stephen Henson | f365a3e | 2017-02-13 16:32:06 +0000 | [diff] [blame] | 2300 | return NULL; |
Dr. Stephen Henson | a497cf2 | 2017-02-14 00:35:26 +0000 | [diff] [blame] | 2301 | dh_secbits = EVP_PKEY_security_bits(s->s3->tmp.cert->privatekey); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2302 | } |
Dr. Stephen Henson | 09599b5 | 2014-01-22 16:22:48 +0000 | [diff] [blame] | 2303 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2304 | if (dh_secbits >= 128) { |
| 2305 | DH *dhp = DH_new(); |
Matt Caswell | 0aeddcf | 2016-04-06 17:49:48 +0100 | [diff] [blame] | 2306 | BIGNUM *p, *g; |
Matt Caswell | a71edf3 | 2015-10-30 10:05:53 +0000 | [diff] [blame] | 2307 | if (dhp == NULL) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2308 | return NULL; |
Matt Caswell | 0aeddcf | 2016-04-06 17:49:48 +0100 | [diff] [blame] | 2309 | g = BN_new(); |
| 2310 | if (g != NULL) |
| 2311 | BN_set_word(g, 2); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2312 | if (dh_secbits >= 192) |
Rich Salz | 9021a5d | 2016-04-18 07:43:54 -0400 | [diff] [blame] | 2313 | p = BN_get_rfc3526_prime_8192(NULL); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2314 | else |
Rich Salz | 9021a5d | 2016-04-18 07:43:54 -0400 | [diff] [blame] | 2315 | p = BN_get_rfc3526_prime_3072(NULL); |
Matt Caswell | 0aeddcf | 2016-04-06 17:49:48 +0100 | [diff] [blame] | 2316 | if (p == NULL || g == NULL || !DH_set0_pqg(dhp, p, NULL, g)) { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2317 | DH_free(dhp); |
Matt Caswell | 0aeddcf | 2016-04-06 17:49:48 +0100 | [diff] [blame] | 2318 | BN_free(p); |
| 2319 | BN_free(g); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2320 | return NULL; |
| 2321 | } |
| 2322 | return dhp; |
| 2323 | } |
| 2324 | if (dh_secbits >= 112) |
| 2325 | return DH_get_2048_224(); |
| 2326 | return DH_get_1024_160(); |
| 2327 | } |
Dr. Stephen Henson | 09599b5 | 2014-01-22 16:22:48 +0000 | [diff] [blame] | 2328 | #endif |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2329 | |
| 2330 | static int ssl_security_cert_key(SSL *s, SSL_CTX *ctx, X509 *x, int op) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2331 | { |
Dr. Stephen Henson | 72245f3 | 2015-12-30 13:34:53 +0000 | [diff] [blame] | 2332 | int secbits = -1; |
Dr. Stephen Henson | 8382fd3 | 2015-12-20 00:32:36 +0000 | [diff] [blame] | 2333 | EVP_PKEY *pkey = X509_get0_pubkey(x); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2334 | if (pkey) { |
Dr. Stephen Henson | 72245f3 | 2015-12-30 13:34:53 +0000 | [diff] [blame] | 2335 | /* |
| 2336 | * If no parameters this will return -1 and fail using the default |
| 2337 | * security callback for any non-zero security level. This will |
| 2338 | * reject keys which omit parameters but this only affects DSA and |
| 2339 | * omission of parameters is never (?) done in practice. |
| 2340 | */ |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2341 | secbits = EVP_PKEY_security_bits(pkey); |
Dr. Stephen Henson | 72245f3 | 2015-12-30 13:34:53 +0000 | [diff] [blame] | 2342 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2343 | if (s) |
| 2344 | return ssl_security(s, op, secbits, 0, x); |
| 2345 | else |
| 2346 | return ssl_ctx_security(ctx, op, secbits, 0, x); |
| 2347 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2348 | |
| 2349 | static int ssl_security_cert_sig(SSL *s, SSL_CTX *ctx, X509 *x, int op) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2350 | { |
| 2351 | /* Lookup signature algorithm digest */ |
Dr. Stephen Henson | 65e8973 | 2017-05-24 22:01:00 +0100 | [diff] [blame] | 2352 | int secbits, nid, pknid; |
Dr. Stephen Henson | 221c7b5 | 2016-02-11 15:25:11 +0000 | [diff] [blame] | 2353 | /* Don't check signature if self signed */ |
| 2354 | if ((X509_get_extension_flags(x) & EXFLAG_SS) != 0) |
| 2355 | return 1; |
Dr. Stephen Henson | 65e8973 | 2017-05-24 22:01:00 +0100 | [diff] [blame] | 2356 | if (!X509_get_signature_info(x, &nid, &pknid, &secbits, NULL)) |
| 2357 | secbits = -1; |
| 2358 | /* If digest NID not defined use signature NID */ |
| 2359 | if (nid == NID_undef) |
| 2360 | nid = pknid; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2361 | if (s) |
Dr. Stephen Henson | 65e8973 | 2017-05-24 22:01:00 +0100 | [diff] [blame] | 2362 | return ssl_security(s, op, secbits, nid, x); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2363 | else |
Dr. Stephen Henson | 65e8973 | 2017-05-24 22:01:00 +0100 | [diff] [blame] | 2364 | return ssl_ctx_security(ctx, op, secbits, nid, x); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2365 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2366 | |
| 2367 | int ssl_security_cert(SSL *s, SSL_CTX *ctx, X509 *x, int vfy, int is_ee) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2368 | { |
| 2369 | if (vfy) |
| 2370 | vfy = SSL_SECOP_PEER; |
| 2371 | if (is_ee) { |
| 2372 | if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_EE_KEY | vfy)) |
| 2373 | return SSL_R_EE_KEY_TOO_SMALL; |
| 2374 | } else { |
| 2375 | if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_CA_KEY | vfy)) |
| 2376 | return SSL_R_CA_KEY_TOO_SMALL; |
| 2377 | } |
| 2378 | if (!ssl_security_cert_sig(s, ctx, x, SSL_SECOP_CA_MD | vfy)) |
| 2379 | return SSL_R_CA_MD_TOO_WEAK; |
| 2380 | return 1; |
| 2381 | } |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2382 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2383 | /* |
FdaSilvaYY | 69687aa | 2017-03-28 23:57:28 +0200 | [diff] [blame] | 2384 | * Check security of a chain, if |sk| includes the end entity certificate then |
| 2385 | * |x| is NULL. If |vfy| is 1 then we are verifying a peer chain and not sending |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2386 | * one to the peer. Return values: 1 if ok otherwise error code to use |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2387 | */ |
| 2388 | |
| 2389 | int ssl_security_cert_chain(SSL *s, STACK_OF(X509) *sk, X509 *x, int vfy) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2390 | { |
| 2391 | int rv, start_idx, i; |
| 2392 | if (x == NULL) { |
| 2393 | x = sk_X509_value(sk, 0); |
| 2394 | start_idx = 1; |
| 2395 | } else |
| 2396 | start_idx = 0; |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2397 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2398 | rv = ssl_security_cert(s, NULL, x, vfy, 1); |
| 2399 | if (rv != 1) |
| 2400 | return rv; |
Dr. Stephen Henson | b362cca | 2013-12-15 13:32:24 +0000 | [diff] [blame] | 2401 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 2402 | for (i = start_idx; i < sk_X509_num(sk); i++) { |
| 2403 | x = sk_X509_value(sk, i); |
| 2404 | rv = ssl_security_cert(s, NULL, x, vfy, 0); |
| 2405 | if (rv != 1) |
| 2406 | return rv; |
| 2407 | } |
| 2408 | return 1; |
| 2409 | } |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2410 | |
| 2411 | /* |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2412 | * For TLS 1.2 servers check if we have a certificate which can be used |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2413 | * with the signature algorithm "lu" and return index of certificate. |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2414 | */ |
| 2415 | |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2416 | static int tls12_get_cert_sigalg_idx(const SSL *s, const SIGALG_LOOKUP *lu) |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2417 | { |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2418 | int sig_idx = lu->sig_idx; |
| 2419 | const SSL_CERT_LOOKUP *clu = ssl_cert_lookup_by_idx(sig_idx); |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2420 | |
| 2421 | /* If not recognised or not supported by cipher mask it is not suitable */ |
| 2422 | if (clu == NULL || !(clu->amask & s->s3->tmp.new_cipher->algorithm_auth)) |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2423 | return -1; |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2424 | |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2425 | return s->s3->tmp.valid_flags[sig_idx] & CERT_PKEY_VALID ? sig_idx : -1; |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2426 | } |
| 2427 | |
| 2428 | /* |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2429 | * Returns true if |s| has a usable certificate configured for use |
| 2430 | * with signature scheme |sig|. |
| 2431 | * "Usable" includes a check for presence as well as applying |
| 2432 | * the signature_algorithm_cert restrictions sent by the peer (if any). |
| 2433 | * Returns false if no usable certificate is found. |
| 2434 | */ |
| 2435 | static int has_usable_cert(SSL *s, const SIGALG_LOOKUP *sig, int idx) |
| 2436 | { |
| 2437 | const SIGALG_LOOKUP *lu; |
| 2438 | int mdnid, pknid; |
| 2439 | size_t i; |
| 2440 | |
| 2441 | /* TLS 1.2 callers can override lu->sig_idx, but not TLS 1.3 callers. */ |
| 2442 | if (idx == -1) |
| 2443 | idx = sig->sig_idx; |
| 2444 | if (!ssl_has_cert(s, idx)) |
| 2445 | return 0; |
| 2446 | if (s->s3->tmp.peer_cert_sigalgs != NULL) { |
| 2447 | for (i = 0; i < s->s3->tmp.peer_cert_sigalgslen; i++) { |
| 2448 | lu = tls1_lookup_sigalg(s->s3->tmp.peer_cert_sigalgs[i]); |
| 2449 | if (lu == NULL |
| 2450 | || !X509_get_signature_info(s->cert->pkeys[idx].x509, &mdnid, |
| 2451 | &pknid, NULL, NULL)) |
| 2452 | continue; |
| 2453 | /* |
| 2454 | * TODO this does not differentiate between the |
| 2455 | * rsa_pss_pss_* and rsa_pss_rsae_* schemes since we do not |
| 2456 | * have a chain here that lets us look at the key OID in the |
| 2457 | * signing certificate. |
| 2458 | */ |
| 2459 | if (mdnid == lu->hash && pknid == lu->sig) |
| 2460 | return 1; |
| 2461 | } |
| 2462 | return 0; |
| 2463 | } |
| 2464 | return 1; |
| 2465 | } |
| 2466 | |
| 2467 | /* |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2468 | * Choose an appropriate signature algorithm based on available certificates |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2469 | * Sets chosen certificate and signature algorithm. |
| 2470 | * |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2471 | * For servers if we fail to find a required certificate it is a fatal error, |
| 2472 | * an appropriate error code is set and a TLS alert is sent. |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2473 | * |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2474 | * For clients fatalerrs is set to 0. If a certificate is not suitable it is not |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2475 | * a fatal error: we will either try another certificate or not present one |
| 2476 | * to the server. In this case no error is set. |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2477 | */ |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2478 | int tls_choose_sigalg(SSL *s, int fatalerrs) |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2479 | { |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2480 | const SIGALG_LOOKUP *lu = NULL; |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2481 | int sig_idx = -1; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2482 | |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2483 | s->s3->tmp.cert = NULL; |
| 2484 | s->s3->tmp.sigalg = NULL; |
| 2485 | |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2486 | if (SSL_IS_TLS13(s)) { |
| 2487 | size_t i; |
Richard Levitte | 21f198e | 2017-02-03 13:56:54 +0100 | [diff] [blame] | 2488 | #ifndef OPENSSL_NO_EC |
Matt Caswell | 7500bc3 | 2018-04-23 14:02:23 +0100 | [diff] [blame] | 2489 | int curve = -1; |
Richard Levitte | 21f198e | 2017-02-03 13:56:54 +0100 | [diff] [blame] | 2490 | #endif |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2491 | |
FdaSilvaYY | 69687aa | 2017-03-28 23:57:28 +0200 | [diff] [blame] | 2492 | /* Look for a certificate matching shared sigalgs */ |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2493 | for (i = 0; i < s->cert->shared_sigalgslen; i++) { |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2494 | lu = s->cert->shared_sigalgs[i]; |
Noah Robbin | bcec0b9 | 2017-11-29 16:58:25 -0500 | [diff] [blame] | 2495 | sig_idx = -1; |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2496 | |
Matt Caswell | d8311fc | 2017-06-08 17:15:45 +0100 | [diff] [blame] | 2497 | /* Skip SHA1, SHA224, DSA and RSA if not PSS */ |
| 2498 | if (lu->hash == NID_sha1 |
| 2499 | || lu->hash == NID_sha224 |
| 2500 | || lu->sig == EVP_PKEY_DSA |
Dr. Stephen Henson | 095a982 | 2017-02-25 00:25:04 +0000 | [diff] [blame] | 2501 | || lu->sig == EVP_PKEY_RSA) |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2502 | continue; |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2503 | /* Check that we have a cert, and signature_algorithms_cert */ |
| 2504 | if (!tls1_lookup_md(lu, NULL) || !has_usable_cert(s, lu, -1)) |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2505 | continue; |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2506 | if (lu->sig == EVP_PKEY_EC) { |
Richard Levitte | 21f198e | 2017-02-03 13:56:54 +0100 | [diff] [blame] | 2507 | #ifndef OPENSSL_NO_EC |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2508 | if (curve == -1) { |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2509 | EC_KEY *ec = EVP_PKEY_get0_EC_KEY(s->cert->pkeys[SSL_PKEY_ECC].privatekey); |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2510 | |
| 2511 | curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec)); |
| 2512 | } |
Matt Caswell | 7500bc3 | 2018-04-23 14:02:23 +0100 | [diff] [blame] | 2513 | if (lu->curve != NID_undef && curve != lu->curve) |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2514 | continue; |
Richard Levitte | 21f198e | 2017-02-03 13:56:54 +0100 | [diff] [blame] | 2515 | #else |
| 2516 | continue; |
| 2517 | #endif |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2518 | } else if (lu->sig == EVP_PKEY_RSA_PSS) { |
| 2519 | /* validate that key is large enough for the signature algorithm */ |
Noah Robbin | bcec0b9 | 2017-11-29 16:58:25 -0500 | [diff] [blame] | 2520 | EVP_PKEY *pkey; |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2521 | |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2522 | pkey = s->cert->pkeys[lu->sig_idx].privatekey; |
Noah Robbin | bcec0b9 | 2017-11-29 16:58:25 -0500 | [diff] [blame] | 2523 | if (!rsa_pss_check_min_key_size(EVP_PKEY_get0(pkey), lu)) |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2524 | continue; |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2525 | } |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2526 | break; |
| 2527 | } |
| 2528 | if (i == s->cert->shared_sigalgslen) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2529 | if (!fatalerrs) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2530 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2531 | SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_CHOOSE_SIGALG, |
| 2532 | SSL_R_NO_SUITABLE_SIGNATURE_ALGORITHM); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2533 | return 0; |
| 2534 | } |
| 2535 | } else { |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2536 | /* If ciphersuite doesn't require a cert nothing to do */ |
| 2537 | if (!(s->s3->tmp.new_cipher->algorithm_auth & SSL_aCERT)) |
| 2538 | return 1; |
| 2539 | if (!s->server && !ssl_has_cert(s, s->cert->key - s->cert->pkeys)) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2540 | return 1; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2541 | |
| 2542 | if (SSL_USE_SIGALGS(s)) { |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2543 | size_t i; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2544 | if (s->s3->tmp.peer_sigalgs != NULL) { |
Dr. Stephen Henson | 599b586 | 2017-02-24 16:39:57 +0000 | [diff] [blame] | 2545 | #ifndef OPENSSL_NO_EC |
| 2546 | int curve; |
| 2547 | |
| 2548 | /* For Suite B need to match signature algorithm to curve */ |
| 2549 | if (tls1_suiteb(s)) { |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2550 | EC_KEY *ec = EVP_PKEY_get0_EC_KEY(s->cert->pkeys[SSL_PKEY_ECC].privatekey); |
Dr. Stephen Henson | 599b586 | 2017-02-24 16:39:57 +0000 | [diff] [blame] | 2551 | curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec)); |
| 2552 | } else { |
| 2553 | curve = -1; |
| 2554 | } |
| 2555 | #endif |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2556 | |
| 2557 | /* |
| 2558 | * Find highest preference signature algorithm matching |
| 2559 | * cert type |
| 2560 | */ |
| 2561 | for (i = 0; i < s->cert->shared_sigalgslen; i++) { |
| 2562 | lu = s->cert->shared_sigalgs[i]; |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2563 | |
| 2564 | if (s->server) { |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2565 | if ((sig_idx = tls12_get_cert_sigalg_idx(s, lu)) == -1) |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2566 | continue; |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2567 | } else { |
| 2568 | int cc_idx = s->cert->key - s->cert->pkeys; |
| 2569 | |
| 2570 | sig_idx = lu->sig_idx; |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2571 | if (cc_idx != sig_idx) |
| 2572 | continue; |
Dr. Stephen Henson | b202155 | 2017-06-16 18:55:28 +0100 | [diff] [blame] | 2573 | } |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2574 | /* Check that we have a cert, and sig_algs_cert */ |
| 2575 | if (!has_usable_cert(s, lu, sig_idx)) |
| 2576 | continue; |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2577 | if (lu->sig == EVP_PKEY_RSA_PSS) { |
| 2578 | /* validate that key is large enough for the signature algorithm */ |
Noah Robbin | bcec0b9 | 2017-11-29 16:58:25 -0500 | [diff] [blame] | 2579 | EVP_PKEY *pkey = s->cert->pkeys[sig_idx].privatekey; |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2580 | |
Noah Robbin | bcec0b9 | 2017-11-29 16:58:25 -0500 | [diff] [blame] | 2581 | if (!rsa_pss_check_min_key_size(EVP_PKEY_get0(pkey), lu)) |
Noah Robbin | 0fe3db2 | 2017-09-19 12:15:42 -0400 | [diff] [blame] | 2582 | continue; |
| 2583 | } |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2584 | #ifndef OPENSSL_NO_EC |
| 2585 | if (curve == -1 || lu->curve == curve) |
Dr. Stephen Henson | 599b586 | 2017-02-24 16:39:57 +0000 | [diff] [blame] | 2586 | #endif |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2587 | break; |
| 2588 | } |
| 2589 | if (i == s->cert->shared_sigalgslen) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2590 | if (!fatalerrs) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2591 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2592 | SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CHOOSE_SIGALG, |
| 2593 | ERR_R_INTERNAL_ERROR); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2594 | return 0; |
| 2595 | } |
| 2596 | } else { |
| 2597 | /* |
| 2598 | * If we have no sigalg use defaults |
| 2599 | */ |
| 2600 | const uint16_t *sent_sigs; |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2601 | size_t sent_sigslen; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2602 | |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2603 | if ((lu = tls1_get_legacy_sigalg(s, -1)) == NULL) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2604 | if (!fatalerrs) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2605 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2606 | SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CHOOSE_SIGALG, |
| 2607 | ERR_R_INTERNAL_ERROR); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2608 | return 0; |
| 2609 | } |
| 2610 | |
| 2611 | /* Check signature matches a type we sent */ |
| 2612 | sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs); |
| 2613 | for (i = 0; i < sent_sigslen; i++, sent_sigs++) { |
Benjamin Kaduk | c589c34 | 2018-01-11 11:47:12 -0600 | [diff] [blame] | 2614 | if (lu->sigalg == *sent_sigs |
| 2615 | && has_usable_cert(s, lu, lu->sig_idx)) |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2616 | break; |
| 2617 | } |
| 2618 | if (i == sent_sigslen) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2619 | if (!fatalerrs) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2620 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2621 | SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, |
| 2622 | SSL_F_TLS_CHOOSE_SIGALG, |
| 2623 | SSL_R_WRONG_SIGNATURE_TYPE); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2624 | return 0; |
| 2625 | } |
| 2626 | } |
| 2627 | } else { |
Dr. Stephen Henson | 7f6b466 | 2017-06-29 14:55:06 +0100 | [diff] [blame] | 2628 | if ((lu = tls1_get_legacy_sigalg(s, -1)) == NULL) { |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2629 | if (!fatalerrs) |
Dr. Stephen Henson | 717a265 | 2017-02-15 16:19:43 +0000 | [diff] [blame] | 2630 | return 1; |
Matt Caswell | f63a17d | 2017-11-21 17:18:43 +0000 | [diff] [blame] | 2631 | SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CHOOSE_SIGALG, |
| 2632 | ERR_R_INTERNAL_ERROR); |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2633 | return 0; |
| 2634 | } |
| 2635 | } |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2636 | } |
Dr. Stephen Henson | b46867d | 2017-09-14 14:53:52 +0100 | [diff] [blame] | 2637 | if (sig_idx == -1) |
| 2638 | sig_idx = lu->sig_idx; |
| 2639 | s->s3->tmp.cert = &s->cert->pkeys[sig_idx]; |
Dr. Stephen Henson | 59088e4 | 2017-02-15 15:28:56 +0000 | [diff] [blame] | 2640 | s->cert->key = s->s3->tmp.cert; |
Dr. Stephen Henson | 0972bc5 | 2017-02-13 16:04:07 +0000 | [diff] [blame] | 2641 | s->s3->tmp.sigalg = lu; |
Dr. Stephen Henson | 93a77f9 | 2017-01-31 17:45:00 +0000 | [diff] [blame] | 2642 | return 1; |
| 2643 | } |
FdaSilvaYY | cf72c75 | 2017-11-05 17:46:48 +0100 | [diff] [blame] | 2644 | |
| 2645 | int SSL_CTX_set_tlsext_max_fragment_length(SSL_CTX *ctx, uint8_t mode) |
| 2646 | { |
| 2647 | if (mode != TLSEXT_max_fragment_length_DISABLED |
| 2648 | && !IS_MAX_FRAGMENT_LENGTH_EXT_VALID(mode)) { |
| 2649 | SSLerr(SSL_F_SSL_CTX_SET_TLSEXT_MAX_FRAGMENT_LENGTH, |
| 2650 | SSL_R_SSL3_EXT_INVALID_MAX_FRAGMENT_LENGTH); |
| 2651 | return 0; |
| 2652 | } |
| 2653 | |
| 2654 | ctx->ext.max_fragment_len_mode = mode; |
| 2655 | return 1; |
| 2656 | } |
| 2657 | |
| 2658 | int SSL_set_tlsext_max_fragment_length(SSL *ssl, uint8_t mode) |
| 2659 | { |
| 2660 | if (mode != TLSEXT_max_fragment_length_DISABLED |
| 2661 | && !IS_MAX_FRAGMENT_LENGTH_EXT_VALID(mode)) { |
| 2662 | SSLerr(SSL_F_SSL_SET_TLSEXT_MAX_FRAGMENT_LENGTH, |
| 2663 | SSL_R_SSL3_EXT_INVALID_MAX_FRAGMENT_LENGTH); |
| 2664 | return 0; |
| 2665 | } |
| 2666 | |
| 2667 | ssl->ext.max_fragment_len_mode = mode; |
| 2668 | return 1; |
| 2669 | } |
| 2670 | |
| 2671 | uint8_t SSL_SESSION_get_max_fragment_length(const SSL_SESSION *session) |
| 2672 | { |
| 2673 | return session->ext.max_fragment_len_mode; |
| 2674 | } |