t1_lib.c 76.5 KB
Newer Older
R
Rich Salz 已提交
1
/*
2
 * Copyright 1995-2017 The OpenSSL Project Authors. All Rights Reserved.
3
 *
R
Rich Salz 已提交
4 5 6 7
 * Licensed under the OpenSSL license (the "License").  You may not use
 * this file except in compliance with the License.  You can obtain a copy
 * in the file LICENSE in the source distribution or at
 * https://www.openssl.org/source/license.html
8
 */
9 10

#include <stdio.h>
E
Emilia Kasper 已提交
11
#include <stdlib.h>
12
#include <openssl/objects.h>
13 14
#include <openssl/evp.h>
#include <openssl/hmac.h>
15
#include <openssl/ocsp.h>
16 17
#include <openssl/conf.h>
#include <openssl/x509v3.h>
R
Rich Salz 已提交
18 19
#include <openssl/dh.h>
#include <openssl/bn.h>
20
#include "internal/nelem.h"
21
#include "ssl_locl.h"
R
Rich Salz 已提交
22
#include <openssl/ct.h>
23

24 25 26 27 28 29 30 31 32 33 34 35
SSL3_ENC_METHOD const TLSv1_enc_data = {
    tls1_enc,
    tls1_mac,
    tls1_setup_key_block,
    tls1_generate_master_secret,
    tls1_change_cipher_state,
    tls1_final_finish_mac,
    TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
    TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
    tls1_alert_code,
    tls1_export_keying_material,
    0,
M
Matt Caswell 已提交
36
    ssl3_set_handshake_header,
37
    tls_close_construct_packet,
38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
    ssl3_handshake_write
};

SSL3_ENC_METHOD const TLSv1_1_enc_data = {
    tls1_enc,
    tls1_mac,
    tls1_setup_key_block,
    tls1_generate_master_secret,
    tls1_change_cipher_state,
    tls1_final_finish_mac,
    TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
    TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
    tls1_alert_code,
    tls1_export_keying_material,
    SSL_ENC_FLAG_EXPLICIT_IV,
M
Matt Caswell 已提交
53
    ssl3_set_handshake_header,
54
    tls_close_construct_packet,
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70
    ssl3_handshake_write
};

SSL3_ENC_METHOD const TLSv1_2_enc_data = {
    tls1_enc,
    tls1_mac,
    tls1_setup_key_block,
    tls1_generate_master_secret,
    tls1_change_cipher_state,
    tls1_final_finish_mac,
    TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
    TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
    tls1_alert_code,
    tls1_export_keying_material,
    SSL_ENC_FLAG_EXPLICIT_IV | SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF
        | SSL_ENC_FLAG_TLS1_2_CIPHERS,
M
Matt Caswell 已提交
71
    ssl3_set_handshake_header,
72
    tls_close_construct_packet,
73 74
    ssl3_handshake_write
};
75

76
SSL3_ENC_METHOD const TLSv1_3_enc_data = {
M
Matt Caswell 已提交
77
    tls13_enc,
78
    tls1_mac,
79 80 81 82
    tls13_setup_key_block,
    tls13_generate_master_secret,
    tls13_change_cipher_state,
    tls13_final_finish_mac,
83 84
    TLS_MD_CLIENT_FINISH_CONST, TLS_MD_CLIENT_FINISH_CONST_SIZE,
    TLS_MD_SERVER_FINISH_CONST, TLS_MD_SERVER_FINISH_CONST_SIZE,
85
    tls13_alert_code,
86
    tls13_export_keying_material,
M
Matt Caswell 已提交
87
    SSL_ENC_FLAG_SIGALGS | SSL_ENC_FLAG_SHA256_PRF,
88 89 90 91 92
    ssl3_set_handshake_header,
    tls_close_construct_packet,
    ssl3_handshake_write
};

93
long tls1_default_timeout(void)
94 95 96 97 98 99 100
{
    /*
     * 2 hours, the 24 hours mentioned in the TLSv1 spec is way too long for
     * http, the cache would over fill
     */
    return (60 * 60 * 2);
}
101

U
Ulf Möller 已提交
102
int tls1_new(SSL *s)
103 104
{
    if (!ssl3_new(s))
105 106 107 108 109
        return 0;
    if (!s->method->ssl_clear(s))
        return 0;

    return 1;
110
}
111

U
Ulf Möller 已提交
112
void tls1_free(SSL *s)
113
{
R
Rich Salz 已提交
114
    OPENSSL_free(s->ext.session_ticket);
115 116
    ssl3_free(s);
}
117

118
int tls1_clear(SSL *s)
119
{
120 121 122
    if (!ssl3_clear(s))
        return 0;

123 124 125 126
    if (s->method->version == TLS_ANY_VERSION)
        s->version = TLS_MAX_VERSION;
    else
        s->version = s->method->version;
127 128

    return 1;
129
}
130

131
#ifndef OPENSSL_NO_EC
132

133 134
/*
 * Table of curve information.
R
Rich Salz 已提交
135
 * Do not delete entries or reorder this array! It is used as a lookup
136 137
 * table: the index of each entry is one less than the TLS curve id.
 */
138
static const TLS_GROUP_INFO nid_list[] = {
139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166
    {NID_sect163k1, 80, TLS_CURVE_CHAR2}, /* sect163k1 (1) */
    {NID_sect163r1, 80, TLS_CURVE_CHAR2}, /* sect163r1 (2) */
    {NID_sect163r2, 80, TLS_CURVE_CHAR2}, /* sect163r2 (3) */
    {NID_sect193r1, 80, TLS_CURVE_CHAR2}, /* sect193r1 (4) */
    {NID_sect193r2, 80, TLS_CURVE_CHAR2}, /* sect193r2 (5) */
    {NID_sect233k1, 112, TLS_CURVE_CHAR2}, /* sect233k1 (6) */
    {NID_sect233r1, 112, TLS_CURVE_CHAR2}, /* sect233r1 (7) */
    {NID_sect239k1, 112, TLS_CURVE_CHAR2}, /* sect239k1 (8) */
    {NID_sect283k1, 128, TLS_CURVE_CHAR2}, /* sect283k1 (9) */
    {NID_sect283r1, 128, TLS_CURVE_CHAR2}, /* sect283r1 (10) */
    {NID_sect409k1, 192, TLS_CURVE_CHAR2}, /* sect409k1 (11) */
    {NID_sect409r1, 192, TLS_CURVE_CHAR2}, /* sect409r1 (12) */
    {NID_sect571k1, 256, TLS_CURVE_CHAR2}, /* sect571k1 (13) */
    {NID_sect571r1, 256, TLS_CURVE_CHAR2}, /* sect571r1 (14) */
    {NID_secp160k1, 80, TLS_CURVE_PRIME}, /* secp160k1 (15) */
    {NID_secp160r1, 80, TLS_CURVE_PRIME}, /* secp160r1 (16) */
    {NID_secp160r2, 80, TLS_CURVE_PRIME}, /* secp160r2 (17) */
    {NID_secp192k1, 80, TLS_CURVE_PRIME}, /* secp192k1 (18) */
    {NID_X9_62_prime192v1, 80, TLS_CURVE_PRIME}, /* secp192r1 (19) */
    {NID_secp224k1, 112, TLS_CURVE_PRIME}, /* secp224k1 (20) */
    {NID_secp224r1, 112, TLS_CURVE_PRIME}, /* secp224r1 (21) */
    {NID_secp256k1, 128, TLS_CURVE_PRIME}, /* secp256k1 (22) */
    {NID_X9_62_prime256v1, 128, TLS_CURVE_PRIME}, /* secp256r1 (23) */
    {NID_secp384r1, 192, TLS_CURVE_PRIME}, /* secp384r1 (24) */
    {NID_secp521r1, 256, TLS_CURVE_PRIME}, /* secp521r1 (25) */
    {NID_brainpoolP256r1, 128, TLS_CURVE_PRIME}, /* brainpoolP256r1 (26) */
    {NID_brainpoolP384r1, 192, TLS_CURVE_PRIME}, /* brainpoolP384r1 (27) */
    {NID_brainpoolP512r1, 256, TLS_CURVE_PRIME}, /* brainpool512r1 (28) */
167
    {EVP_PKEY_X25519, 128, TLS_CURVE_CUSTOM}, /* X25519 (29) */
168 169 170 171 172 173 174 175
};

static const unsigned char ecformats_default[] = {
    TLSEXT_ECPOINTFORMAT_uncompressed,
    TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime,
    TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2
};

176
/* The default curves */
D
Dr. Stephen Henson 已提交
177 178 179 180 181
static const uint16_t eccurves_default[] = {
    29,                      /* X25519 (29) */
    23,                      /* secp256r1 (23) */
    25,                      /* secp521r1 (25) */
    24,                      /* secp384r1 (24) */
182 183
};

D
Dr. Stephen Henson 已提交
184 185 186
static const uint16_t suiteb_curves[] = {
    TLSEXT_curve_P_256,
    TLSEXT_curve_P_384
187
};
188

189
const TLS_GROUP_INFO *tls1_group_id_lookup(uint16_t curve_id)
190 191
{
    /* ECC curves from RFC 4492 and RFC 7027 */
D
Dr. Stephen Henson 已提交
192
    if (curve_id < 1 || curve_id > OSSL_NELEM(nid_list))
193 194
        return NULL;
    return &nid_list[curve_id - 1];
195
}
196

D
Dr. Stephen Henson 已提交
197
uint16_t tls1_ec_nid2curve_id(int nid)
198
{
199 200 201
    size_t i;
    for (i = 0; i < OSSL_NELEM(nid_list); i++) {
        if (nid_list[i].nid == nid)
D
Dr. Stephen Henson 已提交
202
            return i + 1;
203
    }
204
    return 0;
205 206
}

207 208 209 210
/*
 * Get curves list, if "sess" is set return client curves otherwise
 * preferred list.
 * Sets |num_curves| to the number of curves in the list, i.e.,
211
 * the length of |pcurves| is num_curves.
212 213 214
 * Returns 1 on success and 0 if the client curves list has invalid format.
 * The latter indicates an internal error: we should not be accepting such
 * lists in the first place.
215
 */
D
Dr. Stephen Henson 已提交
216
int tls1_get_curvelist(SSL *s, int sess, const uint16_t **pcurves,
217
                       size_t *num_curves)
218 219
{
    size_t pcurveslen = 0;
220

221
    if (sess) {
R
Rich Salz 已提交
222 223
        *pcurves = s->session->ext.supportedgroups;
        pcurveslen = s->session->ext.supportedgroups_len;
224 225 226 227 228
    } else {
        /* For Suite B mode only include P-256, P-384 */
        switch (tls1_suiteb(s)) {
        case SSL_CERT_FLAG_SUITEB_128_LOS:
            *pcurves = suiteb_curves;
D
Dr. Stephen Henson 已提交
229
            pcurveslen = OSSL_NELEM(suiteb_curves);
230 231 232 233
            break;

        case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY:
            *pcurves = suiteb_curves;
D
Dr. Stephen Henson 已提交
234
            pcurveslen = 1;
235 236 237
            break;

        case SSL_CERT_FLAG_SUITEB_192_LOS:
238
            *pcurves = suiteb_curves + 1;
D
Dr. Stephen Henson 已提交
239
            pcurveslen = 1;
240 241
            break;
        default:
R
Rich Salz 已提交
242 243
            *pcurves = s->ext.supportedgroups;
            pcurveslen = s->ext.supportedgroups_len;
244 245
        }
        if (!*pcurves) {
246
            *pcurves = eccurves_default;
D
Dr. Stephen Henson 已提交
247
            pcurveslen = OSSL_NELEM(eccurves_default);
248 249 250
        }
    }

D
Dr. Stephen Henson 已提交
251
    *num_curves = pcurveslen;
252
    return 1;
253
}
D
Dr. Stephen Henson 已提交
254 255

/* See if curve is allowed by security callback */
D
Dr. Stephen Henson 已提交
256
int tls_curve_allowed(SSL *s, uint16_t curve, int op)
257
{
258
    const TLS_GROUP_INFO *cinfo;
D
Dr. Stephen Henson 已提交
259 260
    unsigned char ctmp[2];
    if (curve > 0xff)
261
        return 1;
D
Dr. Stephen Henson 已提交
262
    if (curve < 1 || curve > OSSL_NELEM(nid_list))
263
        return 0;
D
Dr. Stephen Henson 已提交
264
    cinfo = &nid_list[curve - 1];
265 266 267 268
# ifdef OPENSSL_NO_EC2M
    if (cinfo->flags & TLS_CURVE_CHAR2)
        return 0;
# endif
D
Dr. Stephen Henson 已提交
269 270 271
    ctmp[0] = curve >> 8;
    ctmp[1] = curve & 0xff;
    return ssl_security(s, op, cinfo->secbits, cinfo->nid, (void *)ctmp);
272
}
D
Dr. Stephen Henson 已提交
273

274 275
/* Check a curve is one of our preferences */
int tls1_check_curve(SSL *s, const unsigned char *p, size_t len)
276
{
D
Dr. Stephen Henson 已提交
277 278
    const uint16_t *curves;
    uint16_t curve_id;
279 280 281 282
    size_t num_curves, i;
    unsigned int suiteb_flags = tls1_suiteb(s);
    if (len != 3 || p[0] != NAMED_CURVE_TYPE)
        return 0;
D
Dr. Stephen Henson 已提交
283
    curve_id = (p[1] << 8) | p[2];
284 285 286 287
    /* Check curve matches Suite B preferences */
    if (suiteb_flags) {
        unsigned long cid = s->s3->tmp.new_cipher->id;
        if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256) {
D
Dr. Stephen Henson 已提交
288
            if (curve_id != TLSEXT_curve_P_256)
289 290
                return 0;
        } else if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384) {
D
Dr. Stephen Henson 已提交
291
            if (curve_id != TLSEXT_curve_P_384)
292 293 294 295 296 297
                return 0;
        } else                  /* Should never happen */
            return 0;
    }
    if (!tls1_get_curvelist(s, 0, &curves, &num_curves))
        return 0;
