blob: 04b5e55ed95f5b3419ad23b6f5ad4984b451303e [file] [log] [blame]
Thomas Gleixnerb886d83c2019-06-01 10:08:55 +02001// SPDX-License-Identifier: GPL-2.0-only
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +03002/*
3 * Copyright (C) 2011 Nokia Corporation
4 * Copyright (C) 2011 Intel Corporation
5 *
6 * Author:
7 * Dmitry Kasatkin <dmitry.kasatkin@nokia.com>
8 * <dmitry.kasatkin@intel.com>
9 *
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030010 * File: sign.c
11 * implements signature (RSA) verification
12 * pkcs decoding is based on LibTomCrypt code
13 */
14
15#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
16
17#include <linux/err.h>
18#include <linux/module.h>
19#include <linux/slab.h>
20#include <linux/key.h>
21#include <linux/crypto.h>
22#include <crypto/hash.h>
Eric Biggersa24d22b2020-11-12 21:20:21 -080023#include <crypto/sha1.h>
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030024#include <keys/user-type.h>
25#include <linux/mpi.h>
26#include <linux/digsig.h>
27
28static struct crypto_shash *shash;
29
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020030static const char *pkcs_1_v1_5_decode_emsa(const unsigned char *msg,
31 unsigned long msglen,
32 unsigned long modulus_bitlen,
33 unsigned long *outlen)
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030034{
35 unsigned long modulus_len, ps_len, i;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030036
37 modulus_len = (modulus_bitlen >> 3) + (modulus_bitlen & 7 ? 1 : 0);
38
39 /* test message size */
40 if ((msglen > modulus_len) || (modulus_len < 11))
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020041 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030042
43 /* separate encoded message */
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020044 if (msg[0] != 0x00 || msg[1] != 0x01)
45 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030046
47 for (i = 2; i < modulus_len - 1; i++)
48 if (msg[i] != 0xFF)
49 break;
50
51 /* separator check */
Dmitry Kasatkinb35e2862012-01-26 19:13:26 +020052 if (msg[i] != 0)
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030053 /* There was no octet with hexadecimal value 0x00
54 to separate ps from m. */
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020055 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030056
57 ps_len = i - 2;
58
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030059 *outlen = (msglen - (2 + ps_len + 1));
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030060
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020061 return msg + 2 + ps_len + 1;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030062}
63
64/*
65 * RSA Signature verification with public key
66 */
67static int digsig_verify_rsa(struct key *key,
68 const char *sig, int siglen,
69 const char *h, int hlen)
70{
71 int err = -EINVAL;
72 unsigned long len;
73 unsigned long mlen, mblen;
74 unsigned nret, l;
Dmitry Kasatkinb35e2862012-01-26 19:13:26 +020075 int head, i;
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020076 unsigned char *out1 = NULL;
77 const char *m;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030078 MPI in = NULL, res = NULL, pkey[2];
David Howells146aa8b2015-10-21 14:04:48 +010079 uint8_t *p, *datap;
80 const uint8_t *endp;
81 const struct user_key_payload *ukp;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030082 struct pubkey_hdr *pkh;
83
84 down_read(&key->sem);
David Howells0837e492017-03-01 15:11:23 +000085 ukp = user_key_payload_locked(key);
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +020086
Eric Biggers192cabd2017-10-09 12:43:20 -070087 if (!ukp) {
88 /* key was revoked before we acquired its semaphore */
89 err = -EKEYREVOKED;
90 goto err1;
91 }
92
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +020093 if (ukp->datalen < sizeof(*pkh))
94 goto err1;
95
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030096 pkh = (struct pubkey_hdr *)ukp->data;
97
98 if (pkh->version != 1)
99 goto err1;
100
101 if (pkh->algo != PUBKEY_ALGO_RSA)
102 goto err1;
103
104 if (pkh->nmpi != 2)
105 goto err1;
106
107 datap = pkh->mpi;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200108 endp = ukp->data + ukp->datalen;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300109
110 for (i = 0; i < pkh->nmpi; i++) {
111 unsigned int remaining = endp - datap;
112 pkey[i] = mpi_read_from_buffer(datap, &remaining);
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200113 if (IS_ERR(pkey[i])) {
114 err = PTR_ERR(pkey[i]);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200115 goto err;
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200116 }
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300117 datap += remaining;
118 }
119
120 mblen = mpi_get_nbits(pkey[0]);
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200121 mlen = DIV_ROUND_UP(mblen, 8);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300122
Nicolai Stangec5ce7c62016-05-26 23:19:52 +0200123 if (mlen == 0) {
124 err = -EINVAL;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200125 goto err;
Nicolai Stangec5ce7c62016-05-26 23:19:52 +0200126 }
127
128 err = -ENOMEM;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300129
130 out1 = kzalloc(mlen, GFP_KERNEL);
131 if (!out1)
132 goto err;
133
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300134 nret = siglen;
135 in = mpi_read_from_buffer(sig, &nret);
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200136 if (IS_ERR(in)) {
137 err = PTR_ERR(in);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300138 goto err;
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200139 }
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300140
141 res = mpi_alloc(mpi_get_nlimbs(in) * 2);
142 if (!res)
143 goto err;
144
145 err = mpi_powm(res, in, pkey[1], pkey[0]);
146 if (err)
147 goto err;
148
149 if (mpi_get_nlimbs(res) * BYTES_PER_MPI_LIMB > mlen) {
150 err = -EINVAL;
151 goto err;
152 }
153
154 p = mpi_get_buffer(res, &l, NULL);
155 if (!p) {
156 err = -EINVAL;
157 goto err;
158 }
159
160 len = mlen;
161 head = len - l;
162 memset(out1, 0, head);
163 memcpy(out1 + head, p, l);
164
YOSHIFUJI Hideaki7810cc12013-01-25 16:54:20 +0200165 kfree(p);
166
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200167 m = pkcs_1_v1_5_decode_emsa(out1, len, mblen, &len);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300168
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200169 if (!m || len != hlen || memcmp(m, h, hlen))
Dmitry Kasatkinbc016372012-09-12 13:26:55 +0300170 err = -EINVAL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300171
172err:
173 mpi_free(in);
174 mpi_free(res);
175 kfree(out1);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200176 while (--i >= 0)
177 mpi_free(pkey[i]);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300178err1:
179 up_read(&key->sem);
180
181 return err;
182}
183
184/**
185 * digsig_verify() - digital signature verification with public key
186 * @keyring: keyring to search key in
187 * @sig: digital signature
Fabian Frederick54b14f42014-06-04 16:11:57 -0700188 * @siglen: length of the signature
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300189 * @data: data
190 * @datalen: length of the data
Fabian Frederick54b14f42014-06-04 16:11:57 -0700191 *
192 * Returns 0 on success, -EINVAL otherwise
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300193 *
194 * Verifies data integrity against digital signature.
195 * Currently only RSA is supported.
196 * Normally hash of the content is used as a data for this function.
197 *
198 */
199int digsig_verify(struct key *keyring, const char *sig, int siglen,
200 const char *data, int datalen)
201{
202 int err = -ENOMEM;
203 struct signature_hdr *sh = (struct signature_hdr *)sig;
204 struct shash_desc *desc = NULL;
205 unsigned char hash[SHA1_DIGEST_SIZE];
206 struct key *key;
207 char name[20];
208
209 if (siglen < sizeof(*sh) + 2)
210 return -EINVAL;
211
212 if (sh->algo != PUBKEY_ALGO_RSA)
213 return -ENOTSUPP;
214
215 sprintf(name, "%llX", __be64_to_cpup((uint64_t *)sh->keyid));
216
217 if (keyring) {
218 /* search in specific keyring */
219 key_ref_t kref;
220 kref = keyring_search(make_key_ref(keyring, 1UL),
David Howellsdcf49db2019-06-26 21:02:32 +0100221 &key_type_user, name, true);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300222 if (IS_ERR(kref))
Duan Jiongff6092a2013-11-12 15:09:51 -0800223 key = ERR_CAST(kref);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300224 else
225 key = key_ref_to_ptr(kref);
226 } else {
Linus Torvalds028db3e2019-07-10 18:43:43 -0700227 key = request_key(&key_type_user, name, NULL);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300228 }
229 if (IS_ERR(key)) {
230 pr_err("key not found, id: %s\n", name);
231 return PTR_ERR(key);
232 }
233
234 desc = kzalloc(sizeof(*desc) + crypto_shash_descsize(shash),
235 GFP_KERNEL);
236 if (!desc)
237 goto err;
238
239 desc->tfm = shash;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300240
241 crypto_shash_init(desc);
242 crypto_shash_update(desc, data, datalen);
243 crypto_shash_update(desc, sig, sizeof(*sh));
244 crypto_shash_final(desc, hash);
245
246 kfree(desc);
247
248 /* pass signature mpis address */
249 err = digsig_verify_rsa(key, sig + sizeof(*sh), siglen - sizeof(*sh),
250 hash, sizeof(hash));
251
252err:
253 key_put(key);
254
255 return err ? -EINVAL : 0;
256}
257EXPORT_SYMBOL_GPL(digsig_verify);
258
259static int __init digsig_init(void)
260{
261 shash = crypto_alloc_shash("sha1", 0, 0);
262 if (IS_ERR(shash)) {
263 pr_err("shash allocation failed\n");
264 return PTR_ERR(shash);
265 }
266
267 return 0;
268
269}
270
271static void __exit digsig_cleanup(void)
272{
273 crypto_free_shash(shash);
274}
275
276module_init(digsig_init);
277module_exit(digsig_cleanup);
278
279MODULE_LICENSE("GPL");