blob: 0103c5b9b80294ea793df46163789bf7745ec2b9 [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];
82 uint8_t *p, *datap, *endp;
83 struct user_key_payload *ukp;
84 struct pubkey_hdr *pkh;
85
86 down_read(&key->sem);
87 ukp = key->payload.data;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +020088
89 if (ukp->datalen < sizeof(*pkh))
90 goto err1;
91
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +030092 pkh = (struct pubkey_hdr *)ukp->data;
93
94 if (pkh->version != 1)
95 goto err1;
96
97 if (pkh->algo != PUBKEY_ALGO_RSA)
98 goto err1;
99
100 if (pkh->nmpi != 2)
101 goto err1;
102
103 datap = pkh->mpi;
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200104 endp = ukp->data + ukp->datalen;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300105
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200106 err = -ENOMEM;
107
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300108 for (i = 0; i < pkh->nmpi; i++) {
109 unsigned int remaining = endp - datap;
110 pkey[i] = mpi_read_from_buffer(datap, &remaining);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200111 if (!pkey[i])
112 goto err;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300113 datap += remaining;
114 }
115
116 mblen = mpi_get_nbits(pkey[0]);
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200117 mlen = DIV_ROUND_UP(mblen, 8);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300118
Dmitry Kasatkinf58a0812012-01-26 19:13:25 +0200119 if (mlen == 0)
120 goto err;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300121
122 out1 = kzalloc(mlen, GFP_KERNEL);
123 if (!out1)
124 goto err;
125
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300126 nret = siglen;
127 in = mpi_read_from_buffer(sig, &nret);
128 if (!in)
129 goto err;
130
131 res = mpi_alloc(mpi_get_nlimbs(in) * 2);
132 if (!res)
133 goto err;
134
135 err = mpi_powm(res, in, pkey[1], pkey[0]);
136 if (err)
137 goto err;
138
139 if (mpi_get_nlimbs(res) * BYTES_PER_MPI_LIMB > mlen) {
140 err = -EINVAL;
141 goto err;
142 }
143
144 p = mpi_get_buffer(res, &l, NULL);
145 if (!p) {
146 err = -EINVAL;
147 goto err;
148 }
149
150 len = mlen;
151 head = len - l;
152 memset(out1, 0, head);
153 memcpy(out1 + head, p, l);
154
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200155 m = pkcs_1_v1_5_decode_emsa(out1, len, mblen, &len);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300156
Dmitry Kasatkin26d43842013-01-30 11:30:05 +0200157 if (!m || len != hlen || memcmp(m, h, hlen))
Dmitry Kasatkinbc016372012-09-12 13:26:55 +0300158 err = -EINVAL;
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300159
160err:
161 mpi_free(in);
162 mpi_free(res);
163 kfree(out1);
Dmitry Kasatkin86f8bed2012-01-26 19:13:24 +0200164 while (--i >= 0)
165 mpi_free(pkey[i]);
Dmitry Kasatkin051dbb92011-10-14 15:25:16 +0300166err1:
167 up_read(&key->sem);
168
169 return err;
170}
171
172/**
173 * digsig_verify() - digital signature verification with public key
174 * @keyring: keyring to search key in
175 * @sig: digital signature
176 * @sigen: length of the signature
177 * @data: data
178 * @datalen: length of the data
179 * @return: 0 on success, -EINVAL otherwise
180 *
181 * Verifies data integrity against digital signature.
182 * Currently only RSA is supported.
183 * Normally hash of the content is used as a data for this function.
184 *
185 */
186int digsig_verify(struct key *keyring, const char *sig, int siglen,
187 const char *data, int datalen)
188{
189 int err = -ENOMEM;
190 struct signature_hdr *sh = (struct signature_hdr *)sig;
191 struct shash_desc *desc = NULL;
192 unsigned char hash[SHA1_DIGEST_SIZE];
193 struct key *key;
194 char name[20];
195
196 if (siglen < sizeof(*sh) + 2)
197 return -EINVAL;
198
199 if (sh->algo != PUBKEY_ALGO_RSA)
200 return -ENOTSUPP;
201
202 sprintf(name, "%llX", __be64_to_cpup((uint64_t *)sh->keyid));
203
204 if (keyring) {
205 /* search in specific keyring */
206 key_ref_t kref;
207 kref = keyring_search(make_key_ref(keyring, 1UL),
208 &key_type_user, name);
209 if (IS_ERR(kref))
210 key = ERR_PTR(PTR_ERR(kref));
211 else
212 key = key_ref_to_ptr(kref);
213 } else {
214 key = request_key(&key_type_user, name, NULL);
215 }
216 if (IS_ERR(key)) {
217 pr_err("key not found, id: %s\n", name);
218 return PTR_ERR(key);
219 }
220
221 desc = kzalloc(sizeof(*desc) + crypto_shash_descsize(shash),
222 GFP_KERNEL);
223 if (!desc)
224 goto err;
225
226 desc->tfm = shash;
227 desc->flags = CRYPTO_TFM_REQ_MAY_SLEEP;
228
229 crypto_shash_init(desc);
230 crypto_shash_update(desc, data, datalen);
231 crypto_shash_update(desc, sig, sizeof(*sh));
232 crypto_shash_final(desc, hash);
233
234 kfree(desc);
235
236 /* pass signature mpis address */
237 err = digsig_verify_rsa(key, sig + sizeof(*sh), siglen - sizeof(*sh),
238 hash, sizeof(hash));
239
240err:
241 key_put(key);
242
243 return err ? -EINVAL : 0;
244}
245EXPORT_SYMBOL_GPL(digsig_verify);
246
247static int __init digsig_init(void)
248{
249 shash = crypto_alloc_shash("sha1", 0, 0);
250 if (IS_ERR(shash)) {
251 pr_err("shash allocation failed\n");
252 return PTR_ERR(shash);
253 }
254
255 return 0;
256
257}
258
259static void __exit digsig_cleanup(void)
260{
261 crypto_free_shash(shash);
262}
263
264module_init(digsig_init);
265module_exit(digsig_cleanup);
266
267MODULE_LICENSE("GPL");