D
Dr. Stephen Henson 已提交
298 299 300
    for (i = 0; i < num_curves; i++) {
        if (curve_id == curves[i])
            return tls_curve_allowed(s, curve_id, SSL_SECOP_CURVE_CHECK);
301 302 303
    }
    return 0;
}
304

305
/*-
306
 * For nmatch >= 0, return the id of the |nmatch|th shared group or 0
307 308
 * if there is no match.
 * For nmatch == -1, return number of matches
309 310
 * For nmatch == -2, return the id of the group to use for
 * an tmp key, or 0 if there is no match.
311
 */
312
uint16_t tls1_shared_group(SSL *s, int nmatch)
313
{
D
Dr. Stephen Henson 已提交
314
    const uint16_t *pref, *supp;
315 316
    size_t num_pref, num_supp, i, j;
    int k;
317

318 319
    /* Can't do anything on client side */
    if (s->server == 0)
320
        return 0;
321 322 323 324 325 326 327
    if (nmatch == -2) {
        if (tls1_suiteb(s)) {
            /*
             * For Suite B ciphersuite determines curve: we already know
             * these are acceptable due to previous checks.
             */
            unsigned long cid = s->s3->tmp.new_cipher->id;
328

329
            if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256)
330
                return TLSEXT_curve_P_256;
331
            if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384)
332
                return TLSEXT_curve_P_384;
333
            /* Should never happen */
334
            return 0;
335 336 337 338 339 340 341 342
        }
        /* If not Suite B just return first preference shared curve */
        nmatch = 0;
    }
    /*
     * Avoid truncation. tls1_get_curvelist takes an int
     * but s->options is a long...
     */
343 344 345
    if (!tls1_get_curvelist(s,
            (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) != 0,
            &supp, &num_supp))
346
        return 0;
347 348 349
    if (!tls1_get_curvelist(s,
            (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) == 0,
            &pref, &num_pref))
350
        return 0;
351

D
Dr. Stephen Henson 已提交
352 353
    for (k = 0, i = 0; i < num_pref; i++) {
        uint16_t id = pref[i];
354

D
Dr. Stephen Henson 已提交
355 356 357
        for (j = 0; j < num_supp; j++) {
            if (id == supp[j]) {
                if (!tls_curve_allowed(s, id, SSL_SECOP_CURVE_SHARED))
358
                    continue;
D
Dr. Stephen Henson 已提交
359
                if (nmatch == k)
360
                    return id;
361 362 363 364 365 366 367
                k++;
            }
        }
    }
    if (nmatch == -1)
        return k;
    /* Out of range (nmatch > k). */
368
    return 0;
369
}
370

D
Dr. Stephen Henson 已提交
371
int tls1_set_groups(uint16_t **pext, size_t *pextlen,
372
                    int *groups, size_t ngroups)
373
{
D
Dr. Stephen Henson 已提交
374
    uint16_t *glist;
375 376
    size_t i;
    /*
377
     * Bitmap of groups included to detect duplicates: only works while group
378 379 380
     * ids < 32
     */
    unsigned long dup_list = 0;
D
Dr. Stephen Henson 已提交
381
    glist = OPENSSL_malloc(ngroups * sizeof(*glist));
382
    if (glist == NULL)
383
        return 0;
D
Dr. Stephen Henson 已提交
384
    for (i = 0; i < ngroups; i++) {
385
        unsigned long idmask;
D
Dr. Stephen Henson 已提交
386
        uint16_t id;
387 388
        /* TODO(TLS1.3): Convert for DH groups */
        id = tls1_ec_nid2curve_id(groups[i]);
389 390
        idmask = 1L << id;
        if (!id || (dup_list & idmask)) {
391
            OPENSSL_free(glist);
392 393 394
            return 0;
        }
        dup_list |= idmask;
D
Dr. Stephen Henson 已提交
395
        glist[i] = id;
396
    }
R
Rich Salz 已提交
397
    OPENSSL_free(*pext);
398
    *pext = glist;
D
Dr. Stephen Henson 已提交
399
    *pextlen = ngroups;
400 401 402 403 404 405 406 407 408
    return 1;
}

# define MAX_CURVELIST   28

typedef struct {
    size_t nidcnt;
    int nid_arr[MAX_CURVELIST];
} nid_cb_st;
409 410

static int nid_cb(const char *elem, int len, void *arg)
411 412 413 414 415
{
    nid_cb_st *narg = arg;
    size_t i;
    int nid;
    char etmp[20];
416 417
    if (elem == NULL)
        return 0;
418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437
    if (narg->nidcnt == MAX_CURVELIST)
        return 0;
    if (len > (int)(sizeof(etmp) - 1))
        return 0;
    memcpy(etmp, elem, len);
    etmp[len] = 0;
    nid = EC_curve_nist2nid(etmp);
    if (nid == NID_undef)
        nid = OBJ_sn2nid(etmp);
    if (nid == NID_undef)
        nid = OBJ_ln2nid(etmp);
    if (nid == NID_undef)
        return 0;
    for (i = 0; i < narg->nidcnt; i++)
        if (narg->nid_arr[i] == nid)
            return 0;
    narg->nid_arr[narg->nidcnt++] = nid;
    return 1;
}

438
/* Set groups based on a colon separate list */
D
Dr. Stephen Henson 已提交
439
int tls1_set_groups_list(uint16_t **pext, size_t *pextlen, const char *str)
440 441 442 443 444 445 446
{
    nid_cb_st ncb;
    ncb.nidcnt = 0;
    if (!CONF_parse_list(str, ':', 1, nid_cb, &ncb))
        return 0;
    if (pext == NULL)
        return 1;
447
    return tls1_set_groups(pext, pextlen, ncb.nid_arr, ncb.nidcnt);
448 449
}

450
/* For an EC key set TLS id and required compression based on parameters */
D
Dr. Stephen Henson 已提交
451
static int tls1_set_ec_id(uint16_t *pcurve_id, unsigned char *comp_id,
452 453
                          EC_KEY *ec)
{
K
Kurt Roeckx 已提交
454
    int curve_nid;
455 456 457 458 459 460 461 462
    const EC_GROUP *grp;
    if (!ec)
        return 0;
    /* Determine if it is a prime field */
    grp = EC_KEY_get0_group(ec);
    if (!grp)
        return 0;
    /* Determine curve ID */
K
Kurt Roeckx 已提交
463 464
    curve_nid = EC_GROUP_get_curve_name(grp);
    *pcurve_id = tls1_ec_nid2curve_id(curve_nid);
D
Dr. Stephen Henson 已提交
465
    /* If no id return error: we don't support arbitrary explicit curves */
D
Dr. Stephen Henson 已提交
466
    if (*pcurve_id == 0)
D
Dr. Stephen Henson 已提交
467
        return 0;
468 469 470
    if (comp_id) {
        if (EC_KEY_get0_public_key(ec) == NULL)
            return 0;
D
Dr. Stephen Henson 已提交
471 472 473
        if (EC_KEY_get_conv_form(ec) == POINT_CONVERSION_UNCOMPRESSED) {
            *comp_id = TLSEXT_ECPOINTFORMAT_uncompressed;
        } else {
K
Kurt Roeckx 已提交
474
            if ((nid_list[*pcurve_id - 1].flags & TLS_CURVE_TYPE) == TLS_CURVE_PRIME)
475 476 477
                *comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_prime;
            else
                *comp_id = TLSEXT_ECPOINTFORMAT_ansiX962_compressed_char2;
D
Dr. Stephen Henson 已提交
478
        }
479 480 481 482
    }
    return 1;
}

483
/* Check an EC key is compatible with extensions */
D
Dr. Stephen Henson 已提交
484
static int tls1_check_ec_key(SSL *s, uint16_t curve_id, unsigned char *comp_id)
485
{
D
Dr. Stephen Henson 已提交
486 487
    const unsigned char *pformats;
    const uint16_t *pcurves;
488 489 490 491 492 493
    size_t num_formats, num_curves, i;
    int j;
    /*
     * If point formats extension present check it, otherwise everything is
     * supported (see RFC4492).
     */
R
Rich Salz 已提交
494 495 496
    if (comp_id && s->session->ext.ecpointformats) {
        pformats = s->session->ext.ecpointformats;
        num_formats = s->session->ext.ecpointformats_len;
497 498 499 500 501 502 503
        for (i = 0; i < num_formats; i++, pformats++) {
            if (*comp_id == *pformats)
                break;
        }
        if (i == num_formats)
            return 0;
    }
D
Dr. Stephen Henson 已提交
504
    if (curve_id == 0)
505 506 507 508 509
        return 1;
    /* Check curve is consistent with client and server preferences */
    for (j = 0; j <= 1; j++) {
        if (!tls1_get_curvelist(s, j, &pcurves, &num_curves))
            return 0;
510 511 512 513 514 515 516 517 518 519
        if (j == 1 && num_curves == 0) {
            /*
             * If we've not received any curves then skip this check.
             * RFC 4492 does not require the supported elliptic curves extension
             * so if it is not sent we can just choose any curve.
             * It is invalid to send an empty list in the elliptic curves
             * extension, so num_curves == 0 always means no extension.
             */
            break;
        }
D
Dr. Stephen Henson 已提交
520 521
        for (i = 0; i < num_curves; i++) {
            if (pcurves[i] == curve_id)
522 523 524 525 526 527 528 529 530 531
                break;
        }
        if (i == num_curves)
            return 0;
        /* For clients can only check sent curve list */
        if (!s->server)
            break;
    }
    return 1;
}
532

533 534
void tls1_get_formatlist(SSL *s, const unsigned char **pformats,
                         size_t *num_formats)
535 536 537 538
{
    /*
     * If we have a custom point format list use it otherwise use default
     */
R
Rich Salz 已提交
539 540 541
    if (s->ext.ecpointformats) {
        *pformats = s->ext.ecpointformats;
        *num_formats = s->ext.ecpointformats_len;
542 543 544 545 546 547 548 549 550 551 552 553 554
    } else {
        *pformats = ecformats_default;
        /* For Suite B we don't support char2 fields */
        if (tls1_suiteb(s))
            *num_formats = sizeof(ecformats_default) - 1;
        else
            *num_formats = sizeof(ecformats_default);
    }
}

/*
 * Check cert parameters compatible with extensions: currently just checks EC
 * certificates have compatible curves and compression.
555
 */
556
static int tls1_check_cert_param(SSL *s, X509 *x, int check_ee_md)
557
{
D
Dr. Stephen Henson 已提交
558 559
    unsigned char comp_id;
    uint16_t curve_id;
560 561
    EVP_PKEY *pkey;
    int rv;
562
    pkey = X509_get0_pubkey(x);
563 564 565
    if (!pkey)
        return 0;
    /* If not EC nothing to do */
D
Dr. Stephen Henson 已提交
566
    if (EVP_PKEY_id(pkey) != EVP_PKEY_EC)
567
        return 1;
D
Dr. Stephen Henson 已提交
568
    rv = tls1_set_ec_id(&curve_id, &comp_id, EVP_PKEY_get0_EC_KEY(pkey));
569 570 571 572 573 574
    if (!rv)
        return 0;
    /*
     * Can't check curve_id for client certs as we don't have a supported
     * curves extension.
     */
D
Dr. Stephen Henson 已提交
575
    rv = tls1_check_ec_key(s, s->server ? curve_id : 0, &comp_id);
576 577 578 579
    if (!rv)
        return 0;
    /*
     * Special case for suite B. We *MUST* sign using SHA256+P-256 or
580
     * SHA384+P-384.
581
     */
582
    if (check_ee_md && tls1_suiteb(s)) {
583 584 585
        int check_md;
        size_t i;
        CERT *c = s->cert;
D
Dr. Stephen Henson 已提交
586

587
        /* Check to see we have necessary signing algorithm */
D
Dr. Stephen Henson 已提交
588
        if (curve_id == TLSEXT_curve_P_256)
589
            check_md = NID_ecdsa_with_SHA256;
D
Dr. Stephen Henson 已提交
590
        else if (curve_id == TLSEXT_curve_P_384)
591 592 593 594
            check_md = NID_ecdsa_with_SHA384;
        else
            return 0;           /* Should never happen */
        for (i = 0; i < c->shared_sigalgslen; i++)
595
            if (check_md == c->shared_sigalgs[i]->sigandhash)
596 597 598 599 600 601 602
                break;
        if (i == c->shared_sigalgslen)
            return 0;
    }
    return rv;
}

603
/*
F
FdaSilvaYY 已提交
604
 * tls1_check_ec_tmp_key - Check EC temporary key compatibility
605 606 607 608 609 610 611 612
 * @s: SSL connection
 * @cid: Cipher ID we're considering using
 *
 * Checks that the kECDHE cipher suite we're considering using
 * is compatible with the client extensions.
 *
 * Returns 0 when the cipher can't be used or 1 when it can.
 */
613
int tls1_check_ec_tmp_key(SSL *s, unsigned long cid)
614 615 616 617 618 619
{
    /*
     * If Suite B, AES128 MUST use P-256 and AES256 MUST use P-384, no other
     * curves permitted.
     */
    if (tls1_suiteb(s)) {
D
Dr. Stephen Henson 已提交
620 621
        uint16_t curve_id;

622 623
        /* Curve to check determined by ciphersuite */
        if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256)
D
Dr. Stephen Henson 已提交
624
            curve_id = TLSEXT_curve_P_256;
625
        else if (cid == TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384)
D
Dr. Stephen Henson 已提交
626
            curve_id = TLSEXT_curve_P_384;
627 628 629 630 631
        else
            return 0;
        /* Check this curve is acceptable */
        if (!tls1_check_ec_key(s, curve_id, NULL))
            return 0;
632
        return 1;
633
    }
