ffc_internal_test.c 27 KB

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