|
@ -0,0 +1,322 @@ |
|
|
|
|
|
From 511563ce763b1e98e3fb3b3e3addfef550ff99b2 Mon Sep 17 00:00:00 2001 |
|
|
|
|
|
From: Tobias Brunner <tobias@strongswan.org> |
|
|
|
|
|
Date: Tue, 28 Aug 2018 11:26:24 +0200 |
|
|
|
|
|
Subject: [PATCH] gmp: Don't parse PKCS1 v1.5 RSA signatures to verify them |
|
|
|
|
|
|
|
|
|
|
|
Instead we generate the expected signature encoding and compare it to the |
|
|
|
|
|
decrypted value. |
|
|
|
|
|
|
|
|
|
|
|
Due to the lenient nature of the previous parsing code (minimum padding |
|
|
|
|
|
length was not enforced, the algorithmIdentifier/OID parser accepts arbitrary |
|
|
|
|
|
data after OIDs and in the parameters field etc.) it was susceptible to |
|
|
|
|
|
Daniel Bleichenbacher's low-exponent attack (from 2006!), which allowed |
|
|
|
|
|
forging signatures for keys that use low public exponents (i.e. e=3). |
|
|
|
|
|
|
|
|
|
|
|
Since the public exponent is usually set to 0x10001 (65537) since quite a |
|
|
|
|
|
while, the flaws in the previous code should not have had that much of a |
|
|
|
|
|
practical impact in recent years. |
|
|
|
|
|
|
|
|
|
|
|
Fixes: CVE-2018-16151, CVE-2018-16152 |
|
|
|
|
|
---
|
|
|
|
|
|
.../plugins/gmp/gmp_rsa_private_key.c | 66 +++++---- |
|
|
|
|
|
src/libstrongswan/plugins/gmp/gmp_rsa_public_key.c | 156 ++------------------- |
|
|
|
|
|
2 files changed, 52 insertions(+), 170 deletions(-) |
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/libstrongswan/plugins/gmp/gmp_rsa_private_key.c b/src/libstrongswan/plugins/gmp/gmp_rsa_private_key.c
|
|
|
|
|
|
index 241ef7d3b12b..edc178e96a4f 100644
|
|
|
|
|
|
--- a/src/libstrongswan/plugins/gmp/gmp_rsa_private_key.c
|
|
|
|
|
|
+++ b/src/libstrongswan/plugins/gmp/gmp_rsa_private_key.c
|
|
|
|
|
|
@@ -264,14 +264,15 @@ static chunk_t rsasp1(private_gmp_rsa_private_key_t *this, chunk_t data)
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|
|
- * Build a signature using the PKCS#1 EMSA scheme
|
|
|
|
|
|
+ * Hashes the data and builds the plaintext signature value with EMSA
|
|
|
|
|
|
+ * PKCS#1 v1.5 padding.
|
|
|
|
|
|
+ *
|
|
|
|
|
|
+ * Allocates the signature data.
|
|
|
|
|
|
*/ |
|
|
|
|
|
-static bool build_emsa_pkcs1_signature(private_gmp_rsa_private_key_t *this,
|
|
|
|
|
|
- hash_algorithm_t hash_algorithm,
|
|
|
|
|
|
- chunk_t data, chunk_t *signature)
|
|
|
|
|
|
+bool gmp_emsa_pkcs1_signature_data(hash_algorithm_t hash_algorithm,
|
|
|
|
|
|
+ chunk_t data, size_t keylen, chunk_t *em)
|
|
|
|
|
|
{ |
|
|
|
|
|
chunk_t digestInfo = chunk_empty; |
|
|
|
|
|
- chunk_t em;
|
|
|
|
|
|
|
|
|
|
|
|
if (hash_algorithm != HASH_UNKNOWN) |
|
|
|
|
|
{ |
|
|
|
|
|
@@ -295,43 +296,56 @@ static bool build_emsa_pkcs1_signature(private_gmp_rsa_private_key_t *this,
|
|
|
|
|
|
/* build DER-encoded digestInfo */ |
|
|
|
|
|
digestInfo = asn1_wrap(ASN1_SEQUENCE, "mm", |
|
|
|
|
|
asn1_algorithmIdentifier(hash_oid), |
|
|
|
|
|
- asn1_simple_object(ASN1_OCTET_STRING, hash)
|
|
|
|
|
|
- );
|
|
|
|
|
|
- chunk_free(&hash);
|
|
|
|
|
|
+ asn1_wrap(ASN1_OCTET_STRING, "m", hash));
|
|
|
|
|
|
+
|
|
|
|
|
|
data = digestInfo; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
- if (data.len > this->k - 3)
|
|
|
|
|
|
+ if (data.len > keylen - 11)
|
|
|
|
|
|
{ |
|
|
|
|
|
- free(digestInfo.ptr);
|
|
|
|
|
|
- DBG1(DBG_LIB, "unable to sign %d bytes using a %dbit key", data.len,
|
|
|
|
|
|
- mpz_sizeinbase(this->n, 2));
|
|
|
|
|
|
+ chunk_free(&digestInfo);
|
|
|
|
|
|
+ DBG1(DBG_LIB, "signature value of %zu bytes is too long for key of "
|
|
|
|
|
|
+ "%zu bytes", data.len, keylen);
|
|
|
|
|
|
return FALSE; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
- /* build chunk to rsa-decrypt:
|
|
|
|
|
|
- * EM = 0x00 || 0x01 || PS || 0x00 || T.
|
|
|
|
|
|
- * PS = 0xFF padding, with length to fill em
|
|
|
|
|
|
+ /* EM = 0x00 || 0x01 || PS || 0x00 || T.
|
|
|
|
|
|
+ * PS = 0xFF padding, with length to fill em (at least 8 bytes)
|
|
|
|
|
|
* T = encoded_hash |
|
|
|
|
|
*/ |
|
|
|
|
|
- em.len = this->k;
|
|
|
|
|
|
- em.ptr = malloc(em.len);
|
|
|
|
|
|
+ *em = chunk_alloc(keylen);
|
|
|
|
|
|
|
|
|
|
|
|
/* fill em with padding */ |
|
|
|
|
|
- memset(em.ptr, 0xFF, em.len);
|
|
|
|
|
|
+ memset(em->ptr, 0xFF, em->len);
|
|
|
|
|
|
/* set magic bytes */ |
|
|
|
|
|
- *(em.ptr) = 0x00;
|
|
|
|
|
|
- *(em.ptr+1) = 0x01;
|
|
|
|
|
|
- *(em.ptr + em.len - data.len - 1) = 0x00;
|
|
|
|
|
|
- /* set DER-encoded hash */
|
|
|
|
|
|
- memcpy(em.ptr + em.len - data.len, data.ptr, data.len);
|
|
|
|
|
|
+ *(em->ptr) = 0x00;
|
|
|
|
|
|
+ *(em->ptr+1) = 0x01;
|
|
|
|
|
|
+ *(em->ptr + em->len - data.len - 1) = 0x00;
|
|
|
|
|
|
+ /* set encoded hash */
|
|
|
|
|
|
+ memcpy(em->ptr + em->len - data.len, data.ptr, data.len);
|
|
|
|
|
|
+
|
|
|
|
|
|
+ chunk_clear(&digestInfo);
|
|
|
|
|
|
+ return TRUE;
|
|
|
|
|
|
+}
|
|
|
|
|
|
+
|
|
|
|
|
|
+/**
|
|
|
|
|
|
+ * Build a signature using the PKCS#1 EMSA scheme
|
|
|
|
|
|
+ */
|
|
|
|
|
|
+static bool build_emsa_pkcs1_signature(private_gmp_rsa_private_key_t *this,
|
|
|
|
|
|
+ hash_algorithm_t hash_algorithm,
|
|
|
|
|
|
+ chunk_t data, chunk_t *signature)
|
|
|
|
|
|
+{
|
|
|
|
|
|
+ chunk_t em;
|
|
|
|
|
|
+
|
|
|
|
|
|
+ if (!gmp_emsa_pkcs1_signature_data(hash_algorithm, data, this->k, &em))
|
|
|
|
|
|
+ {
|
|
|
|
|
|
+ return FALSE;
|
|
|
|
|
|
+ }
|
|
|
|
|
|
|
|
|
|
|
|
/* build signature */ |
|
|
|
|
|
*signature = rsasp1(this, em); |
|
|
|
|
|
|
|
|
|
|
|
- free(digestInfo.ptr);
|
|
|
|
|
|
- free(em.ptr);
|
|
|
|
|
|
-
|
|
|
|
|
|
+ chunk_free(&em);
|
|
|
|
|
|
return TRUE; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/libstrongswan/plugins/gmp/gmp_rsa_public_key.c b/src/libstrongswan/plugins/gmp/gmp_rsa_public_key.c
|
|
|
|
|
|
index 52bc9fb38046..ce9a80fadf2a 100644
|
|
|
|
|
|
--- a/src/libstrongswan/plugins/gmp/gmp_rsa_public_key.c
|
|
|
|
|
|
+++ b/src/libstrongswan/plugins/gmp/gmp_rsa_public_key.c
|
|
|
|
|
|
@@ -70,7 +70,9 @@ struct private_gmp_rsa_public_key_t {
|
|
|
|
|
|
/** |
|
|
|
|
|
* Shared functions defined in gmp_rsa_private_key.c |
|
|
|
|
|
*/ |
|
|
|
|
|
-extern chunk_t gmp_mpz_to_chunk(const mpz_t value);
|
|
|
|
|
|
+chunk_t gmp_mpz_to_chunk(const mpz_t value);
|
|
|
|
|
|
+bool gmp_emsa_pkcs1_signature_data(hash_algorithm_t hash_algorithm,
|
|
|
|
|
|
+ chunk_t data, size_t keylen, chunk_t *em);
|
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|
|
* RSAEP algorithm specified in PKCS#1. |
|
|
|
|
|
@@ -115,26 +117,13 @@ static chunk_t rsavp1(private_gmp_rsa_public_key_t *this, chunk_t data)
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|
|
- * ASN.1 definition of digestInfo
|
|
|
|
|
|
- */
|
|
|
|
|
|
-static const asn1Object_t digestInfoObjects[] = {
|
|
|
|
|
|
- { 0, "digestInfo", ASN1_SEQUENCE, ASN1_OBJ }, /* 0 */
|
|
|
|
|
|
- { 1, "digestAlgorithm", ASN1_EOC, ASN1_RAW }, /* 1 */
|
|
|
|
|
|
- { 1, "digest", ASN1_OCTET_STRING, ASN1_BODY }, /* 2 */
|
|
|
|
|
|
- { 0, "exit", ASN1_EOC, ASN1_EXIT }
|
|
|
|
|
|
-};
|
|
|
|
|
|
-#define DIGEST_INFO 0
|
|
|
|
|
|
-#define DIGEST_INFO_ALGORITHM 1
|
|
|
|
|
|
-#define DIGEST_INFO_DIGEST 2
|
|
|
|
|
|
-
|
|
|
|
|
|
-/**
|
|
|
|
|
|
* Verification of an EMSA PKCS1 signature described in PKCS#1 |
|
|
|
|
|
*/ |
|
|
|
|
|
static bool verify_emsa_pkcs1_signature(private_gmp_rsa_public_key_t *this, |
|
|
|
|
|
hash_algorithm_t algorithm, |
|
|
|
|
|
chunk_t data, chunk_t signature) |
|
|
|
|
|
{ |
|
|
|
|
|
- chunk_t em_ori, em;
|
|
|
|
|
|
+ chunk_t em_expected, em;
|
|
|
|
|
|
bool success = FALSE; |
|
|
|
|
|
|
|
|
|
|
|
/* remove any preceding 0-bytes from signature */ |
|
|
|
|
|
@@ -148,140 +137,19 @@ static bool verify_emsa_pkcs1_signature(private_gmp_rsa_public_key_t *this,
|
|
|
|
|
|
return FALSE; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
- /* unpack signature */
|
|
|
|
|
|
- em_ori = em = rsavp1(this, signature);
|
|
|
|
|
|
-
|
|
|
|
|
|
- /* result should look like this:
|
|
|
|
|
|
- * EM = 0x00 || 0x01 || PS || 0x00 || T.
|
|
|
|
|
|
- * PS = 0xFF padding, with length to fill em
|
|
|
|
|
|
- * T = oid || hash
|
|
|
|
|
|
- */
|
|
|
|
|
|
-
|
|
|
|
|
|
- /* check magic bytes */
|
|
|
|
|
|
- if (em.len < 2 || *(em.ptr) != 0x00 || *(em.ptr+1) != 0x01)
|
|
|
|
|
|
+ /* generate expected signature value */
|
|
|
|
|
|
+ if (!gmp_emsa_pkcs1_signature_data(algorithm, data, this->k, &em_expected))
|
|
|
|
|
|
{ |
|
|
|
|
|
- goto end;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- em = chunk_skip(em, 2);
|
|
|
|
|
|
-
|
|
|
|
|
|
- /* find magic 0x00 */
|
|
|
|
|
|
- while (em.len > 0)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- if (*em.ptr == 0x00)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- /* found magic byte, stop */
|
|
|
|
|
|
- em = chunk_skip(em, 1);
|
|
|
|
|
|
- break;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- else if (*em.ptr != 0xFF)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- /* bad padding, decryption failed ?!*/
|
|
|
|
|
|
- goto end;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- em = chunk_skip(em, 1);
|
|
|
|
|
|
- }
|
|
|
|
|
|
-
|
|
|
|
|
|
- if (em.len == 0)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- /* no digestInfo found */
|
|
|
|
|
|
- goto end;
|
|
|
|
|
|
- }
|
|
|
|
|
|
-
|
|
|
|
|
|
- if (algorithm == HASH_UNKNOWN)
|
|
|
|
|
|
- { /* IKEv1 signatures without digestInfo */
|
|
|
|
|
|
- if (em.len != data.len)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- DBG1(DBG_LIB, "hash size in signature is %u bytes instead of"
|
|
|
|
|
|
- " %u bytes", em.len, data.len);
|
|
|
|
|
|
- goto end;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- success = memeq_const(em.ptr, data.ptr, data.len);
|
|
|
|
|
|
+ return FALSE;
|
|
|
|
|
|
} |
|
|
|
|
|
- else
|
|
|
|
|
|
- { /* IKEv2 and X.509 certificate signatures */
|
|
|
|
|
|
- asn1_parser_t *parser;
|
|
|
|
|
|
- chunk_t object;
|
|
|
|
|
|
- int objectID;
|
|
|
|
|
|
- hash_algorithm_t hash_algorithm = HASH_UNKNOWN;
|
|
|
|
|
|
-
|
|
|
|
|
|
- DBG2(DBG_LIB, "signature verification:");
|
|
|
|
|
|
- parser = asn1_parser_create(digestInfoObjects, em);
|
|
|
|
|
|
|
|
|
|
|
|
- while (parser->iterate(parser, &objectID, &object))
|
|
|
|
|
|
- {
|
|
|
|
|
|
- switch (objectID)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- case DIGEST_INFO:
|
|
|
|
|
|
- {
|
|
|
|
|
|
- if (em.len > object.len)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- DBG1(DBG_LIB, "digestInfo field in signature is"
|
|
|
|
|
|
- " followed by %u surplus bytes",
|
|
|
|
|
|
- em.len - object.len);
|
|
|
|
|
|
- goto end_parser;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- break;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- case DIGEST_INFO_ALGORITHM:
|
|
|
|
|
|
- {
|
|
|
|
|
|
- int hash_oid = asn1_parse_algorithmIdentifier(object,
|
|
|
|
|
|
- parser->get_level(parser)+1, NULL);
|
|
|
|
|
|
-
|
|
|
|
|
|
- hash_algorithm = hasher_algorithm_from_oid(hash_oid);
|
|
|
|
|
|
- if (hash_algorithm == HASH_UNKNOWN || hash_algorithm != algorithm)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- DBG1(DBG_LIB, "expected hash algorithm %N, but found"
|
|
|
|
|
|
- " %N (OID: %#B)", hash_algorithm_names, algorithm,
|
|
|
|
|
|
- hash_algorithm_names, hash_algorithm, &object);
|
|
|
|
|
|
- goto end_parser;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- break;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- case DIGEST_INFO_DIGEST:
|
|
|
|
|
|
- {
|
|
|
|
|
|
- chunk_t hash;
|
|
|
|
|
|
- hasher_t *hasher;
|
|
|
|
|
|
-
|
|
|
|
|
|
- hasher = lib->crypto->create_hasher(lib->crypto, hash_algorithm);
|
|
|
|
|
|
- if (hasher == NULL)
|
|
|
|
|
|
- {
|
|
|
|
|
|
- DBG1(DBG_LIB, "hash algorithm %N not supported",
|
|
|
|
|
|
- hash_algorithm_names, hash_algorithm);
|
|
|
|
|
|
- goto end_parser;
|
|
|
|
|
|
- }
|
|
|
|
|
|
-
|
|
|
|
|
|
- if (object.len != hasher->get_hash_size(hasher))
|
|
|
|
|
|
- {
|
|
|
|
|
|
- DBG1(DBG_LIB, "hash size in signature is %u bytes"
|
|
|
|
|
|
- " instead of %u bytes", object.len,
|
|
|
|
|
|
- hasher->get_hash_size(hasher));
|
|
|
|
|
|
- hasher->destroy(hasher);
|
|
|
|
|
|
- goto end_parser;
|
|
|
|
|
|
- }
|
|
|
|
|
|
-
|
|
|
|
|
|
- /* build our own hash and compare */
|
|
|
|
|
|
- if (!hasher->allocate_hash(hasher, data, &hash))
|
|
|
|
|
|
- {
|
|
|
|
|
|
- hasher->destroy(hasher);
|
|
|
|
|
|
- goto end_parser;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- hasher->destroy(hasher);
|
|
|
|
|
|
- success = memeq_const(object.ptr, hash.ptr, hash.len);
|
|
|
|
|
|
- free(hash.ptr);
|
|
|
|
|
|
- break;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- default:
|
|
|
|
|
|
- break;
|
|
|
|
|
|
- }
|
|
|
|
|
|
- }
|
|
|
|
|
|
+ /* unpack signature */
|
|
|
|
|
|
+ em = rsavp1(this, signature);
|
|
|
|
|
|
|
|
|
|
|
|
-end_parser:
|
|
|
|
|
|
- success &= parser->success(parser);
|
|
|
|
|
|
- parser->destroy(parser);
|
|
|
|
|
|
- }
|
|
|
|
|
|
+ success = chunk_equals_const(em_expected, em);
|
|
|
|
|
|
|
|
|
|
|
|
-end:
|
|
|
|
|
|
- free(em_ori.ptr);
|
|
|
|
|
|
+ chunk_free(&em_expected);
|
|
|
|
|
|
+ chunk_free(&em);
|
|
|
|
|
|
return success; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
--
|
|
|
|
|
|
2.7.4 |
|
|
|
|
|
|