634
    /* Need a shared curve */
635
    return tls1_shared_group(s, 0) != 0;
636
}
637

638 639 640
#else

static int tls1_check_cert_param(SSL *s, X509 *x, int set_ee_md)
641 642 643
{
    return 1;
}
644

645
#endif                          /* OPENSSL_NO_EC */
646

647
/* Default sigalg schemes */
648
static const uint16_t tls12_sigalgs[] = {
649 650 651 652
#ifndef OPENSSL_NO_EC
    TLSEXT_SIGALG_ecdsa_secp256r1_sha256,
    TLSEXT_SIGALG_ecdsa_secp384r1_sha384,
    TLSEXT_SIGALG_ecdsa_secp521r1_sha512,
653
    TLSEXT_SIGALG_ed25519,
654
#endif
655

656 657 658 659
    TLSEXT_SIGALG_rsa_pss_sha256,
    TLSEXT_SIGALG_rsa_pss_sha384,
    TLSEXT_SIGALG_rsa_pss_sha512,

660 661 662
    TLSEXT_SIGALG_rsa_pkcs1_sha256,
    TLSEXT_SIGALG_rsa_pkcs1_sha384,
    TLSEXT_SIGALG_rsa_pkcs1_sha512,
663

664
#ifndef OPENSSL_NO_EC
665
    TLSEXT_SIGALG_ecdsa_sha224,
M
Matt Caswell 已提交
666
    TLSEXT_SIGALG_ecdsa_sha1,
667
#endif
668
    TLSEXT_SIGALG_rsa_pkcs1_sha224,
M
Matt Caswell 已提交
669
    TLSEXT_SIGALG_rsa_pkcs1_sha1,
670
#ifndef OPENSSL_NO_DSA
671
    TLSEXT_SIGALG_dsa_sha224,
M
Matt Caswell 已提交
672 673
    TLSEXT_SIGALG_dsa_sha1,

674 675 676
    TLSEXT_SIGALG_dsa_sha256,
    TLSEXT_SIGALG_dsa_sha384,
    TLSEXT_SIGALG_dsa_sha512
677
#endif
678
};
679

680
#ifndef OPENSSL_NO_EC
681
static const uint16_t suiteb_sigalgs[] = {
682 683
    TLSEXT_SIGALG_ecdsa_secp256r1_sha256,
    TLSEXT_SIGALG_ecdsa_secp384r1_sha384
684
};
685
#endif
R
Rich Salz 已提交
686

687
static const SIGALG_LOOKUP sigalg_lookup_tbl[] = {
688
#ifndef OPENSSL_NO_EC
689
    {"ecdsa_secp256r1_sha256", TLSEXT_SIGALG_ecdsa_secp256r1_sha256,
690 691
     NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_EC, SSL_PKEY_ECC,
     NID_ecdsa_with_SHA256, NID_X9_62_prime256v1},
692
    {"ecdsa_secp384r1_sha384", TLSEXT_SIGALG_ecdsa_secp384r1_sha384,
693 694
     NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_EC, SSL_PKEY_ECC,
     NID_ecdsa_with_SHA384, NID_secp384r1},
695
    {"ecdsa_secp521r1_sha512", TLSEXT_SIGALG_ecdsa_secp521r1_sha512,
696 697
     NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_EC, SSL_PKEY_ECC,
     NID_ecdsa_with_SHA512, NID_secp521r1},
698
    {"ed25519", TLSEXT_SIGALG_ed25519,
699
     NID_undef, -1, EVP_PKEY_ED25519, SSL_PKEY_ED25519,
700
     NID_undef, NID_undef},
701 702 703
    {NULL, TLSEXT_SIGALG_ecdsa_sha224,
     NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_EC, SSL_PKEY_ECC,
     NID_ecdsa_with_SHA224, NID_undef},
704
    {NULL, TLSEXT_SIGALG_ecdsa_sha1,
705 706
     NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_EC, SSL_PKEY_ECC,
     NID_ecdsa_with_SHA1, NID_undef},
707
#endif
708
    {"rsa_pss_sha256", TLSEXT_SIGALG_rsa_pss_sha256,
709 710
     NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN,
     NID_undef, NID_undef},
711
    {"rsa_pss_sha384", TLSEXT_SIGALG_rsa_pss_sha384,
712 713
     NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN,
     NID_undef, NID_undef},
714
    {"rsa_pss_sha512", TLSEXT_SIGALG_rsa_pss_sha512,
715 716
     NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_RSA_PSS, SSL_PKEY_RSA_PSS_SIGN,
     NID_undef, NID_undef},
717
    {"rsa_pkcs1_sha256", TLSEXT_SIGALG_rsa_pkcs1_sha256,
718
     NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA,
719
     NID_sha256WithRSAEncryption, NID_undef},
720
    {"rsa_pkcs1_sha384", TLSEXT_SIGALG_rsa_pkcs1_sha384,
721
     NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA,
722
     NID_sha384WithRSAEncryption, NID_undef},
723
    {"rsa_pkcs1_sha512", TLSEXT_SIGALG_rsa_pkcs1_sha512,
724
     NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA,
725
     NID_sha512WithRSAEncryption, NID_undef},
726 727 728
    {"rsa_pkcs1_sha224", TLSEXT_SIGALG_rsa_pkcs1_sha224,
     NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA,
     NID_sha224WithRSAEncryption, NID_undef},
729
    {"rsa_pkcs1_sha1", TLSEXT_SIGALG_rsa_pkcs1_sha1,
730
     NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_RSA, SSL_PKEY_RSA,
731
     NID_sha1WithRSAEncryption, NID_undef},
732
#ifndef OPENSSL_NO_DSA
733
    {NULL, TLSEXT_SIGALG_dsa_sha256,
734 735
     NID_sha256, SSL_MD_SHA256_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN,
     NID_dsa_with_SHA256, NID_undef},
736
    {NULL, TLSEXT_SIGALG_dsa_sha384,
737 738
     NID_sha384, SSL_MD_SHA384_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN,
     NID_undef, NID_undef},
739
    {NULL, TLSEXT_SIGALG_dsa_sha512,
740 741
     NID_sha512, SSL_MD_SHA512_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN,
     NID_undef, NID_undef},
742 743 744
    {NULL, TLSEXT_SIGALG_dsa_sha224,
     NID_sha224, SSL_MD_SHA224_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN,
     NID_undef, NID_undef},
745
    {NULL, TLSEXT_SIGALG_dsa_sha1,
746 747
     NID_sha1, SSL_MD_SHA1_IDX, EVP_PKEY_DSA, SSL_PKEY_DSA_SIGN,
     NID_dsaWithSHA1, NID_undef},
748 749
#endif
#ifndef OPENSSL_NO_GOST
750
    {NULL, TLSEXT_SIGALG_gostr34102012_256_gostr34112012_256,
751 752 753
     NID_id_GostR3411_2012_256, SSL_MD_GOST12_256_IDX,
     NID_id_GostR3410_2012_256, SSL_PKEY_GOST12_256,
     NID_undef, NID_undef},
754
    {NULL, TLSEXT_SIGALG_gostr34102012_512_gostr34112012_512,
755 756 757
     NID_id_GostR3411_2012_512, SSL_MD_GOST12_512_IDX,
     NID_id_GostR3410_2012_512, SSL_PKEY_GOST12_512,
     NID_undef, NID_undef},
758
    {NULL, TLSEXT_SIGALG_gostr34102001_gostr3411,
759 760 761
     NID_id_GostR3411_94, SSL_MD_GOST94_IDX,
     NID_id_GostR3410_2001, SSL_PKEY_GOST01,
     NID_undef, NID_undef}
762
#endif
763
};
764 765 766 767 768 769 770 771 772 773 774 775 776 777
/* Legacy sigalgs for TLS < 1.2 RSA TLS signatures */
static const SIGALG_LOOKUP legacy_rsa_sigalg = {
    "rsa_pkcs1_md5_sha1", 0,
     NID_md5_sha1, SSL_MD_MD5_SHA1_IDX,
     EVP_PKEY_RSA, SSL_PKEY_RSA,
     NID_undef, NID_undef
};

/*
 * Default signature algorithm values used if signature algorithms not present.
 * From RFC5246. Note: order must match certificate index order.
 */
static const uint16_t tls_default_sigalg[] = {
    TLSEXT_SIGALG_rsa_pkcs1_sha1, /* SSL_PKEY_RSA */
778
    0, /* SSL_PKEY_RSA_PSS_SIGN */
779 780 781 782
    TLSEXT_SIGALG_dsa_sha1, /* SSL_PKEY_DSA_SIGN */
    TLSEXT_SIGALG_ecdsa_sha1, /* SSL_PKEY_ECC */
    TLSEXT_SIGALG_gostr34102001_gostr3411, /* SSL_PKEY_GOST01 */
    TLSEXT_SIGALG_gostr34102012_256_gostr34112012_256, /* SSL_PKEY_GOST12_256 */
D
Dr. Stephen Henson 已提交
783 784
    TLSEXT_SIGALG_gostr34102012_512_gostr34112012_512, /* SSL_PKEY_GOST12_512 */
    0 /* SSL_PKEY_ED25519 */
785
};
786

787 788
/* Lookup TLS signature algorithm */
static const SIGALG_LOOKUP *tls1_lookup_sigalg(uint16_t sigalg)
789 790
{
    size_t i;
791
    const SIGALG_LOOKUP *s;
792

793 794 795 796
    for (i = 0, s = sigalg_lookup_tbl; i < OSSL_NELEM(sigalg_lookup_tbl);
         i++, s++) {
        if (s->sigalg == sigalg)
            return s;
797
    }
798 799
    return NULL;
}
800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818
/* Lookup hash: return 0 if invalid or not enabled */
int tls1_lookup_md(const SIGALG_LOOKUP *lu, const EVP_MD **pmd)
{
    const EVP_MD *md;
    if (lu == NULL)
        return 0;
    /* lu->hash == NID_undef means no associated digest */
    if (lu->hash == NID_undef) {
        md = NULL;
    } else {
        md = ssl_md(lu->hash_idx);
        if (md == NULL)
            return 0;
    }
    if (pmd)
        *pmd = md;
    return 1;
}

819 820 821 822 823 824
/*
 * Return a signature algorithm for TLS < 1.2 where the signature type
 * is fixed by the certificate type.
 */
static const SIGALG_LOOKUP *tls1_get_legacy_sigalg(const SSL *s, int idx)
{
825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841
    if (idx == -1) {
        if (s->server) {
            size_t i;

            /* Work out index corresponding to ciphersuite */
            for (i = 0; i < SSL_PKEY_NUM; i++) {
                const SSL_CERT_LOOKUP *clu = ssl_cert_lookup_by_idx(i);

                if (clu->amask & s->s3->tmp.new_cipher->algorithm_auth) {
                    idx = i;
                    break;
                }
            }
        } else {
            idx = s->cert->key - s->cert->pkeys;
        }
    }
842 843 844 845 846
    if (idx < 0 || idx >= (int)OSSL_NELEM(tls_default_sigalg))
        return NULL;
    if (SSL_USE_SIGALGS(s) || idx != SSL_PKEY_RSA) {
        const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(tls_default_sigalg[idx]);

847
        if (!tls1_lookup_md(lu, NULL))
848 849 850 851 852 853 854 855
            return NULL;
        return lu;
    }
    return &legacy_rsa_sigalg;
}
/* Set peer sigalg based key type */
int tls1_set_peer_legacy_sigalg(SSL *s, const EVP_PKEY *pkey)
{
856 857
    size_t idx;
    const SIGALG_LOOKUP *lu;
858

859 860 861
    if (ssl_cert_lookup_by_pkey(pkey, &idx) == NULL)
        return 0;
    lu = tls1_get_legacy_sigalg(s, idx);
862 863 864 865 866
    if (lu == NULL)
        return 0;
    s->s3->tmp.peer_sigalg = lu;
    return 1;
}
867

868
size_t tls12_get_psigalgs(SSL *s, int sent, const uint16_t **psigs)
869 870 871 872 873
{
    /*
     * If Suite B mode use Suite B sigalgs only, ignore any other
     * preferences.
     */
874
#ifndef OPENSSL_NO_EC
875 876 877
    switch (tls1_suiteb(s)) {
    case SSL_CERT_FLAG_SUITEB_128_LOS:
        *psigs = suiteb_sigalgs;
878
        return OSSL_NELEM(suiteb_sigalgs);
879 880 881

    case SSL_CERT_FLAG_SUITEB_128_LOS_ONLY:
        *psigs = suiteb_sigalgs;
882
        return 1;
883 884

    case SSL_CERT_FLAG_SUITEB_192_LOS:
885 886
        *psigs = suiteb_sigalgs + 1;
        return 1;
887
    }
888
#endif
889 890 891 892 893 894
    /*
     *  We use client_sigalgs (if not NULL) if we're a server
     *  and sending a certificate request or if we're a client and
     *  determining which shared algorithm to use.
     */
    if ((s->server == sent) && s->cert->client_sigalgs != NULL) {
895 896 897 898 899 900 901
        *psigs = s->cert->client_sigalgs;
        return s->cert->client_sigalgslen;
    } else if (s->cert->conf_sigalgs) {
        *psigs = s->cert->conf_sigalgs;
        return s->cert->conf_sigalgslen;
    } else {
        *psigs = tls12_sigalgs;
902
        return OSSL_NELEM(tls12_sigalgs);
903 904 905 906 907
    }
}

/*
 * Check signature algorithm is consistent with sent supported signature
D
Dr. Stephen Henson 已提交
908 909
 * algorithms and if so set relevant digest and signature scheme in
 * s.
910
 */
