Merge pull request #5771 from superna9999/5761-rsa-decrypt-rework-pk-wrap-as-opaque

RSA decrypt 0: Rework `mbedtls_pk_wrap_as_opaque()`
This commit is contained in:
Manuel Pégourié-Gonnard 2022-05-02 09:06:49 +02:00 committed by GitHub
commit 068a13d909
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 113 additions and 34 deletions

View file

@ -922,28 +922,24 @@ int mbedtls_pk_load_file( const char *path, unsigned char **buf, size_t *n );
* \warning This is a temporary utility function for tests. It might * \warning This is a temporary utility function for tests. It might
* change or be removed at any time without notice. * change or be removed at any time without notice.
* *
* \note ECDSA & RSA keys are supported.
* For both key types, signing with the specified hash
* is the only allowed use of that key with PK API.
* The RSA key supports RSA-PSS signing with the specified
* hash with the PK EXT API.
* In addition, the ECDSA key is also allowed for ECDH key
* agreement derivation operation using the PSA API.
*
* \param pk Input: the EC or RSA key to import to a PSA key. * \param pk Input: the EC or RSA key to import to a PSA key.
* Output: a PK context wrapping that PSA key. * Output: a PK context wrapping that PSA key.
* \param key Output: a PSA key identifier. * \param key Output: a PSA key identifier.
* It's the caller's responsibility to call * It's the caller's responsibility to call
* psa_destroy_key() on that key identifier after calling * psa_destroy_key() on that key identifier after calling
* mbedtls_pk_free() on the PK context. * mbedtls_pk_free() on the PK context.
* \param hash_alg The hash algorithm to allow for use with that key. * \param alg The algorithm to allow for use with that key.
* \param usage The usage to allow for use with that key.
* \param alg2 The secondary algorithm to allow for use with that key.
* *
* \return \c 0 if successful. * \return \c 0 if successful.
* \return An Mbed TLS error code otherwise. * \return An Mbed TLS error code otherwise.
*/ */
int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk, int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk,
mbedtls_svc_key_id_t *key, mbedtls_svc_key_id_t *key,
psa_algorithm_t hash_alg ); psa_algorithm_t alg,
psa_key_usage_t usage,
psa_algorithm_t alg2 );
#endif /* MBEDTLS_USE_PSA_CRYPTO */ #endif /* MBEDTLS_USE_PSA_CRYPTO */
#ifdef __cplusplus #ifdef __cplusplus

View file

