/src/openssl/providers/implementations/exchange/ecdh_exch.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 2020-2024 The OpenSSL Project Authors. All Rights Reserved. |
3 | | * |
4 | | * Licensed under the Apache License 2.0 (the "License"). You may not use |
5 | | * this file except in compliance with the License. You can obtain a copy |
6 | | * in the file LICENSE in the source distribution or at |
7 | | * https://www.openssl.org/source/license.html |
8 | | */ |
9 | | |
10 | | /* |
11 | | * ECDH low level APIs are deprecated for public use, but still ok for |
12 | | * internal use. |
13 | | */ |
14 | | #include "internal/deprecated.h" |
15 | | |
16 | | #include <string.h> |
17 | | #include <openssl/crypto.h> |
18 | | #include <openssl/evp.h> |
19 | | #include <openssl/core_dispatch.h> |
20 | | #include <openssl/core_names.h> |
21 | | #include <openssl/ec.h> |
22 | | #include <openssl/params.h> |
23 | | #include <openssl/err.h> |
24 | | #include <openssl/proverr.h> |
25 | | #include "prov/provider_ctx.h" |
26 | | #include "prov/providercommon.h" |
27 | | #include "prov/implementations.h" |
28 | | #include "prov/securitycheck.h" |
29 | | #include "crypto/ec.h" /* ossl_ecdh_kdf_X9_63() */ |
30 | | |
31 | | static OSSL_FUNC_keyexch_newctx_fn ecdh_newctx; |
32 | | static OSSL_FUNC_keyexch_init_fn ecdh_init; |
33 | | static OSSL_FUNC_keyexch_set_peer_fn ecdh_set_peer; |
34 | | static OSSL_FUNC_keyexch_derive_fn ecdh_derive; |
35 | | static OSSL_FUNC_keyexch_freectx_fn ecdh_freectx; |
36 | | static OSSL_FUNC_keyexch_dupctx_fn ecdh_dupctx; |
37 | | static OSSL_FUNC_keyexch_set_ctx_params_fn ecdh_set_ctx_params; |
38 | | static OSSL_FUNC_keyexch_settable_ctx_params_fn ecdh_settable_ctx_params; |
39 | | static OSSL_FUNC_keyexch_get_ctx_params_fn ecdh_get_ctx_params; |
40 | | static OSSL_FUNC_keyexch_gettable_ctx_params_fn ecdh_gettable_ctx_params; |
41 | | |
42 | | enum kdf_type { |
43 | | PROV_ECDH_KDF_NONE = 0, |
44 | | PROV_ECDH_KDF_X9_63 |
45 | | }; |
46 | | |
47 | | /* |
48 | | * What's passed as an actual key is defined by the KEYMGMT interface. |
49 | | * We happen to know that our KEYMGMT simply passes EC_KEY structures, so |
50 | | * we use that here too. |
51 | | */ |
52 | | |
53 | | typedef struct { |
54 | | OSSL_LIB_CTX *libctx; |
55 | | |
56 | | EC_KEY *k; |
57 | | EC_KEY *peerk; |
58 | | |
59 | | /* |
60 | | * ECDH cofactor mode: |
61 | | * |
62 | | * . 0 disabled |
63 | | * . 1 enabled |
64 | | * . -1 use cofactor mode set for k |
65 | | */ |
66 | | int cofactor_mode; |
67 | | |
68 | | /************ |
69 | | * ECDH KDF * |
70 | | ************/ |
71 | | /* KDF (if any) to use for ECDH */ |
72 | | enum kdf_type kdf_type; |
73 | | /* Message digest to use for key derivation */ |
74 | | EVP_MD *kdf_md; |
75 | | /* User key material */ |
76 | | unsigned char *kdf_ukm; |
77 | | size_t kdf_ukmlen; |
78 | | /* KDF output length */ |
79 | | size_t kdf_outlen; |
80 | | OSSL_FIPS_IND_DECLARE |
81 | | } PROV_ECDH_CTX; |
82 | | |
83 | | static |
84 | | void *ecdh_newctx(void *provctx) |
85 | 0 | { |
86 | 0 | PROV_ECDH_CTX *pectx; |
87 | |
|
88 | 0 | if (!ossl_prov_is_running()) |
89 | 0 | return NULL; |
90 | | |
91 | 0 | pectx = OPENSSL_zalloc(sizeof(*pectx)); |
92 | 0 | if (pectx == NULL) |
93 | 0 | return NULL; |
94 | | |
95 | 0 | pectx->libctx = PROV_LIBCTX_OF(provctx); |
96 | 0 | pectx->cofactor_mode = -1; |
97 | 0 | pectx->kdf_type = PROV_ECDH_KDF_NONE; |
98 | 0 | OSSL_FIPS_IND_INIT(pectx) |
99 | |
|
100 | 0 | return (void *)pectx; |
101 | 0 | } |
102 | | |
103 | | static |
104 | | int ecdh_init(void *vpecdhctx, void *vecdh, const OSSL_PARAM params[]) |
105 | 0 | { |
106 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
107 | |
|
108 | 0 | if (!ossl_prov_is_running() |
109 | 0 | || pecdhctx == NULL |
110 | 0 | || vecdh == NULL |
111 | 0 | || (EC_KEY_get0_group(vecdh) == NULL) |
112 | 0 | || !EC_KEY_up_ref(vecdh)) |
113 | 0 | return 0; |
114 | 0 | EC_KEY_free(pecdhctx->k); |
115 | 0 | pecdhctx->k = vecdh; |
116 | 0 | pecdhctx->cofactor_mode = -1; |
117 | 0 | pecdhctx->kdf_type = PROV_ECDH_KDF_NONE; |
118 | |
|
119 | 0 | OSSL_FIPS_IND_SET_APPROVED(pecdhctx) |
120 | 0 | if (!ecdh_set_ctx_params(pecdhctx, params)) |
121 | 0 | return 0; |
122 | | #ifdef FIPS_MODULE |
123 | | if (!ossl_fips_ind_ec_key_check(OSSL_FIPS_IND_GET(pecdhctx), |
124 | | OSSL_FIPS_IND_SETTABLE0, pecdhctx->libctx, |
125 | | EC_KEY_get0_group(vecdh), "ECDH Init", 1)) |
126 | | return 0; |
127 | | #endif |
128 | 0 | return 1; |
129 | 0 | } |
130 | | |
131 | | static |
132 | | int ecdh_match_params(const EC_KEY *priv, const EC_KEY *peer) |
133 | 0 | { |
134 | 0 | int ret; |
135 | 0 | BN_CTX *ctx = NULL; |
136 | 0 | const EC_GROUP *group_priv = EC_KEY_get0_group(priv); |
137 | 0 | const EC_GROUP *group_peer = EC_KEY_get0_group(peer); |
138 | |
|
139 | 0 | ctx = BN_CTX_new_ex(ossl_ec_key_get_libctx(priv)); |
140 | 0 | if (ctx == NULL) { |
141 | 0 | ERR_raise(ERR_LIB_PROV, ERR_R_BN_LIB); |
142 | 0 | return 0; |
143 | 0 | } |
144 | 0 | ret = group_priv != NULL |
145 | 0 | && group_peer != NULL |
146 | 0 | && EC_GROUP_cmp(group_priv, group_peer, ctx) == 0; |
147 | 0 | if (!ret) |
148 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_MISMATCHING_DOMAIN_PARAMETERS); |
149 | 0 | BN_CTX_free(ctx); |
150 | 0 | return ret; |
151 | 0 | } |
152 | | |
153 | | static |
154 | | int ecdh_set_peer(void *vpecdhctx, void *vecdh) |
155 | 0 | { |
156 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
157 | |
|
158 | 0 | if (!ossl_prov_is_running() |
159 | 0 | || pecdhctx == NULL |
160 | 0 | || vecdh == NULL |
161 | 0 | || !ecdh_match_params(pecdhctx->k, vecdh)) |
162 | 0 | return 0; |
163 | | #ifdef FIPS_MODULE |
164 | | if (!ossl_fips_ind_ec_key_check(OSSL_FIPS_IND_GET(pecdhctx), |
165 | | OSSL_FIPS_IND_SETTABLE0, pecdhctx->libctx, |
166 | | EC_KEY_get0_group(vecdh), "ECDH Set Peer", |
167 | | 1)) |
168 | | return 0; |
169 | | #endif |
170 | 0 | if (!EC_KEY_up_ref(vecdh)) |
171 | 0 | return 0; |
172 | | |
173 | 0 | EC_KEY_free(pecdhctx->peerk); |
174 | 0 | pecdhctx->peerk = vecdh; |
175 | 0 | return 1; |
176 | 0 | } |
177 | | |
178 | | static |
179 | | void ecdh_freectx(void *vpecdhctx) |
180 | 0 | { |
181 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
182 | |
|
183 | 0 | EC_KEY_free(pecdhctx->k); |
184 | 0 | EC_KEY_free(pecdhctx->peerk); |
185 | |
|
186 | 0 | EVP_MD_free(pecdhctx->kdf_md); |
187 | 0 | OPENSSL_clear_free(pecdhctx->kdf_ukm, pecdhctx->kdf_ukmlen); |
188 | |
|
189 | 0 | OPENSSL_free(pecdhctx); |
190 | 0 | } |
191 | | |
192 | | static |
193 | | void *ecdh_dupctx(void *vpecdhctx) |
194 | 0 | { |
195 | 0 | PROV_ECDH_CTX *srcctx = (PROV_ECDH_CTX *)vpecdhctx; |
196 | 0 | PROV_ECDH_CTX *dstctx; |
197 | |
|
198 | 0 | if (!ossl_prov_is_running()) |
199 | 0 | return NULL; |
200 | | |
201 | 0 | dstctx = OPENSSL_zalloc(sizeof(*srcctx)); |
202 | 0 | if (dstctx == NULL) |
203 | 0 | return NULL; |
204 | | |
205 | 0 | *dstctx = *srcctx; |
206 | | |
207 | | /* clear all pointers */ |
208 | |
|
209 | 0 | dstctx->k= NULL; |
210 | 0 | dstctx->peerk = NULL; |
211 | 0 | dstctx->kdf_md = NULL; |
212 | 0 | dstctx->kdf_ukm = NULL; |
213 | | |
214 | | /* up-ref all ref-counted objects referenced in dstctx */ |
215 | |
|
216 | 0 | if (srcctx->k != NULL && !EC_KEY_up_ref(srcctx->k)) |
217 | 0 | goto err; |
218 | 0 | else |
219 | 0 | dstctx->k = srcctx->k; |
220 | | |
221 | 0 | if (srcctx->peerk != NULL && !EC_KEY_up_ref(srcctx->peerk)) |
222 | 0 | goto err; |
223 | 0 | else |
224 | 0 | dstctx->peerk = srcctx->peerk; |
225 | | |
226 | 0 | if (srcctx->kdf_md != NULL && !EVP_MD_up_ref(srcctx->kdf_md)) |
227 | 0 | goto err; |
228 | 0 | else |
229 | 0 | dstctx->kdf_md = srcctx->kdf_md; |
230 | | |
231 | | /* Duplicate UKM data if present */ |
232 | 0 | if (srcctx->kdf_ukm != NULL && srcctx->kdf_ukmlen > 0) { |
233 | 0 | dstctx->kdf_ukm = OPENSSL_memdup(srcctx->kdf_ukm, |
234 | 0 | srcctx->kdf_ukmlen); |
235 | 0 | if (dstctx->kdf_ukm == NULL) |
236 | 0 | goto err; |
237 | 0 | } |
238 | | |
239 | 0 | return dstctx; |
240 | | |
241 | 0 | err: |
242 | 0 | ecdh_freectx(dstctx); |
243 | 0 | return NULL; |
244 | 0 | } |
245 | | |
246 | | static |
247 | | int ecdh_set_ctx_params(void *vpecdhctx, const OSSL_PARAM params[]) |
248 | 0 | { |
249 | 0 | char name[80] = { '\0' }; /* should be big enough */ |
250 | 0 | char *str = NULL; |
251 | 0 | PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx; |
252 | 0 | const OSSL_PARAM *p; |
253 | |
|
254 | 0 | if (pectx == NULL) |
255 | 0 | return 0; |
256 | 0 | if (ossl_param_is_empty(params)) |
257 | 0 | return 1; |
258 | | |
259 | 0 | if (!OSSL_FIPS_IND_SET_CTX_PARAM(pectx, OSSL_FIPS_IND_SETTABLE0, params, |
260 | 0 | OSSL_EXCHANGE_PARAM_FIPS_KEY_CHECK)) |
261 | 0 | return 0; |
262 | 0 | if (!OSSL_FIPS_IND_SET_CTX_PARAM(pectx, OSSL_FIPS_IND_SETTABLE1, params, |
263 | 0 | OSSL_EXCHANGE_PARAM_FIPS_DIGEST_CHECK)) |
264 | 0 | return 0; |
265 | 0 | if (!OSSL_FIPS_IND_SET_CTX_PARAM(pectx, OSSL_FIPS_IND_SETTABLE2, params, |
266 | 0 | OSSL_EXCHANGE_PARAM_FIPS_ECDH_COFACTOR_CHECK)) |
267 | 0 | return 0; |
268 | | |
269 | 0 | p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE); |
270 | 0 | if (p != NULL) { |
271 | 0 | int mode; |
272 | |
|
273 | 0 | if (!OSSL_PARAM_get_int(p, &mode)) |
274 | 0 | return 0; |
275 | | |
276 | 0 | if (mode < -1 || mode > 1) |
277 | 0 | return 0; |
278 | | |
279 | 0 | pectx->cofactor_mode = mode; |
280 | 0 | } |
281 | | |
282 | 0 | p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_TYPE); |
283 | 0 | if (p != NULL) { |
284 | 0 | str = name; |
285 | 0 | if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name))) |
286 | 0 | return 0; |
287 | | |
288 | 0 | if (name[0] == '\0') |
289 | 0 | pectx->kdf_type = PROV_ECDH_KDF_NONE; |
290 | 0 | else if (strcmp(name, OSSL_KDF_NAME_X963KDF) == 0) |
291 | 0 | pectx->kdf_type = PROV_ECDH_KDF_X9_63; |
292 | 0 | else |
293 | 0 | return 0; |
294 | 0 | } |
295 | | |
296 | 0 | p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST); |
297 | 0 | if (p != NULL) { |
298 | 0 | char mdprops[80] = { '\0' }; /* should be big enough */ |
299 | |
|
300 | 0 | str = name; |
301 | 0 | if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name))) |
302 | 0 | return 0; |
303 | | |
304 | 0 | str = mdprops; |
305 | 0 | p = OSSL_PARAM_locate_const(params, |
306 | 0 | OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS); |
307 | |
|
308 | 0 | if (p != NULL) { |
309 | 0 | if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(mdprops))) |
310 | 0 | return 0; |
311 | 0 | } |
312 | | |
313 | 0 | EVP_MD_free(pectx->kdf_md); |
314 | 0 | pectx->kdf_md = EVP_MD_fetch(pectx->libctx, name, mdprops); |
315 | 0 | if (pectx->kdf_md == NULL) |
316 | 0 | return 0; |
317 | | /* XOF digests are not allowed */ |
318 | 0 | if (EVP_MD_xof(pectx->kdf_md)) { |
319 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_XOF_DIGESTS_NOT_ALLOWED); |
320 | 0 | return 0; |
321 | 0 | } |
322 | | #ifdef FIPS_MODULE |
323 | | if (!ossl_fips_ind_digest_exch_check(OSSL_FIPS_IND_GET(pectx), |
324 | | OSSL_FIPS_IND_SETTABLE1, pectx->libctx, |
325 | | pectx->kdf_md, "ECDH Set Ctx")) { |
326 | | EVP_MD_free(pectx->kdf_md); |
327 | | pectx->kdf_md = NULL; |
328 | | return 0; |
329 | | } |
330 | | #endif |
331 | 0 | } |
332 | | |
333 | 0 | p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN); |
334 | 0 | if (p != NULL) { |
335 | 0 | size_t outlen; |
336 | |
|
337 | 0 | if (!OSSL_PARAM_get_size_t(p, &outlen)) |
338 | 0 | return 0; |
339 | 0 | pectx->kdf_outlen = outlen; |
340 | 0 | } |
341 | | |
342 | 0 | p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_UKM); |
343 | 0 | if (p != NULL) { |
344 | 0 | void *tmp_ukm = NULL; |
345 | 0 | size_t tmp_ukmlen; |
346 | |
|
347 | 0 | if (!OSSL_PARAM_get_octet_string(p, &tmp_ukm, 0, &tmp_ukmlen)) |
348 | 0 | return 0; |
349 | 0 | OPENSSL_free(pectx->kdf_ukm); |
350 | 0 | pectx->kdf_ukm = tmp_ukm; |
351 | 0 | pectx->kdf_ukmlen = tmp_ukmlen; |
352 | 0 | } |
353 | | |
354 | 0 | return 1; |
355 | 0 | } |
356 | | |
357 | | static const OSSL_PARAM known_settable_ctx_params[] = { |
358 | | OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL), |
359 | | OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0), |
360 | | OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0), |
361 | | OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS, NULL, 0), |
362 | | OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL), |
363 | | OSSL_PARAM_octet_string(OSSL_EXCHANGE_PARAM_KDF_UKM, NULL, 0), |
364 | | OSSL_FIPS_IND_SETTABLE_CTX_PARAM(OSSL_EXCHANGE_PARAM_FIPS_KEY_CHECK) |
365 | | OSSL_FIPS_IND_SETTABLE_CTX_PARAM(OSSL_EXCHANGE_PARAM_FIPS_DIGEST_CHECK) |
366 | | OSSL_FIPS_IND_SETTABLE_CTX_PARAM(OSSL_EXCHANGE_PARAM_FIPS_ECDH_COFACTOR_CHECK) |
367 | | OSSL_PARAM_END |
368 | | }; |
369 | | |
370 | | static |
371 | | const OSSL_PARAM *ecdh_settable_ctx_params(ossl_unused void *vpecdhctx, |
372 | | ossl_unused void *provctx) |
373 | 0 | { |
374 | 0 | return known_settable_ctx_params; |
375 | 0 | } |
376 | | |
377 | | static |
378 | | int ecdh_get_ctx_params(void *vpecdhctx, OSSL_PARAM params[]) |
379 | 0 | { |
380 | 0 | PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx; |
381 | 0 | OSSL_PARAM *p; |
382 | |
|
383 | 0 | if (pectx == NULL) |
384 | 0 | return 0; |
385 | | |
386 | 0 | p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE); |
387 | 0 | if (p != NULL) { |
388 | 0 | int mode = pectx->cofactor_mode; |
389 | |
|
390 | 0 | if (mode == -1) { |
391 | | /* check what is the default for pecdhctx->k */ |
392 | 0 | mode = EC_KEY_get_flags(pectx->k) & EC_FLAG_COFACTOR_ECDH ? 1 : 0; |
393 | 0 | } |
394 | |
|
395 | 0 | if (!OSSL_PARAM_set_int(p, mode)) |
396 | 0 | return 0; |
397 | 0 | } |
398 | | |
399 | 0 | p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_TYPE); |
400 | 0 | if (p != NULL) { |
401 | 0 | const char *kdf_type = NULL; |
402 | |
|
403 | 0 | switch (pectx->kdf_type) { |
404 | 0 | case PROV_ECDH_KDF_NONE: |
405 | 0 | kdf_type = ""; |
406 | 0 | break; |
407 | 0 | case PROV_ECDH_KDF_X9_63: |
408 | 0 | kdf_type = OSSL_KDF_NAME_X963KDF; |
409 | 0 | break; |
410 | 0 | default: |
411 | 0 | return 0; |
412 | 0 | } |
413 | | |
414 | 0 | if (!OSSL_PARAM_set_utf8_string(p, kdf_type)) |
415 | 0 | return 0; |
416 | 0 | } |
417 | | |
418 | 0 | p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST); |
419 | 0 | if (p != NULL |
420 | 0 | && !OSSL_PARAM_set_utf8_string(p, pectx->kdf_md == NULL |
421 | 0 | ? "" |
422 | 0 | : EVP_MD_get0_name(pectx->kdf_md))) { |
423 | 0 | return 0; |
424 | 0 | } |
425 | | |
426 | 0 | p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN); |
427 | 0 | if (p != NULL && !OSSL_PARAM_set_size_t(p, pectx->kdf_outlen)) |
428 | 0 | return 0; |
429 | | |
430 | 0 | p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_UKM); |
431 | 0 | if (p != NULL && |
432 | 0 | !OSSL_PARAM_set_octet_ptr(p, pectx->kdf_ukm, pectx->kdf_ukmlen)) |
433 | 0 | return 0; |
434 | 0 | if (!OSSL_FIPS_IND_GET_CTX_PARAM(pectx, params)) |
435 | 0 | return 0; |
436 | 0 | return 1; |
437 | 0 | } |
438 | | |
439 | | static const OSSL_PARAM known_gettable_ctx_params[] = { |
440 | | OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL), |
441 | | OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0), |
442 | | OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0), |
443 | | OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL), |
444 | | OSSL_PARAM_DEFN(OSSL_EXCHANGE_PARAM_KDF_UKM, OSSL_PARAM_OCTET_PTR, |
445 | | NULL, 0), |
446 | | OSSL_FIPS_IND_GETTABLE_CTX_PARAM() |
447 | | OSSL_PARAM_END |
448 | | }; |
449 | | |
450 | | static |
451 | | const OSSL_PARAM *ecdh_gettable_ctx_params(ossl_unused void *vpecdhctx, |
452 | | ossl_unused void *provctx) |
453 | 0 | { |
454 | 0 | return known_gettable_ctx_params; |
455 | 0 | } |
456 | | |
457 | | static ossl_inline |
458 | | size_t ecdh_size(const EC_KEY *k) |
459 | 0 | { |
460 | 0 | size_t degree = 0; |
461 | 0 | const EC_GROUP *group; |
462 | |
|
463 | 0 | if (k == NULL |
464 | 0 | || (group = EC_KEY_get0_group(k)) == NULL) |
465 | 0 | return 0; |
466 | | |
467 | 0 | degree = EC_GROUP_get_degree(group); |
468 | |
|
469 | 0 | return (degree + 7) / 8; |
470 | 0 | } |
471 | | |
472 | | static ossl_inline |
473 | | int ecdh_plain_derive(void *vpecdhctx, unsigned char *secret, |
474 | | size_t *psecretlen, size_t outlen) |
475 | 0 | { |
476 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
477 | 0 | int retlen, ret = 0; |
478 | 0 | size_t ecdhsize, size; |
479 | 0 | const EC_POINT *ppubkey = NULL; |
480 | 0 | EC_KEY *privk = NULL; |
481 | 0 | const EC_GROUP *group; |
482 | 0 | const BIGNUM *cofactor; |
483 | 0 | int key_cofactor_mode; |
484 | 0 | int has_cofactor; |
485 | | #ifdef FIPS_MODULE |
486 | | int cofactor_approved = 0; |
487 | | #endif |
488 | |
|
489 | 0 | if (pecdhctx->k == NULL || pecdhctx->peerk == NULL) { |
490 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_KEY); |
491 | 0 | return 0; |
492 | 0 | } |
493 | | |
494 | 0 | ecdhsize = ecdh_size(pecdhctx->k); |
495 | 0 | if (secret == NULL) { |
496 | 0 | *psecretlen = ecdhsize; |
497 | 0 | return 1; |
498 | 0 | } |
499 | | |
500 | 0 | if ((group = EC_KEY_get0_group(pecdhctx->k)) == NULL |
501 | 0 | || (cofactor = EC_GROUP_get0_cofactor(group)) == NULL) |
502 | 0 | return 0; |
503 | | |
504 | 0 | has_cofactor = !BN_is_one(cofactor); |
505 | | |
506 | | /* |
507 | | * NB: unlike PKCS#3 DH, if outlen is less than maximum size this is not |
508 | | * an error, the result is truncated. |
509 | | */ |
510 | 0 | size = outlen < ecdhsize ? outlen : ecdhsize; |
511 | | |
512 | | /* |
513 | | * The ctx->cofactor_mode flag has precedence over the |
514 | | * cofactor_mode flag set on ctx->k. |
515 | | * |
516 | | * - if ctx->cofactor_mode == -1, use ctx->k directly |
517 | | * - if ctx->cofactor_mode == key_cofactor_mode, use ctx->k directly |
518 | | * - if ctx->cofactor_mode != key_cofactor_mode: |
519 | | * - if ctx->k->cofactor == 1, the cofactor_mode flag is irrelevant, use |
520 | | * ctx->k directly |
521 | | * - if ctx->k->cofactor != 1, use a duplicate of ctx->k with the flag |
522 | | * set to ctx->cofactor_mode |
523 | | */ |
524 | 0 | key_cofactor_mode = |
525 | 0 | (EC_KEY_get_flags(pecdhctx->k) & EC_FLAG_COFACTOR_ECDH) ? 1 : 0; |
526 | 0 | if (pecdhctx->cofactor_mode != -1 |
527 | 0 | && pecdhctx->cofactor_mode != key_cofactor_mode |
528 | 0 | && has_cofactor) { |
529 | 0 | if ((privk = EC_KEY_dup(pecdhctx->k)) == NULL) |
530 | 0 | return 0; |
531 | | |
532 | 0 | if (pecdhctx->cofactor_mode == 1) { |
533 | 0 | EC_KEY_set_flags(privk, EC_FLAG_COFACTOR_ECDH); |
534 | | #ifdef FIPS_MODULE |
535 | | cofactor_approved = 1; |
536 | | #endif |
537 | 0 | } else { |
538 | 0 | EC_KEY_clear_flags(privk, EC_FLAG_COFACTOR_ECDH); |
539 | 0 | } |
540 | 0 | } else { |
541 | 0 | privk = pecdhctx->k; |
542 | | #ifdef FIPS_MODULE |
543 | | cofactor_approved = key_cofactor_mode; |
544 | | #endif |
545 | 0 | } |
546 | | |
547 | | #ifdef FIPS_MODULE |
548 | | /* |
549 | | * SP800-56A r3 Section 5.7.1.2 requires ECC Cofactor DH to be used. |
550 | | * This applies to the 'B' and 'K' curves that have cofactors that are not 1. |
551 | | */ |
552 | | if (has_cofactor && !cofactor_approved) { |
553 | | if (!OSSL_FIPS_IND_ON_UNAPPROVED(pecdhctx, OSSL_FIPS_IND_SETTABLE2, |
554 | | pecdhctx->libctx, "ECDH", "Cofactor", |
555 | | ossl_fips_config_ecdh_cofactor_check)) { |
556 | | ERR_raise(ERR_LIB_PROV, PROV_R_COFACTOR_REQUIRED); |
557 | | goto end; |
558 | | } |
559 | | } |
560 | | #endif |
561 | | |
562 | 0 | ppubkey = EC_KEY_get0_public_key(pecdhctx->peerk); |
563 | |
|
564 | 0 | retlen = ECDH_compute_key(secret, size, ppubkey, privk, NULL); |
565 | |
|
566 | 0 | if (retlen <= 0) |
567 | 0 | goto end; |
568 | | |
569 | 0 | *psecretlen = retlen; |
570 | 0 | ret = 1; |
571 | |
|
572 | 0 | end: |
573 | 0 | if (privk != pecdhctx->k) |
574 | 0 | EC_KEY_free(privk); |
575 | 0 | return ret; |
576 | 0 | } |
577 | | |
578 | | static ossl_inline |
579 | | int ecdh_X9_63_kdf_derive(void *vpecdhctx, unsigned char *secret, |
580 | | size_t *psecretlen, size_t outlen) |
581 | 0 | { |
582 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
583 | 0 | unsigned char *stmp = NULL; |
584 | 0 | size_t stmplen; |
585 | 0 | int ret = 0; |
586 | |
|
587 | 0 | if (secret == NULL) { |
588 | 0 | *psecretlen = pecdhctx->kdf_outlen; |
589 | 0 | return 1; |
590 | 0 | } |
591 | | |
592 | 0 | if (pecdhctx->kdf_outlen > outlen) { |
593 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_OUTPUT_BUFFER_TOO_SMALL); |
594 | 0 | return 0; |
595 | 0 | } |
596 | 0 | if (!ecdh_plain_derive(vpecdhctx, NULL, &stmplen, 0)) |
597 | 0 | return 0; |
598 | 0 | if ((stmp = OPENSSL_secure_malloc(stmplen)) == NULL) |
599 | 0 | return 0; |
600 | 0 | if (!ecdh_plain_derive(vpecdhctx, stmp, &stmplen, stmplen)) |
601 | 0 | goto err; |
602 | | |
603 | | /* Do KDF stuff */ |
604 | 0 | if (!ossl_ecdh_kdf_X9_63(secret, pecdhctx->kdf_outlen, |
605 | 0 | stmp, stmplen, |
606 | 0 | pecdhctx->kdf_ukm, |
607 | 0 | pecdhctx->kdf_ukmlen, |
608 | 0 | pecdhctx->kdf_md, |
609 | 0 | pecdhctx->libctx, NULL)) |
610 | 0 | goto err; |
611 | 0 | *psecretlen = pecdhctx->kdf_outlen; |
612 | 0 | ret = 1; |
613 | |
|
614 | 0 | err: |
615 | 0 | OPENSSL_secure_clear_free(stmp, stmplen); |
616 | 0 | return ret; |
617 | 0 | } |
618 | | |
619 | | static |
620 | | int ecdh_derive(void *vpecdhctx, unsigned char *secret, |
621 | | size_t *psecretlen, size_t outlen) |
622 | 0 | { |
623 | 0 | PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx; |
624 | |
|
625 | 0 | switch (pecdhctx->kdf_type) { |
626 | 0 | case PROV_ECDH_KDF_NONE: |
627 | 0 | return ecdh_plain_derive(vpecdhctx, secret, psecretlen, outlen); |
628 | 0 | case PROV_ECDH_KDF_X9_63: |
629 | 0 | return ecdh_X9_63_kdf_derive(vpecdhctx, secret, psecretlen, outlen); |
630 | 0 | default: |
631 | 0 | break; |
632 | 0 | } |
633 | 0 | return 0; |
634 | 0 | } |
635 | | |
636 | | const OSSL_DISPATCH ossl_ecdh_keyexch_functions[] = { |
637 | | { OSSL_FUNC_KEYEXCH_NEWCTX, (void (*)(void))ecdh_newctx }, |
638 | | { OSSL_FUNC_KEYEXCH_INIT, (void (*)(void))ecdh_init }, |
639 | | { OSSL_FUNC_KEYEXCH_DERIVE, (void (*)(void))ecdh_derive }, |
640 | | { OSSL_FUNC_KEYEXCH_SET_PEER, (void (*)(void))ecdh_set_peer }, |
641 | | { OSSL_FUNC_KEYEXCH_FREECTX, (void (*)(void))ecdh_freectx }, |
642 | | { OSSL_FUNC_KEYEXCH_DUPCTX, (void (*)(void))ecdh_dupctx }, |
643 | | { OSSL_FUNC_KEYEXCH_SET_CTX_PARAMS, (void (*)(void))ecdh_set_ctx_params }, |
644 | | { OSSL_FUNC_KEYEXCH_SETTABLE_CTX_PARAMS, |
645 | | (void (*)(void))ecdh_settable_ctx_params }, |
646 | | { OSSL_FUNC_KEYEXCH_GET_CTX_PARAMS, (void (*)(void))ecdh_get_ctx_params }, |
647 | | { OSSL_FUNC_KEYEXCH_GETTABLE_CTX_PARAMS, |
648 | | (void (*)(void))ecdh_gettable_ctx_params }, |
649 | | OSSL_DISPATCH_END |
650 | | }; |