]>
Commit | Line | Data |
---|---|---|
2874c5fd | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
3d5b1ecd AZ |
2 | /* |
3 | * RSA padding templates. | |
4 | * | |
5 | * Copyright (c) 2015 Intel Corporation | |
3d5b1ecd AZ |
6 | */ |
7 | ||
8 | #include <crypto/algapi.h> | |
9 | #include <crypto/akcipher.h> | |
10 | #include <crypto/internal/akcipher.h> | |
a1180cff | 11 | #include <crypto/internal/rsa.h> |
3d5b1ecd AZ |
12 | #include <linux/err.h> |
13 | #include <linux/init.h> | |
14 | #include <linux/kernel.h> | |
15 | #include <linux/module.h> | |
16 | #include <linux/random.h> | |
0c3dc787 | 17 | #include <linux/scatterlist.h> |
3d5b1ecd | 18 | |
a49de377 TS |
19 | /* |
20 | * Hash algorithm OIDs plus ASN.1 DER wrappings [RFC4880 sec 5.2.2]. | |
21 | */ | |
22 | static const u8 rsa_digest_info_md5[] = { | |
23 | 0x30, 0x20, 0x30, 0x0c, 0x06, 0x08, | |
24 | 0x2a, 0x86, 0x48, 0x86, 0xf7, 0x0d, 0x02, 0x05, /* OID */ | |
25 | 0x05, 0x00, 0x04, 0x10 | |
26 | }; | |
27 | ||
28 | static const u8 rsa_digest_info_sha1[] = { | |
29 | 0x30, 0x21, 0x30, 0x09, 0x06, 0x05, | |
30 | 0x2b, 0x0e, 0x03, 0x02, 0x1a, | |
31 | 0x05, 0x00, 0x04, 0x14 | |
32 | }; | |
33 | ||
34 | static const u8 rsa_digest_info_rmd160[] = { | |
35 | 0x30, 0x21, 0x30, 0x09, 0x06, 0x05, | |
36 | 0x2b, 0x24, 0x03, 0x02, 0x01, | |
37 | 0x05, 0x00, 0x04, 0x14 | |
38 | }; | |
39 | ||
40 | static const u8 rsa_digest_info_sha224[] = { | |
41 | 0x30, 0x2d, 0x30, 0x0d, 0x06, 0x09, | |
42 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x04, | |
43 | 0x05, 0x00, 0x04, 0x1c | |
44 | }; | |
45 | ||
46 | static const u8 rsa_digest_info_sha256[] = { | |
47 | 0x30, 0x31, 0x30, 0x0d, 0x06, 0x09, | |
48 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x01, | |
49 | 0x05, 0x00, 0x04, 0x20 | |
50 | }; | |
51 | ||
52 | static const u8 rsa_digest_info_sha384[] = { | |
53 | 0x30, 0x41, 0x30, 0x0d, 0x06, 0x09, | |
54 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x02, | |
55 | 0x05, 0x00, 0x04, 0x30 | |
56 | }; | |
57 | ||
58 | static const u8 rsa_digest_info_sha512[] = { | |
59 | 0x30, 0x51, 0x30, 0x0d, 0x06, 0x09, | |
60 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x03, | |
61 | 0x05, 0x00, 0x04, 0x40 | |
62 | }; | |
63 | ||
ee62afb9 DJL |
64 | static const u8 rsa_digest_info_sha3_256[] = { |
65 | 0x30, 0x31, 0x30, 0x0d, 0x06, 0x09, | |
66 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x08, | |
67 | 0x05, 0x00, 0x04, 0x20 | |
68 | }; | |
69 | ||
70 | static const u8 rsa_digest_info_sha3_384[] = { | |
71 | 0x30, 0x41, 0x30, 0x0d, 0x06, 0x09, | |
72 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x09, | |
73 | 0x05, 0x00, 0x04, 0x30 | |
74 | }; | |
75 | ||
76 | static const u8 rsa_digest_info_sha3_512[] = { | |
77 | 0x30, 0x51, 0x30, 0x0d, 0x06, 0x09, | |
78 | 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x0A, | |
79 | 0x05, 0x00, 0x04, 0x40 | |
80 | }; | |
81 | ||
a49de377 TS |
82 | static const struct rsa_asn1_template { |
83 | const char *name; | |
84 | const u8 *data; | |
85 | size_t size; | |
86 | } rsa_asn1_templates[] = { | |
87 | #define _(X) { #X, rsa_digest_info_##X, sizeof(rsa_digest_info_##X) } | |
88 | _(md5), | |
89 | _(sha1), | |
90 | _(rmd160), | |
91 | _(sha256), | |
92 | _(sha384), | |
93 | _(sha512), | |
94 | _(sha224), | |
a49de377 | 95 | #undef _ |
ee62afb9 DJL |
96 | #define _(X) { "sha3-" #X, rsa_digest_info_sha3_##X, sizeof(rsa_digest_info_sha3_##X) } |
97 | _(256), | |
98 | _(384), | |
99 | _(512), | |
100 | #undef _ | |
101 | { NULL } | |
a49de377 TS |
102 | }; |
103 | ||
104 | static const struct rsa_asn1_template *rsa_lookup_asn1(const char *name) | |
105 | { | |
106 | const struct rsa_asn1_template *p; | |
107 | ||
108 | for (p = rsa_asn1_templates; p->name; p++) | |
109 | if (strcmp(name, p->name) == 0) | |
110 | return p; | |
111 | return NULL; | |
112 | } | |
113 | ||
3d5b1ecd AZ |
114 | struct pkcs1pad_ctx { |
115 | struct crypto_akcipher *child; | |
3d5b1ecd AZ |
116 | unsigned int key_size; |
117 | }; | |
118 | ||
a49de377 TS |
119 | struct pkcs1pad_inst_ctx { |
120 | struct crypto_akcipher_spawn spawn; | |
c0d20d22 | 121 | const struct rsa_asn1_template *digest_info; |
a49de377 TS |
122 | }; |
123 | ||
3d5b1ecd | 124 | struct pkcs1pad_request { |
0f2c8319 | 125 | struct scatterlist in_sg[2], out_sg[1]; |
3d5b1ecd | 126 | uint8_t *in_buf, *out_buf; |
a6d7bfd0 | 127 | struct akcipher_request child_req; |
3d5b1ecd AZ |
128 | }; |
129 | ||
130 | static int pkcs1pad_set_pub_key(struct crypto_akcipher *tfm, const void *key, | |
131 | unsigned int keylen) | |
132 | { | |
133 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
73f79189 HX |
134 | int err; |
135 | ||
136 | ctx->key_size = 0; | |
3d5b1ecd AZ |
137 | |
138 | err = crypto_akcipher_set_pub_key(ctx->child, key, keylen); | |
73f79189 HX |
139 | if (err) |
140 | return err; | |
3d5b1ecd | 141 | |
73f79189 HX |
142 | /* Find out new modulus size from rsa implementation */ |
143 | err = crypto_akcipher_maxsize(ctx->child); | |
73f79189 HX |
144 | if (err > PAGE_SIZE) |
145 | return -ENOTSUPP; | |
3d5b1ecd | 146 | |
73f79189 HX |
147 | ctx->key_size = err; |
148 | return 0; | |
3d5b1ecd AZ |
149 | } |
150 | ||
151 | static int pkcs1pad_set_priv_key(struct crypto_akcipher *tfm, const void *key, | |
152 | unsigned int keylen) | |
153 | { | |
154 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
73f79189 HX |
155 | int err; |
156 | ||
157 | ctx->key_size = 0; | |
3d5b1ecd AZ |
158 | |
159 | err = crypto_akcipher_set_priv_key(ctx->child, key, keylen); | |
73f79189 HX |
160 | if (err) |
161 | return err; | |
3d5b1ecd | 162 | |
73f79189 HX |
163 | /* Find out new modulus size from rsa implementation */ |
164 | err = crypto_akcipher_maxsize(ctx->child); | |
73f79189 HX |
165 | if (err > PAGE_SIZE) |
166 | return -ENOTSUPP; | |
3d5b1ecd | 167 | |
73f79189 HX |
168 | ctx->key_size = err; |
169 | return 0; | |
3d5b1ecd AZ |
170 | } |
171 | ||
543de102 | 172 | static unsigned int pkcs1pad_get_max_size(struct crypto_akcipher *tfm) |
3d5b1ecd AZ |
173 | { |
174 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
175 | ||
176 | /* | |
177 | * The maximum destination buffer size for the encrypt/sign operations | |
178 | * will be the same as for RSA, even though it's smaller for | |
179 | * decrypt/verify. | |
180 | */ | |
181 | ||
543de102 | 182 | return ctx->key_size; |
3d5b1ecd AZ |
183 | } |
184 | ||
185 | static void pkcs1pad_sg_set_buf(struct scatterlist *sg, void *buf, size_t len, | |
186 | struct scatterlist *next) | |
187 | { | |
0f2c8319 HX |
188 | int nsegs = next ? 2 : 1; |
189 | ||
190 | sg_init_table(sg, nsegs); | |
191 | sg_set_buf(sg, buf, len); | |
3d5b1ecd AZ |
192 | |
193 | if (next) | |
194 | sg_chain(sg, nsegs, next); | |
195 | } | |
196 | ||
197 | static int pkcs1pad_encrypt_sign_complete(struct akcipher_request *req, int err) | |
198 | { | |
199 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
200 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
201 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
d858b071 HX |
202 | unsigned int pad_len; |
203 | unsigned int len; | |
204 | u8 *out_buf; | |
205 | ||
206 | if (err) | |
207 | goto out; | |
208 | ||
209 | len = req_ctx->child_req.dst_len; | |
210 | pad_len = ctx->key_size - len; | |
211 | ||
212 | /* Four billion to one */ | |
213 | if (likely(!pad_len)) | |
214 | goto out; | |
215 | ||
d52b0c78 | 216 | out_buf = kzalloc(ctx->key_size, GFP_ATOMIC); |
d858b071 HX |
217 | err = -ENOMEM; |
218 | if (!out_buf) | |
219 | goto out; | |
220 | ||
221 | sg_copy_to_buffer(req->dst, sg_nents_for_len(req->dst, len), | |
222 | out_buf + pad_len, len); | |
223 | sg_copy_from_buffer(req->dst, | |
224 | sg_nents_for_len(req->dst, ctx->key_size), | |
225 | out_buf, ctx->key_size); | |
453431a5 | 226 | kfree_sensitive(out_buf); |
d858b071 HX |
227 | |
228 | out: | |
3d5b1ecd AZ |
229 | req->dst_len = ctx->key_size; |
230 | ||
231 | kfree(req_ctx->in_buf); | |
3d5b1ecd AZ |
232 | |
233 | return err; | |
234 | } | |
235 | ||
255e48eb | 236 | static void pkcs1pad_encrypt_sign_complete_cb(void *data, int err) |
3d5b1ecd | 237 | { |
255e48eb | 238 | struct akcipher_request *req = data; |
3d5b1ecd AZ |
239 | |
240 | if (err == -EINPROGRESS) | |
564cabc0 HX |
241 | goto out; |
242 | ||
243 | err = pkcs1pad_encrypt_sign_complete(req, err); | |
3d5b1ecd | 244 | |
564cabc0 HX |
245 | out: |
246 | akcipher_request_complete(req, err); | |
3d5b1ecd AZ |
247 | } |
248 | ||
249 | static int pkcs1pad_encrypt(struct akcipher_request *req) | |
250 | { | |
251 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
252 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
253 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
254 | int err; | |
255 | unsigned int i, ps_end; | |
256 | ||
257 | if (!ctx->key_size) | |
258 | return -EINVAL; | |
259 | ||
260 | if (req->src_len > ctx->key_size - 11) | |
261 | return -EOVERFLOW; | |
262 | ||
263 | if (req->dst_len < ctx->key_size) { | |
264 | req->dst_len = ctx->key_size; | |
265 | return -EOVERFLOW; | |
266 | } | |
267 | ||
3d5b1ecd | 268 | req_ctx->in_buf = kmalloc(ctx->key_size - 1 - req->src_len, |
3a32ce50 | 269 | GFP_KERNEL); |
3d5b1ecd AZ |
270 | if (!req_ctx->in_buf) |
271 | return -ENOMEM; | |
272 | ||
273 | ps_end = ctx->key_size - req->src_len - 2; | |
274 | req_ctx->in_buf[0] = 0x02; | |
275 | for (i = 1; i < ps_end; i++) | |
e8a533cb | 276 | req_ctx->in_buf[i] = get_random_u32_inclusive(1, 255); |
3d5b1ecd AZ |
277 | req_ctx->in_buf[ps_end] = 0x00; |
278 | ||
279 | pkcs1pad_sg_set_buf(req_ctx->in_sg, req_ctx->in_buf, | |
280 | ctx->key_size - 1 - req->src_len, req->src); | |
281 | ||
3d5b1ecd AZ |
282 | akcipher_request_set_tfm(&req_ctx->child_req, ctx->child); |
283 | akcipher_request_set_callback(&req_ctx->child_req, req->base.flags, | |
284 | pkcs1pad_encrypt_sign_complete_cb, req); | |
285 | ||
d858b071 HX |
286 | /* Reuse output buffer */ |
287 | akcipher_request_set_crypt(&req_ctx->child_req, req_ctx->in_sg, | |
288 | req->dst, ctx->key_size - 1, req->dst_len); | |
289 | ||
3d5b1ecd | 290 | err = crypto_akcipher_encrypt(&req_ctx->child_req); |
4e5b0ad5 | 291 | if (err != -EINPROGRESS && err != -EBUSY) |
3d5b1ecd AZ |
292 | return pkcs1pad_encrypt_sign_complete(req, err); |
293 | ||
294 | return err; | |
295 | } | |
296 | ||
297 | static int pkcs1pad_decrypt_complete(struct akcipher_request *req, int err) | |
298 | { | |
299 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
300 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
301 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
0cf43f50 | 302 | unsigned int dst_len; |
3d5b1ecd | 303 | unsigned int pos; |
0cf43f50 | 304 | u8 *out_buf; |
3d5b1ecd AZ |
305 | |
306 | if (err) | |
307 | goto done; | |
308 | ||
0cf43f50 HX |
309 | err = -EINVAL; |
310 | dst_len = req_ctx->child_req.dst_len; | |
311 | if (dst_len < ctx->key_size - 1) | |
3d5b1ecd | 312 | goto done; |
0cf43f50 HX |
313 | |
314 | out_buf = req_ctx->out_buf; | |
315 | if (dst_len == ctx->key_size) { | |
316 | if (out_buf[0] != 0x00) | |
317 | /* Decrypted value had no leading 0 byte */ | |
318 | goto done; | |
319 | ||
320 | dst_len--; | |
321 | out_buf++; | |
3d5b1ecd AZ |
322 | } |
323 | ||
0cf43f50 | 324 | if (out_buf[0] != 0x02) |
3d5b1ecd | 325 | goto done; |
0cf43f50 HX |
326 | |
327 | for (pos = 1; pos < dst_len; pos++) | |
328 | if (out_buf[pos] == 0x00) | |
3d5b1ecd | 329 | break; |
0cf43f50 | 330 | if (pos < 9 || pos == dst_len) |
3d5b1ecd | 331 | goto done; |
3d5b1ecd AZ |
332 | pos++; |
333 | ||
0cf43f50 HX |
334 | err = 0; |
335 | ||
336 | if (req->dst_len < dst_len - pos) | |
3d5b1ecd | 337 | err = -EOVERFLOW; |
0cf43f50 | 338 | req->dst_len = dst_len - pos; |
3d5b1ecd AZ |
339 | |
340 | if (!err) | |
341 | sg_copy_from_buffer(req->dst, | |
342 | sg_nents_for_len(req->dst, req->dst_len), | |
0cf43f50 | 343 | out_buf + pos, req->dst_len); |
3d5b1ecd AZ |
344 | |
345 | done: | |
453431a5 | 346 | kfree_sensitive(req_ctx->out_buf); |
3d5b1ecd AZ |
347 | |
348 | return err; | |
349 | } | |
350 | ||
255e48eb | 351 | static void pkcs1pad_decrypt_complete_cb(void *data, int err) |
3d5b1ecd | 352 | { |
255e48eb | 353 | struct akcipher_request *req = data; |
3d5b1ecd AZ |
354 | |
355 | if (err == -EINPROGRESS) | |
564cabc0 HX |
356 | goto out; |
357 | ||
358 | err = pkcs1pad_decrypt_complete(req, err); | |
3d5b1ecd | 359 | |
564cabc0 HX |
360 | out: |
361 | akcipher_request_complete(req, err); | |
3d5b1ecd AZ |
362 | } |
363 | ||
364 | static int pkcs1pad_decrypt(struct akcipher_request *req) | |
365 | { | |
366 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
367 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
368 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
369 | int err; | |
370 | ||
371 | if (!ctx->key_size || req->src_len != ctx->key_size) | |
372 | return -EINVAL; | |
373 | ||
3a32ce50 | 374 | req_ctx->out_buf = kmalloc(ctx->key_size, GFP_KERNEL); |
3d5b1ecd AZ |
375 | if (!req_ctx->out_buf) |
376 | return -ENOMEM; | |
377 | ||
378 | pkcs1pad_sg_set_buf(req_ctx->out_sg, req_ctx->out_buf, | |
6f0904ad | 379 | ctx->key_size, NULL); |
3d5b1ecd AZ |
380 | |
381 | akcipher_request_set_tfm(&req_ctx->child_req, ctx->child); | |
382 | akcipher_request_set_callback(&req_ctx->child_req, req->base.flags, | |
383 | pkcs1pad_decrypt_complete_cb, req); | |
384 | ||
d858b071 HX |
385 | /* Reuse input buffer, output to a new buffer */ |
386 | akcipher_request_set_crypt(&req_ctx->child_req, req->src, | |
387 | req_ctx->out_sg, req->src_len, | |
388 | ctx->key_size); | |
389 | ||
3d5b1ecd | 390 | err = crypto_akcipher_decrypt(&req_ctx->child_req); |
4e5b0ad5 | 391 | if (err != -EINPROGRESS && err != -EBUSY) |
3d5b1ecd AZ |
392 | return pkcs1pad_decrypt_complete(req, err); |
393 | ||
394 | return err; | |
395 | } | |
396 | ||
397 | static int pkcs1pad_sign(struct akcipher_request *req) | |
398 | { | |
399 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
400 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
401 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
c0d20d22 HX |
402 | struct akcipher_instance *inst = akcipher_alg_instance(tfm); |
403 | struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst); | |
404 | const struct rsa_asn1_template *digest_info = ictx->digest_info; | |
3d5b1ecd | 405 | int err; |
c2a28fdb | 406 | unsigned int ps_end, digest_info_size = 0; |
3d5b1ecd AZ |
407 | |
408 | if (!ctx->key_size) | |
409 | return -EINVAL; | |
410 | ||
b3a8c8a5 | 411 | if (digest_info) |
c2a28fdb | 412 | digest_info_size = digest_info->size; |
a49de377 | 413 | |
c2a28fdb | 414 | if (req->src_len + digest_info_size > ctx->key_size - 11) |
3d5b1ecd AZ |
415 | return -EOVERFLOW; |
416 | ||
417 | if (req->dst_len < ctx->key_size) { | |
418 | req->dst_len = ctx->key_size; | |
419 | return -EOVERFLOW; | |
420 | } | |
421 | ||
3d5b1ecd | 422 | req_ctx->in_buf = kmalloc(ctx->key_size - 1 - req->src_len, |
3a32ce50 | 423 | GFP_KERNEL); |
3d5b1ecd AZ |
424 | if (!req_ctx->in_buf) |
425 | return -ENOMEM; | |
426 | ||
c2a28fdb | 427 | ps_end = ctx->key_size - digest_info_size - req->src_len - 2; |
3d5b1ecd AZ |
428 | req_ctx->in_buf[0] = 0x01; |
429 | memset(req_ctx->in_buf + 1, 0xff, ps_end - 1); | |
430 | req_ctx->in_buf[ps_end] = 0x00; | |
431 | ||
b3a8c8a5 DK |
432 | if (digest_info) |
433 | memcpy(req_ctx->in_buf + ps_end + 1, digest_info->data, | |
434 | digest_info->size); | |
a49de377 | 435 | |
3d5b1ecd AZ |
436 | pkcs1pad_sg_set_buf(req_ctx->in_sg, req_ctx->in_buf, |
437 | ctx->key_size - 1 - req->src_len, req->src); | |
438 | ||
3d5b1ecd AZ |
439 | akcipher_request_set_tfm(&req_ctx->child_req, ctx->child); |
440 | akcipher_request_set_callback(&req_ctx->child_req, req->base.flags, | |
441 | pkcs1pad_encrypt_sign_complete_cb, req); | |
442 | ||
d858b071 HX |
443 | /* Reuse output buffer */ |
444 | akcipher_request_set_crypt(&req_ctx->child_req, req_ctx->in_sg, | |
445 | req->dst, ctx->key_size - 1, req->dst_len); | |
446 | ||
3ecc9725 | 447 | err = crypto_akcipher_decrypt(&req_ctx->child_req); |
4e5b0ad5 | 448 | if (err != -EINPROGRESS && err != -EBUSY) |
3d5b1ecd AZ |
449 | return pkcs1pad_encrypt_sign_complete(req, err); |
450 | ||
451 | return err; | |
452 | } | |
453 | ||
454 | static int pkcs1pad_verify_complete(struct akcipher_request *req, int err) | |
455 | { | |
456 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
457 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
458 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
c0d20d22 HX |
459 | struct akcipher_instance *inst = akcipher_alg_instance(tfm); |
460 | struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst); | |
461 | const struct rsa_asn1_template *digest_info = ictx->digest_info; | |
c2a28fdb EB |
462 | const unsigned int sig_size = req->src_len; |
463 | const unsigned int digest_size = req->dst_len; | |
27710b8e | 464 | unsigned int dst_len; |
3d5b1ecd | 465 | unsigned int pos; |
27710b8e | 466 | u8 *out_buf; |
3d5b1ecd AZ |
467 | |
468 | if (err) | |
469 | goto done; | |
470 | ||
27710b8e HX |
471 | err = -EINVAL; |
472 | dst_len = req_ctx->child_req.dst_len; | |
473 | if (dst_len < ctx->key_size - 1) | |
3d5b1ecd | 474 | goto done; |
27710b8e HX |
475 | |
476 | out_buf = req_ctx->out_buf; | |
477 | if (dst_len == ctx->key_size) { | |
478 | if (out_buf[0] != 0x00) | |
479 | /* Decrypted value had no leading 0 byte */ | |
480 | goto done; | |
481 | ||
482 | dst_len--; | |
483 | out_buf++; | |
3d5b1ecd AZ |
484 | } |
485 | ||
a49de377 | 486 | err = -EBADMSG; |
27710b8e | 487 | if (out_buf[0] != 0x01) |
3d5b1ecd | 488 | goto done; |
a49de377 | 489 | |
27710b8e HX |
490 | for (pos = 1; pos < dst_len; pos++) |
491 | if (out_buf[pos] != 0xff) | |
3d5b1ecd | 492 | break; |
a49de377 | 493 | |
27710b8e | 494 | if (pos < 9 || pos == dst_len || out_buf[pos] != 0x00) |
3d5b1ecd | 495 | goto done; |
3d5b1ecd AZ |
496 | pos++; |
497 | ||
b3a8c8a5 | 498 | if (digest_info) { |
a24611ea EB |
499 | if (digest_info->size > dst_len - pos) |
500 | goto done; | |
b3a8c8a5 DK |
501 | if (crypto_memneq(out_buf + pos, digest_info->data, |
502 | digest_info->size)) | |
503 | goto done; | |
a49de377 | 504 | |
b3a8c8a5 DK |
505 | pos += digest_info->size; |
506 | } | |
a49de377 TS |
507 | |
508 | err = 0; | |
509 | ||
c2a28fdb | 510 | if (digest_size != dst_len - pos) { |
c7381b01 VC |
511 | err = -EKEYREJECTED; |
512 | req->dst_len = dst_len - pos; | |
513 | goto done; | |
514 | } | |
515 | /* Extract appended digest. */ | |
516 | sg_pcopy_to_buffer(req->src, | |
c2a28fdb | 517 | sg_nents_for_len(req->src, sig_size + digest_size), |
c7381b01 | 518 | req_ctx->out_buf + ctx->key_size, |
c2a28fdb | 519 | digest_size, sig_size); |
c7381b01 VC |
520 | /* Do the actual verification step. */ |
521 | if (memcmp(req_ctx->out_buf + ctx->key_size, out_buf + pos, | |
c2a28fdb | 522 | digest_size) != 0) |
c7381b01 | 523 | err = -EKEYREJECTED; |
3d5b1ecd | 524 | done: |
453431a5 | 525 | kfree_sensitive(req_ctx->out_buf); |
3d5b1ecd AZ |
526 | |
527 | return err; | |
528 | } | |
529 | ||
255e48eb | 530 | static void pkcs1pad_verify_complete_cb(void *data, int err) |
3d5b1ecd | 531 | { |
255e48eb | 532 | struct akcipher_request *req = data; |
3d5b1ecd AZ |
533 | |
534 | if (err == -EINPROGRESS) | |
564cabc0 | 535 | goto out; |
3d5b1ecd | 536 | |
564cabc0 HX |
537 | err = pkcs1pad_verify_complete(req, err); |
538 | ||
539 | out: | |
540 | akcipher_request_complete(req, err); | |
3d5b1ecd AZ |
541 | } |
542 | ||
543 | /* | |
544 | * The verify operation is here for completeness similar to the verification | |
545 | * defined in RFC2313 section 10.2 except that block type 0 is not accepted, | |
546 | * as in RFC2437. RFC2437 section 9.2 doesn't define any operation to | |
547 | * retrieve the DigestInfo from a signature, instead the user is expected | |
548 | * to call the sign operation to generate the expected signature and compare | |
549 | * signatures instead of the message-digests. | |
550 | */ | |
551 | static int pkcs1pad_verify(struct akcipher_request *req) | |
552 | { | |
553 | struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req); | |
554 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
555 | struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req); | |
c2a28fdb EB |
556 | const unsigned int sig_size = req->src_len; |
557 | const unsigned int digest_size = req->dst_len; | |
3d5b1ecd AZ |
558 | int err; |
559 | ||
c2a28fdb EB |
560 | if (WARN_ON(req->dst) || WARN_ON(!digest_size) || |
561 | !ctx->key_size || sig_size != ctx->key_size) | |
3d5b1ecd AZ |
562 | return -EINVAL; |
563 | ||
c2a28fdb | 564 | req_ctx->out_buf = kmalloc(ctx->key_size + digest_size, GFP_KERNEL); |
3d5b1ecd AZ |
565 | if (!req_ctx->out_buf) |
566 | return -ENOMEM; | |
567 | ||
568 | pkcs1pad_sg_set_buf(req_ctx->out_sg, req_ctx->out_buf, | |
6f0904ad | 569 | ctx->key_size, NULL); |
3d5b1ecd AZ |
570 | |
571 | akcipher_request_set_tfm(&req_ctx->child_req, ctx->child); | |
572 | akcipher_request_set_callback(&req_ctx->child_req, req->base.flags, | |
573 | pkcs1pad_verify_complete_cb, req); | |
574 | ||
d858b071 HX |
575 | /* Reuse input buffer, output to a new buffer */ |
576 | akcipher_request_set_crypt(&req_ctx->child_req, req->src, | |
c2a28fdb | 577 | req_ctx->out_sg, sig_size, ctx->key_size); |
d858b071 | 578 | |
3ecc9725 | 579 | err = crypto_akcipher_encrypt(&req_ctx->child_req); |
4e5b0ad5 | 580 | if (err != -EINPROGRESS && err != -EBUSY) |
3d5b1ecd AZ |
581 | return pkcs1pad_verify_complete(req, err); |
582 | ||
583 | return err; | |
584 | } | |
585 | ||
586 | static int pkcs1pad_init_tfm(struct crypto_akcipher *tfm) | |
587 | { | |
588 | struct akcipher_instance *inst = akcipher_alg_instance(tfm); | |
a49de377 | 589 | struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst); |
3d5b1ecd AZ |
590 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); |
591 | struct crypto_akcipher *child_tfm; | |
592 | ||
c0d20d22 | 593 | child_tfm = crypto_spawn_akcipher(&ictx->spawn); |
3d5b1ecd AZ |
594 | if (IS_ERR(child_tfm)) |
595 | return PTR_ERR(child_tfm); | |
596 | ||
597 | ctx->child = child_tfm; | |
5b11d1a3 HX |
598 | |
599 | akcipher_set_reqsize(tfm, sizeof(struct pkcs1pad_request) + | |
600 | crypto_akcipher_reqsize(child_tfm)); | |
601 | ||
3d5b1ecd AZ |
602 | return 0; |
603 | } | |
604 | ||
605 | static void pkcs1pad_exit_tfm(struct crypto_akcipher *tfm) | |
606 | { | |
607 | struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm); | |
608 | ||
609 | crypto_free_akcipher(ctx->child); | |
610 | } | |
611 | ||
612 | static void pkcs1pad_free(struct akcipher_instance *inst) | |
613 | { | |
a49de377 TS |
614 | struct pkcs1pad_inst_ctx *ctx = akcipher_instance_ctx(inst); |
615 | struct crypto_akcipher_spawn *spawn = &ctx->spawn; | |
3d5b1ecd AZ |
616 | |
617 | crypto_drop_akcipher(spawn); | |
3d5b1ecd AZ |
618 | kfree(inst); |
619 | } | |
620 | ||
621 | static int pkcs1pad_create(struct crypto_template *tmpl, struct rtattr **tb) | |
622 | { | |
73bed26f | 623 | u32 mask; |
3d5b1ecd | 624 | struct akcipher_instance *inst; |
a49de377 | 625 | struct pkcs1pad_inst_ctx *ctx; |
3d5b1ecd | 626 | struct akcipher_alg *rsa_alg; |
a49de377 | 627 | const char *hash_name; |
3d5b1ecd AZ |
628 | int err; |
629 | ||
7bcb2c99 EB |
630 | err = crypto_check_attr_type(tb, CRYPTO_ALG_TYPE_AKCIPHER, &mask); |
631 | if (err) | |
632 | return err; | |
73bed26f | 633 | |
a49de377 | 634 | inst = kzalloc(sizeof(*inst) + sizeof(*ctx), GFP_KERNEL); |
3d5b1ecd AZ |
635 | if (!inst) |
636 | return -ENOMEM; | |
637 | ||
a49de377 | 638 | ctx = akcipher_instance_ctx(inst); |
a49de377 | 639 | |
0708bb43 EB |
640 | err = crypto_grab_akcipher(&ctx->spawn, akcipher_crypto_instance(inst), |
641 | crypto_attr_alg_name(tb[1]), 0, mask); | |
3d5b1ecd | 642 | if (err) |
0708bb43 | 643 | goto err_free_inst; |
3d5b1ecd | 644 | |
0708bb43 | 645 | rsa_alg = crypto_spawn_akcipher_alg(&ctx->spawn); |
3d5b1ecd | 646 | |
9b30430e EB |
647 | if (strcmp(rsa_alg->base.cra_name, "rsa") != 0) { |
648 | err = -EINVAL; | |
649 | goto err_free_inst; | |
650 | } | |
651 | ||
3d5b1ecd | 652 | err = -ENAMETOOLONG; |
0708bb43 EB |
653 | hash_name = crypto_attr_alg_name(tb[2]); |
654 | if (IS_ERR(hash_name)) { | |
b3a8c8a5 DK |
655 | if (snprintf(inst->alg.base.cra_name, |
656 | CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s)", | |
657 | rsa_alg->base.cra_name) >= CRYPTO_MAX_ALG_NAME) | |
0708bb43 | 658 | goto err_free_inst; |
b3a8c8a5 DK |
659 | |
660 | if (snprintf(inst->alg.base.cra_driver_name, | |
661 | CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s)", | |
662 | rsa_alg->base.cra_driver_name) >= | |
663 | CRYPTO_MAX_ALG_NAME) | |
0708bb43 | 664 | goto err_free_inst; |
b3a8c8a5 | 665 | } else { |
0708bb43 EB |
666 | ctx->digest_info = rsa_lookup_asn1(hash_name); |
667 | if (!ctx->digest_info) { | |
668 | err = -EINVAL; | |
669 | goto err_free_inst; | |
670 | } | |
671 | ||
b3a8c8a5 DK |
672 | if (snprintf(inst->alg.base.cra_name, CRYPTO_MAX_ALG_NAME, |
673 | "pkcs1pad(%s,%s)", rsa_alg->base.cra_name, | |
674 | hash_name) >= CRYPTO_MAX_ALG_NAME) | |
0708bb43 | 675 | goto err_free_inst; |
b3a8c8a5 DK |
676 | |
677 | if (snprintf(inst->alg.base.cra_driver_name, | |
678 | CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s,%s)", | |
679 | rsa_alg->base.cra_driver_name, | |
680 | hash_name) >= CRYPTO_MAX_ALG_NAME) | |
0708bb43 | 681 | goto err_free_inst; |
b3a8c8a5 | 682 | } |
3d5b1ecd | 683 | |
3d5b1ecd AZ |
684 | inst->alg.base.cra_priority = rsa_alg->base.cra_priority; |
685 | inst->alg.base.cra_ctxsize = sizeof(struct pkcs1pad_ctx); | |
686 | ||
687 | inst->alg.init = pkcs1pad_init_tfm; | |
688 | inst->alg.exit = pkcs1pad_exit_tfm; | |
689 | ||
690 | inst->alg.encrypt = pkcs1pad_encrypt; | |
691 | inst->alg.decrypt = pkcs1pad_decrypt; | |
692 | inst->alg.sign = pkcs1pad_sign; | |
693 | inst->alg.verify = pkcs1pad_verify; | |
694 | inst->alg.set_pub_key = pkcs1pad_set_pub_key; | |
695 | inst->alg.set_priv_key = pkcs1pad_set_priv_key; | |
696 | inst->alg.max_size = pkcs1pad_get_max_size; | |
3d5b1ecd AZ |
697 | |
698 | inst->free = pkcs1pad_free; | |
699 | ||
700 | err = akcipher_register_instance(tmpl, inst); | |
0708bb43 EB |
701 | if (err) { |
702 | err_free_inst: | |
703 | pkcs1pad_free(inst); | |
704 | } | |
3d5b1ecd AZ |
705 | return err; |
706 | } | |
707 | ||
708 | struct crypto_template rsa_pkcs1pad_tmpl = { | |
709 | .name = "pkcs1pad", | |
710 | .create = pkcs1pad_create, | |
711 | .module = THIS_MODULE, | |
712 | }; | |
f5fb88e5 HX |
713 | |
714 | MODULE_ALIAS_CRYPTO("pkcs1pad"); |