test_suite_pkcs1_v21.function 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267
  1. /* BEGIN_HEADER */
  2. #include "mbedtls/rsa.h"
  3. #include "mbedtls/md.h"
  4. /* END_HEADER */
  5. /* BEGIN_DEPENDENCIES
  6. * depends_on:MBEDTLS_PKCS1_V21:MBEDTLS_RSA_C:MBEDTLS_SHA1_C
  7. * END_DEPENDENCIES
  8. */
  9. /* BEGIN_CASE */
  10. void pkcs1_rsaes_oaep_encrypt( int mod, int radix_N, char *input_N, int radix_E,
  11. char *input_E, int hash,
  12. char *message_hex_string, char *seed,
  13. char *result_hex_str, int result )
  14. {
  15. unsigned char message_str[1000];
  16. unsigned char output[1000];
  17. unsigned char output_str[1000];
  18. unsigned char rnd_buf[1000];
  19. mbedtls_rsa_context ctx;
  20. size_t msg_len;
  21. rnd_buf_info info;
  22. info.length = unhexify( rnd_buf, seed );
  23. info.buf = rnd_buf;
  24. mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V21, hash );
  25. memset( message_str, 0x00, 1000 );
  26. memset( output, 0x00, 1000 );
  27. memset( output_str, 0x00, 1000 );
  28. ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
  29. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
  30. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
  31. TEST_ASSERT( mbedtls_rsa_check_pubkey( &ctx ) == 0 );
  32. msg_len = unhexify( message_str, message_hex_string );
  33. TEST_ASSERT( mbedtls_rsa_pkcs1_encrypt( &ctx, &rnd_buffer_rand, &info, MBEDTLS_RSA_PUBLIC, msg_len, message_str, output ) == result );
  34. if( result == 0 )
  35. {
  36. hexify( output_str, output, ctx.len );
  37. TEST_ASSERT( strcasecmp( (char *) output_str, result_hex_str ) == 0 );
  38. }
  39. exit:
  40. mbedtls_rsa_free( &ctx );
  41. }
  42. /* END_CASE */
  43. /* BEGIN_CASE */
  44. void pkcs1_rsaes_oaep_decrypt( int mod, int radix_P, char *input_P,
  45. int radix_Q, char *input_Q, int radix_N,
  46. char *input_N, int radix_E, char *input_E,
  47. int hash, char *result_hex_str, char *seed,
  48. char *message_hex_string, int result )
  49. {
  50. unsigned char message_str[1000];
  51. unsigned char output[1000];
  52. unsigned char output_str[1000];
  53. mbedtls_rsa_context ctx;
  54. mbedtls_mpi P1, Q1, H, G;
  55. size_t output_len;
  56. rnd_pseudo_info rnd_info;
  57. ((void) seed);
  58. mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 ); mbedtls_mpi_init( &H ); mbedtls_mpi_init( &G );
  59. mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V21, hash );
  60. memset( message_str, 0x00, 1000 );
  61. memset( output, 0x00, 1000 );
  62. memset( output_str, 0x00, 1000 );
  63. memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
  64. ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
  65. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.P, radix_P, input_P ) == 0 );
  66. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.Q, radix_Q, input_Q ) == 0 );
  67. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
  68. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
  69. TEST_ASSERT( mbedtls_mpi_sub_int( &P1, &ctx.P, 1 ) == 0 );
  70. TEST_ASSERT( mbedtls_mpi_sub_int( &Q1, &ctx.Q, 1 ) == 0 );
  71. TEST_ASSERT( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) == 0 );
  72. TEST_ASSERT( mbedtls_mpi_gcd( &G, &ctx.E, &H ) == 0 );
  73. TEST_ASSERT( mbedtls_mpi_inv_mod( &ctx.D , &ctx.E, &H ) == 0 );
  74. TEST_ASSERT( mbedtls_mpi_mod_mpi( &ctx.DP, &ctx.D, &P1 ) == 0 );
  75. TEST_ASSERT( mbedtls_mpi_mod_mpi( &ctx.DQ, &ctx.D, &Q1 ) == 0 );
  76. TEST_ASSERT( mbedtls_mpi_inv_mod( &ctx.QP, &ctx.Q, &ctx.P ) == 0 );
  77. TEST_ASSERT( mbedtls_rsa_check_privkey( &ctx ) == 0 );
  78. unhexify( message_str, message_hex_string );
  79. TEST_ASSERT( mbedtls_rsa_pkcs1_decrypt( &ctx, &rnd_pseudo_rand, &rnd_info, MBEDTLS_RSA_PRIVATE, &output_len, message_str, output, 1000 ) == result );
  80. if( result == 0 )
  81. {
  82. hexify( output_str, output, ctx.len );
  83. TEST_ASSERT( strncasecmp( (char *) output_str, result_hex_str, strlen( result_hex_str ) ) == 0 );
  84. }
  85. exit:
  86. mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 ); mbedtls_mpi_free( &H ); mbedtls_mpi_free( &G );
  87. mbedtls_rsa_free( &ctx );
  88. }
  89. /* END_CASE */
  90. /* BEGIN_CASE */
  91. void pkcs1_rsassa_pss_sign( int mod, int radix_P, char *input_P, int radix_Q,
  92. char *input_Q, int radix_N, char *input_N,
  93. int radix_E, char *input_E, int digest, int hash,
  94. char *message_hex_string, char *salt,
  95. char *result_hex_str, int result )
  96. {
  97. unsigned char message_str[1000];
  98. unsigned char hash_result[1000];
  99. unsigned char output[1000];
  100. unsigned char output_str[1000];
  101. unsigned char rnd_buf[1000];
  102. mbedtls_rsa_context ctx;
  103. mbedtls_mpi P1, Q1, H, G;
  104. size_t msg_len;
  105. rnd_buf_info info;
  106. info.length = unhexify( rnd_buf, salt );
  107. info.buf = rnd_buf;
  108. mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 ); mbedtls_mpi_init( &H ); mbedtls_mpi_init( &G );
  109. mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V21, hash );
  110. memset( message_str, 0x00, 1000 );
  111. memset( hash_result, 0x00, 1000 );
  112. memset( output, 0x00, 1000 );
  113. memset( output_str, 0x00, 1000 );
  114. ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
  115. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.P, radix_P, input_P ) == 0 );
  116. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.Q, radix_Q, input_Q ) == 0 );
  117. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
  118. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
  119. TEST_ASSERT( mbedtls_mpi_sub_int( &P1, &ctx.P, 1 ) == 0 );
  120. TEST_ASSERT( mbedtls_mpi_sub_int( &Q1, &ctx.Q, 1 ) == 0 );
  121. TEST_ASSERT( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) == 0 );
  122. TEST_ASSERT( mbedtls_mpi_gcd( &G, &ctx.E, &H ) == 0 );
  123. TEST_ASSERT( mbedtls_mpi_inv_mod( &ctx.D , &ctx.E, &H ) == 0 );
  124. TEST_ASSERT( mbedtls_mpi_mod_mpi( &ctx.DP, &ctx.D, &P1 ) == 0 );
  125. TEST_ASSERT( mbedtls_mpi_mod_mpi( &ctx.DQ, &ctx.D, &Q1 ) == 0 );
  126. TEST_ASSERT( mbedtls_mpi_inv_mod( &ctx.QP, &ctx.Q, &ctx.P ) == 0 );
  127. TEST_ASSERT( mbedtls_rsa_check_privkey( &ctx ) == 0 );
  128. msg_len = unhexify( message_str, message_hex_string );
  129. if( mbedtls_md_info_from_type( digest ) != NULL )
  130. TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ), message_str, msg_len, hash_result ) == 0 );
  131. TEST_ASSERT( mbedtls_rsa_pkcs1_sign( &ctx, &rnd_buffer_rand, &info, MBEDTLS_RSA_PRIVATE, digest, 0, hash_result, output ) == result );
  132. if( result == 0 )
  133. {
  134. hexify( output_str, output, ctx.len);
  135. TEST_ASSERT( strcasecmp( (char *) output_str, result_hex_str ) == 0 );
  136. }
  137. exit:
  138. mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 ); mbedtls_mpi_free( &H ); mbedtls_mpi_free( &G );
  139. mbedtls_rsa_free( &ctx );
  140. }
  141. /* END_CASE */
  142. /* BEGIN_CASE */
  143. void pkcs1_rsassa_pss_verify( int mod, int radix_N, char *input_N, int radix_E,
  144. char *input_E, int digest, int hash,
  145. char *message_hex_string, char *salt,
  146. char *result_hex_str, int result )
  147. {
  148. unsigned char message_str[1000];
  149. unsigned char hash_result[1000];
  150. unsigned char result_str[1000];
  151. mbedtls_rsa_context ctx;
  152. size_t msg_len;
  153. ((void) salt);
  154. mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V21, hash );
  155. memset( message_str, 0x00, 1000 );
  156. memset( hash_result, 0x00, 1000 );
  157. memset( result_str, 0x00, 1000 );
  158. ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
  159. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
  160. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
  161. TEST_ASSERT( mbedtls_rsa_check_pubkey( &ctx ) == 0 );
  162. msg_len = unhexify( message_str, message_hex_string );
  163. unhexify( result_str, result_hex_str );
  164. if( mbedtls_md_info_from_type( digest ) != NULL )
  165. TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ), message_str, msg_len, hash_result ) == 0 );
  166. TEST_ASSERT( mbedtls_rsa_pkcs1_verify( &ctx, NULL, NULL, MBEDTLS_RSA_PUBLIC, digest, 0, hash_result, result_str ) == result );
  167. exit:
  168. mbedtls_rsa_free( &ctx );
  169. }
  170. /* END_CASE */
  171. /* BEGIN_CASE */
  172. void pkcs1_rsassa_pss_verify_ext( int mod,
  173. int radix_N, char *input_N,
  174. int radix_E, char *input_E,
  175. int msg_digest_id, int ctx_hash,
  176. int mgf_hash, int salt_len,
  177. char *message_hex_string,
  178. char *result_hex_str,
  179. int result_simple,
  180. int result_full )
  181. {
  182. unsigned char message_str[1000];
  183. unsigned char hash_result[1000];
  184. unsigned char result_str[1000];
  185. mbedtls_rsa_context ctx;
  186. size_t msg_len, hash_len;
  187. mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V21, ctx_hash );
  188. memset( message_str, 0x00, 1000 );
  189. memset( hash_result, 0x00, 1000 );
  190. memset( result_str, 0x00, 1000 );
  191. ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
  192. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
  193. TEST_ASSERT( mbedtls_mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
  194. TEST_ASSERT( mbedtls_rsa_check_pubkey( &ctx ) == 0 );
  195. msg_len = unhexify( message_str, message_hex_string );
  196. unhexify( result_str, result_hex_str );
  197. if( msg_digest_id != MBEDTLS_MD_NONE )
  198. {
  199. TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( msg_digest_id ),
  200. message_str, msg_len, hash_result ) == 0 );
  201. hash_len = 0;
  202. }
  203. else
  204. {
  205. memcpy( hash_result, message_str, msg_len );
  206. hash_len = msg_len;
  207. }
  208. TEST_ASSERT( mbedtls_rsa_pkcs1_verify( &ctx, NULL, NULL, MBEDTLS_RSA_PUBLIC,
  209. msg_digest_id, hash_len, hash_result,
  210. result_str ) == result_simple );
  211. TEST_ASSERT( mbedtls_rsa_rsassa_pss_verify_ext( &ctx, NULL, NULL, MBEDTLS_RSA_PUBLIC,
  212. msg_digest_id, hash_len, hash_result,
  213. mgf_hash, salt_len,
  214. result_str ) == result_full );
  215. exit:
  216. mbedtls_rsa_free( &ctx );
  217. }
  218. /* END_CASE */