Blame view

lib/digsig.c 5.59 KB
051dbb918   Dmitry Kasatkin   crypto: digital s...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  /*
   * Copyright (C) 2011 Nokia Corporation
   * Copyright (C) 2011 Intel Corporation
   *
   * Author:
   * Dmitry Kasatkin <dmitry.kasatkin@nokia.com>
   *                 <dmitry.kasatkin@intel.com>
   *
   * This program is free software; you can redistribute it and/or modify
   * it under the terms of the GNU General Public License as published by
   * the Free Software Foundation, version 2 of the License.
   *
   * File: sign.c
   *	implements signature (RSA) verification
   *	pkcs decoding is based on LibTomCrypt code
   */
  
  #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  
  #include <linux/err.h>
  #include <linux/module.h>
  #include <linux/slab.h>
  #include <linux/key.h>
  #include <linux/crypto.h>
  #include <crypto/hash.h>
  #include <crypto/sha.h>
  #include <keys/user-type.h>
  #include <linux/mpi.h>
  #include <linux/digsig.h>
  
  static struct crypto_shash *shash;
26d438457   Dmitry Kasatkin   digsig: remove un...
32
33
34
35
  static const char *pkcs_1_v1_5_decode_emsa(const unsigned char *msg,
  						unsigned long  msglen,
  						unsigned long  modulus_bitlen,
  						unsigned long *outlen)
