|
Packit |
c4476c |
/*
|
|
Packit |
c4476c |
* Copyright 2016-2018 The OpenSSL Project Authors. All Rights Reserved.
|
|
Packit |
c4476c |
*
|
|
Packit |
c4476c |
* Licensed under the OpenSSL license (the "License"). You may not use
|
|
Packit |
c4476c |
* this file except in compliance with the License. You can obtain a copy
|
|
Packit |
c4476c |
* in the file LICENSE in the source distribution or at
|
|
Packit |
c4476c |
* https://www.openssl.org/source/license.html
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
#include "../ssl_local.h"
|
|
Packit |
c4476c |
#include "record_local.h"
|
|
Packit |
c4476c |
#include "internal/cryptlib.h"
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/*-
|
|
Packit |
c4476c |
* tls13_enc encrypts/decrypts |n_recs| in |recs|. Will call SSLfatal() for
|
|
Packit |
c4476c |
* internal errors, but not otherwise.
|
|
Packit |
c4476c |
*
|
|
Packit |
c4476c |
* Returns:
|
|
Packit |
c4476c |
* 0: (in non-constant time) if the record is publicly invalid (i.e. too
|
|
Packit |
c4476c |
* short etc).
|
|
Packit |
c4476c |
* 1: if the record encryption was successful.
|
|
Packit |
c4476c |
* -1: if the record's AEAD-authenticator is invalid or, if sending,
|
|
Packit |
c4476c |
* an internal error occurred.
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
|
|
Packit |
c4476c |
{
|
|
Packit |
c4476c |
EVP_CIPHER_CTX *ctx;
|
|
Packit |
c4476c |
unsigned char iv[EVP_MAX_IV_LENGTH], recheader[SSL3_RT_HEADER_LENGTH];
|
|
Packit |
c4476c |
size_t ivlen, taglen, offset, loop, hdrlen;
|
|
Packit |
c4476c |
unsigned char *staticiv;
|
|
Packit |
c4476c |
unsigned char *seq;
|
|
Packit |
c4476c |
int lenu, lenf;
|
|
Packit |
c4476c |
SSL3_RECORD *rec = &recs[0];
|
|
Packit |
c4476c |
uint32_t alg_enc;
|
|
Packit |
c4476c |
WPACKET wpkt;
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
if (n_recs != 1) {
|
|
Packit |
c4476c |
/* Should not happen */
|
|
Packit |
c4476c |
/* TODO(TLS1.3): Support pipelining */
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
if (sending) {
|
|
Packit |
c4476c |
ctx = s->enc_write_ctx;
|
|
Packit |
c4476c |
staticiv = s->write_iv;
|
|
Packit |
c4476c |
seq = RECORD_LAYER_get_write_sequence(&s->rlayer);
|
|
Packit |
c4476c |
} else {
|
|
Packit |
c4476c |
ctx = s->enc_read_ctx;
|
|
Packit |
c4476c |
staticiv = s->read_iv;
|
|
Packit |
c4476c |
seq = RECORD_LAYER_get_read_sequence(&s->rlayer);
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/*
|
|
Packit |
c4476c |
* If we're sending an alert and ctx != NULL then we must be forcing
|
|
Packit |
c4476c |
* plaintext alerts. If we're reading and ctx != NULL then we allow
|
|
Packit |
c4476c |
* plaintext alerts at certain points in the handshake. If we've got this
|
|
Packit |
c4476c |
* far then we have already validated that a plaintext alert is ok here.
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
if (ctx == NULL || rec->type == SSL3_RT_ALERT) {
|
|
Packit |
c4476c |
memmove(rec->data, rec->input, rec->length);
|
|
Packit |
c4476c |
rec->input = rec->data;
|
|
Packit |
c4476c |
return 1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
ivlen = EVP_CIPHER_CTX_iv_length(ctx);
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
if (s->early_data_state == SSL_EARLY_DATA_WRITING
|
|
Packit |
c4476c |
|| s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY) {
|
|
Packit |
c4476c |
if (s->session != NULL && s->session->ext.max_early_data > 0) {
|
|
Packit |
c4476c |
alg_enc = s->session->cipher->algorithm_enc;
|
|
Packit |
c4476c |
} else {
|
|
Packit |
c4476c |
if (!ossl_assert(s->psksession != NULL
|
|
Packit |
c4476c |
&& s->psksession->ext.max_early_data > 0)) {
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
alg_enc = s->psksession->cipher->algorithm_enc;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
} else {
|
|
Packit |
c4476c |
/*
|
|
Packit |
c4476c |
* To get here we must have selected a ciphersuite - otherwise ctx would
|
|
Packit |
c4476c |
* be NULL
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
if (!ossl_assert(s->s3->tmp.new_cipher != NULL)) {
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
alg_enc = s->s3->tmp.new_cipher->algorithm_enc;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
if (alg_enc & SSL_AESCCM) {
|
|
Packit |
c4476c |
if (alg_enc & (SSL_AES128CCM8 | SSL_AES256CCM8))
|
|
Packit |
c4476c |
taglen = EVP_CCM8_TLS_TAG_LEN;
|
|
Packit |
c4476c |
else
|
|
Packit |
c4476c |
taglen = EVP_CCM_TLS_TAG_LEN;
|
|
Packit |
c4476c |
if (sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG, taglen,
|
|
Packit |
c4476c |
NULL) <= 0) {
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
} else if (alg_enc & SSL_AESGCM) {
|
|
Packit |
c4476c |
taglen = EVP_GCM_TLS_TAG_LEN;
|
|
Packit |
c4476c |
} else if (alg_enc & SSL_CHACHA20) {
|
|
Packit |
c4476c |
taglen = EVP_CHACHAPOLY_TLS_TAG_LEN;
|
|
Packit |
c4476c |
} else {
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
if (!sending) {
|
|
Packit |
c4476c |
/*
|
|
Packit |
c4476c |
* Take off tag. There must be at least one byte of content type as
|
|
Packit |
c4476c |
* well as the tag
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
if (rec->length < taglen + 1)
|
|
Packit |
c4476c |
return 0;
|
|
Packit |
c4476c |
rec->length -= taglen;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/* Set up IV */
|
|
Packit |
c4476c |
if (ivlen < SEQ_NUM_SIZE) {
|
|
Packit |
c4476c |
/* Should not happen */
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
offset = ivlen - SEQ_NUM_SIZE;
|
|
Packit |
c4476c |
memcpy(iv, staticiv, offset);
|
|
Packit |
c4476c |
for (loop = 0; loop < SEQ_NUM_SIZE; loop++)
|
|
Packit |
c4476c |
iv[offset + loop] = staticiv[offset + loop] ^ seq[loop];
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/* Increment the sequence counter */
|
|
Packit |
c4476c |
for (loop = SEQ_NUM_SIZE; loop > 0; loop--) {
|
|
Packit |
c4476c |
++seq[loop - 1];
|
|
Packit |
c4476c |
if (seq[loop - 1] != 0)
|
|
Packit |
c4476c |
break;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
if (loop == 0) {
|
|
Packit |
c4476c |
/* Sequence has wrapped */
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/* TODO(size_t): lenu/lenf should be a size_t but EVP doesn't support it */
|
|
Packit |
c4476c |
if (EVP_CipherInit_ex(ctx, NULL, NULL, NULL, iv, sending) <= 0
|
|
Packit |
c4476c |
|| (!sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG,
|
|
Packit |
c4476c |
taglen,
|
|
Packit |
c4476c |
rec->data + rec->length) <= 0)) {
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/* Set up the AAD */
|
|
Packit |
c4476c |
if (!WPACKET_init_static_len(&wpkt, recheader, sizeof(recheader), 0)
|
|
Packit |
c4476c |
|| !WPACKET_put_bytes_u8(&wpkt, rec->type)
|
|
Packit |
c4476c |
|| !WPACKET_put_bytes_u16(&wpkt, rec->rec_version)
|
|
Packit |
c4476c |
|| !WPACKET_put_bytes_u16(&wpkt, rec->length + taglen)
|
|
Packit |
c4476c |
|| !WPACKET_get_total_written(&wpkt, &hdrlen)
|
|
Packit |
c4476c |
|| hdrlen != SSL3_RT_HEADER_LENGTH
|
|
Packit |
c4476c |
|| !WPACKET_finish(&wpkt)) {
|
|
Packit |
c4476c |
WPACKET_cleanup(&wpkt);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
/*
|
|
Packit |
c4476c |
* For CCM we must explicitly set the total plaintext length before we add
|
|
Packit |
c4476c |
* any AAD.
|
|
Packit |
c4476c |
*/
|
|
Packit |
c4476c |
if (((alg_enc & SSL_AESCCM) != 0
|
|
Packit |
c4476c |
&& EVP_CipherUpdate(ctx, NULL, &lenu, NULL,
|
|
Packit |
c4476c |
(unsigned int)rec->length) <= 0)
|
|
Packit |
c4476c |
|| EVP_CipherUpdate(ctx, NULL, &lenu, recheader,
|
|
Packit |
c4476c |
sizeof(recheader)) <= 0
|
|
Packit |
c4476c |
|| EVP_CipherUpdate(ctx, rec->data, &lenu, rec->input,
|
|
Packit |
c4476c |
(unsigned int)rec->length) <= 0
|
|
Packit |
c4476c |
|| EVP_CipherFinal_ex(ctx, rec->data + lenu, &lenf) <= 0
|
|
Packit |
c4476c |
|| (size_t)(lenu + lenf) != rec->length) {
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
if (sending) {
|
|
Packit |
c4476c |
/* Add the tag */
|
|
Packit |
c4476c |
if (EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_GET_TAG, taglen,
|
|
Packit |
c4476c |
rec->data + rec->length) <= 0) {
|
|
Packit |
c4476c |
SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
|
|
Packit |
c4476c |
ERR_R_INTERNAL_ERROR);
|
|
Packit |
c4476c |
return -1;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
rec->length += taglen;
|
|
Packit |
c4476c |
}
|
|
Packit |
c4476c |
|
|
Packit |
c4476c |
return 1;
|
|
Packit |
c4476c |
}
|