dsa_ossl.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470
  1. /* crypto/dsa/dsa_ossl.c */
  2. /* Copyright (C) 1995-1998 Eric Young ([email protected])
  3. * All rights reserved.
  4. *
  5. * This package is an SSL implementation written
  6. * by Eric Young ([email protected]).
  7. * The implementation was written so as to conform with Netscapes SSL.
  8. *
  9. * This library is free for commercial and non-commercial use as long as
  10. * the following conditions are aheared to. The following conditions
  11. * apply to all code found in this distribution, be it the RC4, RSA,
  12. * lhash, DES, etc., code; not just the SSL code. The SSL documentation
  13. * included with this distribution is covered by the same copyright terms
  14. * except that the holder is Tim Hudson ([email protected]).
  15. *
  16. * Copyright remains Eric Young's, and as such any Copyright notices in
  17. * the code are not to be removed.
  18. * If this package is used in a product, Eric Young should be given attribution
  19. * as the author of the parts of the library used.
  20. * This can be in the form of a textual message at program startup or
  21. * in documentation (online or textual) provided with the package.
  22. *
  23. * Redistribution and use in source and binary forms, with or without
  24. * modification, are permitted provided that the following conditions
  25. * are met:
  26. * 1. Redistributions of source code must retain the copyright
  27. * notice, this list of conditions and the following disclaimer.
  28. * 2. Redistributions in binary form must reproduce the above copyright
  29. * notice, this list of conditions and the following disclaimer in the
  30. * documentation and/or other materials provided with the distribution.
  31. * 3. All advertising materials mentioning features or use of this software
  32. * must display the following acknowledgement:
  33. * "This product includes cryptographic software written by
  34. * Eric Young ([email protected])"
  35. * The word 'cryptographic' can be left out if the rouines from the library
  36. * being used are not cryptographic related :-).
  37. * 4. If you include any Windows specific code (or a derivative thereof) from
  38. * the apps directory (application code) you must include an acknowledgement:
  39. * "This product includes software written by Tim Hudson ([email protected])"
  40. *
  41. * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  42. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  43. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  44. * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  45. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  46. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  47. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  48. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  49. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  50. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  51. * SUCH DAMAGE.
  52. *
  53. * The licence and distribution terms for any publically available version or
  54. * derivative of this code cannot be changed. i.e. this code cannot simply be
  55. * copied and put under another distribution licence
  56. * [including the GNU Public Licence.]
  57. */
  58. /* Original version from Steven Schoch <[email protected]> */
  59. #include <stdio.h>
  60. #include "cryptlib.h"
  61. #include <openssl/bn.h>
  62. #include <openssl/sha.h>
  63. #include <openssl/dsa.h>
  64. #include <openssl/rand.h>
  65. #include <openssl/asn1.h>
  66. static DSA_SIG *dsa_do_sign(const unsigned char *dgst, int dlen, DSA *dsa);
  67. static int dsa_sign_setup(DSA *dsa, BN_CTX *ctx_in, BIGNUM **kinvp,
  68. BIGNUM **rp);
  69. static int dsa_do_verify(const unsigned char *dgst, int dgst_len,
  70. DSA_SIG *sig, DSA *dsa);
  71. static int dsa_init(DSA *dsa);
  72. static int dsa_finish(DSA *dsa);
  73. static DSA_METHOD openssl_dsa_meth = {
  74. "OpenSSL DSA method",
  75. dsa_do_sign,
  76. dsa_sign_setup,
  77. dsa_do_verify,
  78. NULL, /* dsa_mod_exp, */
  79. NULL, /* dsa_bn_mod_exp, */
  80. dsa_init,
  81. dsa_finish,
  82. 0,
  83. NULL,
  84. NULL,
  85. NULL
  86. };
  87. /*-
  88. * These macro wrappers replace attempts to use the dsa_mod_exp() and
  89. * bn_mod_exp() handlers in the DSA_METHOD structure. We avoid the problem of
  90. * having a the macro work as an expression by bundling an "err_instr". So;
  91. *
  92. * if (!dsa->meth->bn_mod_exp(dsa, r,dsa->g,&k,dsa->p,ctx,
  93. * dsa->method_mont_p)) goto err;
  94. *
  95. * can be replaced by;
  96. *
  97. * DSA_BN_MOD_EXP(goto err, dsa, r, dsa->g, &k, dsa->p, ctx,
  98. * dsa->method_mont_p);
  99. */
  100. #define DSA_MOD_EXP(err_instr,dsa,rr,a1,p1,a2,p2,m,ctx,in_mont) \
  101. do { \
  102. int _tmp_res53; \
  103. if ((dsa)->meth->dsa_mod_exp) \
  104. _tmp_res53 = (dsa)->meth->dsa_mod_exp((dsa), (rr), (a1), (p1), \
  105. (a2), (p2), (m), (ctx), (in_mont)); \
  106. else \
  107. _tmp_res53 = BN_mod_exp2_mont((rr), (a1), (p1), (a2), (p2), \
  108. (m), (ctx), (in_mont)); \
  109. if (!_tmp_res53) err_instr; \
  110. } while(0)
  111. #define DSA_BN_MOD_EXP(err_instr,dsa,r,a,p,m,ctx,m_ctx) \
  112. do { \
  113. int _tmp_res53; \
  114. if ((dsa)->meth->bn_mod_exp) \
  115. _tmp_res53 = (dsa)->meth->bn_mod_exp((dsa), (r), (a), (p), \
  116. (m), (ctx), (m_ctx)); \
  117. else \
  118. _tmp_res53 = BN_mod_exp_mont((r), (a), (p), (m), (ctx), (m_ctx)); \
  119. if (!_tmp_res53) err_instr; \
  120. } while(0)
  121. const DSA_METHOD *DSA_OpenSSL(void)
  122. {
  123. return &openssl_dsa_meth;
  124. }
  125. static DSA_SIG *dsa_do_sign(const unsigned char *dgst, int dlen, DSA *dsa)
  126. {
  127. BIGNUM *kinv = NULL, *r = NULL, *s = NULL;
  128. BIGNUM *m, *blind, *blindm, *tmp;
  129. BN_CTX *ctx = NULL;
  130. int reason = ERR_R_BN_LIB;
  131. DSA_SIG *ret = NULL;
  132. int noredo = 0;
  133. if (dsa->p == NULL || dsa->q == NULL || dsa->g == NULL) {
  134. reason = DSA_R_MISSING_PARAMETERS;
  135. goto err;
  136. }
  137. s = BN_new();
  138. if (s == NULL)
  139. goto err;
  140. ctx = BN_CTX_new();
  141. if (ctx == NULL)
  142. goto err;
  143. m = BN_CTX_get(ctx);
  144. blind = BN_CTX_get(ctx);
  145. blindm = BN_CTX_get(ctx);
  146. tmp = BN_CTX_get(ctx);
  147. if (tmp == NULL)
  148. goto err;
  149. redo:
  150. if ((dsa->kinv == NULL) || (dsa->r == NULL)) {
  151. if (!DSA_sign_setup(dsa, ctx, &kinv, &r))
  152. goto err;
  153. } else {
  154. kinv = dsa->kinv;
  155. dsa->kinv = NULL;
  156. r = dsa->r;
  157. dsa->r = NULL;
  158. noredo = 1;
  159. }
  160. if (dlen > BN_num_bytes(dsa->q))
  161. /*
  162. * if the digest length is greater than the size of q use the
  163. * BN_num_bits(dsa->q) leftmost bits of the digest, see fips 186-3,
  164. * 4.2
  165. */
  166. dlen = BN_num_bytes(dsa->q);
  167. if (BN_bin2bn(dgst, dlen, m) == NULL)
  168. goto err;
  169. /*
  170. * The normal signature calculation is:
  171. *
  172. * s := k^-1 * (m + r * priv_key) mod q
  173. *
  174. * We will blind this to protect against side channel attacks
  175. *
  176. * s := blind^-1 * k^-1 * (blind * m + blind * r * priv_key) mod q
  177. */
  178. /* Generate a blinding value */
  179. do {
  180. if (!BN_rand(blind, BN_num_bits(dsa->q) - 1, -1, 0))
  181. goto err;
  182. } while (BN_is_zero(blind));
  183. BN_set_flags(blind, BN_FLG_CONSTTIME);
  184. BN_set_flags(blindm, BN_FLG_CONSTTIME);
  185. BN_set_flags(tmp, BN_FLG_CONSTTIME);
  186. /* tmp := blind * priv_key * r mod q */
  187. if (!BN_mod_mul(tmp, blind, dsa->priv_key, dsa->q, ctx))
  188. goto err;
  189. if (!BN_mod_mul(tmp, tmp, r, dsa->q, ctx))
  190. goto err;
  191. /* blindm := blind * m mod q */
  192. if (!BN_mod_mul(blindm, blind, m, dsa->q, ctx))
  193. goto err;
  194. /* s : = (blind * priv_key * r) + (blind * m) mod q */
  195. if (!BN_mod_add_quick(s, tmp, blindm, dsa->q))
  196. goto err;
  197. /* s := s * k^-1 mod q */
  198. if (!BN_mod_mul(s, s, kinv, dsa->q, ctx))
  199. goto err;
  200. /* s:= s * blind^-1 mod q */
  201. if (BN_mod_inverse(blind, blind, dsa->q, ctx) == NULL)
  202. goto err;
  203. if (!BN_mod_mul(s, s, blind, dsa->q, ctx))
  204. goto err;
  205. /*
  206. * Redo if r or s is zero as required by FIPS 186-3: this is very
  207. * unlikely.
  208. */
  209. if (BN_is_zero(r) || BN_is_zero(s)) {
  210. if (noredo) {
  211. reason = DSA_R_NEED_NEW_SETUP_VALUES;
  212. goto err;
  213. }
  214. goto redo;
  215. }
  216. ret = DSA_SIG_new();
  217. if (ret == NULL)
  218. goto err;
  219. ret->r = r;
  220. ret->s = s;
  221. err:
  222. if (ret == NULL) {
  223. DSAerr(DSA_F_DSA_DO_SIGN, reason);
  224. BN_free(r);
  225. BN_free(s);
  226. }
  227. BN_CTX_free(ctx);
  228. BN_clear_free(kinv);
  229. return ret;
  230. }
  231. static int dsa_sign_setup(DSA *dsa, BN_CTX *ctx_in, BIGNUM **kinvp,
  232. BIGNUM **rp)
  233. {
  234. BN_CTX *ctx;
  235. BIGNUM k, kq, *K, *kinv = NULL, *r = NULL;
  236. BIGNUM l, m;
  237. int ret = 0;
  238. int q_bits;
  239. if (!dsa->p || !dsa->q || !dsa->g) {
  240. DSAerr(DSA_F_DSA_SIGN_SETUP, DSA_R_MISSING_PARAMETERS);
  241. return 0;
  242. }
  243. BN_init(&k);
  244. BN_init(&kq);
  245. BN_init(&l);
  246. BN_init(&m);
  247. if (ctx_in == NULL) {
  248. if ((ctx = BN_CTX_new()) == NULL)
  249. goto err;
  250. } else
  251. ctx = ctx_in;
  252. if ((r = BN_new()) == NULL)
  253. goto err;
  254. /* Preallocate space */
  255. q_bits = BN_num_bits(dsa->q);
  256. if (!BN_set_bit(&k, q_bits)
  257. || !BN_set_bit(&l, q_bits)
  258. || !BN_set_bit(&m, q_bits))
  259. goto err;
  260. /* Get random k */
  261. do
  262. if (!BN_rand_range(&k, dsa->q))
  263. goto err;
  264. while (BN_is_zero(&k));
  265. if ((dsa->flags & DSA_FLAG_NO_EXP_CONSTTIME) == 0) {
  266. BN_set_flags(&k, BN_FLG_CONSTTIME);
  267. }
  268. if (dsa->flags & DSA_FLAG_CACHE_MONT_P) {
  269. if (!BN_MONT_CTX_set_locked(&dsa->method_mont_p,
  270. CRYPTO_LOCK_DSA, dsa->p, ctx))
  271. goto err;
  272. }
  273. /* Compute r = (g^k mod p) mod q */
  274. if ((dsa->flags & DSA_FLAG_NO_EXP_CONSTTIME) == 0) {
  275. /*
  276. * We do not want timing information to leak the length of k, so we
  277. * compute G^k using an equivalent scalar of fixed bit-length.
  278. *
  279. * We unconditionally perform both of these additions to prevent a
  280. * small timing information leakage. We then choose the sum that is
  281. * one bit longer than the modulus.
  282. *
  283. * TODO: revisit the BN_copy aiming for a memory access agnostic
  284. * conditional copy.
  285. */
  286. if (!BN_add(&l, &k, dsa->q)
  287. || !BN_add(&m, &l, dsa->q)
  288. || !BN_copy(&kq, BN_num_bits(&l) > q_bits ? &l : &m))
  289. goto err;
  290. BN_set_flags(&kq, BN_FLG_CONSTTIME);
  291. K = &kq;
  292. } else {
  293. K = &k;
  294. }
  295. DSA_BN_MOD_EXP(goto err, dsa, r, dsa->g, K, dsa->p, ctx,
  296. dsa->method_mont_p);
  297. if (!BN_mod(r, r, dsa->q, ctx))
  298. goto err;
  299. /* Compute part of 's = inv(k) (m + xr) mod q' */
  300. if ((kinv = BN_mod_inverse(NULL, &k, dsa->q, ctx)) == NULL)
  301. goto err;
  302. if (*kinvp != NULL)
  303. BN_clear_free(*kinvp);
  304. *kinvp = kinv;
  305. kinv = NULL;
  306. if (*rp != NULL)
  307. BN_clear_free(*rp);
  308. *rp = r;
  309. ret = 1;
  310. err:
  311. if (!ret) {
  312. DSAerr(DSA_F_DSA_SIGN_SETUP, ERR_R_BN_LIB);
  313. if (r != NULL)
  314. BN_clear_free(r);
  315. }
  316. if (ctx_in == NULL)
  317. BN_CTX_free(ctx);
  318. BN_clear_free(&k);
  319. BN_clear_free(&kq);
  320. BN_clear_free(&l);
  321. BN_clear_free(&m);
  322. return ret;
  323. }
  324. static int dsa_do_verify(const unsigned char *dgst, int dgst_len,
  325. DSA_SIG *sig, DSA *dsa)
  326. {
  327. BN_CTX *ctx;
  328. BIGNUM u1, u2, t1;
  329. BN_MONT_CTX *mont = NULL;
  330. int ret = -1, i;
  331. if (!dsa->p || !dsa->q || !dsa->g) {
  332. DSAerr(DSA_F_DSA_DO_VERIFY, DSA_R_MISSING_PARAMETERS);
  333. return -1;
  334. }
  335. i = BN_num_bits(dsa->q);
  336. /* fips 186-3 allows only different sizes for q */
  337. if (i != 160 && i != 224 && i != 256) {
  338. DSAerr(DSA_F_DSA_DO_VERIFY, DSA_R_BAD_Q_VALUE);
  339. return -1;
  340. }
  341. if (BN_num_bits(dsa->p) > OPENSSL_DSA_MAX_MODULUS_BITS) {
  342. DSAerr(DSA_F_DSA_DO_VERIFY, DSA_R_MODULUS_TOO_LARGE);
  343. return -1;
  344. }
  345. BN_init(&u1);
  346. BN_init(&u2);
  347. BN_init(&t1);
  348. if ((ctx = BN_CTX_new()) == NULL)
  349. goto err;
  350. if (BN_is_zero(sig->r) || BN_is_negative(sig->r) ||
  351. BN_ucmp(sig->r, dsa->q) >= 0) {
  352. ret = 0;
  353. goto err;
  354. }
  355. if (BN_is_zero(sig->s) || BN_is_negative(sig->s) ||
  356. BN_ucmp(sig->s, dsa->q) >= 0) {
  357. ret = 0;
  358. goto err;
  359. }
  360. /*
  361. * Calculate W = inv(S) mod Q save W in u2
  362. */
  363. if ((BN_mod_inverse(&u2, sig->s, dsa->q, ctx)) == NULL)
  364. goto err;
  365. /* save M in u1 */
  366. if (dgst_len > (i >> 3))
  367. /*
  368. * if the digest length is greater than the size of q use the
  369. * BN_num_bits(dsa->q) leftmost bits of the digest, see fips 186-3,
  370. * 4.2
  371. */
  372. dgst_len = (i >> 3);
  373. if (BN_bin2bn(dgst, dgst_len, &u1) == NULL)
  374. goto err;
  375. /* u1 = M * w mod q */
  376. if (!BN_mod_mul(&u1, &u1, &u2, dsa->q, ctx))
  377. goto err;
  378. /* u2 = r * w mod q */
  379. if (!BN_mod_mul(&u2, sig->r, &u2, dsa->q, ctx))
  380. goto err;
  381. if (dsa->flags & DSA_FLAG_CACHE_MONT_P) {
  382. mont = BN_MONT_CTX_set_locked(&dsa->method_mont_p,
  383. CRYPTO_LOCK_DSA, dsa->p, ctx);
  384. if (!mont)
  385. goto err;
  386. }
  387. DSA_MOD_EXP(goto err, dsa, &t1, dsa->g, &u1, dsa->pub_key, &u2, dsa->p,
  388. ctx, mont);
  389. /* BN_copy(&u1,&t1); */
  390. /* let u1 = u1 mod q */
  391. if (!BN_mod(&u1, &t1, dsa->q, ctx))
  392. goto err;
  393. /*
  394. * V is now in u1. If the signature is correct, it will be equal to R.
  395. */
  396. ret = (BN_ucmp(&u1, sig->r) == 0);
  397. err:
  398. if (ret < 0)
  399. DSAerr(DSA_F_DSA_DO_VERIFY, ERR_R_BN_LIB);
  400. if (ctx != NULL)
  401. BN_CTX_free(ctx);
  402. BN_free(&u1);
  403. BN_free(&u2);
  404. BN_free(&t1);
  405. return (ret);
  406. }
  407. static int dsa_init(DSA *dsa)
  408. {
  409. dsa->flags |= DSA_FLAG_CACHE_MONT_P;
  410. return (1);
  411. }
  412. static int dsa_finish(DSA *dsa)
  413. {
  414. if (dsa->method_mont_p)
  415. BN_MONT_CTX_free(dsa->method_mont_p);
  416. return (1);
  417. }