xref: /OK3568_Linux_fs/kernel/crypto/dh.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-or-later
2*4882a593Smuzhiyun /*  Diffie-Hellman Key Agreement Method [RFC2631]
3*4882a593Smuzhiyun  *
4*4882a593Smuzhiyun  * Copyright (c) 2016, Intel Corporation
5*4882a593Smuzhiyun  * Authors: Salvatore Benedetto <salvatore.benedetto@intel.com>
6*4882a593Smuzhiyun  */
7*4882a593Smuzhiyun 
8*4882a593Smuzhiyun #include <linux/module.h>
9*4882a593Smuzhiyun #include <crypto/internal/kpp.h>
10*4882a593Smuzhiyun #include <crypto/kpp.h>
11*4882a593Smuzhiyun #include <crypto/dh.h>
12*4882a593Smuzhiyun #include <linux/fips.h>
13*4882a593Smuzhiyun #include <linux/mpi.h>
14*4882a593Smuzhiyun 
15*4882a593Smuzhiyun struct dh_ctx {
16*4882a593Smuzhiyun 	MPI p;	/* Value is guaranteed to be set. */
17*4882a593Smuzhiyun 	MPI q;	/* Value is optional. */
18*4882a593Smuzhiyun 	MPI g;	/* Value is guaranteed to be set. */
19*4882a593Smuzhiyun 	MPI xa;	/* Value is guaranteed to be set. */
20*4882a593Smuzhiyun };
21*4882a593Smuzhiyun 
dh_clear_ctx(struct dh_ctx * ctx)22*4882a593Smuzhiyun static void dh_clear_ctx(struct dh_ctx *ctx)
23*4882a593Smuzhiyun {
24*4882a593Smuzhiyun 	mpi_free(ctx->p);
25*4882a593Smuzhiyun 	mpi_free(ctx->q);
26*4882a593Smuzhiyun 	mpi_free(ctx->g);
27*4882a593Smuzhiyun 	mpi_free(ctx->xa);
28*4882a593Smuzhiyun 	memset(ctx, 0, sizeof(*ctx));
29*4882a593Smuzhiyun }
30*4882a593Smuzhiyun 
31*4882a593Smuzhiyun /*
32*4882a593Smuzhiyun  * If base is g we compute the public key
33*4882a593Smuzhiyun  *	ya = g^xa mod p; [RFC2631 sec 2.1.1]
34*4882a593Smuzhiyun  * else if base if the counterpart public key we compute the shared secret
35*4882a593Smuzhiyun  *	ZZ = yb^xa mod p; [RFC2631 sec 2.1.1]
36*4882a593Smuzhiyun  */
_compute_val(const struct dh_ctx * ctx,MPI base,MPI val)37*4882a593Smuzhiyun static int _compute_val(const struct dh_ctx *ctx, MPI base, MPI val)
38*4882a593Smuzhiyun {
39*4882a593Smuzhiyun 	/* val = base^xa mod p */
40*4882a593Smuzhiyun 	return mpi_powm(val, base, ctx->xa, ctx->p);
41*4882a593Smuzhiyun }
42*4882a593Smuzhiyun 
dh_get_ctx(struct crypto_kpp * tfm)43*4882a593Smuzhiyun static inline struct dh_ctx *dh_get_ctx(struct crypto_kpp *tfm)
44*4882a593Smuzhiyun {
45*4882a593Smuzhiyun 	return kpp_tfm_ctx(tfm);
46*4882a593Smuzhiyun }
47*4882a593Smuzhiyun 
dh_check_params_length(unsigned int p_len)48*4882a593Smuzhiyun static int dh_check_params_length(unsigned int p_len)
49*4882a593Smuzhiyun {
50*4882a593Smuzhiyun 	return (p_len < 1536) ? -EINVAL : 0;
51*4882a593Smuzhiyun }
52*4882a593Smuzhiyun 
dh_set_params(struct dh_ctx * ctx,struct dh * params)53*4882a593Smuzhiyun static int dh_set_params(struct dh_ctx *ctx, struct dh *params)
54*4882a593Smuzhiyun {
55*4882a593Smuzhiyun 	if (dh_check_params_length(params->p_size << 3))
56*4882a593Smuzhiyun 		return -EINVAL;
57*4882a593Smuzhiyun 
58*4882a593Smuzhiyun 	ctx->p = mpi_read_raw_data(params->p, params->p_size);
59*4882a593Smuzhiyun 	if (!ctx->p)
60*4882a593Smuzhiyun 		return -EINVAL;
61*4882a593Smuzhiyun 
62*4882a593Smuzhiyun 	if (params->q && params->q_size) {
63*4882a593Smuzhiyun 		ctx->q = mpi_read_raw_data(params->q, params->q_size);
64*4882a593Smuzhiyun 		if (!ctx->q)
65*4882a593Smuzhiyun 			return -EINVAL;
66*4882a593Smuzhiyun 	}
67*4882a593Smuzhiyun 
68*4882a593Smuzhiyun 	ctx->g = mpi_read_raw_data(params->g, params->g_size);
69*4882a593Smuzhiyun 	if (!ctx->g)
70*4882a593Smuzhiyun 		return -EINVAL;
71*4882a593Smuzhiyun 
72*4882a593Smuzhiyun 	return 0;
73*4882a593Smuzhiyun }
74*4882a593Smuzhiyun 
dh_set_secret(struct crypto_kpp * tfm,const void * buf,unsigned int len)75*4882a593Smuzhiyun static int dh_set_secret(struct crypto_kpp *tfm, const void *buf,
76*4882a593Smuzhiyun 			 unsigned int len)
77*4882a593Smuzhiyun {
78*4882a593Smuzhiyun 	struct dh_ctx *ctx = dh_get_ctx(tfm);
79*4882a593Smuzhiyun 	struct dh params;
80*4882a593Smuzhiyun 
81*4882a593Smuzhiyun 	/* Free the old MPI key if any */
82*4882a593Smuzhiyun 	dh_clear_ctx(ctx);
83*4882a593Smuzhiyun 
84*4882a593Smuzhiyun 	if (crypto_dh_decode_key(buf, len, &params) < 0)
85*4882a593Smuzhiyun 		goto err_clear_ctx;
86*4882a593Smuzhiyun 
87*4882a593Smuzhiyun 	if (dh_set_params(ctx, &params) < 0)
88*4882a593Smuzhiyun 		goto err_clear_ctx;
89*4882a593Smuzhiyun 
90*4882a593Smuzhiyun 	ctx->xa = mpi_read_raw_data(params.key, params.key_size);
91*4882a593Smuzhiyun 	if (!ctx->xa)
92*4882a593Smuzhiyun 		goto err_clear_ctx;
93*4882a593Smuzhiyun 
94*4882a593Smuzhiyun 	return 0;
95*4882a593Smuzhiyun 
96*4882a593Smuzhiyun err_clear_ctx:
97*4882a593Smuzhiyun 	dh_clear_ctx(ctx);
98*4882a593Smuzhiyun 	return -EINVAL;
99*4882a593Smuzhiyun }
100*4882a593Smuzhiyun 
101*4882a593Smuzhiyun /*
102*4882a593Smuzhiyun  * SP800-56A public key verification:
103*4882a593Smuzhiyun  *
104*4882a593Smuzhiyun  * * If Q is provided as part of the domain paramenters, a full validation
105*4882a593Smuzhiyun  *   according to SP800-56A section 5.6.2.3.1 is performed.
106*4882a593Smuzhiyun  *
107*4882a593Smuzhiyun  * * If Q is not provided, a partial validation according to SP800-56A section
108*4882a593Smuzhiyun  *   5.6.2.3.2 is performed.
109*4882a593Smuzhiyun  */
dh_is_pubkey_valid(struct dh_ctx * ctx,MPI y)110*4882a593Smuzhiyun static int dh_is_pubkey_valid(struct dh_ctx *ctx, MPI y)
111*4882a593Smuzhiyun {
112*4882a593Smuzhiyun 	if (unlikely(!ctx->p))
113*4882a593Smuzhiyun 		return -EINVAL;
114*4882a593Smuzhiyun 
115*4882a593Smuzhiyun 	/*
116*4882a593Smuzhiyun 	 * Step 1: Verify that 2 <= y <= p - 2.
117*4882a593Smuzhiyun 	 *
118*4882a593Smuzhiyun 	 * The upper limit check is actually y < p instead of y < p - 1
119*4882a593Smuzhiyun 	 * as the mpi_sub_ui function is yet missing.
120*4882a593Smuzhiyun 	 */
121*4882a593Smuzhiyun 	if (mpi_cmp_ui(y, 1) < 1 || mpi_cmp(y, ctx->p) >= 0)
122*4882a593Smuzhiyun 		return -EINVAL;
123*4882a593Smuzhiyun 
124*4882a593Smuzhiyun 	/* Step 2: Verify that 1 = y^q mod p */
125*4882a593Smuzhiyun 	if (ctx->q) {
126*4882a593Smuzhiyun 		MPI val = mpi_alloc(0);
127*4882a593Smuzhiyun 		int ret;
128*4882a593Smuzhiyun 
129*4882a593Smuzhiyun 		if (!val)
130*4882a593Smuzhiyun 			return -ENOMEM;
131*4882a593Smuzhiyun 
132*4882a593Smuzhiyun 		ret = mpi_powm(val, y, ctx->q, ctx->p);
133*4882a593Smuzhiyun 
134*4882a593Smuzhiyun 		if (ret) {
135*4882a593Smuzhiyun 			mpi_free(val);
136*4882a593Smuzhiyun 			return ret;
137*4882a593Smuzhiyun 		}
138*4882a593Smuzhiyun 
139*4882a593Smuzhiyun 		ret = mpi_cmp_ui(val, 1);
140*4882a593Smuzhiyun 
141*4882a593Smuzhiyun 		mpi_free(val);
142*4882a593Smuzhiyun 
143*4882a593Smuzhiyun 		if (ret != 0)
144*4882a593Smuzhiyun 			return -EINVAL;
145*4882a593Smuzhiyun 	}
146*4882a593Smuzhiyun 
147*4882a593Smuzhiyun 	return 0;
148*4882a593Smuzhiyun }
149*4882a593Smuzhiyun 
dh_compute_value(struct kpp_request * req)150*4882a593Smuzhiyun static int dh_compute_value(struct kpp_request *req)
151*4882a593Smuzhiyun {
152*4882a593Smuzhiyun 	struct crypto_kpp *tfm = crypto_kpp_reqtfm(req);
153*4882a593Smuzhiyun 	struct dh_ctx *ctx = dh_get_ctx(tfm);
154*4882a593Smuzhiyun 	MPI base, val = mpi_alloc(0);
155*4882a593Smuzhiyun 	int ret = 0;
156*4882a593Smuzhiyun 	int sign;
157*4882a593Smuzhiyun 
158*4882a593Smuzhiyun 	if (!val)
159*4882a593Smuzhiyun 		return -ENOMEM;
160*4882a593Smuzhiyun 
161*4882a593Smuzhiyun 	if (unlikely(!ctx->xa)) {
162*4882a593Smuzhiyun 		ret = -EINVAL;
163*4882a593Smuzhiyun 		goto err_free_val;
164*4882a593Smuzhiyun 	}
165*4882a593Smuzhiyun 
166*4882a593Smuzhiyun 	if (req->src) {
167*4882a593Smuzhiyun 		base = mpi_read_raw_from_sgl(req->src, req->src_len);
168*4882a593Smuzhiyun 		if (!base) {
169*4882a593Smuzhiyun 			ret = -EINVAL;
170*4882a593Smuzhiyun 			goto err_free_val;
171*4882a593Smuzhiyun 		}
172*4882a593Smuzhiyun 		ret = dh_is_pubkey_valid(ctx, base);
173*4882a593Smuzhiyun 		if (ret)
174*4882a593Smuzhiyun 			goto err_free_base;
175*4882a593Smuzhiyun 	} else {
176*4882a593Smuzhiyun 		base = ctx->g;
177*4882a593Smuzhiyun 	}
178*4882a593Smuzhiyun 
179*4882a593Smuzhiyun 	ret = _compute_val(ctx, base, val);
180*4882a593Smuzhiyun 	if (ret)
181*4882a593Smuzhiyun 		goto err_free_base;
182*4882a593Smuzhiyun 
183*4882a593Smuzhiyun 	if (fips_enabled) {
184*4882a593Smuzhiyun 		/* SP800-56A rev3 5.7.1.1 check: Validation of shared secret */
185*4882a593Smuzhiyun 		if (req->src) {
186*4882a593Smuzhiyun 			MPI pone;
187*4882a593Smuzhiyun 
188*4882a593Smuzhiyun 			/* z <= 1 */
189*4882a593Smuzhiyun 			if (mpi_cmp_ui(val, 1) < 1) {
190*4882a593Smuzhiyun 				ret = -EBADMSG;
191*4882a593Smuzhiyun 				goto err_free_base;
192*4882a593Smuzhiyun 			}
193*4882a593Smuzhiyun 
194*4882a593Smuzhiyun 			/* z == p - 1 */
195*4882a593Smuzhiyun 			pone = mpi_alloc(0);
196*4882a593Smuzhiyun 
197*4882a593Smuzhiyun 			if (!pone) {
198*4882a593Smuzhiyun 				ret = -ENOMEM;
199*4882a593Smuzhiyun 				goto err_free_base;
200*4882a593Smuzhiyun 			}
201*4882a593Smuzhiyun 
202*4882a593Smuzhiyun 			ret = mpi_sub_ui(pone, ctx->p, 1);
203*4882a593Smuzhiyun 			if (!ret && !mpi_cmp(pone, val))
204*4882a593Smuzhiyun 				ret = -EBADMSG;
205*4882a593Smuzhiyun 
206*4882a593Smuzhiyun 			mpi_free(pone);
207*4882a593Smuzhiyun 
208*4882a593Smuzhiyun 			if (ret)
209*4882a593Smuzhiyun 				goto err_free_base;
210*4882a593Smuzhiyun 
211*4882a593Smuzhiyun 		/* SP800-56A rev 3 5.6.2.1.3 key check */
212*4882a593Smuzhiyun 		} else {
213*4882a593Smuzhiyun 			if (dh_is_pubkey_valid(ctx, val)) {
214*4882a593Smuzhiyun 				ret = -EAGAIN;
215*4882a593Smuzhiyun 				goto err_free_val;
216*4882a593Smuzhiyun 			}
217*4882a593Smuzhiyun 		}
218*4882a593Smuzhiyun 	}
219*4882a593Smuzhiyun 
220*4882a593Smuzhiyun 	ret = mpi_write_to_sgl(val, req->dst, req->dst_len, &sign);
221*4882a593Smuzhiyun 	if (ret)
222*4882a593Smuzhiyun 		goto err_free_base;
223*4882a593Smuzhiyun 
224*4882a593Smuzhiyun 	if (sign < 0)
225*4882a593Smuzhiyun 		ret = -EBADMSG;
226*4882a593Smuzhiyun err_free_base:
227*4882a593Smuzhiyun 	if (req->src)
228*4882a593Smuzhiyun 		mpi_free(base);
229*4882a593Smuzhiyun err_free_val:
230*4882a593Smuzhiyun 	mpi_free(val);
231*4882a593Smuzhiyun 	return ret;
232*4882a593Smuzhiyun }
233*4882a593Smuzhiyun 
dh_max_size(struct crypto_kpp * tfm)234*4882a593Smuzhiyun static unsigned int dh_max_size(struct crypto_kpp *tfm)
235*4882a593Smuzhiyun {
236*4882a593Smuzhiyun 	struct dh_ctx *ctx = dh_get_ctx(tfm);
237*4882a593Smuzhiyun 
238*4882a593Smuzhiyun 	return mpi_get_size(ctx->p);
239*4882a593Smuzhiyun }
240*4882a593Smuzhiyun 
dh_exit_tfm(struct crypto_kpp * tfm)241*4882a593Smuzhiyun static void dh_exit_tfm(struct crypto_kpp *tfm)
242*4882a593Smuzhiyun {
243*4882a593Smuzhiyun 	struct dh_ctx *ctx = dh_get_ctx(tfm);
244*4882a593Smuzhiyun 
245*4882a593Smuzhiyun 	dh_clear_ctx(ctx);
246*4882a593Smuzhiyun }
247*4882a593Smuzhiyun 
248*4882a593Smuzhiyun static struct kpp_alg dh = {
249*4882a593Smuzhiyun 	.set_secret = dh_set_secret,
250*4882a593Smuzhiyun 	.generate_public_key = dh_compute_value,
251*4882a593Smuzhiyun 	.compute_shared_secret = dh_compute_value,
252*4882a593Smuzhiyun 	.max_size = dh_max_size,
253*4882a593Smuzhiyun 	.exit = dh_exit_tfm,
254*4882a593Smuzhiyun 	.base = {
255*4882a593Smuzhiyun 		.cra_name = "dh",
256*4882a593Smuzhiyun 		.cra_driver_name = "dh-generic",
257*4882a593Smuzhiyun 		.cra_priority = 100,
258*4882a593Smuzhiyun 		.cra_module = THIS_MODULE,
259*4882a593Smuzhiyun 		.cra_ctxsize = sizeof(struct dh_ctx),
260*4882a593Smuzhiyun 	},
261*4882a593Smuzhiyun };
262*4882a593Smuzhiyun 
dh_init(void)263*4882a593Smuzhiyun static int dh_init(void)
264*4882a593Smuzhiyun {
265*4882a593Smuzhiyun 	return crypto_register_kpp(&dh);
266*4882a593Smuzhiyun }
267*4882a593Smuzhiyun 
dh_exit(void)268*4882a593Smuzhiyun static void dh_exit(void)
269*4882a593Smuzhiyun {
270*4882a593Smuzhiyun 	crypto_unregister_kpp(&dh);
271*4882a593Smuzhiyun }
272*4882a593Smuzhiyun 
273*4882a593Smuzhiyun subsys_initcall(dh_init);
274*4882a593Smuzhiyun module_exit(dh_exit);
275*4882a593Smuzhiyun MODULE_ALIAS_CRYPTO("dh");
276*4882a593Smuzhiyun MODULE_LICENSE("GPL");
277*4882a593Smuzhiyun MODULE_DESCRIPTION("DH generic algorithm");
278