xref: /dflybsd-src/contrib/wpa_supplicant/src/tls/pkcs1.c (revision 3a84a4273475ed07d0ab1c2dfeffdfedef35d9cd)
13ff40c12SJohn Marino /*
23ff40c12SJohn Marino  * PKCS #1 (RSA Encryption)
3*a1157835SDaniel Fojt  * Copyright (c) 2006-2014, Jouni Malinen <j@w1.fi>
43ff40c12SJohn Marino  *
53ff40c12SJohn Marino  * This software may be distributed under the terms of the BSD license.
63ff40c12SJohn Marino  * See README for more details.
73ff40c12SJohn Marino  */
83ff40c12SJohn Marino 
93ff40c12SJohn Marino #include "includes.h"
103ff40c12SJohn Marino 
113ff40c12SJohn Marino #include "common.h"
12*a1157835SDaniel Fojt #include "crypto/crypto.h"
133ff40c12SJohn Marino #include "rsa.h"
14*a1157835SDaniel Fojt #include "asn1.h"
153ff40c12SJohn Marino #include "pkcs1.h"
163ff40c12SJohn Marino 
173ff40c12SJohn Marino 
pkcs1_generate_encryption_block(u8 block_type,size_t modlen,const u8 * in,size_t inlen,u8 * out,size_t * outlen)183ff40c12SJohn Marino static int pkcs1_generate_encryption_block(u8 block_type, size_t modlen,
193ff40c12SJohn Marino 					   const u8 *in, size_t inlen,
203ff40c12SJohn Marino 					   u8 *out, size_t *outlen)
213ff40c12SJohn Marino {
223ff40c12SJohn Marino 	size_t ps_len;
233ff40c12SJohn Marino 	u8 *pos;
243ff40c12SJohn Marino 
253ff40c12SJohn Marino 	/*
263ff40c12SJohn Marino 	 * PKCS #1 v1.5, 8.1:
273ff40c12SJohn Marino 	 *
283ff40c12SJohn Marino 	 * EB = 00 || BT || PS || 00 || D
293ff40c12SJohn Marino 	 * BT = 00 or 01 for private-key operation; 02 for public-key operation
303ff40c12SJohn Marino 	 * PS = k-3-||D||; at least eight octets
313ff40c12SJohn Marino 	 * (BT=0: PS=0x00, BT=1: PS=0xff, BT=2: PS=pseudorandom non-zero)
323ff40c12SJohn Marino 	 * k = length of modulus in octets (modlen)
333ff40c12SJohn Marino 	 */
343ff40c12SJohn Marino 
353ff40c12SJohn Marino 	if (modlen < 12 || modlen > *outlen || inlen > modlen - 11) {
363ff40c12SJohn Marino 		wpa_printf(MSG_DEBUG, "PKCS #1: %s - Invalid buffer "
373ff40c12SJohn Marino 			   "lengths (modlen=%lu outlen=%lu inlen=%lu)",
383ff40c12SJohn Marino 			   __func__, (unsigned long) modlen,
393ff40c12SJohn Marino 			   (unsigned long) *outlen,
403ff40c12SJohn Marino 			   (unsigned long) inlen);
413ff40c12SJohn Marino 		return -1;
423ff40c12SJohn Marino 	}
433ff40c12SJohn Marino 
443ff40c12SJohn Marino 	pos = out;
453ff40c12SJohn Marino 	*pos++ = 0x00;
463ff40c12SJohn Marino 	*pos++ = block_type; /* BT */
473ff40c12SJohn Marino 	ps_len = modlen - inlen - 3;
483ff40c12SJohn Marino 	switch (block_type) {
493ff40c12SJohn Marino 	case 0:
503ff40c12SJohn Marino 		os_memset(pos, 0x00, ps_len);
513ff40c12SJohn Marino 		pos += ps_len;
523ff40c12SJohn Marino 		break;
533ff40c12SJohn Marino 	case 1:
543ff40c12SJohn Marino 		os_memset(pos, 0xff, ps_len);
553ff40c12SJohn Marino 		pos += ps_len;
563ff40c12SJohn Marino 		break;
573ff40c12SJohn Marino 	case 2:
583ff40c12SJohn Marino 		if (os_get_random(pos, ps_len) < 0) {
593ff40c12SJohn Marino 			wpa_printf(MSG_DEBUG, "PKCS #1: %s - Failed to get "
603ff40c12SJohn Marino 				   "random data for PS", __func__);
613ff40c12SJohn Marino 			return -1;
623ff40c12SJohn Marino 		}
633ff40c12SJohn Marino 		while (ps_len--) {
643ff40c12SJohn Marino 			if (*pos == 0x00)
653ff40c12SJohn Marino 				*pos = 0x01;
663ff40c12SJohn Marino 			pos++;
673ff40c12SJohn Marino 		}
683ff40c12SJohn Marino 		break;
693ff40c12SJohn Marino 	default:
703ff40c12SJohn Marino 		wpa_printf(MSG_DEBUG, "PKCS #1: %s - Unsupported block type "
713ff40c12SJohn Marino 			   "%d", __func__, block_type);
723ff40c12SJohn Marino 		return -1;
733ff40c12SJohn Marino 	}
743ff40c12SJohn Marino 	*pos++ = 0x00;
753ff40c12SJohn Marino 	os_memcpy(pos, in, inlen); /* D */
763ff40c12SJohn Marino 
773ff40c12SJohn Marino 	return 0;
783ff40c12SJohn Marino }
793ff40c12SJohn Marino 
803ff40c12SJohn Marino 
pkcs1_encrypt(int block_type,struct crypto_rsa_key * key,int use_private,const u8 * in,size_t inlen,u8 * out,size_t * outlen)813ff40c12SJohn Marino int pkcs1_encrypt(int block_type, struct crypto_rsa_key *key,
823ff40c12SJohn Marino 		  int use_private, const u8 *in, size_t inlen,
833ff40c12SJohn Marino 		  u8 *out, size_t *outlen)
843ff40c12SJohn Marino {
853ff40c12SJohn Marino 	size_t modlen;
863ff40c12SJohn Marino 
873ff40c12SJohn Marino 	modlen = crypto_rsa_get_modulus_len(key);
883ff40c12SJohn Marino 
893ff40c12SJohn Marino 	if (pkcs1_generate_encryption_block(block_type, modlen, in, inlen,
903ff40c12SJohn Marino 					    out, outlen) < 0)
913ff40c12SJohn Marino 		return -1;
923ff40c12SJohn Marino 
933ff40c12SJohn Marino 	return crypto_rsa_exptmod(out, modlen, out, outlen, key, use_private);
943ff40c12SJohn Marino }
953ff40c12SJohn Marino 
963ff40c12SJohn Marino 
pkcs1_v15_private_key_decrypt(struct crypto_rsa_key * key,const u8 * in,size_t inlen,u8 * out,size_t * outlen)973ff40c12SJohn Marino int pkcs1_v15_private_key_decrypt(struct crypto_rsa_key *key,
983ff40c12SJohn Marino 				  const u8 *in, size_t inlen,
993ff40c12SJohn Marino 				  u8 *out, size_t *outlen)
1003ff40c12SJohn Marino {
1013ff40c12SJohn Marino 	int res;
1023ff40c12SJohn Marino 	u8 *pos, *end;
1033ff40c12SJohn Marino 
1043ff40c12SJohn Marino 	res = crypto_rsa_exptmod(in, inlen, out, outlen, key, 1);
1053ff40c12SJohn Marino 	if (res)
1063ff40c12SJohn Marino 		return res;
1073ff40c12SJohn Marino 
1083ff40c12SJohn Marino 	if (*outlen < 2 || out[0] != 0 || out[1] != 2)
1093ff40c12SJohn Marino 		return -1;
1103ff40c12SJohn Marino 
1113ff40c12SJohn Marino 	/* Skip PS (pseudorandom non-zero octets) */
1123ff40c12SJohn Marino 	pos = out + 2;
1133ff40c12SJohn Marino 	end = out + *outlen;
1143ff40c12SJohn Marino 	while (*pos && pos < end)
1153ff40c12SJohn Marino 		pos++;
1163ff40c12SJohn Marino 	if (pos == end)
1173ff40c12SJohn Marino 		return -1;
118*a1157835SDaniel Fojt 	if (pos - out - 2 < 8) {
119*a1157835SDaniel Fojt 		/* PKCS #1 v1.5, 8.1: At least eight octets long PS */
120*a1157835SDaniel Fojt 		wpa_printf(MSG_INFO, "LibTomCrypt: Too short padding");
121*a1157835SDaniel Fojt 		return -1;
122*a1157835SDaniel Fojt 	}
1233ff40c12SJohn Marino 	pos++;
1243ff40c12SJohn Marino 
1253ff40c12SJohn Marino 	*outlen -= pos - out;
1263ff40c12SJohn Marino 
1273ff40c12SJohn Marino 	/* Strip PKCS #1 header */
1283ff40c12SJohn Marino 	os_memmove(out, pos, *outlen);
1293ff40c12SJohn Marino 
1303ff40c12SJohn Marino 	return 0;
1313ff40c12SJohn Marino }
1323ff40c12SJohn Marino 
1333ff40c12SJohn Marino 
pkcs1_decrypt_public_key(struct crypto_rsa_key * key,const u8 * crypt,size_t crypt_len,u8 * plain,size_t * plain_len)1343ff40c12SJohn Marino int pkcs1_decrypt_public_key(struct crypto_rsa_key *key,
1353ff40c12SJohn Marino 			     const u8 *crypt, size_t crypt_len,
1363ff40c12SJohn Marino 			     u8 *plain, size_t *plain_len)
1373ff40c12SJohn Marino {
1383ff40c12SJohn Marino 	size_t len;
1393ff40c12SJohn Marino 	u8 *pos;
1403ff40c12SJohn Marino 
1413ff40c12SJohn Marino 	len = *plain_len;
1423ff40c12SJohn Marino 	if (crypto_rsa_exptmod(crypt, crypt_len, plain, &len, key, 0) < 0)
1433ff40c12SJohn Marino 		return -1;
1443ff40c12SJohn Marino 
1453ff40c12SJohn Marino 	/*
1463ff40c12SJohn Marino 	 * PKCS #1 v1.5, 8.1:
1473ff40c12SJohn Marino 	 *
1483ff40c12SJohn Marino 	 * EB = 00 || BT || PS || 00 || D
1493ff40c12SJohn Marino 	 * BT = 00 or 01
1503ff40c12SJohn Marino 	 * PS = k-3-||D|| times (00 if BT=00) or (FF if BT=01)
1513ff40c12SJohn Marino 	 * k = length of modulus in octets
152*a1157835SDaniel Fojt 	 *
153*a1157835SDaniel Fojt 	 * Based on 10.1.3, "The block type shall be 01" for a signature.
1543ff40c12SJohn Marino 	 */
1553ff40c12SJohn Marino 
1563ff40c12SJohn Marino 	if (len < 3 + 8 + 16 /* min hash len */ ||
157*a1157835SDaniel Fojt 	    plain[0] != 0x00 || plain[1] != 0x01) {
1583ff40c12SJohn Marino 		wpa_printf(MSG_INFO, "LibTomCrypt: Invalid signature EB "
1593ff40c12SJohn Marino 			   "structure");
1603ff40c12SJohn Marino 		return -1;
1613ff40c12SJohn Marino 	}
1623ff40c12SJohn Marino 
1633ff40c12SJohn Marino 	pos = plain + 3;
1643ff40c12SJohn Marino 	/* BT = 01 */
1653ff40c12SJohn Marino 	if (plain[2] != 0xff) {
1663ff40c12SJohn Marino 		wpa_printf(MSG_INFO, "LibTomCrypt: Invalid signature "
1673ff40c12SJohn Marino 			   "PS (BT=01)");
1683ff40c12SJohn Marino 		return -1;
1693ff40c12SJohn Marino 	}
1703ff40c12SJohn Marino 	while (pos < plain + len && *pos == 0xff)
1713ff40c12SJohn Marino 		pos++;
1723ff40c12SJohn Marino 
1733ff40c12SJohn Marino 	if (pos - plain - 2 < 8) {
1743ff40c12SJohn Marino 		/* PKCS #1 v1.5, 8.1: At least eight octets long PS */
1753ff40c12SJohn Marino 		wpa_printf(MSG_INFO, "LibTomCrypt: Too short signature "
1763ff40c12SJohn Marino 			   "padding");
1773ff40c12SJohn Marino 		return -1;
1783ff40c12SJohn Marino 	}
1793ff40c12SJohn Marino 
1803ff40c12SJohn Marino 	if (pos + 16 /* min hash len */ >= plain + len || *pos != 0x00) {
1813ff40c12SJohn Marino 		wpa_printf(MSG_INFO, "LibTomCrypt: Invalid signature EB "
1823ff40c12SJohn Marino 			   "structure (2)");
1833ff40c12SJohn Marino 		return -1;
1843ff40c12SJohn Marino 	}
1853ff40c12SJohn Marino 	pos++;
1863ff40c12SJohn Marino 	len -= pos - plain;
1873ff40c12SJohn Marino 
1883ff40c12SJohn Marino 	/* Strip PKCS #1 header */
1893ff40c12SJohn Marino 	os_memmove(plain, pos, len);
1903ff40c12SJohn Marino 	*plain_len = len;
1913ff40c12SJohn Marino 
1923ff40c12SJohn Marino 	return 0;
1933ff40c12SJohn Marino }
194*a1157835SDaniel Fojt 
195*a1157835SDaniel Fojt 
pkcs1_v15_sig_ver(struct crypto_public_key * pk,const u8 * s,size_t s_len,const struct asn1_oid * hash_alg,const u8 * hash,size_t hash_len)196*a1157835SDaniel Fojt int pkcs1_v15_sig_ver(struct crypto_public_key *pk,
197*a1157835SDaniel Fojt 		      const u8 *s, size_t s_len,
198*a1157835SDaniel Fojt 		      const struct asn1_oid *hash_alg,
199*a1157835SDaniel Fojt 		      const u8 *hash, size_t hash_len)
200*a1157835SDaniel Fojt {
201*a1157835SDaniel Fojt 	int res;
202*a1157835SDaniel Fojt 	u8 *decrypted;
203*a1157835SDaniel Fojt 	size_t decrypted_len;
204*a1157835SDaniel Fojt 	const u8 *pos, *end, *next, *da_end;
205*a1157835SDaniel Fojt 	struct asn1_hdr hdr;
206*a1157835SDaniel Fojt 	struct asn1_oid oid;
207*a1157835SDaniel Fojt 
208*a1157835SDaniel Fojt 	decrypted = os_malloc(s_len);
209*a1157835SDaniel Fojt 	if (decrypted == NULL)
210*a1157835SDaniel Fojt 		return -1;
211*a1157835SDaniel Fojt 	decrypted_len = s_len;
212*a1157835SDaniel Fojt 	res = crypto_public_key_decrypt_pkcs1(pk, s, s_len, decrypted,
213*a1157835SDaniel Fojt 					      &decrypted_len);
214*a1157835SDaniel Fojt 	if (res < 0) {
215*a1157835SDaniel Fojt 		wpa_printf(MSG_INFO, "PKCS #1: RSA decrypt failed");
216*a1157835SDaniel Fojt 		os_free(decrypted);
217*a1157835SDaniel Fojt 		return -1;
218*a1157835SDaniel Fojt 	}
219*a1157835SDaniel Fojt 	wpa_hexdump(MSG_DEBUG, "Decrypted(S)", decrypted, decrypted_len);
220*a1157835SDaniel Fojt 
221*a1157835SDaniel Fojt 	/*
222*a1157835SDaniel Fojt 	 * PKCS #1 v1.5, 10.1.2:
223*a1157835SDaniel Fojt 	 *
224*a1157835SDaniel Fojt 	 * DigestInfo ::= SEQUENCE {
225*a1157835SDaniel Fojt 	 *     digestAlgorithm DigestAlgorithmIdentifier,
226*a1157835SDaniel Fojt 	 *     digest Digest
227*a1157835SDaniel Fojt 	 * }
228*a1157835SDaniel Fojt 	 *
229*a1157835SDaniel Fojt 	 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
230*a1157835SDaniel Fojt 	 *
231*a1157835SDaniel Fojt 	 * Digest ::= OCTET STRING
232*a1157835SDaniel Fojt 	 *
233*a1157835SDaniel Fojt 	 */
234*a1157835SDaniel Fojt 	if (asn1_get_next(decrypted, decrypted_len, &hdr) < 0 ||
235*a1157835SDaniel Fojt 	    hdr.class != ASN1_CLASS_UNIVERSAL ||
236*a1157835SDaniel Fojt 	    hdr.tag != ASN1_TAG_SEQUENCE) {
237*a1157835SDaniel Fojt 		wpa_printf(MSG_DEBUG,
238*a1157835SDaniel Fojt 			   "PKCS #1: Expected SEQUENCE (DigestInfo) - found class %d tag 0x%x",
239*a1157835SDaniel Fojt 			   hdr.class, hdr.tag);
240*a1157835SDaniel Fojt 		os_free(decrypted);
241*a1157835SDaniel Fojt 		return -1;
242*a1157835SDaniel Fojt 	}
243*a1157835SDaniel Fojt 
244*a1157835SDaniel Fojt 	pos = hdr.payload;
245*a1157835SDaniel Fojt 	end = pos + hdr.length;
246*a1157835SDaniel Fojt 
247*a1157835SDaniel Fojt 	/*
248*a1157835SDaniel Fojt 	 * X.509:
249*a1157835SDaniel Fojt 	 * AlgorithmIdentifier ::= SEQUENCE {
250*a1157835SDaniel Fojt 	 *     algorithm            OBJECT IDENTIFIER,
251*a1157835SDaniel Fojt 	 *     parameters           ANY DEFINED BY algorithm OPTIONAL
252*a1157835SDaniel Fojt 	 * }
253*a1157835SDaniel Fojt 	 */
254*a1157835SDaniel Fojt 
255*a1157835SDaniel Fojt 	if (asn1_get_next(pos, end - pos, &hdr) < 0 ||
256*a1157835SDaniel Fojt 	    hdr.class != ASN1_CLASS_UNIVERSAL ||
257*a1157835SDaniel Fojt 	    hdr.tag != ASN1_TAG_SEQUENCE) {
258*a1157835SDaniel Fojt 		wpa_printf(MSG_DEBUG,
259*a1157835SDaniel Fojt 			   "PKCS #1: Expected SEQUENCE (AlgorithmIdentifier) - found class %d tag 0x%x",
260*a1157835SDaniel Fojt 			   hdr.class, hdr.tag);
261*a1157835SDaniel Fojt 		os_free(decrypted);
262*a1157835SDaniel Fojt 		return -1;
263*a1157835SDaniel Fojt 	}
264*a1157835SDaniel Fojt 	da_end = hdr.payload + hdr.length;
265*a1157835SDaniel Fojt 
266*a1157835SDaniel Fojt 	if (asn1_get_oid(hdr.payload, hdr.length, &oid, &next)) {
267*a1157835SDaniel Fojt 		wpa_printf(MSG_DEBUG,
268*a1157835SDaniel Fojt 			   "PKCS #1: Failed to parse digestAlgorithm");
269*a1157835SDaniel Fojt 		os_free(decrypted);
270*a1157835SDaniel Fojt 		return -1;
271*a1157835SDaniel Fojt 	}
272*a1157835SDaniel Fojt 
273*a1157835SDaniel Fojt 	if (!asn1_oid_equal(&oid, hash_alg)) {
274*a1157835SDaniel Fojt 		char txt[100], txt2[100];
275*a1157835SDaniel Fojt 		asn1_oid_to_str(&oid, txt, sizeof(txt));
276*a1157835SDaniel Fojt 		asn1_oid_to_str(hash_alg, txt2, sizeof(txt2));
277*a1157835SDaniel Fojt 		wpa_printf(MSG_DEBUG,
278*a1157835SDaniel Fojt 			   "PKCS #1: Hash alg OID mismatch: was %s, expected %s",
279*a1157835SDaniel Fojt 			   txt, txt2);
280*a1157835SDaniel Fojt 		os_free(decrypted);
281*a1157835SDaniel Fojt 		return -1;
282*a1157835SDaniel Fojt 	}
283*a1157835SDaniel Fojt 
284*a1157835SDaniel Fojt 	/* Digest ::= OCTET STRING */
285*a1157835SDaniel Fojt 	pos = da_end;
286*a1157835SDaniel Fojt 	end = decrypted + decrypted_len;
287*a1157835SDaniel Fojt 
288*a1157835SDaniel Fojt 	if (asn1_get_next(pos, end - pos, &hdr) < 0 ||
289*a1157835SDaniel Fojt 	    hdr.class != ASN1_CLASS_UNIVERSAL ||
290*a1157835SDaniel Fojt 	    hdr.tag != ASN1_TAG_OCTETSTRING) {
291*a1157835SDaniel Fojt 		wpa_printf(MSG_DEBUG,
292*a1157835SDaniel Fojt 			   "PKCS #1: Expected OCTETSTRING (Digest) - found class %d tag 0x%x",
293*a1157835SDaniel Fojt 			   hdr.class, hdr.tag);
294*a1157835SDaniel Fojt 		os_free(decrypted);
295*a1157835SDaniel Fojt 		return -1;
296*a1157835SDaniel Fojt 	}
297*a1157835SDaniel Fojt 	wpa_hexdump(MSG_MSGDUMP, "PKCS #1: Decrypted Digest",
298*a1157835SDaniel Fojt 		    hdr.payload, hdr.length);
299*a1157835SDaniel Fojt 
300*a1157835SDaniel Fojt 	if (hdr.length != hash_len ||
301*a1157835SDaniel Fojt 	    os_memcmp_const(hdr.payload, hash, hdr.length) != 0) {
302*a1157835SDaniel Fojt 		wpa_printf(MSG_INFO, "PKCS #1: Digest value does not match calculated hash");
303*a1157835SDaniel Fojt 		os_free(decrypted);
304*a1157835SDaniel Fojt 		return -1;
305*a1157835SDaniel Fojt 	}
306*a1157835SDaniel Fojt 
307*a1157835SDaniel Fojt 	os_free(decrypted);
308*a1157835SDaniel Fojt 
309*a1157835SDaniel Fojt 	if (hdr.payload + hdr.length != end) {
310*a1157835SDaniel Fojt 		wpa_printf(MSG_INFO,
311*a1157835SDaniel Fojt 			   "PKCS #1: Extra data after signature - reject");
312*a1157835SDaniel Fojt 
313*a1157835SDaniel Fojt 		wpa_hexdump(MSG_DEBUG, "PKCS #1: Extra data",
314*a1157835SDaniel Fojt 			    hdr.payload + hdr.length,
315*a1157835SDaniel Fojt 			    end - hdr.payload - hdr.length);
316*a1157835SDaniel Fojt 		return -1;
317*a1157835SDaniel Fojt 	}
318*a1157835SDaniel Fojt 
319*a1157835SDaniel Fojt 	return 0;
320*a1157835SDaniel Fojt }
321