051dbb918   Dmitry Kasatkin   crypto: digital s...
36
37
  {
  	unsigned long modulus_len, ps_len, i;
051dbb918   Dmitry Kasatkin   crypto: digital s...
38
39
40
41
42
  
  	modulus_len = (modulus_bitlen >> 3) + (modulus_bitlen & 7 ? 1 : 0);
  
  	/* test message size */
  	if ((msglen > modulus_len) || (modulus_len < 11))
26d438457   Dmitry Kasatkin   digsig: remove un...
43
  		return NULL;
051dbb918   Dmitry Kasatkin   crypto: digital s...
44
45
  
  	/* separate encoded message */
26d438457   Dmitry Kasatkin   digsig: remove un...
46
47
  	if (msg[0] != 0x00 || msg[1] != 0x01)
  		return NULL;
051dbb918   Dmitry Kasatkin   crypto: digital s...
48
49
50
51
52
53
  
  	for (i = 2; i < modulus_len - 1; i++)
  		if (msg[i] != 0xFF)
  			break;
  
  	/* separator check */
b35e286a6   Dmitry Kasatkin   lib/digsig: pkcs_...
54
  	if (msg[i] != 0)
051dbb918   Dmitry Kasatkin   crypto: digital s...
55
56
  		/* There was no octet with hexadecimal value 0x00
  		to separate ps from m. */
26d438457   Dmitry Kasatkin   digsig: remove un...
57
  		return NULL;
051dbb918   Dmitry Kasatkin   crypto: digital s...
58
59
  
  	ps_len = i - 2;
051dbb918   Dmitry Kasatkin   crypto: digital s...
60
  	*outlen = (msglen - (2 + ps_len + 1));
051dbb918   Dmitry Kasatkin   crypto: digital s...
61

26d438457   Dmitry Kasatkin   digsig: remove un...
62
  	return msg + 2 + ps_len + 1;
051dbb918   Dmitry Kasatkin   crypto: digital s...
63
64
65
66
67
68
69
70
71
72
73
74
75
  }
  
  /*
   * RSA Signature verification with public key
   */
  static int digsig_verify_rsa(struct key *key,
  		    const char *sig, int siglen,
  		       const char *h, int hlen)
  {
  	int err = -EINVAL;
  	unsigned long len;
  	unsigned long mlen, mblen;
  	unsigned nret, l;
b35e286a6   Dmitry Kasatkin   lib/digsig: pkcs_...
76
  	int head, i;
26d438457   Dmitry Kasatkin   digsig: remove un...
77
78
  	unsigned char *out1 = NULL;
  	const char *m;
051dbb918   Dmitry Kasatkin   crypto: digital s...
79
  	MPI in = NULL, res = NULL, pkey[2];
146aa8b14   David Howells   KEYS: Merge the t...
80
81
82
  	uint8_t *p, *datap;
  	const uint8_t *endp;
  	const struct user_key_payload *ukp;
051dbb918   Dmitry Kasatkin   crypto: digital s...
83
84
85
  	struct pubkey_hdr *pkh;
  
  	down_read(&key->sem);
146aa8b14   David Howells   KEYS: Merge the t...
86
  	ukp = user_key_payload(key);
f58a08152   Dmitry Kasatkin   lib/digsig: addit...
87
88
89
  
  	if (ukp->datalen < sizeof(*pkh))
  		goto err1;
051dbb918   Dmitry Kasatkin   crypto: digital s...
90
91
92
93
94
95
96
97
98
99
100
101
  	pkh = (struct pubkey_hdr *)ukp->data;
  
  	if (pkh->version != 1)
  		goto err1;
  
  	if (pkh->algo != PUBKEY_ALGO_RSA)
  		goto err1;
  
  	if (pkh->nmpi != 2)
  		goto err1;
  
  	datap = pkh->mpi;
f58a08152   Dmitry Kasatkin   lib/digsig: addit...
102
  	endp = ukp->data + ukp->datalen;
051dbb918   Dmitry Kasatkin   crypto: digital s...
103
104
105
106
  
  	for (i = 0; i < pkh->nmpi; i++) {
  		unsigned int remaining = endp - datap;
  		pkey[i] = mpi_read_from_buffer(datap, &remaining);
03cdfaad4   Nicolai Stange   lib/mpi: mpi_read...
107
108
  		if (IS_ERR(pkey[i])) {
  			err = PTR_ERR(pkey[i]);
86f8bedc9   Dmitry Kasatkin   lib/digsig: check...
109
  			goto err;
03cdfaad4   Nicolai Stange   lib/mpi: mpi_read...
110
  		}
051dbb918   Dmitry Kasatkin   crypto: digital s...
111
112
113
114
  		datap += remaining;
  	}
  
  	mblen = mpi_get_nbits(pkey[0]);
26d438457   Dmitry Kasatkin   digsig: remove un...
115
  	mlen = DIV_ROUND_UP(mblen, 8);
051dbb918   Dmitry Kasatkin   crypto: digital s...
116

c5ce7c697   Nicolai Stange   lib/digsig: digsi...
117
118
  	if (mlen == 0) {
  		err = -EINVAL;
f58a08152   Dmitry Kasatkin   lib/digsig: addit...
119
  		goto err;
c5ce7c697   Nicolai Stange   lib/digsig: digsi...
120
121
122
  	}
  
  	err = -ENOMEM;
051dbb918   Dmitry Kasatkin   crypto: digital s...
123
124
125
126
  
  	out1 = kzalloc(mlen, GFP_KERNEL);
  	if (!out1)
  		goto err;
051dbb918   Dmitry Kasatkin   crypto: digital s...
127
128
  	nret = siglen;
  	in = mpi_read_from_buffer(sig, &nret);
03cdfaad4   Nicolai Stange   lib/mpi: mpi_read...
129
130
  	if (IS_ERR(in)) {
  		err = PTR_ERR(in);
051dbb918   Dmitry Kasatkin   crypto: digital s...
131
  		goto err;
03cdfaad4   Nicolai Stange   lib/mpi: mpi_read...
132
  	}
051dbb918   Dmitry Kasatkin   crypto: digital s...
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
  
  	res = mpi_alloc(mpi_get_nlimbs(in) * 2);
  	if (!res)
  		goto err;
  
  	err = mpi_powm(res, in, pkey[1], pkey[0]);
  	if (err)
  		goto err;
  
  	if (mpi_get_nlimbs(res) * BYTES_PER_MPI_LIMB > mlen) {
  		err = -EINVAL;
  		goto err;
  	}
  
  	p = mpi_get_buffer(res, &l, NULL);
  	if (!p) {
  		err = -EINVAL;
  		goto err;
  	}
  
  	len = mlen;
  	head = len - l;
  	memset(out1, 0, head);
  	memcpy(out1 + head, p, l);
7810cc1e7   YOSHIFUJI Hideaki   digsig: Fix memor...
157
  	kfree(p);
26d438457   Dmitry Kasatkin   digsig: remove un...
158
  	m = pkcs_1_v1_5_decode_emsa(out1, len, mblen, &len);
051dbb918   Dmitry Kasatkin   crypto: digital s...
159

26d438457   Dmitry Kasatkin   digsig: remove un...
160
  	if (!m || len != hlen || memcmp(m, h, hlen))
bc01637a8   Dmitry Kasatkin   digsig: add hash ...
161
  		err = -EINVAL;
051dbb918   Dmitry Kasatkin   crypto: digital s...
162
163
164
165
166
  
  err:
  	mpi_free(in);
  	mpi_free(res);
  	kfree(out1);
86f8bedc9   Dmitry Kasatkin   lib/digsig: check...
167
168
  	while (--i >= 0)
  		mpi_free(pkey[i]);
051dbb918   Dmitry Kasatkin   crypto: digital s...
169
170
171
172
173
174
175
176
177
178
  err1:
  	up_read(&key->sem);
  
  	return err;
  }
  
  /**
   * digsig_verify() - digital signature verification with public key
   * @keyring:	keyring to search key in
   * @sig:	digital signature
54b14f40c   Fabian Frederick   lib/digsig.c: ker...
179
   * @siglen:	length of the signature
051dbb918   Dmitry Kasatkin   crypto: digital s...
180
181
   * @data:	data
   * @datalen:	length of the data
54b14f40c   Fabian Frederick   lib/digsig.c: ker...
182
183
   *
   * Returns 0 on success, -EINVAL otherwise
051dbb918   Dmitry Kasatkin   crypto: digital s...
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
   *
   * Verifies data integrity against digital signature.
   * Currently only RSA is supported.
   * Normally hash of the content is used as a data for this function.
   *
   */
  int digsig_verify(struct key *keyring, const char *sig, int siglen,
  						const char *data, int datalen)
  {
  	int err = -ENOMEM;
  	struct signature_hdr *sh = (struct signature_hdr *)sig;
  	struct shash_desc *desc = NULL;
  	unsigned char hash[SHA1_DIGEST_SIZE];
  	struct key *key;
  	char name[20];
  
  	if (siglen < sizeof(*sh) + 2)
  		return -EINVAL;
  
  	if (sh->algo != PUBKEY_ALGO_RSA)
  		return -ENOTSUPP;
  
  	sprintf(name, "%llX", __be64_to_cpup((uint64_t *)sh->keyid));
  
  	if (keyring) {
  		/* search in specific keyring */
  		key_ref_t kref;
  		kref = keyring_search(make_key_ref(keyring, 1UL),
  						&key_type_user, name);
  		if (IS_ERR(kref))
ff6092a8a   Duan Jiong   lib/digsig.c: use...
214
  			key = ERR_CAST(kref);
051dbb918   Dmitry Kasatkin   crypto: digital s...
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
  		else
  			key = key_ref_to_ptr(kref);
  	} else {
  		key = request_key(&key_type_user, name, NULL);
  	}
  	if (IS_ERR(key)) {
  		pr_err("key not found, id: %s
  ", name);
  		return PTR_ERR(key);
  	}
  
  	desc = kzalloc(sizeof(*desc) + crypto_shash_descsize(shash),
  		       GFP_KERNEL);
  	if (!desc)
  		goto err;
  
  	desc->tfm = shash;
  	desc->flags = CRYPTO_TFM_REQ_MAY_SLEEP;
  
  	crypto_shash_init(desc);
  	crypto_shash_update(desc, data, datalen);
  	crypto_shash_update(desc, sig, sizeof(*sh));
  	crypto_shash_final(desc, hash);
  
  	kfree(desc);
  
  	/* pass signature mpis address */
  	err = digsig_verify_rsa(key, sig + sizeof(*sh), siglen - sizeof(*sh),
  			     hash, sizeof(hash));
  
  err:
  	key_put(key);
  
  	return err ? -EINVAL : 0;
  }
  EXPORT_SYMBOL_GPL(digsig_verify);
  
  static int __init digsig_init(void)
  {
  	shash = crypto_alloc_shash("sha1", 0, 0);
  	if (IS_ERR(shash)) {
  		pr_err("shash allocation failed
  ");
  		return  PTR_ERR(shash);
  	}
  
  	return 0;
  
  }
  
  static void __exit digsig_cleanup(void)
  {
  	crypto_free_shash(shash);
  }
  
  module_init(digsig_init);
  module_exit(digsig_cleanup);
  
  MODULE_LICENSE("GPL");