test_suite_dhm.function 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128
  1. /* BEGIN_HEADER */
  2. #include "mbedtls/dhm.h"
  3. /* END_HEADER */
  4. /* BEGIN_DEPENDENCIES
  5. * depends_on:MBEDTLS_DHM_C:MBEDTLS_BIGNUM_C
  6. * END_DEPENDENCIES
  7. */
  8. /* BEGIN_CASE */
  9. void dhm_do_dhm( int radix_P, char *input_P,
  10. int radix_G, char *input_G )
  11. {
  12. mbedtls_dhm_context ctx_srv;
  13. mbedtls_dhm_context ctx_cli;
  14. unsigned char ske[1000];
  15. unsigned char *p = ske;
  16. unsigned char pub_cli[1000];
  17. unsigned char sec_srv[1000];
  18. unsigned char sec_cli[1000];
  19. size_t ske_len = 0;
  20. size_t pub_cli_len = 0;
  21. size_t sec_srv_len;
  22. size_t sec_cli_len;
  23. int x_size, i;
  24. rnd_pseudo_info rnd_info;
  25. mbedtls_dhm_init( &ctx_srv );
  26. mbedtls_dhm_init( &ctx_cli );
  27. memset( ske, 0x00, 1000 );
  28. memset( pub_cli, 0x00, 1000 );
  29. memset( sec_srv, 0x00, 1000 );
  30. memset( sec_cli, 0x00, 1000 );
  31. memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
  32. /*
  33. * Set params
  34. */
  35. TEST_ASSERT( mbedtls_mpi_read_string( &ctx_srv.P, radix_P, input_P ) == 0 );
  36. TEST_ASSERT( mbedtls_mpi_read_string( &ctx_srv.G, radix_G, input_G ) == 0 );
  37. x_size = mbedtls_mpi_size( &ctx_srv.P );
  38. pub_cli_len = x_size;
  39. /*
  40. * First key exchange
  41. */
  42. TEST_ASSERT( mbedtls_dhm_make_params( &ctx_srv, x_size, ske, &ske_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  43. ske[ske_len++] = 0;
  44. ske[ske_len++] = 0;
  45. TEST_ASSERT( mbedtls_dhm_read_params( &ctx_cli, &p, ske + ske_len ) == 0 );
  46. TEST_ASSERT( mbedtls_dhm_make_public( &ctx_cli, x_size, pub_cli, pub_cli_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  47. TEST_ASSERT( mbedtls_dhm_read_public( &ctx_srv, pub_cli, pub_cli_len ) == 0 );
  48. TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  49. TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_cli, sec_cli, sizeof( sec_cli ), &sec_cli_len, NULL, NULL ) == 0 );
  50. TEST_ASSERT( sec_srv_len == sec_cli_len );
  51. TEST_ASSERT( sec_srv_len != 0 );
  52. TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
  53. /* Re-do calc_secret on server a few times to test update of blinding values */
  54. for( i = 0; i < 3; i++ )
  55. {
  56. sec_srv_len = 1000;
  57. TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  58. TEST_ASSERT( sec_srv_len == sec_cli_len );
  59. TEST_ASSERT( sec_srv_len != 0 );
  60. TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
  61. }
  62. /*
  63. * Second key exchange to test change of blinding values on server
  64. */
  65. p = ske;
  66. TEST_ASSERT( mbedtls_dhm_make_params( &ctx_srv, x_size, ske, &ske_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  67. ske[ske_len++] = 0;
  68. ske[ske_len++] = 0;
  69. TEST_ASSERT( mbedtls_dhm_read_params( &ctx_cli, &p, ske + ske_len ) == 0 );
  70. TEST_ASSERT( mbedtls_dhm_make_public( &ctx_cli, x_size, pub_cli, pub_cli_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  71. TEST_ASSERT( mbedtls_dhm_read_public( &ctx_srv, pub_cli, pub_cli_len ) == 0 );
  72. TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
  73. TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_cli, sec_cli, sizeof( sec_cli ), &sec_cli_len, NULL, NULL ) == 0 );
  74. TEST_ASSERT( sec_srv_len == sec_cli_len );
  75. TEST_ASSERT( sec_srv_len != 0 );
  76. TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
  77. exit:
  78. mbedtls_dhm_free( &ctx_srv );
  79. mbedtls_dhm_free( &ctx_cli );
  80. }
  81. /* END_CASE */
  82. /* BEGIN_CASE depends_on:MBEDTLS_FS_IO */
  83. void dhm_file( char *filename, char *p, char *g, int len )
  84. {
  85. mbedtls_dhm_context ctx;
  86. mbedtls_mpi P, G;
  87. mbedtls_dhm_init( &ctx );
  88. mbedtls_mpi_init( &P ); mbedtls_mpi_init( &G );
  89. TEST_ASSERT( mbedtls_mpi_read_string( &P, 16, p ) == 0 );
  90. TEST_ASSERT( mbedtls_mpi_read_string( &G, 16, g ) == 0 );
  91. TEST_ASSERT( mbedtls_dhm_parse_dhmfile( &ctx, filename ) == 0 );
  92. TEST_ASSERT( ctx.len == (size_t) len );
  93. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &ctx.P, &P ) == 0 );
  94. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &ctx.G, &G ) == 0 );
  95. exit:
  96. mbedtls_mpi_free( &P ); mbedtls_mpi_free( &G );
  97. mbedtls_dhm_free( &ctx );
  98. }
  99. /* END_CASE */
  100. /* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
  101. void dhm_selftest()
  102. {
  103. TEST_ASSERT( mbedtls_dhm_self_test( 1 ) == 0 );
  104. }
  105. /* END_CASE */