2 * Copyright 2019-2021 The OpenSSL Project Authors. All Rights Reserved.
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
10 #include <openssl/crypto.h>
11 #include <openssl/evp.h>
12 #include <openssl/err.h>
13 #include "internal/cryptlib.h"
14 #include "internal/refcount.h"
15 #include "internal/provider.h"
16 #include "internal/core.h"
17 #include "internal/numbers.h" /* includes SIZE_MAX */
18 #include "crypto/evp.h"
19 #include "evp_local.h"
21 static EVP_KEYEXCH *evp_keyexch_new(OSSL_PROVIDER *prov)
23 EVP_KEYEXCH *exchange = OPENSSL_zalloc(sizeof(EVP_KEYEXCH));
25 if (exchange == NULL) {
26 ERR_raise(ERR_LIB_EVP, ERR_R_MALLOC_FAILURE);
30 exchange->lock = CRYPTO_THREAD_lock_new();
31 if (exchange->lock == NULL) {
32 ERR_raise(ERR_LIB_EVP, ERR_R_MALLOC_FAILURE);
33 OPENSSL_free(exchange);
36 exchange->prov = prov;
37 ossl_provider_up_ref(prov);
43 static void *evp_keyexch_from_algorithm(int name_id,
44 const OSSL_ALGORITHM *algodef,
47 const OSSL_DISPATCH *fns = algodef->implementation;
48 EVP_KEYEXCH *exchange = NULL;
49 int fncnt = 0, sparamfncnt = 0, gparamfncnt = 0;
51 if ((exchange = evp_keyexch_new(prov)) == NULL) {
52 ERR_raise(ERR_LIB_EVP, ERR_R_MALLOC_FAILURE);
56 exchange->name_id = name_id;
57 if ((exchange->type_name = ossl_algorithm_get1_first_name(algodef)) == NULL)
59 exchange->description = algodef->algorithm_description;
61 for (; fns->function_id != 0; fns++) {
62 switch (fns->function_id) {
63 case OSSL_FUNC_KEYEXCH_NEWCTX:
64 if (exchange->newctx != NULL)
66 exchange->newctx = OSSL_FUNC_keyexch_newctx(fns);
69 case OSSL_FUNC_KEYEXCH_INIT:
70 if (exchange->init != NULL)
72 exchange->init = OSSL_FUNC_keyexch_init(fns);
75 case OSSL_FUNC_KEYEXCH_SET_PEER:
76 if (exchange->set_peer != NULL)
78 exchange->set_peer = OSSL_FUNC_keyexch_set_peer(fns);
80 case OSSL_FUNC_KEYEXCH_DERIVE:
81 if (exchange->derive != NULL)
83 exchange->derive = OSSL_FUNC_keyexch_derive(fns);
86 case OSSL_FUNC_KEYEXCH_FREECTX:
87 if (exchange->freectx != NULL)
89 exchange->freectx = OSSL_FUNC_keyexch_freectx(fns);
92 case OSSL_FUNC_KEYEXCH_DUPCTX:
93 if (exchange->dupctx != NULL)
95 exchange->dupctx = OSSL_FUNC_keyexch_dupctx(fns);
97 case OSSL_FUNC_KEYEXCH_GET_CTX_PARAMS:
98 if (exchange->get_ctx_params != NULL)
100 exchange->get_ctx_params = OSSL_FUNC_keyexch_get_ctx_params(fns);
103 case OSSL_FUNC_KEYEXCH_GETTABLE_CTX_PARAMS:
104 if (exchange->gettable_ctx_params != NULL)
106 exchange->gettable_ctx_params
107 = OSSL_FUNC_keyexch_gettable_ctx_params(fns);
110 case OSSL_FUNC_KEYEXCH_SET_CTX_PARAMS:
111 if (exchange->set_ctx_params != NULL)
113 exchange->set_ctx_params = OSSL_FUNC_keyexch_set_ctx_params(fns);
116 case OSSL_FUNC_KEYEXCH_SETTABLE_CTX_PARAMS:
117 if (exchange->settable_ctx_params != NULL)
119 exchange->settable_ctx_params
120 = OSSL_FUNC_keyexch_settable_ctx_params(fns);
126 || (gparamfncnt != 0 && gparamfncnt != 2)
127 || (sparamfncnt != 0 && sparamfncnt != 2)) {
129 * In order to be a consistent set of functions we must have at least
130 * a complete set of "exchange" functions: init, derive, newctx,
131 * and freectx. The set_ctx_params and settable_ctx_params functions are
132 * optional, but if one of them is present then the other one must also
133 * be present. Same goes for get_ctx_params and gettable_ctx_params.
134 * The dupctx and set_peer functions are optional.
136 ERR_raise(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS);
143 EVP_KEYEXCH_free(exchange);
147 void EVP_KEYEXCH_free(EVP_KEYEXCH *exchange)
151 if (exchange == NULL)
153 CRYPTO_DOWN_REF(&exchange->refcnt, &i, exchange->lock);
156 OPENSSL_free(exchange->type_name);
157 ossl_provider_free(exchange->prov);
158 CRYPTO_THREAD_lock_free(exchange->lock);
159 OPENSSL_free(exchange);
162 int EVP_KEYEXCH_up_ref(EVP_KEYEXCH *exchange)
166 CRYPTO_UP_REF(&exchange->refcnt, &ref, exchange->lock);
170 OSSL_PROVIDER *EVP_KEYEXCH_get0_provider(const EVP_KEYEXCH *exchange)
172 return exchange->prov;
175 EVP_KEYEXCH *EVP_KEYEXCH_fetch(OSSL_LIB_CTX *ctx, const char *algorithm,
176 const char *properties)
178 return evp_generic_fetch(ctx, OSSL_OP_KEYEXCH, algorithm, properties,
179 evp_keyexch_from_algorithm,
180 (int (*)(void *))EVP_KEYEXCH_up_ref,
181 (void (*)(void *))EVP_KEYEXCH_free);
184 int EVP_PKEY_derive_init(EVP_PKEY_CTX *ctx)
186 return EVP_PKEY_derive_init_ex(ctx, NULL);
189 int EVP_PKEY_derive_init_ex(EVP_PKEY_CTX *ctx, const OSSL_PARAM params[])
192 void *provkey = NULL;
193 EVP_KEYEXCH *exchange = NULL;
194 EVP_KEYMGMT *tmp_keymgmt = NULL;
195 const char *supported_exch = NULL;
198 ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
202 evp_pkey_ctx_free_old_ops(ctx);
203 ctx->operation = EVP_PKEY_OP_DERIVE;
207 if (evp_pkey_ctx_is_legacy(ctx))
211 * Some algorithms (e.g. legacy KDFs) don't have a pkey - so we create
214 if (ctx->pkey == NULL) {
215 EVP_PKEY *pkey = EVP_PKEY_new();
218 || !EVP_PKEY_set_type_by_keymgmt(pkey, ctx->keymgmt)
219 || (pkey->keydata = evp_keymgmt_newdata(ctx->keymgmt)) == NULL) {
220 ERR_clear_last_mark();
222 ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
229 * Try to derive the supported exch from |ctx->keymgmt|.
231 if (!ossl_assert(ctx->pkey->keymgmt == NULL
232 || ctx->pkey->keymgmt == ctx->keymgmt)) {
233 ERR_clear_last_mark();
234 ERR_raise(ERR_LIB_EVP, ERR_R_INTERNAL_ERROR);
237 supported_exch = evp_keymgmt_util_query_operation_name(ctx->keymgmt,
239 if (supported_exch == NULL) {
240 ERR_clear_last_mark();
241 ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
247 * Because we cleared out old ops, we shouldn't need to worry about
248 * checking if exchange is already there.
250 exchange = EVP_KEYEXCH_fetch(ctx->libctx, supported_exch, ctx->propquery);
251 if (exchange == NULL)
255 * Ensure that the key is provided, either natively, or as a cached export.
256 * We start by fetching the keymgmt with the same name as |ctx->pkey|,
257 * but from the provider of the exch method, using the same property
258 * query as when fetching the exch method.
259 * With the keymgmt we found (if we did), we try to export |ctx->pkey|
260 * to it (evp_pkey_export_to_provider() is smart enough to only actually
262 * export it if |tmp_keymgmt| is different from |ctx->pkey|'s keymgmt)
265 = evp_keymgmt_fetch_from_prov(EVP_KEYEXCH_get0_provider(exchange),
266 EVP_KEYMGMT_get0_name(ctx->keymgmt),
268 if (tmp_keymgmt != NULL)
269 provkey = evp_pkey_export_to_provider(ctx->pkey, ctx->libctx,
270 &tmp_keymgmt, ctx->propquery);
276 /* No more legacy from here down to legacy: */
278 ctx->op.kex.exchange = exchange;
279 ctx->op.kex.algctx = exchange->newctx(ossl_provider_ctx(exchange->prov));
280 if (ctx->op.kex.algctx == NULL) {
281 /* The provider key can stay in the cache */
282 ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
285 ret = exchange->init(ctx->op.kex.algctx, provkey, params);
287 EVP_KEYMGMT_free(tmp_keymgmt);
290 evp_pkey_ctx_free_old_ops(ctx);
291 ctx->operation = EVP_PKEY_OP_UNDEFINED;
292 EVP_KEYMGMT_free(tmp_keymgmt);
297 * If we don't have the full support we need with provided methods,
298 * let's go see if legacy does.
305 if (ctx->pmeth == NULL || ctx->pmeth->derive == NULL) {
306 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
310 if (ctx->pmeth->derive_init == NULL)
312 ret = ctx->pmeth->derive_init(ctx);
314 ctx->operation = EVP_PKEY_OP_UNDEFINED;
315 EVP_KEYMGMT_free(tmp_keymgmt);
320 int EVP_PKEY_derive_set_peer_ex(EVP_PKEY_CTX *ctx, EVP_PKEY *peer,
324 void *provkey = NULL;
325 EVP_PKEY_CTX *check_ctx = NULL;
328 ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
332 if (!EVP_PKEY_CTX_IS_DERIVE_OP(ctx) || ctx->op.kex.algctx == NULL)
335 if (ctx->op.kex.exchange->set_peer == NULL) {
336 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
341 check_ctx = EVP_PKEY_CTX_new_from_pkey(ctx->libctx, peer, ctx->propquery);
342 if (check_ctx == NULL)
344 check = EVP_PKEY_public_check(check_ctx);
345 EVP_PKEY_CTX_free(check_ctx);
350 provkey = evp_pkey_export_to_provider(peer, ctx->libctx, &ctx->keymgmt,
353 * If making the key provided wasn't possible, legacy may be able to pick
358 return ctx->op.kex.exchange->set_peer(ctx->op.kex.algctx, provkey);
364 if (ctx->pmeth == NULL
365 || !(ctx->pmeth->derive != NULL
366 || ctx->pmeth->encrypt != NULL
367 || ctx->pmeth->decrypt != NULL)
368 || ctx->pmeth->ctrl == NULL) {
369 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
372 if (ctx->operation != EVP_PKEY_OP_DERIVE
373 && ctx->operation != EVP_PKEY_OP_ENCRYPT
374 && ctx->operation != EVP_PKEY_OP_DECRYPT) {
375 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
379 ret = ctx->pmeth->ctrl(ctx, EVP_PKEY_CTRL_PEER_KEY, 0, peer);
387 if (ctx->pkey == NULL) {
388 ERR_raise(ERR_LIB_EVP, EVP_R_NO_KEY_SET);
392 if (ctx->pkey->type != peer->type) {
393 ERR_raise(ERR_LIB_EVP, EVP_R_DIFFERENT_KEY_TYPES);
398 * For clarity. The error is if parameters in peer are
399 * present (!missing) but don't match. EVP_PKEY_parameters_eq may return
400 * 1 (match), 0 (don't match) and -2 (comparison is not defined). -1
401 * (different key types) is impossible here because it is checked earlier.
402 * -2 is OK for us here, as well as 1, so we can check for 0 only.
404 if (!EVP_PKEY_missing_parameters(peer) &&
405 !EVP_PKEY_parameters_eq(ctx->pkey, peer)) {
406 ERR_raise(ERR_LIB_EVP, EVP_R_DIFFERENT_PARAMETERS);
410 EVP_PKEY_free(ctx->peerkey);
413 ret = ctx->pmeth->ctrl(ctx, EVP_PKEY_CTRL_PEER_KEY, 1, peer);
420 EVP_PKEY_up_ref(peer);
425 int EVP_PKEY_derive_set_peer(EVP_PKEY_CTX *ctx, EVP_PKEY *peer)
427 return EVP_PKEY_derive_set_peer_ex(ctx, peer, 1);
430 int EVP_PKEY_derive(EVP_PKEY_CTX *ctx, unsigned char *key, size_t *pkeylen)
434 if (ctx == NULL || pkeylen == NULL) {
435 ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
439 if (!EVP_PKEY_CTX_IS_DERIVE_OP(ctx)) {
440 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
444 if (ctx->op.kex.algctx == NULL)
447 ret = ctx->op.kex.exchange->derive(ctx->op.kex.algctx, key, pkeylen,
448 key != NULL ? *pkeylen : 0);
452 if (ctx->pmeth == NULL || ctx->pmeth->derive == NULL) {
453 ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
457 M_check_autoarg(ctx, key, pkeylen, EVP_F_EVP_PKEY_DERIVE)
458 return ctx->pmeth->derive(ctx, key, pkeylen);
461 int evp_keyexch_get_number(const EVP_KEYEXCH *keyexch)
463 return keyexch->name_id;
466 const char *EVP_KEYEXCH_get0_name(const EVP_KEYEXCH *keyexch)
468 return keyexch->type_name;
471 const char *EVP_KEYEXCH_get0_description(const EVP_KEYEXCH *keyexch)
473 return keyexch->description;
476 int EVP_KEYEXCH_is_a(const EVP_KEYEXCH *keyexch, const char *name)
478 return evp_is_a(keyexch->prov, keyexch->name_id, NULL, name);
481 void EVP_KEYEXCH_do_all_provided(OSSL_LIB_CTX *libctx,
482 void (*fn)(EVP_KEYEXCH *keyexch, void *arg),
485 evp_generic_do_all(libctx, OSSL_OP_KEYEXCH,
486 (void (*)(void *, void *))fn, arg,
487 evp_keyexch_from_algorithm,
488 (int (*)(void *))EVP_KEYEXCH_up_ref,
489 (void (*)(void *))EVP_KEYEXCH_free);
492 int EVP_KEYEXCH_names_do_all(const EVP_KEYEXCH *keyexch,
493 void (*fn)(const char *name, void *data),
496 if (keyexch->prov != NULL)
497 return evp_names_do_all(keyexch->prov, keyexch->name_id, fn, data);
502 const OSSL_PARAM *EVP_KEYEXCH_gettable_ctx_params(const EVP_KEYEXCH *keyexch)
506 if (keyexch == NULL || keyexch->gettable_ctx_params == NULL)
509 provctx = ossl_provider_ctx(EVP_KEYEXCH_get0_provider(keyexch));
510 return keyexch->gettable_ctx_params(NULL, provctx);
513 const OSSL_PARAM *EVP_KEYEXCH_settable_ctx_params(const EVP_KEYEXCH *keyexch)
517 if (keyexch == NULL || keyexch->settable_ctx_params == NULL)
519 provctx = ossl_provider_ctx(EVP_KEYEXCH_get0_provider(keyexch));
520 return keyexch->settable_ctx_params(NULL, provctx);