911
int tls12_check_peer_sigalg(SSL *s, uint16_t sig, EVP_PKEY *pkey)
912
{
913
    const uint16_t *sent_sigs;
D
Dr. Stephen Henson 已提交
914
    const EVP_MD *md = NULL;
915
    char sigalgstr[2];
916
    size_t sent_sigslen, i;
917
    int pkeyid = EVP_PKEY_id(pkey);
918
    const SIGALG_LOOKUP *lu;
919

920
    /* Should never happen */
921
    if (pkeyid == -1)
922
        return -1;
923 924 925 926 927 928 929 930 931 932
    if (SSL_IS_TLS13(s)) {
        /* Disallow DSA for TLS 1.3 */
        if (pkeyid == EVP_PKEY_DSA) {
            SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
            return 0;
        }
        /* Only allow PSS for TLS 1.3 */
        if (pkeyid == EVP_PKEY_RSA)
            pkeyid = EVP_PKEY_RSA_PSS;
    }
933 934
    lu = tls1_lookup_sigalg(sig);
    /*
935 936
     * Check sigalgs is known. Disallow SHA1/SHA224 with TLS 1.3. Check key type
     * is consistent with signature: RSA keys can be used for RSA-PSS
937
     */
938 939
    if (lu == NULL
        || (SSL_IS_TLS13(s) && (lu->hash == NID_sha1 || lu->hash == NID_sha224))
940
        || (pkeyid != lu->sig
941
        && (lu->sig != EVP_PKEY_RSA_PSS || pkeyid != EVP_PKEY_RSA))) {
942 943 944
        SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
        return 0;
    }
945
#ifndef OPENSSL_NO_EC
946
    if (pkeyid == EVP_PKEY_EC) {
947
        EC_KEY *ec = EVP_PKEY_get0_EC_KEY(pkey);
D
Dr. Stephen Henson 已提交
948
        int curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec));
D
Dr. Stephen Henson 已提交
949

950
        if (SSL_IS_TLS13(s)) {
951 952 953 954 955
            if (EC_KEY_get_conv_form(ec) != POINT_CONVERSION_UNCOMPRESSED) {
                SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG,
                       SSL_R_ILLEGAL_POINT_COMPRESSION);
                return 0;
            }
956
            /* For TLS 1.3 check curve matches signature algorithm */
957
            if (lu->curve != NID_undef && curve != lu->curve) {
958 959 960 961
                SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_CURVE);
                return 0;
            }
        } else {
D
Dr. Stephen Henson 已提交
962 963
            unsigned char comp_id;
            uint16_t curve_id;
D
Dr. Stephen Henson 已提交
964

965
            /* Check compression and curve matches extensions */
D
Dr. Stephen Henson 已提交
966
            if (!tls1_set_ec_id(&curve_id, &comp_id, ec))
967
                return 0;
968 969 970 971 972
            if (!s->server && !tls1_check_ec_key(s, curve_id, &comp_id)) {
                SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_CURVE);
                return 0;
            }
            if (tls1_suiteb(s)) {
D
Dr. Stephen Henson 已提交
973 974 975 976 977
                /* Check sigalg matches a permissible Suite B value */
                if (sig != TLSEXT_SIGALG_ecdsa_secp256r1_sha256
                    && sig != TLSEXT_SIGALG_ecdsa_secp384r1_sha384) {
                    SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG,
                           SSL_R_WRONG_SIGNATURE_TYPE);
978
                    return 0;
D
Dr. Stephen Henson 已提交
979 980 981 982 983 984 985 986 987 988
                }
                /*
                 * Suite B also requires P-256+SHA256 and P-384+SHA384:
                 * this matches the TLS 1.3 requirements so we can just
                 * check the curve is the expected TLS 1.3 value.
                 * If this fails an inappropriate digest is being used.
                 */
                if (curve != lu->curve) {
                    SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG,
                           SSL_R_ILLEGAL_SUITEB_DIGEST);
989 990
                    return 0;
                }
991
            }
992
        }
993
    } else if (tls1_suiteb(s)) {
994
        return 0;
995
    }
996
#endif
997 998

    /* Check signature matches a type we sent */
999
    sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs);
1000
    for (i = 0; i < sent_sigslen; i++, sent_sigs++) {
1001
        if (sig == *sent_sigs)
1002 1003 1004
            break;
    }
    /* Allow fallback to SHA1 if not strict mode */
1005 1006
    if (i == sent_sigslen && (lu->hash != NID_sha1
        || s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)) {
1007 1008 1009
        SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
        return 0;
    }
1010 1011 1012
    if (!tls1_lookup_md(lu, &md)) {
            SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_UNKNOWN_DIGEST);
            return 0;
1013
    }
1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026
    if (md != NULL) {
        /*
         * Make sure security callback allows algorithm. For historical
         * reasons we have to pass the sigalg as a two byte char array.
         */
        sigalgstr[0] = (sig >> 8) & 0xff;
        sigalgstr[1] = sig & 0xff;
        if (!ssl_security(s, SSL_SECOP_SIGALG_CHECK,
                    EVP_MD_size(md) * 4, EVP_MD_type(md),
                    (void *)sigalgstr)) {
            SSLerr(SSL_F_TLS12_CHECK_PEER_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
            return 0;
        }
1027
    }
1028
    /* Store the sigalg the peer uses */
1029
    s->s3->tmp.peer_sigalg = lu;
1030 1031
    return 1;
}
1032

1033 1034
int SSL_get_peer_signature_type_nid(const SSL *s, int *pnid)
{
1035
    if (s->s3->tmp.peer_sigalg == NULL)
1036
        return 0;
1037
    *pnid = s->s3->tmp.peer_sigalg->sig;
1038 1039 1040
    return 1;
}

1041
/*
1042 1043 1044 1045 1046 1047 1048 1049
 * Set a mask of disabled algorithms: an algorithm is disabled if it isn't
 * supported, doesn't appear in supported signature algorithms, isn't supported
 * by the enabled protocol versions or by the security level.
 *
 * This function should only be used for checking which ciphers are supported
 * by the client.
 *
 * Call ssl_cipher_disabled() to check that it's enabled or not.
1050 1051
 */
void ssl_set_client_disabled(SSL *s)
1052
{
1053 1054 1055
    s->s3->tmp.mask_a = 0;
    s->s3->tmp.mask_k = 0;
    ssl_set_sig_mask(&s->s3->tmp.mask_a, s, SSL_SECOP_SIGALG_MASK);
1056
    ssl_get_min_max_version(s, &s->s3->tmp.min_ver, &s->s3->tmp.max_ver);
E
Emilia Kasper 已提交
1057
#ifndef OPENSSL_NO_PSK
1058 1059
    /* with PSK there must be client callback set */
    if (!s->psk_client_callback) {
1060
        s->s3->tmp.mask_a |= SSL_aPSK;
1061
        s->s3->tmp.mask_k |= SSL_PSK;
1062
    }
E
Emilia Kasper 已提交
1063
#endif                          /* OPENSSL_NO_PSK */
1064
#ifndef OPENSSL_NO_SRP
1065
    if (!(s->srp_ctx.srp_Mask & SSL_kSRP)) {
1066 1067
        s->s3->tmp.mask_a |= SSL_aSRP;
        s->s3->tmp.mask_k |= SSL_kSRP;
1068
    }
1069
#endif
1070
}
1071

1072 1073 1074 1075 1076
/*
 * ssl_cipher_disabled - check that a cipher is disabled or not
 * @s: SSL connection that you want to use the cipher on
 * @c: cipher to check
 * @op: Security check that you want to do
1077
 * @ecdhe: If set to 1 then TLSv1 ECDHE ciphers are also allowed in SSLv3
1078 1079 1080
 *
 * Returns 1 when it's disabled, 0 when enabled.
 */
1081
int ssl_cipher_disabled(SSL *s, const SSL_CIPHER *c, int op, int ecdhe)
1082
{
1083
    if (c->algorithm_mkey & s->s3->tmp.mask_k
1084
        || c->algorithm_auth & s->s3->tmp.mask_a)
1085
        return 1;
1086 1087
    if (s->s3->tmp.max_ver == 0)
        return 1;
1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
    if (!SSL_IS_DTLS(s)) {
        int min_tls = c->min_tls;

        /*
         * For historical reasons we will allow ECHDE to be selected by a server
         * in SSLv3 if we are a client
         */
        if (min_tls == TLS1_VERSION && ecdhe
                && (c->algorithm_mkey & (SSL_kECDHE | SSL_kECDHEPSK)) != 0)
            min_tls = SSL3_VERSION;

        if ((min_tls > s->s3->tmp.max_ver) || (c->max_tls < s->s3->tmp.min_ver))
            return 1;
    }
1102
    if (SSL_IS_DTLS(s) && (DTLS_VERSION_GT(c->min_dtls, s->s3->tmp.max_ver)
E
Emilia Kasper 已提交
1103
                           || DTLS_VERSION_LT(c->max_dtls, s->s3->tmp.min_ver)))
1104 1105
        return 1;

1106 1107
    return !ssl_security(s, op, c->strength_bits, 0, (void *)c);
}
D
Dr. Stephen Henson 已提交
1108

1109
int tls_use_ticket(SSL *s)
1110
{
1111
    if ((s->options & SSL_OP_NO_TICKET))
1112 1113 1114
        return 0;
    return ssl_security(s, SSL_SECOP_TICKET, 0, 0, NULL);
}
1115

1116
int tls1_set_server_sigalgs(SSL *s)
1117 1118 1119
{
    int al;
    size_t i;
F
FdaSilvaYY 已提交
1120 1121

    /* Clear any shared signature algorithms */
R
Rich Salz 已提交
1122 1123 1124
    OPENSSL_free(s->cert->shared_sigalgs);
    s->cert->shared_sigalgs = NULL;
    s->cert->shared_sigalgslen = 0;
1125 1126
    /* Clear certificate validity flags */
    for (i = 0; i < SSL_PKEY_NUM; i++)
1127
        s->s3->tmp.valid_flags[i] = 0;
D
Dr. Stephen Henson 已提交
1128 1129 1130 1131 1132 1133 1134
    /*
     * If peer sent no signature algorithms check to see if we support
     * the default algorithm for each certificate type
     */
    if (s->s3->tmp.peer_sigalgs == NULL) {
        const uint16_t *sent_sigs;
        size_t sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs);
1135

D
Dr. Stephen Henson 已提交
1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149
        for (i = 0; i < SSL_PKEY_NUM; i++) {
            const SIGALG_LOOKUP *lu = tls1_get_legacy_sigalg(s, i);
            size_t j;

            if (lu == NULL)
                continue;
            /* Check default matches a type we sent */
            for (j = 0; j < sent_sigslen; j++) {
                if (lu->sigalg == sent_sigs[j]) {
                        s->s3->tmp.valid_flags[i] = CERT_PKEY_SIGN;
                        break;
                }
            }
        }
1150
        return 1;
D
Dr. Stephen Henson 已提交
1151
    }
1152 1153 1154 1155 1156

    if (!tls1_process_sigalgs(s)) {
        SSLerr(SSL_F_TLS1_SET_SERVER_SIGALGS, ERR_R_MALLOC_FAILURE);
        al = SSL_AD_INTERNAL_ERROR;
        goto err;
1157
    }
1158 1159
    if (s->cert->shared_sigalgs != NULL)
        return 1;
1160
    /* Fatal error if no shared signature algorithms */
1161
    SSLerr(SSL_F_TLS1_SET_SERVER_SIGALGS, SSL_R_NO_SHARED_SIGNATURE_ALGORITHMS);
1162
    al = SSL_AD_HANDSHAKE_FAILURE;
1163 1164 1165 1166
 err:
    ssl3_send_alert(s, SSL3_AL_FATAL, al);
    return 0;
}
1167

1168
/*-
1169
 * Gets the ticket information supplied by the client if any.
1170
 *
1171
 *   hello: The parsed ClientHello data
B
Bodo Möller 已提交
1172 1173 1174 1175 1176
 *   ret: (output) on return, if a ticket was decrypted, then this is set to
 *       point to the resulting session.
 *
 * If s->tls_session_secret_cb is set then we are expecting a pre-shared key
 * ciphersuite, in which case we have no use for session tickets and one will
R
Rich Salz 已提交
1177
 * never be decrypted, nor will s->ext.ticket_expected be set to 1.
B
Bodo Möller 已提交
1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188
 *
 * Returns:
 *   -1: fatal error, either from parsing or decrypting the ticket.
 *    0: no ticket was found (or was ignored, based on settings).
 *    1: a zero length extension was found, indicating that the client supports
 *       session tickets but doesn't currently have one to offer.
 *    2: either s->tls_session_secret_cb was set, or a ticket was offered but
 *       couldn't be decrypted because of a non-fatal error.
 *    3: a ticket was successfully decrypted and *ret was set.
 *
 * Side effects:
R
Rich Salz 已提交
1189
 *   Sets s->ext.ticket_expected to 1 if the server will have to issue
B
Bodo Möller 已提交
1190 1191 1192
 *   a new session ticket to the client because the client indicated support
 *   (and s->tls_session_secret_cb is NULL) but the client either doesn't have
 *   a session ticket or we couldn't use the one it gave us, or if
R
Rich Salz 已提交
1193 1194
 *   s->ctx->ext.ticket_key_cb asked to renew the client's ticket.
 *   Otherwise, s->ext.ticket_expected is set to 0.
1195
 */
1196 1197
TICKET_RETURN tls_get_ticket_from_client(SSL *s, CLIENTHELLO_MSG *hello,
                                         SSL_SESSION **ret)