@ -720,12 +720,16 @@ mbedtls_pk_type_t mbedtls_pk_get_type( const mbedtls_pk_context *ctx )
*/ */
int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk, int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk,
mbedtls_svc_key_id_t *key, mbedtls_svc_key_id_t *key,
psa_algorithm_t hash_alg ) psa_algorithm_t alg,
psa_key_usage_t usage,
psa_algorithm_t alg2 )
{ {
#if !defined(MBEDTLS_ECP_C) && !defined(MBEDTLS_RSA_C) #if !defined(MBEDTLS_ECP_C) && !defined(MBEDTLS_RSA_C)
((void) pk); ((void) pk);
((void) key); ((void) key);
((void) hash_alg); ((void) alg);
((void) usage);
((void) alg2);
#else #else
#if defined(MBEDTLS_ECP_C) #if defined(MBEDTLS_ECP_C)
if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY ) if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY )
@ -752,10 +756,10 @@ int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk,
/* prepare the key attributes */ /* prepare the key attributes */
psa_set_key_type( &attributes, key_type ); psa_set_key_type( &attributes, key_type );
psa_set_key_bits( &attributes, bits ); psa_set_key_bits( &attributes, bits );
psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_SIGN_HASH | psa_set_key_usage_flags( &attributes, usage );
PSA_KEY_USAGE_DERIVE); psa_set_key_algorithm( &attributes, alg );
psa_set_key_algorithm( &attributes, PSA_ALG_ECDSA( hash_alg ) ); if( alg2 != PSA_ALG_NONE )
psa_set_key_enrollment_algorithm( &attributes, PSA_ALG_ECDH ); psa_set_key_enrollment_algorithm( &attributes, alg2 );
/* import private key into PSA */ /* import private key into PSA */
status = psa_import_key( &attributes, d, d_len, key ); status = psa_import_key( &attributes, d, d_len, key );
@ -786,11 +790,10 @@ int mbedtls_pk_wrap_as_opaque( mbedtls_pk_context *pk,
/* prepare the key attributes */ /* prepare the key attributes */
psa_set_key_type( &attributes, PSA_KEY_TYPE_RSA_KEY_PAIR ); psa_set_key_type( &attributes, PSA_KEY_TYPE_RSA_KEY_PAIR );
psa_set_key_bits( &attributes, mbedtls_pk_get_bitlen( pk ) ); psa_set_key_bits( &attributes, mbedtls_pk_get_bitlen( pk ) );
psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_SIGN_HASH ); psa_set_key_usage_flags( &attributes, usage );
psa_set_key_algorithm( &attributes, psa_set_key_algorithm( &attributes, alg );
PSA_ALG_RSA_PKCS1V15_SIGN( hash_alg ) ); if( alg2 != PSA_ALG_NONE )
psa_set_key_enrollment_algorithm( &attributes, psa_set_key_enrollment_algorithm( &attributes, alg2 );
PSA_ALG_RSA_PSS( hash_alg ) );
/* import private key into PSA */ /* import private key into PSA */
status = psa_import_key( &attributes, status = psa_import_key( &attributes,

View file

@ -1698,8 +1698,22 @@ int main( int argc, char *argv[] )
#if defined(MBEDTLS_USE_PSA_CRYPTO) #if defined(MBEDTLS_USE_PSA_CRYPTO)
if( opt.key_opaque != 0 ) if( opt.key_opaque != 0 )
{ {
if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey, &key_slot, psa_algorithm_t psa_alg, psa_alg2;
PSA_ALG_ANY_HASH ) ) != 0 )
if( mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_ECKEY )
{
psa_alg = PSA_ALG_ECDSA( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_NONE;
}
else
{
psa_alg = PSA_ALG_RSA_PKCS1V15_SIGN( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_RSA_PSS( PSA_ALG_ANY_HASH );
}
if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey, &key_slot, psa_alg,
PSA_KEY_USAGE_SIGN_HASH,
psa_alg2 ) ) != 0 )
{ {
mbedtls_printf( " failed\n ! " mbedtls_printf( " failed\n ! "
"mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret ); "mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret );

View file

@ -2564,11 +2564,29 @@ int main( int argc, char *argv[] )
#if defined(MBEDTLS_USE_PSA_CRYPTO) #if defined(MBEDTLS_USE_PSA_CRYPTO)
if( opt.key_opaque != 0 ) if( opt.key_opaque != 0 )
{ {
psa_algorithm_t psa_alg, psa_alg2;
psa_key_usage_t psa_usage;
if ( mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_ECKEY || if ( mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_ECKEY ||
mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_RSA ) mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_RSA )
{ {
if( mbedtls_pk_get_type( &pkey ) == MBEDTLS_PK_ECKEY )
{
psa_alg = PSA_ALG_ECDSA( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_ECDH;
psa_usage = PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_DERIVE;
}
else
{
psa_alg = PSA_ALG_RSA_PKCS1V15_SIGN( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_NONE;
psa_usage = PSA_KEY_USAGE_SIGN_HASH;
}
if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey, &key_slot, if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey, &key_slot,
PSA_ALG_ANY_HASH ) ) != 0 ) psa_alg,
psa_usage,
psa_alg2 ) ) != 0 )
{ {
mbedtls_printf( " failed\n ! " mbedtls_printf( " failed\n ! "
"mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret ); "mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret );
@ -2579,8 +2597,23 @@ int main( int argc, char *argv[] )
if ( mbedtls_pk_get_type( &pkey2 ) == MBEDTLS_PK_ECKEY || if ( mbedtls_pk_get_type( &pkey2 ) == MBEDTLS_PK_ECKEY ||
mbedtls_pk_get_type( &pkey2 ) == MBEDTLS_PK_RSA ) mbedtls_pk_get_type( &pkey2 ) == MBEDTLS_PK_RSA )
{ {
if( mbedtls_pk_get_type( &pkey2 ) == MBEDTLS_PK_ECKEY )
{
psa_alg = PSA_ALG_ECDSA( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_ECDH;
psa_usage = PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_DERIVE;
}
else
{
psa_alg = PSA_ALG_RSA_PKCS1V15_SIGN( PSA_ALG_ANY_HASH );
psa_alg2 = PSA_ALG_NONE;
psa_usage = PSA_KEY_USAGE_SIGN_HASH;
}
if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey2, &key_slot2, if( ( ret = mbedtls_pk_wrap_as_opaque( &pkey2, &key_slot2,
PSA_ALG_ANY_HASH ) ) != 0 ) psa_alg,
psa_usage,
psa_alg2 ) ) != 0 )
{ {
mbedtls_printf( " failed\n ! " mbedtls_printf( " failed\n ! "
"mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret ); "mbedtls_pk_wrap_as_opaque returned -0x%x\n\n", (unsigned int) -ret );

View file

@ -1080,6 +1080,7 @@ void pk_psa_sign( int parameter_arg,
unsigned char pkey_legacy[200]; unsigned char pkey_legacy[200];
unsigned char pkey_psa[200]; unsigned char pkey_psa[200];
unsigned char *pkey_legacy_start, *pkey_psa_start; unsigned char *pkey_legacy_start, *pkey_psa_start;
psa_algorithm_t alg_psa;
size_t sig_len, klen_legacy, klen_psa; size_t sig_len, klen_legacy, klen_psa;
int ret; int ret;
mbedtls_svc_key_id_t key_id; mbedtls_svc_key_id_t key_id;
@ -1107,6 +1108,7 @@ void pk_psa_sign( int parameter_arg,
TEST_ASSERT( mbedtls_rsa_gen_key( mbedtls_pk_rsa( pk ), TEST_ASSERT( mbedtls_rsa_gen_key( mbedtls_pk_rsa( pk ),
mbedtls_test_rnd_std_rand, NULL, mbedtls_test_rnd_std_rand, NULL,
parameter_arg, 3 ) == 0 ); parameter_arg, 3 ) == 0 );
alg_psa = PSA_ALG_RSA_PKCS1V15_SIGN( PSA_ALG_SHA_256 );
} }
else else
#endif /* MBEDTLS_RSA_C && MBEDTLS_GENPRIME */ #endif /* MBEDTLS_RSA_C && MBEDTLS_GENPRIME */
@ -1122,6 +1124,7 @@ void pk_psa_sign( int parameter_arg,
TEST_ASSERT( mbedtls_ecp_gen_key( grpid, TEST_ASSERT( mbedtls_ecp_gen_key( grpid,
(mbedtls_ecp_keypair*) pk.pk_ctx, (mbedtls_ecp_keypair*) pk.pk_ctx,
mbedtls_test_rnd_std_rand, NULL ) == 0 ); mbedtls_test_rnd_std_rand, NULL ) == 0 );
alg_psa = PSA_ALG_ECDSA( PSA_ALG_SHA_256 );
} }
else else
#endif /* MBEDTLS_ECDSA_C */ #endif /* MBEDTLS_ECDSA_C */
@ -1139,8 +1142,9 @@ void pk_psa_sign( int parameter_arg,
pkey_legacy_start = pkey_legacy + sizeof( pkey_legacy ) - klen_legacy; pkey_legacy_start = pkey_legacy + sizeof( pkey_legacy ) - klen_legacy;
/* Turn PK context into an opaque one. */ /* Turn PK context into an opaque one. */
TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &pk, &key_id, TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &pk, &key_id, alg_psa,
PSA_ALG_SHA_256 ) == 0 ); PSA_KEY_USAGE_SIGN_HASH,
PSA_ALG_NONE ) == 0 );
PSA_ASSERT( psa_get_key_attributes( key_id, &attributes ) ); PSA_ASSERT( psa_get_key_attributes( key_id, &attributes ) );
TEST_EQUAL( psa_get_key_type( &attributes ), expected_type ); TEST_EQUAL( psa_get_key_type( &attributes ), expected_type );
@ -1241,6 +1245,7 @@ void pk_psa_wrap_sign_ext( int pk_type, int parameter, int key_pk_type, int md_a
unsigned char *pkey_start; unsigned char *pkey_start;
unsigned char hash[MBEDTLS_MD_MAX_SIZE]; unsigned char hash[MBEDTLS_MD_MAX_SIZE];
psa_algorithm_t psa_md_alg = mbedtls_psa_translate_md( md_alg ); psa_algorithm_t psa_md_alg = mbedtls_psa_translate_md( md_alg );
psa_algorithm_t psa_alg;
size_t hash_len = PSA_HASH_LENGTH( psa_md_alg ); size_t hash_len = PSA_HASH_LENGTH( psa_md_alg );
const mbedtls_md_info_t *md_info = mbedtls_md_info_from_type( md_alg ); const mbedtls_md_info_t *md_info = mbedtls_md_info_from_type( md_alg );
void const *options = NULL; void const *options = NULL;
@ -1266,8 +1271,17 @@ void pk_psa_wrap_sign_ext( int pk_type, int parameter, int key_pk_type, int md_a
/* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */ /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
pkey_start = pkey + sizeof( pkey ) - pkey_len; pkey_start = pkey + sizeof( pkey ) - pkey_len;
if( key_pk_type == MBEDTLS_PK_RSA )
psa_alg = PSA_ALG_RSA_PKCS1V15_SIGN( psa_md_alg );
else if( key_pk_type == MBEDTLS_PK_RSASSA_PSS )
psa_alg = PSA_ALG_RSA_PSS( psa_md_alg );
else
TEST_ASSUME( ! "PK key type not supported in this configuration" );
/* Turn PK context into an opaque one. */ /* Turn PK context into an opaque one. */
TEST_EQUAL( mbedtls_pk_wrap_as_opaque( &pk, &key_id, psa_md_alg ), 0 ); TEST_EQUAL( mbedtls_pk_wrap_as_opaque( &pk, &key_id, psa_alg,
PSA_KEY_USAGE_SIGN_HASH,
PSA_ALG_NONE ), 0 );
memset( hash, 0x2a, sizeof( hash ) ); memset( hash, 0x2a, sizeof( hash ) );
memset( sig, 0, sizeof( sig ) ); memset( sig, 0, sizeof( sig ) );

View file

@ -170,7 +170,7 @@ void x509_csr_check_opaque( char *key_file, int md_type, int key_usage,
{ {
mbedtls_pk_context key; mbedtls_pk_context key;
mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT; mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
psa_algorithm_t md_alg_psa; psa_algorithm_t md_alg_psa, alg_psa;
mbedtls_x509write_csr req; mbedtls_x509write_csr req;
unsigned char buf[4096]; unsigned char buf[4096];
int ret; int ret;
@ -187,7 +187,17 @@ void x509_csr_check_opaque( char *key_file, int md_type, int key_usage,
mbedtls_pk_init( &key ); mbedtls_pk_init( &key );
TEST_ASSERT( mbedtls_pk_parse_keyfile( &key, key_file, NULL, TEST_ASSERT( mbedtls_pk_parse_keyfile( &key, key_file, NULL,
mbedtls_test_rnd_std_rand, NULL ) == 0 ); mbedtls_test_rnd_std_rand, NULL ) == 0 );
TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &key, &key_id, md_alg_psa ) == 0 );
if( mbedtls_pk_get_type( &key ) == MBEDTLS_PK_ECKEY )
alg_psa = PSA_ALG_ECDSA( md_alg_psa );
else if( mbedtls_pk_get_type( &key ) == MBEDTLS_PK_RSA )
alg_psa = PSA_ALG_RSA_PKCS1V15_SIGN( md_alg_psa );
else
TEST_ASSUME( ! "PK key type not supported in this configuration" );
TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &key, &key_id, alg_psa,
PSA_KEY_USAGE_SIGN_HASH,
PSA_ALG_NONE ) == 0 );
mbedtls_x509write_csr_init( &req ); mbedtls_x509write_csr_init( &req );
mbedtls_x509write_csr_set_md_alg( &req, md_type ); mbedtls_x509write_csr_set_md_alg( &req, md_type );
@ -280,12 +290,21 @@ void x509_crt_check( char *subject_key_file, char *subject_pwd,
/* For Opaque PK contexts, wrap key as an Opaque RSA context. */ /* For Opaque PK contexts, wrap key as an Opaque RSA context. */
if( pk_wrap == 2 ) if( pk_wrap == 2 )
{ {
psa_algorithm_t md_alg_psa = psa_algorithm_t alg_psa, md_alg_psa;
mbedtls_psa_translate_md( (mbedtls_md_type_t) md_type );
md_alg_psa = mbedtls_psa_translate_md( (mbedtls_md_type_t) md_type );
TEST_ASSERT( md_alg_psa != MBEDTLS_MD_NONE ); TEST_ASSERT( md_alg_psa != MBEDTLS_MD_NONE );
TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &issuer_key, &key_id,
md_alg_psa ) == 0 ); if( mbedtls_pk_get_type( &issuer_key ) == MBEDTLS_PK_ECKEY )
alg_psa = PSA_ALG_ECDSA( md_alg_psa );
else if( mbedtls_pk_get_type( &issuer_key ) == MBEDTLS_PK_RSA )
alg_psa = PSA_ALG_RSA_PKCS1V15_SIGN( md_alg_psa );
else
TEST_ASSUME( ! "PK key type not supported in this configuration" );
TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &issuer_key, &key_id, alg_psa,
PSA_KEY_USAGE_SIGN_HASH,
PSA_ALG_NONE ) == 0 );
} }
#endif /* MBEDTLS_USE_PSA_CRYPTO */ #endif /* MBEDTLS_USE_PSA_CRYPTO */