tests/suites/test_suite_lms.function

/* 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)];
    int rc;

    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.
     */
    rc = 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 );
    TEST_ASSUME( rc != MBEDTLS_ERR_LMS_ALLOC_FAILED );
    TEST_ASSERT( rc == 0 );

    TEST_ASSERT( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ) == 0 );

    TEST_ASSERT( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL,
                                   msg->x, msg->len, sig, sizeof( sig ),
                                   NULL ) == 0 );

    TEST_ASSERT( 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)];
    int rc;

    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.
     */
    rc = 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 );
    TEST_ASSUME( rc != MBEDTLS_ERR_LMS_ALLOC_FAILED );
    TEST_ASSERT( rc == 0 );

    TEST_ASSERT( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ) == 0 );

    TEST_ASSERT( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL,
                                   NULL, 0, sig, sizeof( sig ),
                                   NULL ) == 0 );

    TEST_ASSERT( 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 )
    {
        /* 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;

        /* 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 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_lms_public_free( &ctx );
}
/* END_CASE */

/* BEGIN_CASE */
void lms_import_export_test (  data_t * pub_key )
{
    mbedtls_lms_public_t ctx;
    uint8_t exported_pub_key[MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10)];

    mbedtls_lms_public_init(&ctx);
    TEST_ASSERT( mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ) == 0 );
    TEST_ASSERT( mbedtls_lms_export_public_key( &ctx, exported_pub_key,
                                                sizeof(exported_pub_key), NULL ) == 0 );

    ASSERT_COMPARE( pub_key->x, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10),
                    exported_pub_key, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) );

exit:
    mbedtls_lms_public_free( &ctx );
}
/* END_CASE */