1198
{
1199 1200 1201
    int retv;
    size_t size;
    RAW_EXTENSION *ticketext;
1202

1203
    *ret = NULL;
R
Rich Salz 已提交
1204
    s->ext.ticket_expected = 0;
1205 1206

    /*
1207 1208
     * If tickets disabled or not supported by the protocol version
     * (e.g. TLSv1.3) behave as if no ticket present to permit stateful
1209 1210
     * resumption.
     */
1211
    if (s->version <= SSL3_VERSION || !tls_use_ticket(s))
1212
        return TICKET_NONE;
M
Matt Caswell 已提交
1213

1214 1215
    ticketext = &hello->pre_proc_exts[TLSEXT_IDX_session_ticket];
    if (!ticketext->present)
1216
        return TICKET_NONE;
1217 1218 1219 1220 1221 1222 1223

    size = PACKET_remaining(&ticketext->data);
    if (size == 0) {
        /*
         * The client will accept a ticket but doesn't currently have
         * one.
         */
R
Rich Salz 已提交
1224
        s->ext.ticket_expected = 1;
1225
        return TICKET_EMPTY;
M
Matt Caswell 已提交
1226
    }
R
Rich Salz 已提交
1227
    if (s->ext.session_secret_cb) {
1228 1229 1230 1231 1232 1233
        /*
         * Indicate that the ticket couldn't be decrypted rather than
         * generating the session from ticket now, trigger
         * abbreviated handshake based on external mechanism to
         * calculate the master secret later.
         */
1234
        return TICKET_NO_DECRYPT;
1235
    }
1236 1237 1238

    retv = tls_decrypt_ticket(s, PACKET_data(&ticketext->data), size,
                              hello->session_id, hello->session_id_len, ret);
1239
    switch (retv) {
M
Matt Caswell 已提交
1240
    case TICKET_NO_DECRYPT:
R
Rich Salz 已提交
1241
        s->ext.ticket_expected = 1;
1242
        return TICKET_NO_DECRYPT;
M
Matt Caswell 已提交
1243

M
Matt Caswell 已提交
1244
    case TICKET_SUCCESS:
1245
        return TICKET_SUCCESS;
M
Matt Caswell 已提交
1246

M
Matt Caswell 已提交
1247
    case TICKET_SUCCESS_RENEW:
R
Rich Salz 已提交
1248
        s->ext.ticket_expected = 1;
1249
        return TICKET_SUCCESS;
1250

M
Matt Caswell 已提交
1251
    default:
1252
        return TICKET_FATAL_ERR_OTHER;
1253
    }
1254 1255
}

1256 1257
/*-
 * tls_decrypt_ticket attempts to decrypt a session ticket.
B
Bodo Möller 已提交
1258 1259
 *
 *   etick: points to the body of the session ticket extension.
F
FdaSilvaYY 已提交
1260
 *   eticklen: the length of the session tickets extension.
B
Bodo Möller 已提交
1261 1262 1263 1264 1265
 *   sess_id: points at the session ID.
 *   sesslen: the length of the session ID.
 *   psess: (output) on return, if a ticket was decrypted, then this is set to
 *       point to the resulting session.
 */
1266 1267 1268
TICKET_RETURN tls_decrypt_ticket(SSL *s, const unsigned char *etick,
                                 size_t eticklen, const unsigned char *sess_id,
                                 size_t sesslen, SSL_SESSION **psess)
1269 1270 1271 1272
{
    SSL_SESSION *sess;
    unsigned char *sdec;
    const unsigned char *p;
1273 1274
    int slen, renew_ticket = 0, declen;
    TICKET_RETURN ret = TICKET_FATAL_ERR_OTHER;
1275
    size_t mlen;
1276
    unsigned char tick_hmac[EVP_MAX_MD_SIZE];
1277
    HMAC_CTX *hctx = NULL;
1278
    EVP_CIPHER_CTX *ctx;
1279
    SSL_CTX *tctx = s->session_ctx;
D
Dr. Stephen Henson 已提交
1280

1281
    /* Initialize session ticket encryption and HMAC contexts */
1282 1283
    hctx = HMAC_CTX_new();
    if (hctx == NULL)
1284
        return TICKET_FATAL_ERR_MALLOC;
1285
    ctx = EVP_CIPHER_CTX_new();
1286
    if (ctx == NULL) {
1287
        ret = TICKET_FATAL_ERR_MALLOC;
1288 1289
        goto err;
    }
R
Rich Salz 已提交
1290
    if (tctx->ext.ticket_key_cb) {
1291
        unsigned char *nctick = (unsigned char *)etick;
R
Rich Salz 已提交
1292
        int rv = tctx->ext.ticket_key_cb(s, nctick, nctick + 16,
1293
                                            ctx, hctx, 0);
1294
        if (rv < 0)
1295 1296
            goto err;
        if (rv == 0) {
1297
            ret = TICKET_NO_DECRYPT;
1298 1299
            goto err;
        }
1300 1301 1302 1303
        if (rv == 2)
            renew_ticket = 1;
    } else {
        /* Check key name matches */
R
Rich Salz 已提交
1304 1305
        if (memcmp(etick, tctx->ext.tick_key_name,
                   sizeof(tctx->ext.tick_key_name)) != 0) {
1306
            ret = TICKET_NO_DECRYPT;
1307 1308
            goto err;
        }
R
Rich Salz 已提交
1309 1310
        if (HMAC_Init_ex(hctx, tctx->ext.tick_hmac_key,
                         sizeof(tctx->ext.tick_hmac_key),
1311
                         EVP_sha256(), NULL) <= 0
E
Emilia Kasper 已提交
1312
            || EVP_DecryptInit_ex(ctx, EVP_aes_256_cbc(), NULL,
R
Rich Salz 已提交
1313
                                  tctx->ext.tick_aes_key,
1314 1315
                                  etick
                                  + sizeof(tctx->ext.tick_key_name)) <= 0) {
1316
            goto err;
E
Emilia Kasper 已提交
1317
        }
1318 1319 1320 1321 1322
    }
    /*
     * Attempt to process session ticket, first conduct sanity and integrity
     * checks on ticket.
     */
1323
    mlen = HMAC_size(hctx);
1324
    if (mlen == 0) {
1325
        goto err;
1326
    }
D
Dr. Stephen Henson 已提交
1327 1328
    /* Sanity check ticket length: must exceed keyname + IV + HMAC */
    if (eticklen <=
1329
        TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx) + mlen) {
1330
        ret = TICKET_NO_DECRYPT;
D
Dr. Stephen Henson 已提交
1331 1332
        goto err;
    }
1333 1334
    eticklen -= mlen;
    /* Check HMAC of encrypted ticket */
1335
    if (HMAC_Update(hctx, etick, eticklen) <= 0
E
Emilia Kasper 已提交
1336
        || HMAC_Final(hctx, tick_hmac, NULL) <= 0) {
1337 1338
        goto err;
    }
1339
    HMAC_CTX_free(hctx);
1340
    if (CRYPTO_memcmp(tick_hmac, etick + eticklen, mlen)) {
1341
        EVP_CIPHER_CTX_free(ctx);
1342
        return TICKET_NO_DECRYPT;
1343 1344 1345
    }
    /* Attempt to decrypt session data */
    /* Move p after IV to start of encrypted ticket, update length */
1346 1347
    p = etick + TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx);
    eticklen -= TLSEXT_KEYNAME_LENGTH + EVP_CIPHER_CTX_iv_length(ctx);
1348
    sdec = OPENSSL_malloc(eticklen);
1349 1350
    if (sdec == NULL || EVP_DecryptUpdate(ctx, sdec, &slen, p,
                                          (int)eticklen) <= 0) {
1351
        EVP_CIPHER_CTX_free(ctx);
1352
        OPENSSL_free(sdec);
1353
        return TICKET_FATAL_ERR_OTHER;
1354
    }
1355
    if (EVP_DecryptFinal(ctx, sdec + slen, &declen) <= 0) {
1356
        EVP_CIPHER_CTX_free(ctx);
1357
        OPENSSL_free(sdec);
1358
        return TICKET_NO_DECRYPT;
1359
    }
1360
    slen += declen;
1361 1362
    EVP_CIPHER_CTX_free(ctx);
    ctx = NULL;
1363 1364 1365
    p = sdec;

    sess = d2i_SSL_SESSION(NULL, &p, slen);
1366
    slen -= p - sdec;
1367 1368
    OPENSSL_free(sdec);
    if (sess) {
1369
        /* Some additional consistency checks */
1370
        if (slen != 0 || sess->session_id_length != 0) {
1371
            SSL_SESSION_free(sess);
B
Bernd Edlinger 已提交
1372
            return TICKET_NO_DECRYPT;
1373
        }
1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384
        /*
         * The session ID, if non-empty, is used by some clients to detect
         * that the ticket has been accepted. So we copy it to the session
         * structure. If it is empty set length to zero as required by
         * standard.
         */
        if (sesslen)
            memcpy(sess->session_id, sess_id, sesslen);
        sess->session_id_length = sesslen;
        *psess = sess;
        if (renew_ticket)
1385
            return TICKET_SUCCESS_RENEW;
1386
        else
1387
            return TICKET_SUCCESS;
1388 1389 1390 1391 1392
    }
    ERR_clear_error();
    /*
     * For session parse failure, indicate that we need to send a new ticket.
     */
1393
    return TICKET_NO_DECRYPT;
E
Emilia Kasper 已提交
1394
 err:
1395
    EVP_CIPHER_CTX_free(ctx);
1396
    HMAC_CTX_free(hctx);
1397
    return ret;
1398
}
1399

D
Dr. Stephen Henson 已提交
1400
/* Check to see if a signature algorithm is allowed */
1401
static int tls12_sigalg_allowed(SSL *s, int op, const SIGALG_LOOKUP *lu)
1402
{
1403
    unsigned char sigalgstr[2];
D
Dr. Stephen Henson 已提交
1404
    int secbits;
1405

D
Dr. Stephen Henson 已提交
1406
    /* See if sigalgs is recognised and if hash is enabled */
1407
    if (!tls1_lookup_md(lu, NULL))
1408
        return 0;
D
Dr. Stephen Henson 已提交
1409 1410 1411
    /* DSA is not allowed in TLS 1.3 */
    if (SSL_IS_TLS13(s) && lu->sig == EVP_PKEY_DSA)
        return 0;
1412 1413 1414 1415 1416 1417
    /* TODO(OpenSSL1.2) fully axe DSA/etc. in ClientHello per TLS 1.3 spec */
    if (!s->server && !SSL_IS_DTLS(s) && s->s3->tmp.min_ver >= TLS1_3_VERSION
        && (lu->sig == EVP_PKEY_DSA || lu->hash_idx == SSL_MD_SHA1_IDX
            || lu->hash_idx == SSL_MD_MD5_IDX
            || lu->hash_idx == SSL_MD_SHA224_IDX))
        return 0;
1418
    /* See if public key algorithm allowed */
D
Dr. Stephen Henson 已提交
1419
    if (ssl_cert_is_disabled(lu->sig_idx))
1420
        return 0;
1421 1422
    if (lu->hash == NID_undef)
        return 1;
D
Dr. Stephen Henson 已提交
1423 1424
    /* Security bits: half digest bits */
    secbits = EVP_MD_size(ssl_md(lu->hash_idx)) * 4;
1425
    /* Finally see if security callback allows it */
1426 1427
    sigalgstr[0] = (lu->sigalg >> 8) & 0xff;
    sigalgstr[1] = lu->sigalg & 0xff;
D
Dr. Stephen Henson 已提交
1428
    return ssl_security(s, op, secbits, lu->hash, (void *)sigalgstr);
1429 1430 1431 1432 1433 1434
}

/*
 * Get a mask of disabled public key algorithms based on supported signature
 * algorithms. For example if no signature algorithm supports RSA then RSA is
 * disabled.
D
Dr. Stephen Henson 已提交
1435 1436
 */

1437
void ssl_set_sig_mask(uint32_t *pmask_a, SSL *s, int op)
1438
{
1439
    const uint16_t *sigalgs;
1440
    size_t i, sigalgslen;
1441
    uint32_t disabled_mask = SSL_aRSA | SSL_aDSS | SSL_aECDSA;
1442
    /*
1443 1444
     * Go through all signature algorithms seeing if we support any
     * in disabled_mask.
1445
     */
1446
    sigalgslen = tls12_get_psigalgs(s, 1, &sigalgs);
1447
    for (i = 0; i < sigalgslen; i ++, sigalgs++) {
1448
        const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*sigalgs);
1449
        const SSL_CERT_LOOKUP *clu;
1450 1451 1452

        if (lu == NULL)
            continue;
1453 1454 1455 1456 1457 1458 1459

        clu = ssl_cert_lookup_by_idx(lu->sig_idx);

        /* If algorithm is disabled see if we can enable it */
        if ((clu->amask & disabled_mask) != 0
                && tls12_sigalg_allowed(s, op, lu))
            disabled_mask &= ~clu->amask;
1460
    }
1461
    *pmask_a |= disabled_mask;
1462
}
D
Dr. Stephen Henson 已提交
1463

M
Matt Caswell 已提交
1464
int tls12_copy_sigalgs(SSL *s, WPACKET *pkt,
1465
                       const uint16_t *psig, size_t psiglen)
1466 1467
{
    size_t i;
1468
    int rv = 0;
1469

1470
    for (i = 0; i < psiglen; i++, psig++) {
1471 1472 1473 1474 1475 1476 1477 1478
        const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*psig);

        if (!tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SUPPORTED, lu))
            continue;
        if (!WPACKET_put_bytes_u16(pkt, *psig))
            return 0;
        /*
         * If TLS 1.3 must have at least one valid TLS 1.3 message
1479
         * signing algorithm: i.e. neither RSA nor SHA1/SHA224
1480 1481
         */
        if (rv == 0 && (!SSL_IS_TLS13(s)
1482 1483 1484
            || (lu->sig != EVP_PKEY_RSA
                && lu->hash != NID_sha1
                && lu->hash != NID_sha224)))
