xref: /aosp_15_r20/external/mbedtls/library/ssl_cookie.c (revision 62c56f9862f102b96d72393aff6076c951fb8148)
1*62c56f98SSadaf Ebrahimi /*
2*62c56f98SSadaf Ebrahimi  *  DTLS cookie callbacks implementation
3*62c56f98SSadaf Ebrahimi  *
4*62c56f98SSadaf Ebrahimi  *  Copyright The Mbed TLS Contributors
5*62c56f98SSadaf Ebrahimi  *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6*62c56f98SSadaf Ebrahimi  */
7*62c56f98SSadaf Ebrahimi /*
8*62c56f98SSadaf Ebrahimi  * These session callbacks use a simple chained list
9*62c56f98SSadaf Ebrahimi  * to store and retrieve the session information.
10*62c56f98SSadaf Ebrahimi  */
11*62c56f98SSadaf Ebrahimi 
12*62c56f98SSadaf Ebrahimi #include "common.h"
13*62c56f98SSadaf Ebrahimi 
14*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SSL_COOKIE_C)
15*62c56f98SSadaf Ebrahimi 
16*62c56f98SSadaf Ebrahimi #include "mbedtls/platform.h"
17*62c56f98SSadaf Ebrahimi 
18*62c56f98SSadaf Ebrahimi #include "mbedtls/ssl_cookie.h"
19*62c56f98SSadaf Ebrahimi #include "ssl_misc.h"
20*62c56f98SSadaf Ebrahimi #include "mbedtls/error.h"
21*62c56f98SSadaf Ebrahimi #include "mbedtls/platform_util.h"
22*62c56f98SSadaf Ebrahimi #include "mbedtls/constant_time.h"
23*62c56f98SSadaf Ebrahimi 
24*62c56f98SSadaf Ebrahimi #include <string.h>
25*62c56f98SSadaf Ebrahimi 
26*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
27*62c56f98SSadaf Ebrahimi #include "md_psa.h"
28*62c56f98SSadaf Ebrahimi /* Define a local translating function to save code size by not using too many
29*62c56f98SSadaf Ebrahimi  * arguments in each translating place. */
local_err_translation(psa_status_t status)30*62c56f98SSadaf Ebrahimi static int local_err_translation(psa_status_t status)
31*62c56f98SSadaf Ebrahimi {
32*62c56f98SSadaf Ebrahimi     return psa_status_to_mbedtls(status, psa_to_ssl_errors,
33*62c56f98SSadaf Ebrahimi                                  ARRAY_LENGTH(psa_to_ssl_errors),
34*62c56f98SSadaf Ebrahimi                                  psa_generic_status_to_mbedtls);
35*62c56f98SSadaf Ebrahimi }
36*62c56f98SSadaf Ebrahimi #define PSA_TO_MBEDTLS_ERR(status) local_err_translation(status)
37*62c56f98SSadaf Ebrahimi #endif
38*62c56f98SSadaf Ebrahimi 
39*62c56f98SSadaf Ebrahimi /*
40*62c56f98SSadaf Ebrahimi  * If DTLS is in use, then at least one of SHA-256 or SHA-384 is
41*62c56f98SSadaf Ebrahimi  * available. Try SHA-256 first as 384 wastes resources
42*62c56f98SSadaf Ebrahimi  */
43*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MD_CAN_SHA256)
44*62c56f98SSadaf Ebrahimi #define COOKIE_MD           MBEDTLS_MD_SHA256
45*62c56f98SSadaf Ebrahimi #define COOKIE_MD_OUTLEN    32
46*62c56f98SSadaf Ebrahimi #define COOKIE_HMAC_LEN     28
47*62c56f98SSadaf Ebrahimi #elif defined(MBEDTLS_MD_CAN_SHA384)
48*62c56f98SSadaf Ebrahimi #define COOKIE_MD           MBEDTLS_MD_SHA384
49*62c56f98SSadaf Ebrahimi #define COOKIE_MD_OUTLEN    48
50*62c56f98SSadaf Ebrahimi #define COOKIE_HMAC_LEN     28
51*62c56f98SSadaf Ebrahimi #else
52*62c56f98SSadaf Ebrahimi #error "DTLS hello verify needs SHA-256 or SHA-384"
53*62c56f98SSadaf Ebrahimi #endif
54*62c56f98SSadaf Ebrahimi 
55*62c56f98SSadaf Ebrahimi /*
56*62c56f98SSadaf Ebrahimi  * Cookies are formed of a 4-bytes timestamp (or serial number) and
57*62c56f98SSadaf Ebrahimi  * an HMAC of timestamp and client ID.
58*62c56f98SSadaf Ebrahimi  */
59*62c56f98SSadaf Ebrahimi #define COOKIE_LEN      (4 + COOKIE_HMAC_LEN)
60*62c56f98SSadaf Ebrahimi 
mbedtls_ssl_cookie_init(mbedtls_ssl_cookie_ctx * ctx)61*62c56f98SSadaf Ebrahimi void mbedtls_ssl_cookie_init(mbedtls_ssl_cookie_ctx *ctx)
62*62c56f98SSadaf Ebrahimi {
63*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
64*62c56f98SSadaf Ebrahimi     ctx->psa_hmac_key = MBEDTLS_SVC_KEY_ID_INIT;
65*62c56f98SSadaf Ebrahimi #else
66*62c56f98SSadaf Ebrahimi     mbedtls_md_init(&ctx->hmac_ctx);
67*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
68*62c56f98SSadaf Ebrahimi #if !defined(MBEDTLS_HAVE_TIME)
69*62c56f98SSadaf Ebrahimi     ctx->serial = 0;
70*62c56f98SSadaf Ebrahimi #endif
71*62c56f98SSadaf Ebrahimi     ctx->timeout = MBEDTLS_SSL_COOKIE_TIMEOUT;
72*62c56f98SSadaf Ebrahimi 
73*62c56f98SSadaf Ebrahimi #if !defined(MBEDTLS_USE_PSA_CRYPTO)
74*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
75*62c56f98SSadaf Ebrahimi     mbedtls_mutex_init(&ctx->mutex);
76*62c56f98SSadaf Ebrahimi #endif
77*62c56f98SSadaf Ebrahimi #endif /* !MBEDTLS_USE_PSA_CRYPTO */
78*62c56f98SSadaf Ebrahimi }
79*62c56f98SSadaf Ebrahimi 
mbedtls_ssl_cookie_set_timeout(mbedtls_ssl_cookie_ctx * ctx,unsigned long delay)80*62c56f98SSadaf Ebrahimi void mbedtls_ssl_cookie_set_timeout(mbedtls_ssl_cookie_ctx *ctx, unsigned long delay)
81*62c56f98SSadaf Ebrahimi {
82*62c56f98SSadaf Ebrahimi     ctx->timeout = delay;
83*62c56f98SSadaf Ebrahimi }
84*62c56f98SSadaf Ebrahimi 
mbedtls_ssl_cookie_free(mbedtls_ssl_cookie_ctx * ctx)85*62c56f98SSadaf Ebrahimi void mbedtls_ssl_cookie_free(mbedtls_ssl_cookie_ctx *ctx)
86*62c56f98SSadaf Ebrahimi {
87*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
88*62c56f98SSadaf Ebrahimi     psa_destroy_key(ctx->psa_hmac_key);
89*62c56f98SSadaf Ebrahimi #else
90*62c56f98SSadaf Ebrahimi     mbedtls_md_free(&ctx->hmac_ctx);
91*62c56f98SSadaf Ebrahimi 
92*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
93*62c56f98SSadaf Ebrahimi     mbedtls_mutex_free(&ctx->mutex);
94*62c56f98SSadaf Ebrahimi #endif
95*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
96*62c56f98SSadaf Ebrahimi 
97*62c56f98SSadaf Ebrahimi     mbedtls_platform_zeroize(ctx, sizeof(mbedtls_ssl_cookie_ctx));
98*62c56f98SSadaf Ebrahimi }
99*62c56f98SSadaf Ebrahimi 
mbedtls_ssl_cookie_setup(mbedtls_ssl_cookie_ctx * ctx,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)100*62c56f98SSadaf Ebrahimi int mbedtls_ssl_cookie_setup(mbedtls_ssl_cookie_ctx *ctx,
101*62c56f98SSadaf Ebrahimi                              int (*f_rng)(void *, unsigned char *, size_t),
102*62c56f98SSadaf Ebrahimi                              void *p_rng)
103*62c56f98SSadaf Ebrahimi {
104*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
105*62c56f98SSadaf Ebrahimi     psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
106*62c56f98SSadaf Ebrahimi     psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
107*62c56f98SSadaf Ebrahimi     psa_algorithm_t alg;
108*62c56f98SSadaf Ebrahimi 
109*62c56f98SSadaf Ebrahimi     (void) f_rng;
110*62c56f98SSadaf Ebrahimi     (void) p_rng;
111*62c56f98SSadaf Ebrahimi 
112*62c56f98SSadaf Ebrahimi     alg = mbedtls_md_psa_alg_from_type(COOKIE_MD);
113*62c56f98SSadaf Ebrahimi     if (alg == 0) {
114*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
115*62c56f98SSadaf Ebrahimi     }
116*62c56f98SSadaf Ebrahimi 
117*62c56f98SSadaf Ebrahimi     ctx->psa_hmac_alg = PSA_ALG_TRUNCATED_MAC(PSA_ALG_HMAC(alg),
118*62c56f98SSadaf Ebrahimi                                               COOKIE_HMAC_LEN);
119*62c56f98SSadaf Ebrahimi 
120*62c56f98SSadaf Ebrahimi     psa_set_key_usage_flags(&attributes, PSA_KEY_USAGE_VERIFY_MESSAGE |
121*62c56f98SSadaf Ebrahimi                             PSA_KEY_USAGE_SIGN_MESSAGE);
122*62c56f98SSadaf Ebrahimi     psa_set_key_algorithm(&attributes, ctx->psa_hmac_alg);
123*62c56f98SSadaf Ebrahimi     psa_set_key_type(&attributes, PSA_KEY_TYPE_HMAC);
124*62c56f98SSadaf Ebrahimi     psa_set_key_bits(&attributes, PSA_BYTES_TO_BITS(COOKIE_MD_OUTLEN));
125*62c56f98SSadaf Ebrahimi 
126*62c56f98SSadaf Ebrahimi     if ((status = psa_generate_key(&attributes,
127*62c56f98SSadaf Ebrahimi                                    &ctx->psa_hmac_key)) != PSA_SUCCESS) {
128*62c56f98SSadaf Ebrahimi         return PSA_TO_MBEDTLS_ERR(status);
129*62c56f98SSadaf Ebrahimi     }
130*62c56f98SSadaf Ebrahimi #else
131*62c56f98SSadaf Ebrahimi     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
132*62c56f98SSadaf Ebrahimi     unsigned char key[COOKIE_MD_OUTLEN];
133*62c56f98SSadaf Ebrahimi 
134*62c56f98SSadaf Ebrahimi     if ((ret = f_rng(p_rng, key, sizeof(key))) != 0) {
135*62c56f98SSadaf Ebrahimi         return ret;
136*62c56f98SSadaf Ebrahimi     }
137*62c56f98SSadaf Ebrahimi 
138*62c56f98SSadaf Ebrahimi     ret = mbedtls_md_setup(&ctx->hmac_ctx, mbedtls_md_info_from_type(COOKIE_MD), 1);
139*62c56f98SSadaf Ebrahimi     if (ret != 0) {
140*62c56f98SSadaf Ebrahimi         return ret;
141*62c56f98SSadaf Ebrahimi     }
142*62c56f98SSadaf Ebrahimi 
143*62c56f98SSadaf Ebrahimi     ret = mbedtls_md_hmac_starts(&ctx->hmac_ctx, key, sizeof(key));
144*62c56f98SSadaf Ebrahimi     if (ret != 0) {
145*62c56f98SSadaf Ebrahimi         return ret;
146*62c56f98SSadaf Ebrahimi     }
147*62c56f98SSadaf Ebrahimi 
148*62c56f98SSadaf Ebrahimi     mbedtls_platform_zeroize(key, sizeof(key));
149*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
150*62c56f98SSadaf Ebrahimi 
151*62c56f98SSadaf Ebrahimi     return 0;
152*62c56f98SSadaf Ebrahimi }
153*62c56f98SSadaf Ebrahimi 
154*62c56f98SSadaf Ebrahimi #if !defined(MBEDTLS_USE_PSA_CRYPTO)
155*62c56f98SSadaf Ebrahimi /*
156*62c56f98SSadaf Ebrahimi  * Generate the HMAC part of a cookie
157*62c56f98SSadaf Ebrahimi  */
158*62c56f98SSadaf Ebrahimi MBEDTLS_CHECK_RETURN_CRITICAL
ssl_cookie_hmac(mbedtls_md_context_t * hmac_ctx,const unsigned char time[4],unsigned char ** p,unsigned char * end,const unsigned char * cli_id,size_t cli_id_len)159*62c56f98SSadaf Ebrahimi static int ssl_cookie_hmac(mbedtls_md_context_t *hmac_ctx,
160*62c56f98SSadaf Ebrahimi                            const unsigned char time[4],
161*62c56f98SSadaf Ebrahimi                            unsigned char **p, unsigned char *end,
162*62c56f98SSadaf Ebrahimi                            const unsigned char *cli_id, size_t cli_id_len)
163*62c56f98SSadaf Ebrahimi {
164*62c56f98SSadaf Ebrahimi     unsigned char hmac_out[COOKIE_MD_OUTLEN];
165*62c56f98SSadaf Ebrahimi 
166*62c56f98SSadaf Ebrahimi     MBEDTLS_SSL_CHK_BUF_PTR(*p, end, COOKIE_HMAC_LEN);
167*62c56f98SSadaf Ebrahimi 
168*62c56f98SSadaf Ebrahimi     if (mbedtls_md_hmac_reset(hmac_ctx) != 0 ||
169*62c56f98SSadaf Ebrahimi         mbedtls_md_hmac_update(hmac_ctx, time, 4) != 0 ||
170*62c56f98SSadaf Ebrahimi         mbedtls_md_hmac_update(hmac_ctx, cli_id, cli_id_len) != 0 ||
171*62c56f98SSadaf Ebrahimi         mbedtls_md_hmac_finish(hmac_ctx, hmac_out) != 0) {
172*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
173*62c56f98SSadaf Ebrahimi     }
174*62c56f98SSadaf Ebrahimi 
175*62c56f98SSadaf Ebrahimi     memcpy(*p, hmac_out, COOKIE_HMAC_LEN);
176*62c56f98SSadaf Ebrahimi     *p += COOKIE_HMAC_LEN;
177*62c56f98SSadaf Ebrahimi 
178*62c56f98SSadaf Ebrahimi     return 0;
179*62c56f98SSadaf Ebrahimi }
180*62c56f98SSadaf Ebrahimi #endif /* !MBEDTLS_USE_PSA_CRYPTO */
181*62c56f98SSadaf Ebrahimi 
182*62c56f98SSadaf Ebrahimi /*
183*62c56f98SSadaf Ebrahimi  * Generate cookie for DTLS ClientHello verification
184*62c56f98SSadaf Ebrahimi  */
mbedtls_ssl_cookie_write(void * p_ctx,unsigned char ** p,unsigned char * end,const unsigned char * cli_id,size_t cli_id_len)185*62c56f98SSadaf Ebrahimi int mbedtls_ssl_cookie_write(void *p_ctx,
186*62c56f98SSadaf Ebrahimi                              unsigned char **p, unsigned char *end,
187*62c56f98SSadaf Ebrahimi                              const unsigned char *cli_id, size_t cli_id_len)
188*62c56f98SSadaf Ebrahimi {
189*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
190*62c56f98SSadaf Ebrahimi     psa_mac_operation_t operation = PSA_MAC_OPERATION_INIT;
191*62c56f98SSadaf Ebrahimi     psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
192*62c56f98SSadaf Ebrahimi     size_t sign_mac_length = 0;
193*62c56f98SSadaf Ebrahimi #endif
194*62c56f98SSadaf Ebrahimi     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
195*62c56f98SSadaf Ebrahimi     mbedtls_ssl_cookie_ctx *ctx = (mbedtls_ssl_cookie_ctx *) p_ctx;
196*62c56f98SSadaf Ebrahimi     unsigned long t;
197*62c56f98SSadaf Ebrahimi 
198*62c56f98SSadaf Ebrahimi     if (ctx == NULL || cli_id == NULL) {
199*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
200*62c56f98SSadaf Ebrahimi     }
201*62c56f98SSadaf Ebrahimi 
202*62c56f98SSadaf Ebrahimi     MBEDTLS_SSL_CHK_BUF_PTR(*p, end, COOKIE_LEN);
203*62c56f98SSadaf Ebrahimi 
204*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_HAVE_TIME)
205*62c56f98SSadaf Ebrahimi     t = (unsigned long) mbedtls_time(NULL);
206*62c56f98SSadaf Ebrahimi #else
207*62c56f98SSadaf Ebrahimi     t = ctx->serial++;
208*62c56f98SSadaf Ebrahimi #endif
209*62c56f98SSadaf Ebrahimi 
210*62c56f98SSadaf Ebrahimi     MBEDTLS_PUT_UINT32_BE(t, *p, 0);
211*62c56f98SSadaf Ebrahimi     *p += 4;
212*62c56f98SSadaf Ebrahimi 
213*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
214*62c56f98SSadaf Ebrahimi     status = psa_mac_sign_setup(&operation, ctx->psa_hmac_key,
215*62c56f98SSadaf Ebrahimi                                 ctx->psa_hmac_alg);
216*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
217*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
218*62c56f98SSadaf Ebrahimi         goto exit;
219*62c56f98SSadaf Ebrahimi     }
220*62c56f98SSadaf Ebrahimi 
221*62c56f98SSadaf Ebrahimi     status = psa_mac_update(&operation, *p - 4, 4);
222*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
223*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
224*62c56f98SSadaf Ebrahimi         goto exit;
225*62c56f98SSadaf Ebrahimi     }
226*62c56f98SSadaf Ebrahimi 
227*62c56f98SSadaf Ebrahimi     status = psa_mac_update(&operation, cli_id, cli_id_len);
228*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
229*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
230*62c56f98SSadaf Ebrahimi         goto exit;
231*62c56f98SSadaf Ebrahimi     }
232*62c56f98SSadaf Ebrahimi 
233*62c56f98SSadaf Ebrahimi     status = psa_mac_sign_finish(&operation, *p, COOKIE_MD_OUTLEN,
234*62c56f98SSadaf Ebrahimi                                  &sign_mac_length);
235*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
236*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
237*62c56f98SSadaf Ebrahimi         goto exit;
238*62c56f98SSadaf Ebrahimi     }
239*62c56f98SSadaf Ebrahimi 
240*62c56f98SSadaf Ebrahimi     *p += COOKIE_HMAC_LEN;
241*62c56f98SSadaf Ebrahimi 
242*62c56f98SSadaf Ebrahimi     ret = 0;
243*62c56f98SSadaf Ebrahimi #else
244*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
245*62c56f98SSadaf Ebrahimi     if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
246*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_SSL_INTERNAL_ERROR, ret);
247*62c56f98SSadaf Ebrahimi     }
248*62c56f98SSadaf Ebrahimi #endif
249*62c56f98SSadaf Ebrahimi 
250*62c56f98SSadaf Ebrahimi     ret = ssl_cookie_hmac(&ctx->hmac_ctx, *p - 4,
251*62c56f98SSadaf Ebrahimi                           p, end, cli_id, cli_id_len);
252*62c56f98SSadaf Ebrahimi 
253*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
254*62c56f98SSadaf Ebrahimi     if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
255*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_SSL_INTERNAL_ERROR,
256*62c56f98SSadaf Ebrahimi                                  MBEDTLS_ERR_THREADING_MUTEX_ERROR);
257*62c56f98SSadaf Ebrahimi     }
258*62c56f98SSadaf Ebrahimi #endif
259*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
260*62c56f98SSadaf Ebrahimi 
261*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
262*62c56f98SSadaf Ebrahimi exit:
263*62c56f98SSadaf Ebrahimi     status = psa_mac_abort(&operation);
264*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
265*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
266*62c56f98SSadaf Ebrahimi     }
267*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
268*62c56f98SSadaf Ebrahimi     return ret;
269*62c56f98SSadaf Ebrahimi }
270*62c56f98SSadaf Ebrahimi 
271*62c56f98SSadaf Ebrahimi /*
272*62c56f98SSadaf Ebrahimi  * Check a cookie
273*62c56f98SSadaf Ebrahimi  */
mbedtls_ssl_cookie_check(void * p_ctx,const unsigned char * cookie,size_t cookie_len,const unsigned char * cli_id,size_t cli_id_len)274*62c56f98SSadaf Ebrahimi int mbedtls_ssl_cookie_check(void *p_ctx,
275*62c56f98SSadaf Ebrahimi                              const unsigned char *cookie, size_t cookie_len,
276*62c56f98SSadaf Ebrahimi                              const unsigned char *cli_id, size_t cli_id_len)
277*62c56f98SSadaf Ebrahimi {
278*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
279*62c56f98SSadaf Ebrahimi     psa_mac_operation_t operation = PSA_MAC_OPERATION_INIT;
280*62c56f98SSadaf Ebrahimi     psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
281*62c56f98SSadaf Ebrahimi #else
282*62c56f98SSadaf Ebrahimi     unsigned char ref_hmac[COOKIE_HMAC_LEN];
283*62c56f98SSadaf Ebrahimi     unsigned char *p = ref_hmac;
284*62c56f98SSadaf Ebrahimi #endif
285*62c56f98SSadaf Ebrahimi     int ret = 0;
286*62c56f98SSadaf Ebrahimi     mbedtls_ssl_cookie_ctx *ctx = (mbedtls_ssl_cookie_ctx *) p_ctx;
287*62c56f98SSadaf Ebrahimi     unsigned long cur_time, cookie_time;
288*62c56f98SSadaf Ebrahimi 
289*62c56f98SSadaf Ebrahimi     if (ctx == NULL || cli_id == NULL) {
290*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
291*62c56f98SSadaf Ebrahimi     }
292*62c56f98SSadaf Ebrahimi 
293*62c56f98SSadaf Ebrahimi     if (cookie_len != COOKIE_LEN) {
294*62c56f98SSadaf Ebrahimi         return -1;
295*62c56f98SSadaf Ebrahimi     }
296*62c56f98SSadaf Ebrahimi 
297*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
298*62c56f98SSadaf Ebrahimi     status = psa_mac_verify_setup(&operation, ctx->psa_hmac_key,
299*62c56f98SSadaf Ebrahimi                                   ctx->psa_hmac_alg);
300*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
301*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
302*62c56f98SSadaf Ebrahimi         goto exit;
303*62c56f98SSadaf Ebrahimi     }
304*62c56f98SSadaf Ebrahimi 
305*62c56f98SSadaf Ebrahimi     status = psa_mac_update(&operation, cookie, 4);
306*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
307*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
308*62c56f98SSadaf Ebrahimi         goto exit;
309*62c56f98SSadaf Ebrahimi     }
310*62c56f98SSadaf Ebrahimi 
311*62c56f98SSadaf Ebrahimi     status = psa_mac_update(&operation, cli_id,
312*62c56f98SSadaf Ebrahimi                             cli_id_len);
313*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
314*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
315*62c56f98SSadaf Ebrahimi         goto exit;
316*62c56f98SSadaf Ebrahimi     }
317*62c56f98SSadaf Ebrahimi 
318*62c56f98SSadaf Ebrahimi     status = psa_mac_verify_finish(&operation, cookie + 4,
319*62c56f98SSadaf Ebrahimi                                    COOKIE_HMAC_LEN);
320*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
321*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
322*62c56f98SSadaf Ebrahimi         goto exit;
323*62c56f98SSadaf Ebrahimi     }
324*62c56f98SSadaf Ebrahimi 
325*62c56f98SSadaf Ebrahimi     ret = 0;
326*62c56f98SSadaf Ebrahimi #else
327*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
328*62c56f98SSadaf Ebrahimi     if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
329*62c56f98SSadaf Ebrahimi         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_SSL_INTERNAL_ERROR, ret);
330*62c56f98SSadaf Ebrahimi     }
331*62c56f98SSadaf Ebrahimi #endif
332*62c56f98SSadaf Ebrahimi 
333*62c56f98SSadaf Ebrahimi     if (ssl_cookie_hmac(&ctx->hmac_ctx, cookie,
334*62c56f98SSadaf Ebrahimi                         &p, p + sizeof(ref_hmac),
335*62c56f98SSadaf Ebrahimi                         cli_id, cli_id_len) != 0) {
336*62c56f98SSadaf Ebrahimi         ret = -1;
337*62c56f98SSadaf Ebrahimi     }
338*62c56f98SSadaf Ebrahimi 
339*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_THREADING_C)
340*62c56f98SSadaf Ebrahimi     if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
341*62c56f98SSadaf Ebrahimi         ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_SSL_INTERNAL_ERROR,
342*62c56f98SSadaf Ebrahimi                                 MBEDTLS_ERR_THREADING_MUTEX_ERROR);
343*62c56f98SSadaf Ebrahimi     }
344*62c56f98SSadaf Ebrahimi #endif
345*62c56f98SSadaf Ebrahimi 
346*62c56f98SSadaf Ebrahimi     if (ret != 0) {
347*62c56f98SSadaf Ebrahimi         goto exit;
348*62c56f98SSadaf Ebrahimi     }
349*62c56f98SSadaf Ebrahimi 
350*62c56f98SSadaf Ebrahimi     if (mbedtls_ct_memcmp(cookie + 4, ref_hmac, sizeof(ref_hmac)) != 0) {
351*62c56f98SSadaf Ebrahimi         ret = -1;
352*62c56f98SSadaf Ebrahimi         goto exit;
353*62c56f98SSadaf Ebrahimi     }
354*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
355*62c56f98SSadaf Ebrahimi 
356*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_HAVE_TIME)
357*62c56f98SSadaf Ebrahimi     cur_time = (unsigned long) mbedtls_time(NULL);
358*62c56f98SSadaf Ebrahimi #else
359*62c56f98SSadaf Ebrahimi     cur_time = ctx->serial;
360*62c56f98SSadaf Ebrahimi #endif
361*62c56f98SSadaf Ebrahimi 
362*62c56f98SSadaf Ebrahimi     cookie_time = (unsigned long) MBEDTLS_GET_UINT32_BE(cookie, 0);
363*62c56f98SSadaf Ebrahimi 
364*62c56f98SSadaf Ebrahimi     if (ctx->timeout != 0 && cur_time - cookie_time > ctx->timeout) {
365*62c56f98SSadaf Ebrahimi         ret = -1;
366*62c56f98SSadaf Ebrahimi         goto exit;
367*62c56f98SSadaf Ebrahimi     }
368*62c56f98SSadaf Ebrahimi 
369*62c56f98SSadaf Ebrahimi exit:
370*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
371*62c56f98SSadaf Ebrahimi     status = psa_mac_abort(&operation);
372*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
373*62c56f98SSadaf Ebrahimi         ret = PSA_TO_MBEDTLS_ERR(status);
374*62c56f98SSadaf Ebrahimi     }
375*62c56f98SSadaf Ebrahimi #else
376*62c56f98SSadaf Ebrahimi     mbedtls_platform_zeroize(ref_hmac, sizeof(ref_hmac));
377*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
378*62c56f98SSadaf Ebrahimi     return ret;
379*62c56f98SSadaf Ebrahimi }
380*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_SSL_COOKIE_C */
381