mirror of
https://github.com/klzgrad/naiveproxy.git
synced 2024-12-01 01:36:09 +03:00
255 lines
8.9 KiB
C++
255 lines
8.9 KiB
C++
|
// Copyright 2015 The Chromium Authors. All rights reserved.
|
||
|
// Use of this source code is governed by a BSD-style license that can be
|
||
|
// found in the LICENSE file.
|
||
|
|
||
|
#include "net/cert/internal/verify_signed_data.h"
|
||
|
|
||
|
#include "base/compiler_specific.h"
|
||
|
#include "base/logging.h"
|
||
|
#include "base/numerics/safe_math.h"
|
||
|
#include "crypto/openssl_util.h"
|
||
|
#include "net/cert/internal/cert_errors.h"
|
||
|
#include "net/cert/internal/signature_algorithm.h"
|
||
|
#include "net/der/input.h"
|
||
|
#include "net/der/parse_values.h"
|
||
|
#include "net/der/parser.h"
|
||
|
#include "third_party/boringssl/src/include/openssl/bytestring.h"
|
||
|
#include "third_party/boringssl/src/include/openssl/digest.h"
|
||
|
#include "third_party/boringssl/src/include/openssl/evp.h"
|
||
|
#include "third_party/boringssl/src/include/openssl/rsa.h"
|
||
|
|
||
|
namespace net {
|
||
|
|
||
|
namespace {
|
||
|
|
||
|
// Converts a DigestAlgorithm to an equivalent EVP_MD*.
|
||
|
WARN_UNUSED_RESULT bool GetDigest(DigestAlgorithm digest, const EVP_MD** out) {
|
||
|
*out = nullptr;
|
||
|
|
||
|
switch (digest) {
|
||
|
case DigestAlgorithm::Md2:
|
||
|
case DigestAlgorithm::Md4:
|
||
|
case DigestAlgorithm::Md5:
|
||
|
// Unsupported.
|
||
|
break;
|
||
|
case DigestAlgorithm::Sha1:
|
||
|
*out = EVP_sha1();
|
||
|
break;
|
||
|
case DigestAlgorithm::Sha256:
|
||
|
*out = EVP_sha256();
|
||
|
break;
|
||
|
case DigestAlgorithm::Sha384:
|
||
|
*out = EVP_sha384();
|
||
|
break;
|
||
|
case DigestAlgorithm::Sha512:
|
||
|
*out = EVP_sha512();
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
return *out != nullptr;
|
||
|
}
|
||
|
|
||
|
// Sets the RSASSA-PSS parameters on |pctx|. Returns true on success.
|
||
|
WARN_UNUSED_RESULT bool ApplyRsaPssOptions(const RsaPssParameters* params,
|
||
|
EVP_PKEY_CTX* pctx) {
|
||
|
// BoringSSL takes a signed int for the salt length, and interprets
|
||
|
// negative values in a special manner. Make sure not to silently underflow.
|
||
|
base::CheckedNumeric<int> salt_length_bytes_int(params->salt_length());
|
||
|
if (!salt_length_bytes_int.IsValid())
|
||
|
return false;
|
||
|
|
||
|
const EVP_MD* mgf1_hash;
|
||
|
if (!GetDigest(params->mgf1_hash(), &mgf1_hash))
|
||
|
return false;
|
||
|
|
||
|
return EVP_PKEY_CTX_set_rsa_padding(pctx, RSA_PKCS1_PSS_PADDING) &&
|
||
|
EVP_PKEY_CTX_set_rsa_mgf1_md(pctx, mgf1_hash) &&
|
||
|
EVP_PKEY_CTX_set_rsa_pss_saltlen(pctx,
|
||
|
salt_length_bytes_int.ValueOrDie());
|
||
|
}
|
||
|
|
||
|
} // namespace
|
||
|
|
||
|
// Parses an RSA public key or EC public key from SPKI to an EVP_PKEY. Returns
|
||
|
// true on success.
|
||
|
//
|
||
|
// There are two flavors of RSA public key that this function should recognize
|
||
|
// from RFC 5912 (however note that pk-rsaSSA-PSS is not supported in the
|
||
|
// current implementation).
|
||
|
// TODO(eroman): Support id-RSASSA-PSS and its associated parameters. See
|
||
|
// https://crbug.com/522232
|
||
|
//
|
||
|
// pk-rsa PUBLIC-KEY ::= {
|
||
|
// IDENTIFIER rsaEncryption
|
||
|
// KEY RSAPublicKey
|
||
|
// PARAMS TYPE NULL ARE absent
|
||
|
// -- Private key format not in this module --
|
||
|
// CERT-KEY-USAGE {digitalSignature, nonRepudiation,
|
||
|
// keyEncipherment, dataEncipherment, keyCertSign, cRLSign}
|
||
|
// }
|
||
|
//
|
||
|
// ...
|
||
|
//
|
||
|
// pk-rsaSSA-PSS PUBLIC-KEY ::= {
|
||
|
// IDENTIFIER id-RSASSA-PSS
|
||
|
// KEY RSAPublicKey
|
||
|
// PARAMS TYPE RSASSA-PSS-params ARE optional
|
||
|
// -- Private key format not in this module --
|
||
|
// CERT-KEY-USAGE { nonRepudiation, digitalSignature,
|
||
|
// keyCertSign, cRLSign }
|
||
|
// }
|
||
|
//
|
||
|
// Any RSA signature algorithm can accept a "pk-rsa" (rsaEncryption). However a
|
||
|
// "pk-rsaSSA-PSS" key is only accepted if the signature algorithm was for PSS
|
||
|
// mode:
|
||
|
//
|
||
|
// sa-rsaSSA-PSS SIGNATURE-ALGORITHM ::= {
|
||
|
// IDENTIFIER id-RSASSA-PSS
|
||
|
// PARAMS TYPE RSASSA-PSS-params ARE required
|
||
|
// HASHES { mda-sha1 | mda-sha224 | mda-sha256 | mda-sha384
|
||
|
// | mda-sha512 }
|
||
|
// PUBLIC-KEYS { pk-rsa | pk-rsaSSA-PSS }
|
||
|
// SMIME-CAPS { IDENTIFIED BY id-RSASSA-PSS }
|
||
|
// }
|
||
|
//
|
||
|
// Moreover, if a "pk-rsaSSA-PSS" key was used and it optionally provided
|
||
|
// parameters for the algorithm, they must match those of the signature
|
||
|
// algorithm.
|
||
|
//
|
||
|
// COMPATIBILITY NOTE: RFC 5912 and RFC 3279 are in disagreement on the value
|
||
|
// of parameters for rsaEncryption. Whereas RFC 5912 says they must be absent,
|
||
|
// RFC 3279 says they must be NULL:
|
||
|
//
|
||
|
// The rsaEncryption OID is intended to be used in the algorithm field
|
||
|
// of a value of type AlgorithmIdentifier. The parameters field MUST
|
||
|
// have ASN.1 type NULL for this algorithm identifier.
|
||
|
//
|
||
|
// Following RFC 3279 in this case.
|
||
|
//
|
||
|
// In the case of parsing EC keys, RFC 5912 describes all the ECDSA
|
||
|
// signature algorithms as requiring a public key of type "pk-ec":
|
||
|
//
|
||
|
// pk-ec PUBLIC-KEY ::= {
|
||
|
// IDENTIFIER id-ecPublicKey
|
||
|
// KEY ECPoint
|
||
|
// PARAMS TYPE ECParameters ARE required
|
||
|
// -- Private key format not in this module --
|
||
|
// CERT-KEY-USAGE { digitalSignature, nonRepudiation, keyAgreement,
|
||
|
// keyCertSign, cRLSign }
|
||
|
// }
|
||
|
//
|
||
|
// Moreover RFC 5912 stipulates what curves are allowed. The ECParameters
|
||
|
// MUST NOT use an implicitCurve or specificCurve for PKIX:
|
||
|
//
|
||
|
// ECParameters ::= CHOICE {
|
||
|
// namedCurve CURVE.&id({NamedCurve})
|
||
|
// -- implicitCurve NULL
|
||
|
// -- implicitCurve MUST NOT be used in PKIX
|
||
|
// -- specifiedCurve SpecifiedCurve
|
||
|
// -- specifiedCurve MUST NOT be used in PKIX
|
||
|
// -- Details for specifiedCurve can be found in [X9.62]
|
||
|
// -- Any future additions to this CHOICE should be coordinated
|
||
|
// -- with ANSI X.9.
|
||
|
// }
|
||
|
// -- If you need to be able to decode ANSI X.9 parameter structures,
|
||
|
// -- uncomment the implicitCurve and specifiedCurve above, and also
|
||
|
// -- uncomment the following:
|
||
|
// --(WITH COMPONENTS {namedCurve PRESENT})
|
||
|
//
|
||
|
// The namedCurves are extensible. The ones described by RFC 5912 are:
|
||
|
//
|
||
|
// NamedCurve CURVE ::= {
|
||
|
// { ID secp192r1 } | { ID sect163k1 } | { ID sect163r2 } |
|
||
|
// { ID secp224r1 } | { ID sect233k1 } | { ID sect233r1 } |
|
||
|
// { ID secp256r1 } | { ID sect283k1 } | { ID sect283r1 } |
|
||
|
// { ID secp384r1 } | { ID sect409k1 } | { ID sect409r1 } |
|
||
|
// { ID secp521r1 } | { ID sect571k1 } | { ID sect571r1 },
|
||
|
// ... -- Extensible
|
||
|
// }
|
||
|
bool ParsePublicKey(const der::Input& public_key_spki,
|
||
|
bssl::UniquePtr<EVP_PKEY>* public_key) {
|
||
|
// Parse the SPKI to an EVP_PKEY.
|
||
|
crypto::OpenSSLErrStackTracer err_tracer(FROM_HERE);
|
||
|
|
||
|
// TODO(eroman): This is not strict enough. It accepts BER, other RSA
|
||
|
// OIDs, and does not check id-rsaEncryption parameters.
|
||
|
// See https://crbug.com/522228 and https://crbug.com/522232
|
||
|
CBS cbs;
|
||
|
CBS_init(&cbs, public_key_spki.UnsafeData(), public_key_spki.Length());
|
||
|
public_key->reset(EVP_parse_public_key(&cbs));
|
||
|
if (!*public_key || CBS_len(&cbs) != 0) {
|
||
|
public_key->reset();
|
||
|
return false;
|
||
|
}
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool VerifySignedData(const SignatureAlgorithm& algorithm,
|
||
|
const der::Input& signed_data,
|
||
|
const der::BitString& signature_value,
|
||
|
EVP_PKEY* public_key) {
|
||
|
// Check that the key type matches the signature algorithm.
|
||
|
int expected_pkey_id = -1;
|
||
|
switch (algorithm.algorithm()) {
|
||
|
case SignatureAlgorithmId::Dsa:
|
||
|
// DSA is not supported.
|
||
|
return false;
|
||
|
case SignatureAlgorithmId::RsaPkcs1:
|
||
|
case SignatureAlgorithmId::RsaPss:
|
||
|
expected_pkey_id = EVP_PKEY_RSA;
|
||
|
break;
|
||
|
case SignatureAlgorithmId::Ecdsa:
|
||
|
expected_pkey_id = EVP_PKEY_EC;
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
if (expected_pkey_id != EVP_PKEY_id(public_key))
|
||
|
return false;
|
||
|
|
||
|
// For the supported algorithms the signature value must be a whole
|
||
|
// number of bytes.
|
||
|
if (signature_value.unused_bits() != 0)
|
||
|
return false;
|
||
|
const der::Input& signature_value_bytes = signature_value.bytes();
|
||
|
|
||
|
crypto::OpenSSLErrStackTracer err_tracer(FROM_HERE);
|
||
|
|
||
|
bssl::ScopedEVP_MD_CTX ctx;
|
||
|
EVP_PKEY_CTX* pctx = nullptr; // Owned by |ctx|.
|
||
|
|
||
|
const EVP_MD* digest;
|
||
|
if (!GetDigest(algorithm.digest(), &digest))
|
||
|
return false;
|
||
|
|
||
|
if (!EVP_DigestVerifyInit(ctx.get(), &pctx, digest, nullptr, public_key))
|
||
|
return false;
|
||
|
|
||
|
// Set the RSASSA-PSS specific options.
|
||
|
if (algorithm.algorithm() == SignatureAlgorithmId::RsaPss &&
|
||
|
!ApplyRsaPssOptions(algorithm.ParamsForRsaPss(), pctx)) {
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
if (!EVP_DigestVerifyUpdate(ctx.get(), signed_data.UnsafeData(),
|
||
|
signed_data.Length())) {
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
return 1 == EVP_DigestVerifyFinal(ctx.get(),
|
||
|
signature_value_bytes.UnsafeData(),
|
||
|
signature_value_bytes.Length());
|
||
|
}
|
||
|
|
||
|
bool VerifySignedData(const SignatureAlgorithm& algorithm,
|
||
|
const der::Input& signed_data,
|
||
|
const der::BitString& signature_value,
|
||
|
const der::Input& public_key_spki) {
|
||
|
bssl::UniquePtr<EVP_PKEY> public_key;
|
||
|
if (!ParsePublicKey(public_key_spki, &public_key))
|
||
|
return false;
|
||
|
return VerifySignedData(algorithm, signed_data, signature_value,
|
||
|
public_key.get());
|
||
|
}
|
||
|
|
||
|
} // namespace net
|