ffc_internal_test.c 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643
  1. /*
  2. * Copyright 2019-2021 The OpenSSL Project Authors. All Rights Reserved.
  3. * Copyright (c) 2019-2020, Oracle and/or its affiliates. All rights reserved.
  4. *
  5. * Licensed under the Apache License 2.0 (the "License"). You may not use
  6. * this file except in compliance with the License. You can obtain a copy
  7. * in the file LICENSE in the source distribution or at
  8. * https://www.openssl.org/source/license.html
  9. */
  10. /*
  11. * This is an internal test that is intentionally using internal APIs. Some of
  12. * those APIs are deprecated for public use.
  13. */
  14. #include "internal/deprecated.h"
  15. #include <stdio.h>
  16. #include <stdlib.h>
  17. #include <string.h>
  18. #include "internal/nelem.h"
  19. #include <openssl/crypto.h>
  20. #include <openssl/bio.h>
  21. #include <openssl/bn.h>
  22. #include <openssl/rand.h>
  23. #include <openssl/err.h>
  24. #include "testutil.h"
  25. #include "internal/ffc.h"
  26. #ifndef OPENSSL_NO_DSA
  27. static const unsigned char dsa_2048_224_sha224_p[] = {
  28. 0x93, 0x57, 0x93, 0x62, 0x1b, 0x9a, 0x10, 0x9b, 0xc1, 0x56, 0x0f, 0x24,
  29. 0x71, 0x76, 0x4e, 0xd3, 0xed, 0x78, 0x78, 0x7a, 0xbf, 0x89, 0x71, 0x67,
  30. 0x8e, 0x03, 0xd8, 0x5b, 0xcd, 0x22, 0x8f, 0x70, 0x74, 0xff, 0x22, 0x05,
  31. 0x07, 0x0c, 0x4c, 0x60, 0xed, 0x41, 0xe1, 0x9e, 0x9c, 0xaa, 0x3e, 0x19,
  32. 0x5c, 0x3d, 0x80, 0x58, 0xb2, 0x7f, 0x5f, 0x89, 0xec, 0xb5, 0x19, 0xdb,
  33. 0x06, 0x11, 0xe9, 0x78, 0x5c, 0xf9, 0xa0, 0x9e, 0x70, 0x62, 0x14, 0x7b,
  34. 0xda, 0x92, 0xbf, 0xb2, 0x6b, 0x01, 0x6f, 0xb8, 0x68, 0x9c, 0x89, 0x36,
  35. 0x89, 0x72, 0x79, 0x49, 0x93, 0x3d, 0x14, 0xb2, 0x2d, 0xbb, 0xf0, 0xdf,
  36. 0x94, 0x45, 0x0b, 0x5f, 0xf1, 0x75, 0x37, 0xeb, 0x49, 0xb9, 0x2d, 0xce,
  37. 0xb7, 0xf4, 0x95, 0x77, 0xc2, 0xe9, 0x39, 0x1c, 0x4e, 0x0c, 0x40, 0x62,
  38. 0x33, 0x0a, 0xe6, 0x29, 0x6f, 0xba, 0xef, 0x02, 0xdd, 0x0d, 0xe4, 0x04,
  39. 0x01, 0x70, 0x40, 0xb9, 0xc9, 0x7e, 0x2f, 0x10, 0x37, 0xe9, 0xde, 0xb0,
  40. 0xf6, 0xeb, 0x71, 0x7f, 0x9c, 0x35, 0x16, 0xf3, 0x0d, 0xc4, 0xe8, 0x02,
  41. 0x37, 0x6c, 0xdd, 0xb3, 0x8d, 0x2d, 0x1e, 0x28, 0x13, 0x22, 0x89, 0x40,
  42. 0xe5, 0xfa, 0x16, 0x67, 0xd6, 0xda, 0x12, 0xa2, 0x38, 0x83, 0x25, 0xcc,
  43. 0x26, 0xc1, 0x27, 0x74, 0xfe, 0xf6, 0x7a, 0xb6, 0xa1, 0xe4, 0xe8, 0xdf,
  44. 0x5d, 0xd2, 0x9c, 0x2f, 0xec, 0xea, 0x08, 0xca, 0x48, 0xdb, 0x18, 0x4b,
  45. 0x12, 0xee, 0x16, 0x9b, 0xa6, 0x00, 0xa0, 0x18, 0x98, 0x7d, 0xce, 0x6c,
  46. 0x6d, 0xf8, 0xfc, 0x95, 0x51, 0x1b, 0x0a, 0x40, 0xb6, 0xfc, 0xe5, 0xe2,
  47. 0xb0, 0x26, 0x53, 0x4c, 0xd7, 0xfe, 0xaa, 0x6d, 0xbc, 0xdd, 0xc0, 0x61,
  48. 0x65, 0xe4, 0x89, 0x44, 0x18, 0x6f, 0xd5, 0x39, 0xcf, 0x75, 0x6d, 0x29,
  49. 0xcc, 0xf8, 0x40, 0xab
  50. };
  51. static const unsigned char dsa_2048_224_sha224_q[] = {
  52. 0xf2, 0x5e, 0x4e, 0x9a, 0x15, 0xa8, 0x13, 0xdf, 0xa3, 0x17, 0x90, 0xc6,
  53. 0xd6, 0x5e, 0xb1, 0xfb, 0x31, 0xf8, 0xb5, 0xb1, 0x4b, 0xa7, 0x6d, 0xde,
  54. 0x57, 0x76, 0x6f, 0x11
  55. };
  56. static const unsigned char dsa_2048_224_sha224_seed[] = {
  57. 0xd2, 0xb1, 0x36, 0xd8, 0x5b, 0x8e, 0xa4, 0xb2, 0x6a, 0xab, 0x4e, 0x85,
  58. 0x8b, 0x49, 0xf9, 0xdd, 0xe6, 0xa1, 0xcd, 0xad, 0x49, 0x52, 0xe9, 0xb3,
  59. 0x36, 0x17, 0x06, 0xcf
  60. };
  61. static const unsigned char dsa_2048_224_sha224_bad_seed[] = {
  62. 0xd2, 0xb1, 0x36, 0xd8, 0x5b, 0x8e, 0xa4, 0xb2, 0x6a, 0xab, 0x4e, 0x85,
  63. 0x8b, 0x49, 0xf9, 0xdd, 0xe6, 0xa1, 0xcd, 0xad, 0x49, 0x52, 0xe9, 0xb3,
  64. 0x36, 0x17, 0x06, 0xd0
  65. };
  66. static int dsa_2048_224_sha224_counter = 2878;
  67. static const unsigned char dsa_3072_256_sha512_p[] = {
  68. 0x9a, 0x82, 0x8b, 0x8d, 0xea, 0xd0, 0x56, 0x23, 0x88, 0x2d, 0x5d, 0x41,
  69. 0x42, 0x4c, 0x13, 0x5a, 0x15, 0x81, 0x59, 0x02, 0xc5, 0x00, 0x82, 0x28,
  70. 0x01, 0xee, 0x8f, 0x99, 0xfd, 0x6a, 0x95, 0xf2, 0x0f, 0xae, 0x34, 0x77,
  71. 0x29, 0xcc, 0xc7, 0x50, 0x0e, 0x03, 0xef, 0xb0, 0x4d, 0xe5, 0x10, 0x00,
  72. 0xa8, 0x7b, 0xce, 0x8c, 0xc6, 0xb2, 0x01, 0x74, 0x23, 0x1b, 0x7f, 0xe8,
  73. 0xf9, 0x71, 0x28, 0x39, 0xcf, 0x18, 0x04, 0xb2, 0x95, 0x61, 0x2d, 0x11,
  74. 0x71, 0x6b, 0xdd, 0x0d, 0x0b, 0xf0, 0xe6, 0x97, 0x52, 0x29, 0x9d, 0x45,
  75. 0xb1, 0x23, 0xda, 0xb0, 0xd5, 0xcb, 0x51, 0x71, 0x8e, 0x40, 0x9c, 0x97,
  76. 0x13, 0xea, 0x1f, 0x4b, 0x32, 0x5d, 0x27, 0x74, 0x81, 0x8d, 0x47, 0x8a,
  77. 0x08, 0xce, 0xf4, 0xd1, 0x28, 0xa2, 0x0f, 0x9b, 0x2e, 0xc9, 0xa3, 0x0e,
  78. 0x5d, 0xde, 0x47, 0x19, 0x6d, 0x5f, 0x98, 0xe0, 0x8e, 0x7f, 0x60, 0x8f,
  79. 0x25, 0xa7, 0xa4, 0xeb, 0xb9, 0xf3, 0x24, 0xa4, 0x9e, 0xc1, 0xbd, 0x14,
  80. 0x27, 0x7c, 0x27, 0xc8, 0x4f, 0x5f, 0xed, 0xfd, 0x86, 0xc8, 0xf1, 0xd7,
  81. 0x82, 0xe2, 0xeb, 0xe5, 0xd2, 0xbe, 0xb0, 0x65, 0x28, 0xab, 0x99, 0x9e,
  82. 0xcd, 0xd5, 0x22, 0xf8, 0x1b, 0x3b, 0x01, 0xe9, 0x20, 0x3d, 0xe4, 0x98,
  83. 0x22, 0xfe, 0xfc, 0x09, 0x7e, 0x95, 0x20, 0xda, 0xb6, 0x12, 0x2c, 0x94,
  84. 0x5c, 0xea, 0x74, 0x71, 0xbd, 0x19, 0xac, 0x78, 0x43, 0x02, 0x51, 0xb8,
  85. 0x5f, 0x06, 0x1d, 0xea, 0xc8, 0xa4, 0x3b, 0xc9, 0x78, 0xa3, 0x2b, 0x09,
  86. 0xdc, 0x76, 0x74, 0xc4, 0x23, 0x14, 0x48, 0x2e, 0x84, 0x2b, 0xa3, 0x82,
  87. 0xc1, 0xba, 0x0b, 0x39, 0x2a, 0x9f, 0x24, 0x7b, 0xd6, 0xc2, 0xea, 0x5a,
  88. 0xb6, 0xbd, 0x15, 0x82, 0x21, 0x85, 0xe0, 0x6b, 0x12, 0x4f, 0x8d, 0x64,
  89. 0x75, 0xeb, 0x7e, 0xa1, 0xdb, 0xe0, 0x9d, 0x25, 0xae, 0x3b, 0xe9, 0x9b,
  90. 0x21, 0x7f, 0x9a, 0x3d, 0x66, 0xd0, 0x52, 0x1d, 0x39, 0x8b, 0xeb, 0xfc,
  91. 0xec, 0xbe, 0x72, 0x20, 0x5a, 0xdf, 0x1b, 0x00, 0xf1, 0x0e, 0xed, 0xc6,
  92. 0x78, 0x6f, 0xc9, 0xab, 0xe4, 0xd6, 0x81, 0x8b, 0xcc, 0xf6, 0xd4, 0x6a,
  93. 0x31, 0x62, 0x08, 0xd9, 0x38, 0x21, 0x8f, 0xda, 0x9e, 0xb1, 0x2b, 0x9c,
  94. 0xc0, 0xbe, 0xf7, 0x9a, 0x43, 0x2d, 0x07, 0x59, 0x46, 0x0e, 0xd5, 0x23,
  95. 0x4e, 0xaa, 0x4a, 0x04, 0xc2, 0xde, 0x33, 0xa6, 0x34, 0xba, 0xac, 0x4f,
  96. 0x78, 0xd8, 0xca, 0x76, 0xce, 0x5e, 0xd4, 0xf6, 0x85, 0x4c, 0x6a, 0x60,
  97. 0x08, 0x5d, 0x0e, 0x34, 0x8b, 0xf2, 0xb6, 0xe3, 0xb7, 0x51, 0xca, 0x43,
  98. 0xaa, 0x68, 0x7b, 0x0a, 0x6e, 0xea, 0xce, 0x1e, 0x2c, 0x34, 0x8e, 0x0f,
  99. 0xe2, 0xcc, 0x38, 0xf2, 0x9a, 0x98, 0xef, 0xe6, 0x7f, 0xf6, 0x62, 0xbb
  100. };
  101. static const unsigned char dsa_3072_256_sha512_q[] = {
  102. 0xc1, 0xdb, 0xc1, 0x21, 0x50, 0x49, 0x63, 0xa3, 0x77, 0x6d, 0x4c, 0x92,
  103. 0xed, 0x58, 0x9e, 0x98, 0xea, 0xac, 0x7a, 0x90, 0x13, 0x24, 0xf7, 0xcd,
  104. 0xd7, 0xe6, 0xd4, 0x8f, 0xf0, 0x45, 0x4b, 0xf7
  105. };
  106. static const unsigned char dsa_3072_256_sha512_seed[] = {
  107. 0x35, 0x24, 0xb5, 0x59, 0xd5, 0x27, 0x58, 0x10, 0xf6, 0xa2, 0x7c, 0x9a,
  108. 0x0d, 0xc2, 0x70, 0x8a, 0xb0, 0x41, 0x4a, 0x84, 0x0b, 0xfe, 0x66, 0xf5,
  109. 0x3a, 0xbf, 0x4a, 0xa9, 0xcb, 0xfc, 0xa6, 0x22
  110. };
  111. static int dsa_3072_256_sha512_counter = 1604;
  112. static const unsigned char dsa_2048_224_sha256_p[] = {
  113. 0xe9, 0x13, 0xbc, 0xf2, 0x14, 0x5d, 0xf9, 0x79, 0xd6, 0x6d, 0xf5, 0xc5,
  114. 0xbe, 0x7b, 0x6f, 0x90, 0x63, 0xd0, 0xfd, 0xee, 0x4f, 0xc4, 0x65, 0x83,
  115. 0xbf, 0xec, 0xc3, 0x2c, 0x5d, 0x30, 0xc8, 0xa4, 0x3b, 0x2f, 0x3b, 0x29,
  116. 0x43, 0x69, 0xfb, 0x6e, 0xa9, 0xa4, 0x07, 0x6c, 0xcd, 0xb0, 0xd2, 0xd9,
  117. 0xd3, 0xe6, 0xf4, 0x87, 0x16, 0xb7, 0xe5, 0x06, 0xb9, 0xba, 0xd6, 0x87,
  118. 0xbc, 0x01, 0x9e, 0xba, 0xc2, 0xcf, 0x39, 0xb6, 0xec, 0xdc, 0x75, 0x07,
  119. 0xc1, 0x39, 0x2d, 0x6a, 0x95, 0x31, 0x97, 0xda, 0x54, 0x20, 0x29, 0xe0,
  120. 0x1b, 0xf9, 0x74, 0x65, 0xaa, 0xc1, 0x47, 0xd3, 0x9e, 0xb4, 0x3c, 0x1d,
  121. 0xe0, 0xdc, 0x2d, 0x21, 0xab, 0x12, 0x3b, 0xa5, 0x51, 0x1e, 0xc6, 0xbc,
  122. 0x6b, 0x4c, 0x22, 0xd1, 0x7c, 0xc6, 0xce, 0xcb, 0x8c, 0x1d, 0x1f, 0xce,
  123. 0x1c, 0xe2, 0x75, 0x49, 0x6d, 0x2c, 0xee, 0x7f, 0x5f, 0xb8, 0x74, 0x42,
  124. 0x5c, 0x96, 0x77, 0x13, 0xff, 0x80, 0xf3, 0x05, 0xc7, 0xfe, 0x08, 0x3b,
  125. 0x25, 0x36, 0x46, 0xa2, 0xc4, 0x26, 0xb4, 0xb0, 0x3b, 0xd5, 0xb2, 0x4c,
  126. 0x13, 0x29, 0x0e, 0x47, 0x31, 0x66, 0x7d, 0x78, 0x57, 0xe6, 0xc2, 0xb5,
  127. 0x9f, 0x46, 0x17, 0xbc, 0xa9, 0x9a, 0x49, 0x1c, 0x0f, 0x45, 0xe0, 0x88,
  128. 0x97, 0xa1, 0x30, 0x7c, 0x42, 0xb7, 0x2c, 0x0a, 0xce, 0xb3, 0xa5, 0x7a,
  129. 0x61, 0x8e, 0xab, 0x44, 0xc1, 0xdc, 0x70, 0xe5, 0xda, 0x78, 0x2a, 0xb4,
  130. 0xe6, 0x3c, 0xa0, 0x58, 0xda, 0x62, 0x0a, 0xb2, 0xa9, 0x3d, 0xaa, 0x49,
  131. 0x7e, 0x7f, 0x9a, 0x19, 0x67, 0xee, 0xd6, 0xe3, 0x67, 0x13, 0xe8, 0x6f,
  132. 0x79, 0x50, 0x76, 0xfc, 0xb3, 0x9d, 0x7e, 0x9e, 0x3e, 0x6e, 0x47, 0xb1,
  133. 0x11, 0x5e, 0xc8, 0x83, 0x3a, 0x3c, 0xfc, 0x82, 0x5c, 0x9d, 0x34, 0x65,
  134. 0x73, 0xb4, 0x56, 0xd5
  135. };
  136. static const unsigned char dsa_2048_224_sha256_q[] = {
  137. 0xb0, 0xdf, 0xa1, 0x7b, 0xa4, 0x77, 0x64, 0x0e, 0xb9, 0x28, 0xbb, 0xbc,
  138. 0xd4, 0x60, 0x02, 0xaf, 0x21, 0x8c, 0xb0, 0x69, 0x0f, 0x8a, 0x7b, 0xc6,
  139. 0x80, 0xcb, 0x0a, 0x45
  140. };
  141. static const unsigned char dsa_2048_224_sha256_g[] = {
  142. 0x11, 0x7c, 0x5f, 0xf6, 0x99, 0x44, 0x67, 0x5b, 0x69, 0xa3, 0x83, 0xef,
  143. 0xb5, 0x85, 0xa2, 0x19, 0x35, 0x18, 0x2a, 0xf2, 0x58, 0xf4, 0xc9, 0x58,
  144. 0x9e, 0xb9, 0xe8, 0x91, 0x17, 0x2f, 0xb0, 0x60, 0x85, 0x95, 0xa6, 0x62,
  145. 0x36, 0xd0, 0xff, 0x94, 0xb9, 0xa6, 0x50, 0xad, 0xa6, 0xf6, 0x04, 0x28,
  146. 0xc2, 0xc9, 0xb9, 0x75, 0xf3, 0x66, 0xb4, 0xeb, 0xf6, 0xd5, 0x06, 0x13,
  147. 0x01, 0x64, 0x82, 0xa9, 0xf1, 0xd5, 0x41, 0xdc, 0xf2, 0x08, 0xfc, 0x2f,
  148. 0xc4, 0xa1, 0x21, 0xee, 0x7d, 0xbc, 0xda, 0x5a, 0xa4, 0xa2, 0xb9, 0x68,
  149. 0x87, 0x36, 0xba, 0x53, 0x9e, 0x14, 0x4e, 0x76, 0x5c, 0xba, 0x79, 0x3d,
  150. 0x0f, 0xe5, 0x99, 0x1c, 0x27, 0xfc, 0xaf, 0x10, 0x63, 0x87, 0x68, 0x0e,
  151. 0x3e, 0x6e, 0xaa, 0xf3, 0xdf, 0x76, 0x7e, 0x02, 0x9a, 0x41, 0x96, 0xa1,
  152. 0x6c, 0xbb, 0x67, 0xee, 0x0c, 0xad, 0x72, 0x65, 0xf1, 0x70, 0xb0, 0x39,
  153. 0x9b, 0x54, 0x5f, 0xd7, 0x6c, 0xc5, 0x9a, 0x90, 0x53, 0x18, 0xde, 0x5e,
  154. 0x62, 0x89, 0xb9, 0x2f, 0x66, 0x59, 0x3a, 0x3d, 0x10, 0xeb, 0xa5, 0x99,
  155. 0xf6, 0x21, 0x7d, 0xf2, 0x7b, 0x42, 0x15, 0x1c, 0x55, 0x79, 0x15, 0xaa,
  156. 0xa4, 0x17, 0x2e, 0x48, 0xc3, 0xa8, 0x36, 0xf5, 0x1a, 0x97, 0xce, 0xbd,
  157. 0x72, 0xef, 0x1d, 0x50, 0x5b, 0xb1, 0x60, 0x0a, 0x5c, 0x0b, 0xa6, 0x21,
  158. 0x38, 0x28, 0x4e, 0x89, 0x33, 0x1d, 0xb5, 0x7e, 0x5c, 0xf1, 0x6b, 0x2c,
  159. 0xbd, 0xad, 0x84, 0xb2, 0x8e, 0x96, 0xe2, 0x30, 0xe7, 0x54, 0xb8, 0xc9,
  160. 0x70, 0xcb, 0x10, 0x30, 0x63, 0x90, 0xf4, 0x45, 0x64, 0x93, 0x09, 0x38,
  161. 0x6a, 0x47, 0x58, 0x31, 0x04, 0x1a, 0x18, 0x04, 0x1a, 0xe0, 0xd7, 0x0b,
  162. 0x3c, 0xbe, 0x2a, 0x9c, 0xec, 0xcc, 0x0d, 0x0c, 0xed, 0xde, 0x54, 0xbc,
  163. 0xe6, 0x93, 0x59, 0xfc
  164. };
  165. static int ffc_params_validate_g_unverified_test(void)
  166. {
  167. int ret = 0, res;
  168. FFC_PARAMS params;
  169. BIGNUM *p = NULL, *q = NULL, *g = NULL;
  170. BIGNUM *p1 = NULL, *g1 = NULL;
  171. ossl_ffc_params_init(&params);
  172. if (!TEST_ptr(p = BN_bin2bn(dsa_2048_224_sha256_p,
  173. sizeof(dsa_2048_224_sha256_p), NULL)))
  174. goto err;
  175. p1 = p;
  176. if (!TEST_ptr(q = BN_bin2bn(dsa_2048_224_sha256_q,
  177. sizeof(dsa_2048_224_sha256_q), NULL)))
  178. goto err;
  179. if (!TEST_ptr(g = BN_bin2bn(dsa_2048_224_sha256_g,
  180. sizeof(dsa_2048_224_sha256_g), NULL)))
  181. goto err;
  182. g1 = g;
  183. /* Fail if g is NULL */
  184. ossl_ffc_params_set0_pqg(&params, p, q, NULL);
  185. p = NULL;
  186. q = NULL;
  187. ossl_ffc_params_set_flags(&params, FFC_PARAM_FLAG_VALIDATE_G);
  188. ossl_ffc_set_digest(&params, "SHA256", NULL);
  189. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  190. FFC_PARAM_TYPE_DSA,
  191. &res, NULL)))
  192. goto err;
  193. ossl_ffc_params_set0_pqg(&params, p, q, g);
  194. g = NULL;
  195. if (!TEST_true(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  196. FFC_PARAM_TYPE_DSA,
  197. &res, NULL)))
  198. goto err;
  199. /* incorrect g */
  200. BN_add_word(g1, 1);
  201. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  202. FFC_PARAM_TYPE_DSA,
  203. &res, NULL)))
  204. goto err;
  205. /* fail if g < 2 */
  206. BN_set_word(g1, 1);
  207. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  208. FFC_PARAM_TYPE_DSA,
  209. &res, NULL)))
  210. goto err;
  211. BN_copy(g1, p1);
  212. /* Fail if g >= p */
  213. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  214. FFC_PARAM_TYPE_DSA,
  215. &res, NULL)))
  216. goto err;
  217. ret = 1;
  218. err:
  219. ossl_ffc_params_cleanup(&params);
  220. BN_free(p);
  221. BN_free(q);
  222. BN_free(g);
  223. return ret;
  224. }
  225. static int ffc_params_validate_pq_test(void)
  226. {
  227. int ret = 0, res = -1;
  228. FFC_PARAMS params;
  229. BIGNUM *p = NULL, *q = NULL;
  230. ossl_ffc_params_init(&params);
  231. if (!TEST_ptr(p = BN_bin2bn(dsa_2048_224_sha224_p,
  232. sizeof(dsa_2048_224_sha224_p),
  233. NULL)))
  234. goto err;
  235. if (!TEST_ptr(q = BN_bin2bn(dsa_2048_224_sha224_q,
  236. sizeof(dsa_2048_224_sha224_q),
  237. NULL)))
  238. goto err;
  239. /* No p */
  240. ossl_ffc_params_set0_pqg(&params, NULL, q, NULL);
  241. q = NULL;
  242. ossl_ffc_params_set_flags(&params, FFC_PARAM_FLAG_VALIDATE_PQ);
  243. ossl_ffc_set_digest(&params, "SHA224", NULL);
  244. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  245. FFC_PARAM_TYPE_DSA,
  246. &res, NULL)))
  247. goto err;
  248. /* Test valid case */
  249. ossl_ffc_params_set0_pqg(&params, p, NULL, NULL);
  250. p = NULL;
  251. ossl_ffc_params_set_validate_params(&params, dsa_2048_224_sha224_seed,
  252. sizeof(dsa_2048_224_sha224_seed),
  253. dsa_2048_224_sha224_counter);
  254. if (!TEST_true(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  255. FFC_PARAM_TYPE_DSA,
  256. &res, NULL)))
  257. goto err;
  258. /* Bad counter - so p is not prime */
  259. ossl_ffc_params_set_validate_params(&params, dsa_2048_224_sha224_seed,
  260. sizeof(dsa_2048_224_sha224_seed),
  261. 1);
  262. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  263. FFC_PARAM_TYPE_DSA,
  264. &res, NULL)))
  265. goto err;
  266. /* seedlen smaller than N */
  267. ossl_ffc_params_set_validate_params(&params, dsa_2048_224_sha224_seed,
  268. sizeof(dsa_2048_224_sha224_seed)-1,
  269. dsa_2048_224_sha224_counter);
  270. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  271. FFC_PARAM_TYPE_DSA,
  272. &res, NULL)))
  273. goto err;
  274. /* Provided seed doesnt produce a valid prime q */
  275. ossl_ffc_params_set_validate_params(&params, dsa_2048_224_sha224_bad_seed,
  276. sizeof(dsa_2048_224_sha224_bad_seed),
  277. dsa_2048_224_sha224_counter);
  278. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  279. FFC_PARAM_TYPE_DSA,
  280. &res, NULL)))
  281. goto err;
  282. if (!TEST_ptr(p = BN_bin2bn(dsa_3072_256_sha512_p,
  283. sizeof(dsa_3072_256_sha512_p), NULL)))
  284. goto err;
  285. if (!TEST_ptr(q = BN_bin2bn(dsa_3072_256_sha512_q,
  286. sizeof(dsa_3072_256_sha512_q),
  287. NULL)))
  288. goto err;
  289. ossl_ffc_params_set0_pqg(&params, p, q, NULL);
  290. p = q = NULL;
  291. ossl_ffc_set_digest(&params, "SHA512", NULL);
  292. ossl_ffc_params_set_validate_params(&params, dsa_3072_256_sha512_seed,
  293. sizeof(dsa_3072_256_sha512_seed),
  294. dsa_3072_256_sha512_counter);
  295. /* Q doesn't div P-1 */
  296. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  297. FFC_PARAM_TYPE_DSA,
  298. &res, NULL)))
  299. goto err;
  300. /* Bad L/N for FIPS DH */
  301. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  302. FFC_PARAM_TYPE_DH,
  303. &res, NULL)))
  304. goto err;
  305. ret = 1;
  306. err:
  307. ossl_ffc_params_cleanup(&params);
  308. BN_free(p);
  309. BN_free(q);
  310. return ret;
  311. }
  312. #endif /* OPENSSL_NO_DSA */
  313. #ifndef OPENSSL_NO_DH
  314. static int ffc_params_gen_test(void)
  315. {
  316. int ret = 0, res = -1;
  317. FFC_PARAMS params;
  318. ossl_ffc_params_init(&params);
  319. if (!TEST_true(ossl_ffc_params_FIPS186_4_generate(NULL, &params,
  320. FFC_PARAM_TYPE_DH,
  321. 2048, 256, &res, NULL)))
  322. goto err;
  323. if (!TEST_true(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  324. FFC_PARAM_TYPE_DH,
  325. &res, NULL)))
  326. goto err;
  327. ret = 1;
  328. err:
  329. ossl_ffc_params_cleanup(&params);
  330. return ret;
  331. }
  332. static int ffc_params_gen_canonicalg_test(void)
  333. {
  334. int ret = 0, res = -1;
  335. FFC_PARAMS params;
  336. ossl_ffc_params_init(&params);
  337. params.gindex = 1;
  338. if (!TEST_true(ossl_ffc_params_FIPS186_4_generate(NULL, &params,
  339. FFC_PARAM_TYPE_DH,
  340. 2048, 256, &res, NULL)))
  341. goto err;
  342. if (!TEST_true(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  343. FFC_PARAM_TYPE_DH,
  344. &res, NULL)))
  345. goto err;
  346. if (!TEST_true(ossl_ffc_params_print(bio_out, &params, 4)))
  347. goto err;
  348. ret = 1;
  349. err:
  350. ossl_ffc_params_cleanup(&params);
  351. return ret;
  352. }
  353. static int ffc_params_fips186_2_gen_validate_test(void)
  354. {
  355. int ret = 0, res = -1;
  356. FFC_PARAMS params;
  357. BIGNUM *bn = NULL;
  358. ossl_ffc_params_init(&params);
  359. if (!TEST_ptr(bn = BN_new()))
  360. goto err;
  361. if (!TEST_true(ossl_ffc_params_FIPS186_2_generate(NULL, &params,
  362. FFC_PARAM_TYPE_DH,
  363. 1024, 160, &res, NULL)))
  364. goto err;
  365. if (!TEST_true(ossl_ffc_params_FIPS186_2_validate(NULL, &params,
  366. FFC_PARAM_TYPE_DH,
  367. &res, NULL)))
  368. goto err;
  369. /*
  370. * The fips186-2 generation should produce a different q compared to
  371. * fips 186-4 given the same seed value. So validation of q will fail.
  372. */
  373. if (!TEST_false(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  374. FFC_PARAM_TYPE_DSA,
  375. &res, NULL)))
  376. goto err;
  377. /* As the params are randomly generated the error is one of the following */
  378. if (!TEST_true(res == FFC_CHECK_Q_MISMATCH || res == FFC_CHECK_Q_NOT_PRIME))
  379. goto err;
  380. ossl_ffc_params_set_flags(&params, FFC_PARAM_FLAG_VALIDATE_G);
  381. /* Partially valid g test will still pass */
  382. if (!TEST_int_eq(ossl_ffc_params_FIPS186_4_validate(NULL, &params,
  383. FFC_PARAM_TYPE_DSA,
  384. &res, NULL), 2))
  385. goto err;
  386. if (!TEST_true(ossl_ffc_params_print(bio_out, &params, 4)))
  387. goto err;
  388. ret = 1;
  389. err:
  390. BN_free(bn);
  391. ossl_ffc_params_cleanup(&params);
  392. return ret;
  393. }
  394. extern FFC_PARAMS *ossl_dh_get0_params(DH *dh);
  395. static int ffc_public_validate_test(void)
  396. {
  397. int ret = 0, res = -1;
  398. FFC_PARAMS *params;
  399. BIGNUM *pub = NULL;
  400. DH *dh = NULL;
  401. if (!TEST_ptr(pub = BN_new()))
  402. goto err;
  403. if (!TEST_ptr(dh = DH_new_by_nid(NID_ffdhe2048)))
  404. goto err;
  405. params = ossl_dh_get0_params(dh);
  406. if (!TEST_true(BN_set_word(pub, 1)))
  407. goto err;
  408. BN_set_negative(pub, 1);
  409. /* Fail if public key is negative */
  410. if (!TEST_false(ossl_ffc_validate_public_key(params, pub, &res)))
  411. goto err;
  412. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_SMALL, res))
  413. goto err;
  414. if (!TEST_true(BN_set_word(pub, 0)))
  415. goto err;
  416. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_SMALL, res))
  417. goto err;
  418. /* Fail if public key is zero */
  419. if (!TEST_false(ossl_ffc_validate_public_key(params, pub, &res)))
  420. goto err;
  421. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_SMALL, res))
  422. goto err;
  423. /* Fail if public key is 1 */
  424. if (!TEST_false(ossl_ffc_validate_public_key(params, BN_value_one(), &res)))
  425. goto err;
  426. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_SMALL, res))
  427. goto err;
  428. if (!TEST_true(BN_add_word(pub, 2)))
  429. goto err;
  430. /* Pass if public key >= 2 */
  431. if (!TEST_true(ossl_ffc_validate_public_key(params, pub, &res)))
  432. goto err;
  433. if (!TEST_ptr(BN_copy(pub, params->p)))
  434. goto err;
  435. /* Fail if public key = p */
  436. if (!TEST_false(ossl_ffc_validate_public_key(params, pub, &res)))
  437. goto err;
  438. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_LARGE, res))
  439. goto err;
  440. if (!TEST_true(BN_sub_word(pub, 1)))
  441. goto err;
  442. /* Fail if public key = p - 1 */
  443. if (!TEST_false(ossl_ffc_validate_public_key(params, pub, &res)))
  444. goto err;
  445. if (!TEST_int_eq(FFC_ERROR_PUBKEY_TOO_LARGE, res))
  446. goto err;
  447. if (!TEST_true(BN_sub_word(pub, 1)))
  448. goto err;
  449. /* Fail if public key is not related to p & q */
  450. if (!TEST_false(ossl_ffc_validate_public_key(params, pub, &res)))
  451. goto err;
  452. if (!TEST_int_eq(FFC_ERROR_PUBKEY_INVALID, res))
  453. goto err;
  454. if (!TEST_true(BN_sub_word(pub, 5)))
  455. goto err;
  456. /* Pass if public key is valid */
  457. if (!TEST_true(ossl_ffc_validate_public_key(params, pub, &res)))
  458. goto err;
  459. ret = 1;
  460. err:
  461. DH_free(dh);
  462. BN_free(pub);
  463. return ret;
  464. }
  465. static int ffc_private_validate_test(void)
  466. {
  467. int ret = 0, res = -1;
  468. FFC_PARAMS *params;
  469. BIGNUM *priv = NULL;
  470. DH *dh = NULL;
  471. if (!TEST_ptr(priv = BN_new()))
  472. goto err;
  473. if (!TEST_ptr(dh = DH_new_by_nid(NID_ffdhe2048)))
  474. goto err;
  475. params = ossl_dh_get0_params(dh);
  476. if (!TEST_true(BN_set_word(priv, 1)))
  477. goto err;
  478. BN_set_negative(priv, 1);
  479. /* Fail if priv key is negative */
  480. if (!TEST_false(ossl_ffc_validate_private_key(params->q, priv, &res)))
  481. goto err;
  482. if (!TEST_int_eq(FFC_ERROR_PRIVKEY_TOO_SMALL, res))
  483. goto err;
  484. if (!TEST_true(BN_set_word(priv, 0)))
  485. goto err;
  486. /* Fail if priv key is zero */
  487. if (!TEST_false(ossl_ffc_validate_private_key(params->q, priv, &res)))
  488. goto err;
  489. if (!TEST_int_eq(FFC_ERROR_PRIVKEY_TOO_SMALL, res))
  490. goto err;
  491. /* Pass if priv key >= 1 */
  492. if (!TEST_true(ossl_ffc_validate_private_key(params->q, BN_value_one(),
  493. &res)))
  494. goto err;
  495. if (!TEST_ptr(BN_copy(priv, params->q)))
  496. goto err;
  497. /* Fail if priv key = upper */
  498. if (!TEST_false(ossl_ffc_validate_private_key(params->q, priv, &res)))
  499. goto err;
  500. if (!TEST_int_eq(FFC_ERROR_PRIVKEY_TOO_LARGE, res))
  501. goto err;
  502. if (!TEST_true(BN_sub_word(priv, 1)))
  503. goto err;
  504. /* Pass if priv key <= upper - 1 */
  505. if (!TEST_true(ossl_ffc_validate_private_key(params->q, priv, &res)))
  506. goto err;
  507. ret = 1;
  508. err:
  509. DH_free(dh);
  510. BN_free(priv);
  511. return ret;
  512. }
  513. static int ffc_private_gen_test(int index)
  514. {
  515. int ret = 0, res = -1, N;
  516. FFC_PARAMS *params;
  517. BIGNUM *priv = NULL;
  518. DH *dh = NULL;
  519. BN_CTX *ctx = NULL;
  520. if (!TEST_ptr(ctx = BN_CTX_new_ex(NULL)))
  521. goto err;
  522. if (!TEST_ptr(priv = BN_new()))
  523. goto err;
  524. if (!TEST_ptr(dh = DH_new_by_nid(NID_ffdhe2048)))
  525. goto err;
  526. params = ossl_dh_get0_params(dh);
  527. N = BN_num_bits(params->q);
  528. /* Fail since N < 2*s - where s = 112*/
  529. if (!TEST_false(ossl_ffc_generate_private_key(ctx, params, 220, 112, priv)))
  530. goto err;
  531. /* fail since N > len(q) */
  532. if (!TEST_false(ossl_ffc_generate_private_key(ctx, params, N + 1, 112, priv)))
  533. goto err;
  534. /* pass since 2s <= N <= len(q) */
  535. if (!TEST_true(ossl_ffc_generate_private_key(ctx, params, N, 112, priv)))
  536. goto err;
  537. /* pass since N = len(q) */
  538. if (!TEST_true(ossl_ffc_validate_private_key(params->q, priv, &res)))
  539. goto err;
  540. /* pass since 2s <= N < len(q) */
  541. if (!TEST_true(ossl_ffc_generate_private_key(ctx, params, N / 2, 112, priv)))
  542. goto err;
  543. if (!TEST_true(ossl_ffc_validate_private_key(params->q, priv, &res)))
  544. goto err;
  545. /* N and s are ignored in this case */
  546. if (!TEST_true(ossl_ffc_generate_private_key(ctx, params, 0, 0, priv)))
  547. goto err;
  548. if (!TEST_true(ossl_ffc_validate_private_key(params->q, priv, &res)))
  549. goto err;
  550. ret = 1;
  551. err:
  552. DH_free(dh);
  553. BN_free(priv);
  554. BN_CTX_free(ctx);
  555. return ret;
  556. }
  557. #endif /* OPENSSL_NO_DH */
  558. int setup_tests(void)
  559. {
  560. #ifndef OPENSSL_NO_DSA
  561. ADD_TEST(ffc_params_validate_pq_test);
  562. ADD_TEST(ffc_params_validate_g_unverified_test);
  563. #endif /* OPENSSL_NO_DSA */
  564. #ifndef OPENSSL_NO_DH
  565. ADD_TEST(ffc_params_gen_test);
  566. ADD_TEST(ffc_params_gen_canonicalg_test);
  567. ADD_TEST(ffc_params_fips186_2_gen_validate_test);
  568. ADD_TEST(ffc_public_validate_test);
  569. ADD_TEST(ffc_private_validate_test);
  570. ADD_ALL_TESTS(ffc_private_gen_test, 10);
  571. #endif /* OPENSSL_NO_DH */
  572. return 1;
  573. }