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, ¶ms) < 0)
85*4882a593Smuzhiyun goto err_clear_ctx;
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun if (dh_set_params(ctx, ¶ms) < 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