/* BEGIN_HEADER */ #include "mbedtls/lms.h" /* END_HEADER */ /* BEGIN_DEPENDENCIES * depends_on:MBEDTLS_LMS_C * END_DEPENDENCIES */ /* BEGIN_CASE depends_on:MBEDTLS_LMS_PRIVATE */ void lms_sign_verify_test ( data_t *msg, data_t *seed ) { mbedtls_lms_public_t pub_ctx; mbedtls_lms_private_t priv_ctx; unsigned char sig[MBEDTLS_LMS_SIG_LEN(MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8)]; mbedtls_lms_public_init( &pub_ctx ); mbedtls_lms_private_init( &priv_ctx ); /* Allocation failure isn't a test failure, since it likely just means * there's not enough memory to run the test. */ TEST_EQUAL( mbedtls_lms_generate_private_key( &priv_ctx, MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8, mbedtls_test_rnd_std_rand, NULL, seed->x, seed->len ), 0 ); TEST_EQUAL( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ), 0 ); TEST_EQUAL( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL, msg->x, msg->len, sig, sizeof( sig ), NULL ), 0 ); TEST_EQUAL( mbedtls_lms_verify( &pub_ctx, msg->x, msg->len, sig, sizeof( sig ) ), 0 ); exit: mbedtls_lms_public_free( &pub_ctx ); mbedtls_lms_private_free( &priv_ctx ); } /* END_CASE */ /* BEGIN_CASE depends_on:MBEDTLS_LMS_PRIVATE */ void lms_sign_verify_null_msg_test( data_t *seed ) { mbedtls_lms_public_t pub_ctx; mbedtls_lms_private_t priv_ctx; unsigned char sig[MBEDTLS_LMS_SIG_LEN(MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8)]; mbedtls_lms_public_init( &pub_ctx ); mbedtls_lms_private_init( &priv_ctx ); /* Allocation failure isn't a test failure, since it likely just means * there's not enough memory to run the test. */ TEST_EQUAL( mbedtls_lms_generate_private_key( &priv_ctx, MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8, mbedtls_test_rnd_std_rand, NULL, seed->x, seed->len ), 0 ); TEST_EQUAL( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ), 0 ); TEST_EQUAL( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL, NULL, 0, sig, sizeof( sig ), NULL ), 0 ); TEST_EQUAL( mbedtls_lms_verify( &pub_ctx, NULL, 0, sig, sizeof( sig ) ), 0 ); exit: mbedtls_lms_public_free( &pub_ctx ); mbedtls_lms_private_free( &priv_ctx ); } /* END_CASE */ /* BEGIN_CASE */ void lms_verify_test ( data_t * msg, data_t * sig, data_t * pub_key, int expected_rc ) { mbedtls_lms_public_t ctx; unsigned int size; unsigned char *tmp_sig = NULL; mbedtls_lms_public_init( &ctx); TEST_EQUAL(mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ), 0); TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), expected_rc); /* Test negative cases if the input data is valid */ if( expected_rc == 0 ) { if( msg->len >= 1 ) { /* Altering first message byte must cause verification failure */ msg->x[0] ^= 1; TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), MBEDTLS_ERR_LMS_VERIFY_FAILED); msg->x[0] ^= 1; /* Altering last message byte must cause verification failure */ msg->x[msg->len - 1] ^= 1; TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), MBEDTLS_ERR_LMS_VERIFY_FAILED); msg->x[msg->len - 1] ^= 1; } if( sig->len >= 1 ) { /* Altering first signature byte must cause verification failure */ sig->x[0] ^= 1; TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), MBEDTLS_ERR_LMS_VERIFY_FAILED); sig->x[0] ^= 1; /* Altering last signature byte must cause verification failure */ sig->x[sig->len - 1] ^= 1; TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), MBEDTLS_ERR_LMS_VERIFY_FAILED); sig->x[sig->len - 1] ^= 1; } /* Signatures of all sizes must not verify, whether shorter or longer */ for( size = 0; size < sig->len; size++ ) { if( size == sig->len ) continue; ASSERT_ALLOC( tmp_sig, size ); if( tmp_sig != NULL ) memcpy( tmp_sig, sig->x, MIN(size, sig->len) ); TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, tmp_sig, size ), MBEDTLS_ERR_LMS_VERIFY_FAILED); mbedtls_free( tmp_sig ); tmp_sig = NULL; } } exit: mbedtls_free( tmp_sig ); mbedtls_lms_public_free( &ctx ); } /* END_CASE */ /* BEGIN_CASE */ void lms_import_export_test ( data_t * pub_key, int expected_import_rc ) { mbedtls_lms_public_t ctx; size_t exported_pub_key_buf_size = 0; size_t exported_pub_key_size = 0; unsigned char *exported_pub_key = NULL; mbedtls_lms_public_init(&ctx); TEST_EQUAL( mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ), expected_import_rc ); if( expected_import_rc == 0 ) { exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10); ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size ); TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key, exported_pub_key_buf_size, &exported_pub_key_size ), 0 ); TEST_EQUAL( exported_pub_key_size, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10 ) ); ASSERT_COMPARE( pub_key->x, pub_key->len, exported_pub_key, exported_pub_key_size ); mbedtls_free(exported_pub_key); exported_pub_key = NULL; /* Export into too-small buffer should fail */ exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) - 1; ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size); TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key, exported_pub_key_buf_size, NULL ), MBEDTLS_ERR_LMS_BUFFER_TOO_SMALL ); mbedtls_free(exported_pub_key); exported_pub_key = NULL; /* Export into too-large buffer should succeed */ exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) + 1; ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size); TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key, exported_pub_key_buf_size, NULL ), 0 ); TEST_EQUAL( exported_pub_key_size, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10 ) ); ASSERT_COMPARE( pub_key->x, pub_key->len, exported_pub_key, exported_pub_key_size ); mbedtls_free(exported_pub_key); exported_pub_key = NULL; } exit: mbedtls_free( exported_pub_key ); mbedtls_lms_public_free( &ctx ); } /* END_CASE */