blob: 3b0a579bdcdf8c9ea15abae32df8be3ae69cd4cc [file] [log] [blame]
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +03001/*
2 * Copyright (C) 2011 Nokia Corporation
3 * Copyright (C) 2011 Intel Corporation
4 *
5 * Author:
6 * Dmitry Kasatkin <dmitry.kasatkin@nokia.com>
7 * <dmitry.kasatkin@intel.com>
8 *
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License as published by
11 * the Free Software Foundation, version 2 of the License.
12 *
13 * File: sign.c
14 * implements signature (RSA) verification
15 * pkcs decoding is based on LibTomCrypt code
16 */
17
18#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
19
20#include <linux/err.h>
21#include <linux/module.h>
22#include <linux/slab.h>
23#include <linux/key.h>
24#include <linux/crypto.h>
25#include <crypto/hash.h>
26#include <crypto/sha.h>
27#include <keys/user-type.h>
28#include <linux/mpi.h>
29#include <linux/digsig.h>
30
31static struct crypto_shash *shash;
32
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020033static const char *pkcs_1_v1_5_decode_emsa(const unsigned char *msg,
34 unsigned long msglen,
35 unsigned long modulus_bitlen,
36 unsigned long *outlen)
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030037{
38 unsigned long modulus_len, ps_len, i;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030039
40 modulus_len = (modulus_bitlen >> 3) + (modulus_bitlen & 7 ? 1 : 0);
41
42 /* test message size */
43 if ((msglen > modulus_len) || (modulus_len < 11))
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020044 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030045
46 /* separate encoded message */
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020047 if (msg[0] != 0x00 || msg[1] != 0x01)
48 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030049
50 for (i = 2; i < modulus_len - 1; i++)
51 if (msg[i] != 0xFF)
52 break;
53
54 /* separator check */
Dmitry Kasatkinb35e2862012-01-26 19:13:26 +020055 if (msg[i] != 0)
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030056 /* There was no octet with hexadecimal value 0x00
57 to separate ps from m. */
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020058 return NULL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030059
60 ps_len = i - 2;
61
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030062 *outlen = (msglen - (2 + ps_len + 1));
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030063
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020064 return msg + 2 + ps_len + 1;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030065}
66
67/*
68 * RSA Signature verification with public key
69 */
70static int digsig_verify_rsa(struct key *key,
71 const char *sig, int siglen,
72 const char *h, int hlen)
73{
74 int err = -EINVAL;
75 unsigned long len;
76 unsigned long mlen, mblen;
77 unsigned nret, l;
Dmitry Kasatkinb35e2862012-01-26 19:13:26 +020078 int head, i;
Dmitry Kasatkin26d43842013-01-30 11:30:05 +020079 unsigned char *out1 = NULL;
80 const char *m;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030081 MPI in = NULL, res = NULL, pkey[2];
David Howells146aa8b2015-10-21 14:04:48 +010082 uint8_t *p, *datap;
83 const uint8_t *endp;
84 const struct user_key_payload *ukp;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030085 struct pubkey_hdr *pkh;
86
87 down_read(&key->sem);
David Howells0837e492017-03-01 15:11:23 +000088 ukp = user_key_payload_locked(key);
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +020089
Eric Biggers192cabd2017-10-09 12:43:20 -070090 if (!ukp) {
91 /* key was revoked before we acquired its semaphore */
92 err = -EKEYREVOKED;
93 goto err1;
94 }
95
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +020096 if (ukp->datalen < sizeof(*pkh))
97 goto err1;
98
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030099 pkh = (struct pubkey_hdr *)ukp->data;
100
101 if (pkh->version != 1)
102 goto err1;
103
104 if (pkh->algo != PUBKEY_ALGO_RSA)
105 goto err1;
106
107 if (pkh->nmpi != 2)
108 goto err1;
109
110 datap = pkh->mpi;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200111 endp = ukp->data + ukp->datalen;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300112
113 for (i = 0; i < pkh->nmpi; i++) {
114 unsigned int remaining = endp - datap;
115 pkey[i] = mpi_read_from_buffer(datap, &remaining);
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200116 if (IS_ERR(pkey[i])) {
117 err = PTR_ERR(pkey[i]);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200118 goto err;
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200119 }
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300120 datap += remaining;
121 }
122
123 mblen = mpi_get_nbits(pkey[0]);
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200124 mlen = DIV_ROUND_UP(mblen, 8);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300125
Nicolai Stangec5ce7c62016-05-26 23:19:52 +0200126 if (mlen == 0) {
127 err = -EINVAL;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200128 goto err;
Nicolai Stangec5ce7c62016-05-26 23:19:52 +0200129 }
130
131 err = -ENOMEM;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300132
133 out1 = kzalloc(mlen, GFP_KERNEL);
134 if (!out1)
135 goto err;
136
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300137 nret = siglen;
138 in = mpi_read_from_buffer(sig, &nret);
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200139 if (IS_ERR(in)) {
140 err = PTR_ERR(in);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300141 goto err;
Nicolai Stange03cdfaa2016-05-26 23:19:51 +0200142 }
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300143
144 res = mpi_alloc(mpi_get_nlimbs(in) * 2);
145 if (!res)
146 goto err;
147
148 err = mpi_powm(res, in, pkey[1], pkey[0]);
149 if (err)
150 goto err;
151
152 if (mpi_get_nlimbs(res) * BYTES_PER_MPI_LIMB > mlen) {
153 err = -EINVAL;
154 goto err;
155 }
156
157 p = mpi_get_buffer(res, &l, NULL);
158 if (!p) {
159 err = -EINVAL;
160 goto err;
161 }
162
163 len = mlen;
164 head = len - l;
165 memset(out1, 0, head);
166 memcpy(out1 + head, p, l);
167
YOSHIFUJI Hideaki7810cc12013-01-25 16:54:20 +0200168 kfree(p);
169
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200170 m = pkcs_1_v1_5_decode_emsa(out1, len, mblen, &len);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300171
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200172 if (!m || len != hlen || memcmp(m, h, hlen))
Dmitry Kasatkinbc016372012-09-12 13:26:55 +0300173 err = -EINVAL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300174
175err:
176 mpi_free(in);
177 mpi_free(res);
178 kfree(out1);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200179 while (--i >= 0)
180 mpi_free(pkey[i]);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300181err1:
182 up_read(&key->sem);
183
184 return err;
185}
186
187/**
188 * digsig_verify() - digital signature verification with public key
189 * @keyring: keyring to search key in
190 * @sig: digital signature
Fabian Frederick54b14f42014-06-04 16:11:57 -0700191 * @siglen: length of the signature
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300192 * @data: data
193 * @datalen: length of the data
Fabian Frederick54b14f42014-06-04 16:11:57 -0700194 *
195 * Returns 0 on success, -EINVAL otherwise
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300196 *
197 * Verifies data integrity against digital signature.
198 * Currently only RSA is supported.
199 * Normally hash of the content is used as a data for this function.
200 *
201 */
202int digsig_verify(struct key *keyring, const char *sig, int siglen,
203 const char *data, int datalen)
204{
205 int err = -ENOMEM;
206 struct signature_hdr *sh = (struct signature_hdr *)sig;
207 struct shash_desc *desc = NULL;
208 unsigned char hash[SHA1_DIGEST_SIZE];
209 struct key *key;
210 char name[20];
211
212 if (siglen < sizeof(*sh) + 2)
213 return -EINVAL;
214
215 if (sh->algo != PUBKEY_ALGO_RSA)
216 return -ENOTSUPP;
217
218 sprintf(name, "%llX", __be64_to_cpup((uint64_t *)sh->keyid));
219
220 if (keyring) {
221 /* search in specific keyring */
222 key_ref_t kref;
223 kref = keyring_search(make_key_ref(keyring, 1UL),
224 &key_type_user, name);
225 if (IS_ERR(kref))
Duan Jiongff6092a2013-11-12 15:09:51 -0800226 key = ERR_CAST(kref);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300227 else
228 key = key_ref_to_ptr(kref);
229 } else {
230 key = request_key(&key_type_user, name, NULL);
231 }
232 if (IS_ERR(key)) {
233 pr_err("key not found, id: %s\n", name);
234 return PTR_ERR(key);
235 }
236
237 desc = kzalloc(sizeof(*desc) + crypto_shash_descsize(shash),
238 GFP_KERNEL);
239 if (!desc)
240 goto err;
241
242 desc->tfm = shash;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300243
244 crypto_shash_init(desc);
245 crypto_shash_update(desc, data, datalen);
246 crypto_shash_update(desc, sig, sizeof(*sh));
247 crypto_shash_final(desc, hash);
248
249 kfree(desc);
250
251 /* pass signature mpis address */
252 err = digsig_verify_rsa(key, sig + sizeof(*sh), siglen - sizeof(*sh),
253 hash, sizeof(hash));
254
255err:
256 key_put(key);
257
258 return err ? -EINVAL : 0;
259}
260EXPORT_SYMBOL_GPL(digsig_verify);
261
262static int __init digsig_init(void)
263{
264 shash = crypto_alloc_shash("sha1", 0, 0);
265 if (IS_ERR(shash)) {
266 pr_err("shash allocation failed\n");
267 return PTR_ERR(shash);
268 }
269
270 return 0;
271
272}
273
274static void __exit digsig_cleanup(void)
275{
276 crypto_free_shash(shash);
277}
278
279module_init(digsig_init);
280module_exit(digsig_cleanup);
281
282MODULE_LICENSE("GPL");