1485
            rv = 1;
1486
    }
1487 1488
    if (rv == 0)
        SSLerr(SSL_F_TLS12_COPY_SIGALGS, SSL_R_NO_SUITABLE_SIGNATURE_ALGORITHM);
1489
    return rv;
1490 1491
}

1492
/* Given preference and allowed sigalgs set shared sigalgs */
1493
static size_t tls12_shared_sigalgs(SSL *s, const SIGALG_LOOKUP **shsig,
1494 1495
                                   const uint16_t *pref, size_t preflen,
                                   const uint16_t *allow, size_t allowlen)
1496
{
1497
    const uint16_t *ptmp, *atmp;
1498
    size_t i, j, nmatch = 0;
1499
    for (i = 0, ptmp = pref; i < preflen; i++, ptmp++) {
1500 1501
        const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*ptmp);

1502
        /* Skip disabled hashes or signature algorithms */
1503
        if (!tls12_sigalg_allowed(s, SSL_SECOP_SIGALG_SHARED, lu))
1504
            continue;
1505 1506
        for (j = 0, atmp = allow; j < allowlen; j++, atmp++) {
            if (*ptmp == *atmp) {
1507
                nmatch++;
1508 1509
                if (shsig)
                    *shsig++ = lu;
1510 1511 1512 1513 1514 1515
                break;
            }
        }
    }
    return nmatch;
}
1516 1517 1518

/* Set shared signature algorithms for SSL structures */
static int tls1_set_shared_sigalgs(SSL *s)
1519
{
1520
    const uint16_t *pref, *allow, *conf;
1521 1522
    size_t preflen, allowlen, conflen;
    size_t nmatch;
1523
    const SIGALG_LOOKUP **salgs = NULL;
1524 1525
    CERT *c = s->cert;
    unsigned int is_suiteb = tls1_suiteb(s);
R
Rich Salz 已提交
1526 1527 1528 1529

    OPENSSL_free(c->shared_sigalgs);
    c->shared_sigalgs = NULL;
    c->shared_sigalgslen = 0;
1530 1531 1532 1533 1534 1535 1536 1537
    /* If client use client signature algorithms if not NULL */
    if (!s->server && c->client_sigalgs && !is_suiteb) {
        conf = c->client_sigalgs;
        conflen = c->client_sigalgslen;
    } else if (c->conf_sigalgs && !is_suiteb) {
        conf = c->conf_sigalgs;
        conflen = c->conf_sigalgslen;
    } else
1538
        conflen = tls12_get_psigalgs(s, 0, &conf);
1539 1540 1541
    if (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE || is_suiteb) {
        pref = conf;
        preflen = conflen;
D
Dr. Stephen Henson 已提交
1542 1543
        allow = s->s3->tmp.peer_sigalgs;
        allowlen = s->s3->tmp.peer_sigalgslen;
1544 1545 1546
    } else {
        allow = conf;
        allowlen = conflen;
D
Dr. Stephen Henson 已提交
1547 1548
        pref = s->s3->tmp.peer_sigalgs;
        preflen = s->s3->tmp.peer_sigalgslen;
1549 1550
    }
    nmatch = tls12_shared_sigalgs(s, NULL, pref, preflen, allow, allowlen);
D
Dr. Stephen Henson 已提交
1551
    if (nmatch) {
1552
        salgs = OPENSSL_malloc(nmatch * sizeof(*salgs));
1553
        if (salgs == NULL)
D
Dr. Stephen Henson 已提交
1554 1555 1556 1557 1558
            return 0;
        nmatch = tls12_shared_sigalgs(s, salgs, pref, preflen, allow, allowlen);
    } else {
        salgs = NULL;
    }
1559 1560 1561 1562
    c->shared_sigalgs = salgs;
    c->shared_sigalgslen = nmatch;
    return 1;
}
1563

D
Dr. Stephen Henson 已提交
1564
int tls1_save_u16(PACKET *pkt, uint16_t **pdest, size_t *pdestlen)
1565
{
1566
    unsigned int stmp;
1567
    size_t size, i;
D
Dr. Stephen Henson 已提交
1568
    uint16_t *buf;
1569

1570 1571 1572
    size = PACKET_remaining(pkt);

    /* Invalid data length */
1573
    if (size == 0 || (size & 1) != 0)
1574 1575 1576 1577
        return 0;

    size >>= 1;

D
Dr. Stephen Henson 已提交
1578 1579
    buf = OPENSSL_malloc(size * sizeof(*buf));
    if (buf == NULL)
1580
        return 0;
1581
    for (i = 0; i < size && PACKET_get_net_2(pkt, &stmp); i++)
D
Dr. Stephen Henson 已提交
1582
        buf[i] = stmp;
1583

D
Dr. Stephen Henson 已提交
1584 1585
    if (i != size) {
        OPENSSL_free(buf);
1586
        return 0;
D
Dr. Stephen Henson 已提交
1587 1588 1589 1590 1591
    }

    OPENSSL_free(*pdest);
    *pdest = buf;
    *pdestlen = size;
1592

1593 1594
    return 1;
}
1595

D
Dr. Stephen Henson 已提交
1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612
int tls1_save_sigalgs(SSL *s, PACKET *pkt)
{
    /* Extension ignored for inappropriate versions */
    if (!SSL_USE_SIGALGS(s))
        return 1;
    /* Should never happen */
    if (s->cert == NULL)
        return 0;

    return tls1_save_u16(pkt, &s->s3->tmp.peer_sigalgs,
                         &s->s3->tmp.peer_sigalgslen);

    return 1;
}

/* Set preferred digest for each key type */

1613
int tls1_process_sigalgs(SSL *s)
1614 1615
{
    size_t i;
1616
    uint32_t *pvalid = s->s3->tmp.valid_flags;
1617
    CERT *c = s->cert;
1618

1619 1620 1621
    if (!tls1_set_shared_sigalgs(s))
        return 0;

1622 1623 1624
    for (i = 0; i < SSL_PKEY_NUM; i++)
        pvalid[i] = 0;

1625 1626
    for (i = 0; i < c->shared_sigalgslen; i++) {
        const SIGALG_LOOKUP *sigptr = c->shared_sigalgs[i];
1627
        int idx = sigptr->sig_idx;
1628

1629
        /* Ignore PKCS1 based sig algs in TLSv1.3 */
1630
        if (SSL_IS_TLS13(s) && sigptr->sig == EVP_PKEY_RSA)
1631
            continue;
1632
        /* If not disabled indicate we can explicitly sign */
D
Dr. Stephen Henson 已提交
1633 1634
        if (pvalid[idx] == 0 && !ssl_cert_is_disabled(idx))
            pvalid[idx] = CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN;
1635 1636 1637
    }
    return 1;
}
D
Dr. Stephen Henson 已提交
1638

1639
int SSL_get_sigalgs(SSL *s, int idx,
1640 1641 1642
                    int *psign, int *phash, int *psignhash,
                    unsigned char *rsig, unsigned char *rhash)
{
1643
    uint16_t *psig = s->s3->tmp.peer_sigalgs;
1644
    size_t numsigalgs = s->s3->tmp.peer_sigalgslen;
1645
    if (psig == NULL || numsigalgs > INT_MAX)
1646 1647
        return 0;
    if (idx >= 0) {
1648 1649
        const SIGALG_LOOKUP *lu;

1650
        if (idx >= (int)numsigalgs)
1651 1652
            return 0;
        psig += idx;
1653
        if (rhash != NULL)
1654
            *rhash = (unsigned char)((*psig >> 8) & 0xff);
1655
        if (rsig != NULL)
1656
            *rsig = (unsigned char)(*psig & 0xff);
1657 1658 1659 1660 1661 1662 1663
        lu = tls1_lookup_sigalg(*psig);
        if (psign != NULL)
            *psign = lu != NULL ? lu->sig : NID_undef;
        if (phash != NULL)
            *phash = lu != NULL ? lu->hash : NID_undef;
        if (psignhash != NULL)
            *psignhash = lu != NULL ? lu->sigandhash : NID_undef;
1664
    }
1665
    return (int)numsigalgs;
1666
}
1667 1668

int SSL_get_shared_sigalgs(SSL *s, int idx,
1669 1670 1671
                           int *psign, int *phash, int *psignhash,
                           unsigned char *rsig, unsigned char *rhash)
{
1672 1673
    const SIGALG_LOOKUP *shsigalgs;
    if (s->cert->shared_sigalgs == NULL
1674
        || idx < 0
1675 1676
        || idx >= (int)s->cert->shared_sigalgslen
        || s->cert->shared_sigalgslen > INT_MAX)
1677
        return 0;
1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688
    shsigalgs = s->cert->shared_sigalgs[idx];
    if (phash != NULL)
        *phash = shsigalgs->hash;
    if (psign != NULL)
        *psign = shsigalgs->sig;
    if (psignhash != NULL)
        *psignhash = shsigalgs->sigandhash;
    if (rsig != NULL)
        *rsig = (unsigned char)(shsigalgs->sigalg & 0xff);
    if (rhash != NULL)
        *rhash = (unsigned char)((shsigalgs->sigalg >> 8) & 0xff);
1689
    return (int)s->cert->shared_sigalgslen;
1690 1691
}

D
Dr. Stephen Henson 已提交
1692 1693
/* Maximum possible number of unique entries in sigalgs array */
#define TLS_MAX_SIGALGCNT (OSSL_NELEM(sigalg_lookup_tbl) * 2)
1694

1695 1696
typedef struct {
    size_t sigalgcnt;
D
Dr. Stephen Henson 已提交
1697
    int sigalgs[TLS_MAX_SIGALGCNT];
1698
} sig_cb_st;
1699

1700 1701 1702 1703
static void get_sigorhash(int *psig, int *phash, const char *str)
{
    if (strcmp(str, "RSA") == 0) {
        *psig = EVP_PKEY_RSA;
D
Dr. Stephen Henson 已提交
1704 1705
    } else if (strcmp(str, "RSA-PSS") == 0 || strcmp(str, "PSS") == 0) {
        *psig = EVP_PKEY_RSA_PSS;
1706 1707 1708 1709 1710 1711 1712 1713 1714 1715
    } else if (strcmp(str, "DSA") == 0) {
        *psig = EVP_PKEY_DSA;
    } else if (strcmp(str, "ECDSA") == 0) {
        *psig = EVP_PKEY_EC;
    } else {
        *phash = OBJ_sn2nid(str);
        if (*phash == NID_undef)
            *phash = OBJ_ln2nid(str);
    }
}
D
Dr. Stephen Henson 已提交
1716 1717
/* Maximum length of a signature algorithm string component */
#define TLS_MAX_SIGSTRING_LEN   40
1718

1719
static int sig_cb(const char *elem, int len, void *arg)
1720 1721 1722
{
    sig_cb_st *sarg = arg;
    size_t i;
D
Dr. Stephen Henson 已提交
1723
    char etmp[TLS_MAX_SIGSTRING_LEN], *p;
1724
    int sig_alg = NID_undef, hash_alg = NID_undef;
1725 1726
    if (elem == NULL)
        return 0;
D
Dr. Stephen Henson 已提交
1727
    if (sarg->sigalgcnt == TLS_MAX_SIGALGCNT)
1728 1729 1730 1731 1732 1733
        return 0;
    if (len > (int)(sizeof(etmp) - 1))
        return 0;
    memcpy(etmp, elem, len);
    etmp[len] = 0;
    p = strchr(etmp, '+');
1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753
    /* See if we have a match for TLS 1.3 names */
    if (p == NULL) {
        const SIGALG_LOOKUP *s;

        for (i = 0, s = sigalg_lookup_tbl; i < OSSL_NELEM(sigalg_lookup_tbl);
             i++, s++) {
            if (s->name != NULL && strcmp(etmp, s->name) == 0) {
                sig_alg = s->sig;
                hash_alg = s->hash;
                break;
            }
        }
    } else {
        *p = 0;
        p++;
        if (*p == 0)
            return 0;
        get_sigorhash(&sig_alg, &hash_alg, etmp);
        get_sigorhash(&sig_alg, &hash_alg, p);
    }
1754

1755
    if (sig_alg == NID_undef || (p != NULL && hash_alg == NID_undef))
1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767
        return 0;

    for (i = 0; i < sarg->sigalgcnt; i += 2) {
        if (sarg->sigalgs[i] == sig_alg && sarg->sigalgs[i + 1] == hash_alg)
            return 0;
    }
    sarg->sigalgs[sarg->sigalgcnt++] = hash_alg;
    sarg->sigalgs[sarg->sigalgcnt++] = sig_alg;
    return 1;
}

/*
F
FdaSilvaYY 已提交
1768
 * Set supported signature algorithms based on a colon separated list of the
1769 1770
 * form sig+hash e.g. RSA+SHA512:DSA+SHA512
 */
1771
int tls1_set_sigalgs_list(CERT *c, const char *str, int client)
1772 1773 1774 1775 1776 1777 1778 1779 1780 1781
{
    sig_cb_st sig;
    sig.sigalgcnt = 0;
    if (!CONF_parse_list(str, ':', 1, sig_cb, &sig))
        return 0;
    if (c == NULL)
        return 1;
    return tls1_set_sigalgs(c, sig.sigalgs, sig.sigalgcnt, client);
}

