Line  | Count  | Source (jump to first uncovered line)  | 
1  |  | /* dsa-sign.c  | 
2  |  |  | 
3  |  |    The DSA publickey algorithm.  | 
4  |  |  | 
5  |  |    Copyright (C) 2002, 2010 Niels Möller  | 
6  |  |  | 
7  |  |    This file is part of GNU Nettle.  | 
8  |  |  | 
9  |  |    GNU Nettle is free software: you can redistribute it and/or  | 
10  |  |    modify it under the terms of either:  | 
11  |  |  | 
12  |  |      * the GNU Lesser General Public License as published by the Free  | 
13  |  |        Software Foundation; either version 3 of the License, or (at your  | 
14  |  |        option) any later version.  | 
15  |  |  | 
16  |  |    or  | 
17  |  |  | 
18  |  |      * the GNU General Public License as published by the Free  | 
19  |  |        Software Foundation; either version 2 of the License, or (at your  | 
20  |  |        option) any later version.  | 
21  |  |  | 
22  |  |    or both in parallel, as here.  | 
23  |  |  | 
24  |  |    GNU Nettle is distributed in the hope that it will be useful,  | 
25  |  |    but WITHOUT ANY WARRANTY; without even the implied warranty of  | 
26  |  |    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU  | 
27  |  |    General Public License for more details.  | 
28  |  |  | 
29  |  |    You should have received copies of the GNU General Public License and  | 
30  |  |    the GNU Lesser General Public License along with this program.  If  | 
31  |  |    not, see http://www.gnu.org/licenses/.  | 
32  |  | */  | 
33  |  |  | 
34  |  | #if HAVE_CONFIG_H  | 
35  |  | # include "config.h"  | 
36  |  | #endif  | 
37  |  |  | 
38  |  | #include <assert.h>  | 
39  |  | #include <stdlib.h>  | 
40  |  |  | 
41  |  | #include "dsa.h"  | 
42  |  | #include "dsa-internal.h"  | 
43  |  |  | 
44  |  | #include "bignum.h"  | 
45  |  | #include "gmp-glue.h"  | 
46  |  |  | 
47  |  | int  | 
48  |  | dsa_sign(const struct dsa_params *params,  | 
49  |  |    const mpz_t x,  | 
50  |  |    void *random_ctx, nettle_random_func *random,  | 
51  |  |    size_t digest_size,  | 
52  |  |    const uint8_t *digest,  | 
53  |  |    struct dsa_signature *signature)  | 
54  | 0  | { | 
55  | 0  |   mpz_t k;  | 
56  | 0  |   mpz_t h;  | 
57  | 0  |   mpz_t tmp;  | 
58  | 0  |   unsigned bit_size;  | 
59  | 0  |   unsigned limb_size;  | 
60  |  | 
  | 
61  | 0  |   int res;  | 
62  |  |  | 
63  |  |   /* Check that p is odd, so that invalid keys don't result in a crash  | 
64  |  |      inside mpz_powm_sec. */  | 
65  | 0  |   if (mpz_even_p (params->p))  | 
66  | 0  |     return 0;  | 
67  |  |  | 
68  |  |   /* Select k, 0<k<q, randomly */  | 
69  | 0  |   mpz_init_set(tmp, params->q);  | 
70  | 0  |   mpz_sub_ui(tmp, tmp, 1);  | 
71  |  | 
  | 
72  | 0  |   mpz_init(k);  | 
73  | 0  |   nettle_mpz_random(k, random_ctx, random, tmp);  | 
74  | 0  |   mpz_add_ui(k, k, 1);  | 
75  |  |  | 
76  |  |   /* Compute r = (g^k (mod p)) (mod q) */  | 
77  | 0  |   mpz_powm_sec(tmp, params->g, k, params->p);  | 
78  | 0  |   mpz_fdiv_r(signature->r, tmp, params->q);  | 
79  |  |  | 
80  |  |   /* Compute hash */  | 
81  | 0  |   bit_size = mpz_sizeinbase(params->q, 2);  | 
82  | 0  |   limb_size = NETTLE_BIT_SIZE_TO_LIMB_SIZE(bit_size);  | 
83  | 0  |   mpz_init(h);  | 
84  | 0  |   _nettle_dsa_hash (mpz_limbs_write (h, limb_size), bit_size, digest_size, digest);  | 
85  | 0  |   mpz_limbs_finish (h, limb_size);  | 
86  |  |  | 
87  |  |   /* Compute k^-1 (mod q) */  | 
88  | 0  |   if (mpz_invert(k, k, params->q))  | 
89  | 0  |     { | 
90  |  |       /* Compute signature s = k^-1 (h + xr) (mod q) */  | 
91  | 0  |       mpz_mul(tmp, signature->r, x);  | 
92  | 0  |       mpz_fdiv_r(tmp, tmp, params->q);  | 
93  | 0  |       mpz_add(tmp, tmp, h);  | 
94  | 0  |       mpz_mul(tmp, tmp, k);  | 
95  | 0  |       mpz_fdiv_r(signature->s, tmp, params->q);  | 
96  | 0  |       res = 1;  | 
97  | 0  |     }  | 
98  | 0  |   else  | 
99  |  |     /* What do we do now? The key is invalid. */  | 
100  | 0  |     res = 0;  | 
101  |  | 
  | 
102  | 0  |   mpz_clear(k);  | 
103  | 0  |   mpz_clear(h);  | 
104  | 0  |   mpz_clear(tmp);  | 
105  |  | 
  | 
106  | 0  |   return res;  | 
107  | 0  | }  |