E
Emilia Kasper 已提交
1782
int tls1_set_sigalgs(CERT *c, const int *psig_nids, size_t salglen, int client)
1783
{
1784
    uint16_t *sigalgs, *sptr;
1785
    size_t i;
M
Matt Caswell 已提交
1786

1787 1788
    if (salglen & 1)
        return 0;
1789
    sigalgs = OPENSSL_malloc((salglen / 2) * sizeof(*sigalgs));
1790 1791 1792
    if (sigalgs == NULL)
        return 0;
    for (i = 0, sptr = sigalgs; i < salglen; i += 2) {
M
Matt Caswell 已提交
1793
        size_t j;
1794
        const SIGALG_LOOKUP *curr;
M
Matt Caswell 已提交
1795 1796 1797 1798 1799
        int md_id = *psig_nids++;
        int sig_id = *psig_nids++;

        for (j = 0, curr = sigalg_lookup_tbl; j < OSSL_NELEM(sigalg_lookup_tbl);
             j++, curr++) {
1800
            if (curr->hash == md_id && curr->sig == sig_id) {
M
Matt Caswell 已提交
1801 1802 1803 1804
                *sptr++ = curr->sigalg;
                break;
            }
        }
1805

M
Matt Caswell 已提交
1806
        if (j == OSSL_NELEM(sigalg_lookup_tbl))
1807 1808 1809 1810
            goto err;
    }

    if (client) {
R
Rich Salz 已提交
1811
        OPENSSL_free(c->client_sigalgs);
1812
        c->client_sigalgs = sigalgs;
1813
        c->client_sigalgslen = salglen / 2;
1814
    } else {
R
Rich Salz 已提交
1815
        OPENSSL_free(c->conf_sigalgs);
1816
        c->conf_sigalgs = sigalgs;
1817
        c->conf_sigalgslen = salglen / 2;
1818 1819 1820 1821 1822 1823 1824 1825
    }

    return 1;

 err:
    OPENSSL_free(sigalgs);
    return 0;
}
1826

1827
static int tls1_check_sig_alg(CERT *c, X509 *x, int default_nid)
1828 1829 1830 1831 1832 1833 1834 1835 1836
{
    int sig_nid;
    size_t i;
    if (default_nid == -1)
        return 1;
    sig_nid = X509_get_signature_nid(x);
    if (default_nid)
        return sig_nid == default_nid ? 1 : 0;
    for (i = 0; i < c->shared_sigalgslen; i++)
1837
        if (sig_nid == c->shared_sigalgs[i]->sigandhash)
1838 1839 1840 1841
            return 1;
    return 0;
}

1842 1843
/* Check to see if a certificate issuer name matches list of CA names */
static int ssl_check_ca_name(STACK_OF(X509_NAME) *names, X509 *x)
1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859
{
    X509_NAME *nm;
    int i;
    nm = X509_get_issuer_name(x);
    for (i = 0; i < sk_X509_NAME_num(names); i++) {
        if (!X509_NAME_cmp(nm, sk_X509_NAME_value(names, i)))
            return 1;
    }
    return 0;
}

/*
 * Check certificate chain is consistent with TLS extensions and is usable by
 * server. This servers two purposes: it allows users to check chains before
 * passing them to the server and it allows the server to check chains before
 * attempting to use them.
1860
 */
1861

F
FdaSilvaYY 已提交
1862
/* Flags which need to be set for a certificate when strict mode not set */
1863

1864
#define CERT_PKEY_VALID_FLAGS \
1865
        (CERT_PKEY_EE_SIGNATURE|CERT_PKEY_EE_PARAM)
1866
/* Strict mode flags */
1867
#define CERT_PKEY_STRICT_FLAGS \
1868 1869
         (CERT_PKEY_VALID_FLAGS|CERT_PKEY_CA_SIGNATURE|CERT_PKEY_CA_PARAM \
         | CERT_PKEY_ISSUER_NAME|CERT_PKEY_CERT_TYPE)
1870

1871
int tls1_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain,
1872 1873 1874 1875 1876 1877 1878
                     int idx)
{
    int i;
    int rv = 0;
    int check_flags = 0, strict_mode;
    CERT_PKEY *cpk = NULL;
    CERT *c = s->cert;
1879
    uint32_t *pvalid;
1880 1881 1882 1883 1884 1885
    unsigned int suiteb_flags = tls1_suiteb(s);
    /* idx == -1 means checking server chains */
    if (idx != -1) {
        /* idx == -2 means checking client certificate chains */
        if (idx == -2) {
            cpk = c->key;
1886
            idx = (int)(cpk - c->pkeys);
1887 1888
        } else
            cpk = c->pkeys + idx;
1889
        pvalid = s->s3->tmp.valid_flags + idx;
1890 1891 1892 1893 1894 1895 1896 1897
        x = cpk->x509;
        pk = cpk->privatekey;
        chain = cpk->chain;
        strict_mode = c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT;
        /* If no cert or key, forget it */
        if (!x || !pk)
            goto end;
    } else {
1898 1899
        size_t certidx;

1900
        if (!x || !pk)
M
Matt Caswell 已提交
1901
            return 0;
1902 1903

        if (ssl_cert_lookup_by_pkey(pk, &certidx) == NULL)
M
Matt Caswell 已提交
1904
            return 0;
1905
        idx = certidx;
1906 1907
        pvalid = s->s3->tmp.valid_flags + idx;

1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931
        if (c->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT)
            check_flags = CERT_PKEY_STRICT_FLAGS;
        else
            check_flags = CERT_PKEY_VALID_FLAGS;
        strict_mode = 1;
    }

    if (suiteb_flags) {
        int ok;
        if (check_flags)
            check_flags |= CERT_PKEY_SUITEB;
        ok = X509_chain_check_suiteb(NULL, x, chain, suiteb_flags);
        if (ok == X509_V_OK)
            rv |= CERT_PKEY_SUITEB;
        else if (!check_flags)
            goto end;
    }

    /*
     * Check all signature algorithms are consistent with signature
     * algorithms extension if TLS 1.2 or later and strict mode.
     */
    if (TLS1_get_version(s) >= TLS1_2_VERSION && strict_mode) {
        int default_nid;
1932
        int rsign = 0;
D
Dr. Stephen Henson 已提交
1933
        if (s->s3->tmp.peer_sigalgs)
1934 1935 1936 1937
            default_nid = 0;
        /* If no sigalgs extension use defaults from RFC5246 */
        else {
            switch (idx) {
1938
            case SSL_PKEY_RSA:
1939
                rsign = EVP_PKEY_RSA;
1940 1941 1942 1943
                default_nid = NID_sha1WithRSAEncryption;
                break;

            case SSL_PKEY_DSA_SIGN:
1944
                rsign = EVP_PKEY_DSA;
1945 1946 1947 1948
                default_nid = NID_dsaWithSHA1;
                break;

            case SSL_PKEY_ECC:
1949
                rsign = EVP_PKEY_EC;
1950 1951 1952
                default_nid = NID_ecdsa_with_SHA1;
                break;

1953
            case SSL_PKEY_GOST01:
1954
                rsign = NID_id_GostR3410_2001;
1955 1956 1957 1958
                default_nid = NID_id_GostR3411_94_with_GostR3410_2001;
                break;

            case SSL_PKEY_GOST12_256:
1959
                rsign = NID_id_GostR3410_2012_256;
1960 1961 1962 1963
                default_nid = NID_id_tc26_signwithdigest_gost3410_2012_256;
                break;

            case SSL_PKEY_GOST12_512:
1964
                rsign = NID_id_GostR3410_2012_512;
1965 1966 1967
                default_nid = NID_id_tc26_signwithdigest_gost3410_2012_512;
                break;

1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978
            default:
                default_nid = -1;
                break;
            }
        }
        /*
         * If peer sent no signature algorithms extension and we have set
         * preferred signature algorithms check we support sha1.
         */
        if (default_nid > 0 && c->conf_sigalgs) {
            size_t j;
1979
            const uint16_t *p = c->conf_sigalgs;
1980
            for (j = 0; j < c->conf_sigalgslen; j++, p++) {
D
Dr. Stephen Henson 已提交
1981 1982 1983
                const SIGALG_LOOKUP *lu = tls1_lookup_sigalg(*p);

                if (lu != NULL && lu->hash == NID_sha1 && lu->sig == rsign)
1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014
                    break;
            }
            if (j == c->conf_sigalgslen) {
                if (check_flags)
                    goto skip_sigs;
                else
                    goto end;
            }
        }
        /* Check signature algorithm of each cert in chain */
        if (!tls1_check_sig_alg(c, x, default_nid)) {
            if (!check_flags)
                goto end;
        } else
            rv |= CERT_PKEY_EE_SIGNATURE;
        rv |= CERT_PKEY_CA_SIGNATURE;
        for (i = 0; i < sk_X509_num(chain); i++) {
            if (!tls1_check_sig_alg(c, sk_X509_value(chain, i), default_nid)) {
                if (check_flags) {
                    rv &= ~CERT_PKEY_CA_SIGNATURE;
                    break;
                } else
                    goto end;
            }
        }
    }
    /* Else not TLS 1.2, so mark EE and CA signing algorithms OK */
    else if (check_flags)
        rv |= CERT_PKEY_EE_SIGNATURE | CERT_PKEY_CA_SIGNATURE;
 skip_sigs:
    /* Check cert parameters are consistent */
2015
    if (tls1_check_cert_param(s, x, 1))
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037
        rv |= CERT_PKEY_EE_PARAM;
    else if (!check_flags)
        goto end;
    if (!s->server)
        rv |= CERT_PKEY_CA_PARAM;
    /* In strict mode check rest of chain too */
    else if (strict_mode) {
        rv |= CERT_PKEY_CA_PARAM;
        for (i = 0; i < sk_X509_num(chain); i++) {
            X509 *ca = sk_X509_value(chain, i);
            if (!tls1_check_cert_param(s, ca, 0)) {
                if (check_flags) {
                    rv &= ~CERT_PKEY_CA_PARAM;
                    break;
                } else
                    goto end;
            }
        }
    }
    if (!s->server && strict_mode) {
        STACK_OF(X509_NAME) *ca_dn;
        int check_type = 0;
D
Dr. Stephen Henson 已提交
2038
        switch (EVP_PKEY_id(pk)) {
2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049
        case EVP_PKEY_RSA:
            check_type = TLS_CT_RSA_SIGN;
            break;
        case EVP_PKEY_DSA:
            check_type = TLS_CT_DSS_SIGN;
            break;
        case EVP_PKEY_EC:
            check_type = TLS_CT_ECDSA_SIGN;
            break;
        }
        if (check_type) {
2050 2051 2052 2053 2054
            const uint8_t *ctypes = s->s3->tmp.ctype;
            size_t j;

            for (j = 0; j < s->s3->tmp.ctype_len; j++, ctypes++) {
                if (*ctypes == check_type) {
2055 2056 2057 2058 2059 2060
                    rv |= CERT_PKEY_CERT_TYPE;
                    break;
                }
            }
            if (!(rv & CERT_PKEY_CERT_TYPE) && !check_flags)
                goto end;
2061
        } else {
2062
            rv |= CERT_PKEY_CERT_TYPE;
2063
        }
2064

2065
        ca_dn = s->s3->tmp.peer_ca_names;
2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092

        if (!sk_X509_NAME_num(ca_dn))
            rv |= CERT_PKEY_ISSUER_NAME;

        if (!(rv & CERT_PKEY_ISSUER_NAME)) {
            if (ssl_check_ca_name(ca_dn, x))
                rv |= CERT_PKEY_ISSUER_NAME;
        }
        if (!(rv & CERT_PKEY_ISSUER_NAME)) {
            for (i = 0; i < sk_X509_num(chain); i++) {
                X509 *xtmp = sk_X509_value(chain, i);
                if (ssl_check_ca_name(ca_dn, xtmp)) {
                    rv |= CERT_PKEY_ISSUER_NAME;
                    break;
                }
            }
        }
        if (!check_flags && !(rv & CERT_PKEY_ISSUER_NAME))
            goto end;
    } else
        rv |= CERT_PKEY_ISSUER_NAME | CERT_PKEY_CERT_TYPE;

    if (!check_flags || (rv & check_flags) == check_flags)
        rv |= CERT_PKEY_VALID;

 end:

D
Dr. Stephen Henson 已提交
2093 2094 2095
    if (TLS1_get_version(s) >= TLS1_2_VERSION)
        rv |= *pvalid & (CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN);
    else
2096 2097 2098 2099 2100 2101 2102
        rv |= CERT_PKEY_SIGN | CERT_PKEY_EXPLICIT_SIGN;

    /*
     * When checking a CERT_PKEY structure all flags are irrelevant if the
     * chain is invalid.
     */
    if (!check_flags) {
D
Dr. Stephen Henson 已提交
2103
        if (rv & CERT_PKEY_VALID) {
2104
            *pvalid = rv;
D
Dr. Stephen Henson 已提交
2105 2106 2107
        } else {
            /* Preserve sign and explicit sign flag, clear rest */
            *pvalid &= CERT_PKEY_EXPLICIT_SIGN | CERT_PKEY_SIGN;
2108 2109 2110 2111 2112
            return 0;
        }
    }
    return rv;
}
2113 2114 2115

/* Set validity of certificates in an SSL structure */
void tls1_set_cert_validity(SSL *s)
2116
{
2117
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA);
2118
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_RSA_PSS_SIGN);
M
Matt Caswell 已提交
2119 2120
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_DSA_SIGN);
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ECC);
2121 2122 2123
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST01);
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_256);
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_GOST12_512);
2124
    tls1_check_chain(s, NULL, NULL, NULL, SSL_PKEY_ED25519);
2125 2126
}

F
FdaSilvaYY 已提交
2127
/* User level utility function to check a chain is suitable */
2128
int SSL_check_chain(SSL *s, X509 *x, EVP_PKEY *pk, STACK_OF(X509) *chain)
2129 2130 2131
{
    return tls1_check_chain(s, x, pk, chain, -1);
}
2132

D
Dr. Stephen Henson 已提交
2133 2134
#ifndef OPENSSL_NO_DH
DH *ssl_get_auto_dh(SSL *s)
2135 2136 2137 2138
{
    int dh_secbits = 80;
    if (s->cert->dh_tmp_auto == 2)
        return DH_get_1024_160();
2139
    if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aPSK)) {
2140 2141 2142 2143 2144
        if (s->s3->tmp.new_cipher->strength_bits == 256)
            dh_secbits = 128;
        else
            dh_secbits = 80;
    } else {
2145
        if (s->s3->tmp.cert == NULL)
D
Dr. Stephen Henson 已提交
2146
            return NULL;
2147
        dh_secbits = EVP_PKEY_security_bits(s->s3->tmp.cert->privatekey);
2148 2149 2150 2151
    }

    if (dh_secbits >= 128) {
        DH *dhp = DH_new();
M
Matt Caswell 已提交
2152
        BIGNUM *p, *g;
2153
        if (dhp == NULL)
2154
            return NULL;
M
Matt Caswell 已提交
2155 2156 2157
        g = BN_new();
        if (g != NULL)
            BN_set_word(g, 2);
2158
        if (dh_secbits >= 192)
R
Rich Salz 已提交
2159
            p = BN_get_rfc3526_prime_8192(NULL);
2160
        else
R
Rich Salz 已提交
2161
            p = BN_get_rfc3526_prime_3072(NULL);
M
Matt Caswell 已提交
2162
        if (p == NULL || g == NULL || !DH_set0_pqg(dhp, p, NULL, g)) {
2163
            DH_free(dhp);
M
Matt Caswell 已提交
2164 2165
            BN_free(p);
            BN_free(g);
2166 2167 2168 2169 2170 2171 2172 2173
            return NULL;
        }
        return dhp;
    }
    if (dh_secbits >= 112)
        return DH_get_2048_224();
    return DH_get_1024_160();
}
D
Dr. Stephen Henson 已提交
2174
#endif
D
Dr. Stephen Henson 已提交
2175 2176

static int ssl_security_cert_key(SSL *s, SSL_CTX *ctx, X509 *x, int op)
2177
{
2178
    int secbits = -1;
2179
    EVP_PKEY *pkey = X509_get0_pubkey(x);
2180
    if (pkey) {
2181 2182 2183 2184 2185 2186
        /*
         * If no parameters this will return -1 and fail using the default
         * security callback for any non-zero security level. This will
         * reject keys which omit parameters but this only affects DSA and
         * omission of parameters is never (?) done in practice.
         */
2187
        secbits = EVP_PKEY_security_bits(pkey);
2188
    }
2189 2190 2191 2192 2193
    if (s)
        return ssl_security(s, op, secbits, 0, x);
    else
        return ssl_ctx_security(ctx, op, secbits, 0, x);
}
D
Dr. Stephen Henson 已提交
2194 2195

static int ssl_security_cert_sig(SSL *s, SSL_CTX *ctx, X509 *x, int op)
2196 2197
{
    /* Lookup signature algorithm digest */
2198
    int secbits, nid, pknid;
2199 2200 2201
    /* Don't check signature if self signed */
    if ((X509_get_extension_flags(x) & EXFLAG_SS) != 0)
        return 1;
2202 2203 2204 2205 2206
    if (!X509_get_signature_info(x, &nid, &pknid, &secbits, NULL))
        secbits = -1;
    /* If digest NID not defined use signature NID */
    if (nid == NID_undef)
        nid = pknid;
2207
    if (s)
2208
        return ssl_security(s, op, secbits, nid, x);
2209
    else
2210
        return ssl_ctx_security(ctx, op, secbits, nid, x);
2211
}
D
Dr. Stephen Henson 已提交
2212 2213

int ssl_security_cert(SSL *s, SSL_CTX *ctx, X509 *x, int vfy, int is_ee)
2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229
{
    if (vfy)
        vfy = SSL_SECOP_PEER;
    if (is_ee) {
        if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_EE_KEY | vfy))
            return SSL_R_EE_KEY_TOO_SMALL;
    } else {
        if (!ssl_security_cert_key(s, ctx, x, SSL_SECOP_CA_KEY | vfy))
            return SSL_R_CA_KEY_TOO_SMALL;
    }
    if (!ssl_security_cert_sig(s, ctx, x, SSL_SECOP_CA_MD | vfy))
        return SSL_R_CA_MD_TOO_WEAK;
    return 1;
}

/*
F
FdaSilvaYY 已提交
2230 2231
 * Check security of a chain, if |sk| includes the end entity certificate then
 * |x| is NULL. If |vfy| is 1 then we are verifying a peer chain and not sending
2232
 * one to the peer. Return values: 1 if ok otherwise error code to use
D
Dr. Stephen Henson 已提交
2233 2234 2235
 */

int ssl_security_cert_chain(SSL *s, STACK_OF(X509) *sk, X509 *x, int vfy)
2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255
{
    int rv, start_idx, i;
    if (x == NULL) {
        x = sk_X509_value(sk, 0);
        start_idx = 1;
    } else
        start_idx = 0;

    rv = ssl_security_cert(s, NULL, x, vfy, 1);
    if (rv != 1)
        return rv;

    for (i = start_idx; i < sk_X509_num(sk); i++) {
        x = sk_X509_value(sk, i);
        rv = ssl_security_cert(s, NULL, x, vfy, 0);
        if (rv != 1)
            return rv;
    }
    return 1;
}
2256

2257 2258
/*
 * For TLS 1.2 servers check if we have a certificate which can be used
2259
 * with the signature algorithm "lu" and return index of certificate.
2260 2261
 */

2262
static int tls12_get_cert_sigalg_idx(const SSL *s, const SIGALG_LOOKUP *lu)
2263
{
2264 2265
    int sig_idx = lu->sig_idx;
    const SSL_CERT_LOOKUP *clu = ssl_cert_lookup_by_idx(sig_idx);
2266 2267 2268

    /* If not recognised or not supported by cipher mask it is not suitable */
    if (clu == NULL || !(clu->amask & s->s3->tmp.new_cipher->algorithm_auth))
2269 2270 2271 2272 2273
        return -1;

    /* If PSS and we have no PSS cert use RSA */
    if (sig_idx == SSL_PKEY_RSA_PSS_SIGN && !ssl_has_cert(s, sig_idx))
        sig_idx = SSL_PKEY_RSA;
2274

2275
    return s->s3->tmp.valid_flags[sig_idx] & CERT_PKEY_VALID ? sig_idx : -1;
2276 2277
}

2278 2279
/*
 * Choose an appropriate signature algorithm based on available certificates
2280 2281 2282 2283 2284 2285 2286 2287
 * Sets chosen certificate and signature algorithm.
 *
 * For servers if we fail to find a required certificate it is a fatal error
 * and an appropriate error code is set and the TLS alert set in *al.
 *
 * For clients al is set to NULL. If a certificate is not suitable it is not
 * a fatal error: we will either try another certificate or not present one
 * to the server. In this case no error is set.
2288
 */
2289
int tls_choose_sigalg(SSL *s, int *al)
2290
{
2291
    const SIGALG_LOOKUP *lu = NULL;
2292
    int sig_idx = -1;
2293

2294 2295 2296
    s->s3->tmp.cert = NULL;
    s->s3->tmp.sigalg = NULL;

2297 2298
    if (SSL_IS_TLS13(s)) {
        size_t i;
R
Richard Levitte 已提交
2299
#ifndef OPENSSL_NO_EC
2300
        int curve = -1, skip_ec = 0;
R
Richard Levitte 已提交
2301
#endif
2302

F
FdaSilvaYY 已提交
2303
        /* Look for a certificate matching shared sigalgs */
2304
        for (i = 0; i < s->cert->shared_sigalgslen; i++) {
2305
            lu = s->cert->shared_sigalgs[i];
2306

2307 2308 2309 2310
            /* Skip SHA1, SHA224, DSA and RSA if not PSS */
            if (lu->hash == NID_sha1
                || lu->hash == NID_sha224
                || lu->sig == EVP_PKEY_DSA
2311
                || lu->sig == EVP_PKEY_RSA)
2312
                continue;
2313
            if (!tls1_lookup_md(lu, NULL))
2314
                continue;
2315 2316 2317
            if (!ssl_has_cert(s, lu->sig_idx)) {
                if (lu->sig_idx != SSL_PKEY_RSA_PSS_SIGN
                        || !ssl_has_cert(s, SSL_PKEY_RSA))
2318
                    continue;
P
Patrick Steuer 已提交
2319
                sig_idx = SSL_PKEY_RSA;
2320
            }
2321
            if (lu->sig == EVP_PKEY_EC) {
R
Richard Levitte 已提交
2322
#ifndef OPENSSL_NO_EC
2323
                if (curve == -1) {
2324
                    EC_KEY *ec = EVP_PKEY_get0_EC_KEY(s->cert->pkeys[SSL_PKEY_ECC].privatekey);
2325 2326

                    curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec));
2327 2328 2329
                    if (EC_KEY_get_conv_form(ec)
                        != POINT_CONVERSION_UNCOMPRESSED)
                        skip_ec = 1;
2330
                }
2331
                if (skip_ec || (lu->curve != NID_undef && curve != lu->curve))
2332
                    continue;
R
Richard Levitte 已提交
2333 2334 2335
#else
                continue;
#endif
2336
            }
2337 2338 2339
            break;
        }
        if (i == s->cert->shared_sigalgslen) {
2340 2341
            if (al == NULL)
                return 1;
2342 2343 2344 2345 2346 2347
            *al = SSL_AD_HANDSHAKE_FAILURE;
            SSLerr(SSL_F_TLS_CHOOSE_SIGALG,
                   SSL_R_NO_SUITABLE_SIGNATURE_ALGORITHM);
            return 0;
        }
    } else {
2348 2349 2350 2351
        /* If ciphersuite doesn't require a cert nothing to do */
        if (!(s->s3->tmp.new_cipher->algorithm_auth & SSL_aCERT))
            return 1;
        if (!s->server && !ssl_has_cert(s, s->cert->key - s->cert->pkeys))
2352
                return 1;
2353 2354 2355 2356

        if (SSL_USE_SIGALGS(s)) {
            if (s->s3->tmp.peer_sigalgs != NULL) {
                size_t i;
2357 2358 2359 2360 2361
#ifndef OPENSSL_NO_EC
                int curve;

                /* For Suite B need to match signature algorithm to curve */
                if (tls1_suiteb(s)) {
2362
                    EC_KEY *ec = EVP_PKEY_get0_EC_KEY(s->cert->pkeys[SSL_PKEY_ECC].privatekey);
2363 2364 2365 2366 2367
                    curve = EC_GROUP_get_curve_name(EC_KEY_get0_group(ec));
                } else {
                    curve = -1;
                }
#endif
2368 2369 2370 2371 2372 2373 2374

                /*
                 * Find highest preference signature algorithm matching
                 * cert type
                 */
                for (i = 0; i < s->cert->shared_sigalgslen; i++) {
                    lu = s->cert->shared_sigalgs[i];
2375 2376

                    if (s->server) {
2377
                        if ((sig_idx = tls12_get_cert_sigalg_idx(s, lu)) == -1)
2378
                            continue;
2379 2380 2381 2382 2383 2384 2385 2386 2387 2388
                    } else {
                        int cc_idx = s->cert->key - s->cert->pkeys;

                        sig_idx = lu->sig_idx;
                        if (cc_idx != sig_idx) {
                            if (sig_idx != SSL_PKEY_RSA_PSS_SIGN
                                || cc_idx != SSL_PKEY_RSA)
                                continue;
                            sig_idx = SSL_PKEY_RSA;
                        }
D
Dr. Stephen Henson 已提交
2389
                    }
2390 2391
#ifndef OPENSSL_NO_EC
                    if (curve == -1 || lu->curve == curve)
2392
#endif
2393 2394 2395
                        break;
                }
                if (i == s->cert->shared_sigalgslen) {
2396 2397
                    if (al == NULL)
                        return 1;
2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408
                    *al = SSL_AD_INTERNAL_ERROR;
                    SSLerr(SSL_F_TLS_CHOOSE_SIGALG, ERR_R_INTERNAL_ERROR);
                    return 0;
                }
            } else {
                /*
                 * If we have no sigalg use defaults
                 */
                const uint16_t *sent_sigs;
                size_t sent_sigslen, i;

2409
                if ((lu = tls1_get_legacy_sigalg(s, -1)) == NULL) {
2410 2411
                    if (al == NULL)
                        return 1;
2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423
                    *al = SSL_AD_INTERNAL_ERROR;
                    SSLerr(SSL_F_TLS_CHOOSE_SIGALG, ERR_R_INTERNAL_ERROR);
                    return 0;
                }

                /* Check signature matches a type we sent */
                sent_sigslen = tls12_get_psigalgs(s, 1, &sent_sigs);
                for (i = 0; i < sent_sigslen; i++, sent_sigs++) {
                    if (lu->sigalg == *sent_sigs)
                        break;
                }
                if (i == sent_sigslen) {
2424 2425
                    if (al == NULL)
                        return 1;
2426
                    SSLerr(SSL_F_TLS_CHOOSE_SIGALG, SSL_R_WRONG_SIGNATURE_TYPE);
2427
                    *al = SSL_AD_ILLEGAL_PARAMETER;
2428 2429 2430 2431
                    return 0;
                }
            }
        } else {
2432
            if ((lu = tls1_get_legacy_sigalg(s, -1)) == NULL) {
2433 2434
                if (al == NULL)
                    return 1;
2435 2436 2437 2438 2439
                *al = SSL_AD_INTERNAL_ERROR;
                SSLerr(SSL_F_TLS_CHOOSE_SIGALG, ERR_R_INTERNAL_ERROR);
                return 0;
            }
        }
2440
    }
2441 2442 2443
    if (sig_idx == -1)
        sig_idx = lu->sig_idx;
    s->s3->tmp.cert = &s->cert->pkeys[sig_idx];
2444
    s->cert->key = s->s3->tmp.cert;
2445
    s->s3->tmp.sigalg = lu;
2446 2447
    return 1;
}