diff options
Diffstat (limited to 'src/lib/libcrypto/dh/dh_key.c')
| -rw-r--r-- | src/lib/libcrypto/dh/dh_key.c | 236 |
1 files changed, 114 insertions, 122 deletions
diff --git a/src/lib/libcrypto/dh/dh_key.c b/src/lib/libcrypto/dh/dh_key.c index d35eb6e740..4fbedd8daa 100644 --- a/src/lib/libcrypto/dh/dh_key.c +++ b/src/lib/libcrypto/dh/dh_key.c | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | /* $OpenBSD: dh_key.c,v 1.18 2014/06/12 15:49:28 deraadt Exp $ */ | 1 | /* $OpenBSD: dh_key.c,v 1.19 2014/07/09 13:26:47 miod Exp $ */ |
| 2 | /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) | 2 | /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) |
| 3 | * All rights reserved. | 3 | * All rights reserved. |
| 4 | * | 4 | * |
| @@ -64,22 +64,22 @@ | |||
| 64 | 64 | ||
| 65 | static int generate_key(DH *dh); | 65 | static int generate_key(DH *dh); |
| 66 | static int compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh); | 66 | static int compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh); |
| 67 | static int dh_bn_mod_exp(const DH *dh, BIGNUM *r, | 67 | static int dh_bn_mod_exp(const DH *dh, BIGNUM *r, const BIGNUM *a, |
| 68 | const BIGNUM *a, const BIGNUM *p, | 68 | const BIGNUM *p, const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *m_ctx); |
| 69 | const BIGNUM *m, BN_CTX *ctx, | ||
| 70 | BN_MONT_CTX *m_ctx); | ||
| 71 | static int dh_init(DH *dh); | 69 | static int dh_init(DH *dh); |
| 72 | static int dh_finish(DH *dh); | 70 | static int dh_finish(DH *dh); |
| 73 | 71 | ||
| 74 | int DH_generate_key(DH *dh) | 72 | int |
| 75 | { | 73 | DH_generate_key(DH *dh) |
| 74 | { | ||
| 76 | return dh->meth->generate_key(dh); | 75 | return dh->meth->generate_key(dh); |
| 77 | } | 76 | } |
| 78 | 77 | ||
| 79 | int DH_compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh) | 78 | int |
| 80 | { | 79 | DH_compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh) |
| 80 | { | ||
| 81 | return dh->meth->compute_key(key, pub_key, dh); | 81 | return dh->meth->compute_key(key, pub_key, dh); |
| 82 | } | 82 | } |
| 83 | 83 | ||
| 84 | static DH_METHOD dh_ossl = { | 84 | static DH_METHOD dh_ossl = { |
| 85 | .name = "OpenSSL DH Method", | 85 | .name = "OpenSSL DH Method", |
| @@ -90,184 +90,176 @@ static DH_METHOD dh_ossl = { | |||
| 90 | .finish = dh_finish, | 90 | .finish = dh_finish, |
| 91 | }; | 91 | }; |
| 92 | 92 | ||
| 93 | const DH_METHOD *DH_OpenSSL(void) | 93 | const DH_METHOD * |
| 94 | DH_OpenSSL(void) | ||
| 94 | { | 95 | { |
| 95 | return &dh_ossl; | 96 | return &dh_ossl; |
| 96 | } | 97 | } |
| 97 | 98 | ||
| 98 | static int generate_key(DH *dh) | 99 | static int |
| 99 | { | 100 | generate_key(DH *dh) |
| 100 | int ok=0; | 101 | { |
| 101 | int generate_new_key=0; | 102 | int ok = 0; |
| 103 | int generate_new_key = 0; | ||
| 102 | unsigned l; | 104 | unsigned l; |
| 103 | BN_CTX *ctx; | 105 | BN_CTX *ctx; |
| 104 | BN_MONT_CTX *mont=NULL; | 106 | BN_MONT_CTX *mont = NULL; |
| 105 | BIGNUM *pub_key=NULL,*priv_key=NULL; | 107 | BIGNUM *pub_key = NULL, *priv_key = NULL; |
| 106 | 108 | ||
| 107 | ctx = BN_CTX_new(); | 109 | ctx = BN_CTX_new(); |
| 108 | if (ctx == NULL) goto err; | 110 | if (ctx == NULL) |
| 109 | 111 | goto err; | |
| 110 | if (dh->priv_key == NULL) | ||
| 111 | { | ||
| 112 | priv_key=BN_new(); | ||
| 113 | if (priv_key == NULL) goto err; | ||
| 114 | generate_new_key=1; | ||
| 115 | } | ||
| 116 | else | ||
| 117 | priv_key=dh->priv_key; | ||
| 118 | 112 | ||
| 119 | if (dh->pub_key == NULL) | 113 | if (dh->priv_key == NULL) { |
| 120 | { | 114 | priv_key = BN_new(); |
| 121 | pub_key=BN_new(); | 115 | if (priv_key == NULL) |
| 122 | if (pub_key == NULL) goto err; | 116 | goto err; |
| 123 | } | 117 | generate_new_key = 1; |
| 124 | else | 118 | } else |
| 125 | pub_key=dh->pub_key; | 119 | priv_key = dh->priv_key; |
| 126 | 120 | ||
| 121 | if (dh->pub_key == NULL) { | ||
| 122 | pub_key = BN_new(); | ||
| 123 | if (pub_key == NULL) | ||
| 124 | goto err; | ||
| 125 | } else | ||
| 126 | pub_key = dh->pub_key; | ||
| 127 | 127 | ||
| 128 | if (dh->flags & DH_FLAG_CACHE_MONT_P) | 128 | if (dh->flags & DH_FLAG_CACHE_MONT_P) { |
| 129 | { | ||
| 130 | mont = BN_MONT_CTX_set_locked(&dh->method_mont_p, | 129 | mont = BN_MONT_CTX_set_locked(&dh->method_mont_p, |
| 131 | CRYPTO_LOCK_DH, dh->p, ctx); | 130 | CRYPTO_LOCK_DH, dh->p, ctx); |
| 132 | if (!mont) | 131 | if (!mont) |
| 133 | goto err; | 132 | goto err; |
| 134 | } | 133 | } |
| 135 | 134 | ||
| 136 | if (generate_new_key) | 135 | if (generate_new_key) { |
| 137 | { | 136 | if (dh->q) { |
| 138 | if (dh->q) | 137 | do { |
| 139 | { | ||
| 140 | do | ||
| 141 | { | ||
| 142 | if (!BN_rand_range(priv_key, dh->q)) | 138 | if (!BN_rand_range(priv_key, dh->q)) |
| 143 | goto err; | 139 | goto err; |
| 144 | } | 140 | } while (BN_is_zero(priv_key) || BN_is_one(priv_key)); |
| 145 | while (BN_is_zero(priv_key) || BN_is_one(priv_key)); | 141 | } else { |
| 146 | } | ||
| 147 | else | ||
| 148 | { | ||
| 149 | /* secret exponent length */ | 142 | /* secret exponent length */ |
| 150 | l = dh->length ? dh->length : BN_num_bits(dh->p)-1; | 143 | l = dh->length ? dh->length : BN_num_bits(dh->p) - 1; |
| 151 | if (!BN_rand(priv_key, l, 0, 0)) goto err; | 144 | if (!BN_rand(priv_key, l, 0, 0)) |
| 152 | } | 145 | goto err; |
| 153 | } | 146 | } |
| 147 | } | ||
| 154 | 148 | ||
| 155 | { | 149 | { |
| 156 | BIGNUM local_prk; | 150 | BIGNUM local_prk; |
| 157 | BIGNUM *prk; | 151 | BIGNUM *prk; |
| 158 | 152 | ||
| 159 | if ((dh->flags & DH_FLAG_NO_EXP_CONSTTIME) == 0) | 153 | if ((dh->flags & DH_FLAG_NO_EXP_CONSTTIME) == 0) { |
| 160 | { | ||
| 161 | BN_init(&local_prk); | 154 | BN_init(&local_prk); |
| 162 | prk = &local_prk; | 155 | prk = &local_prk; |
| 163 | BN_with_flags(prk, priv_key, BN_FLG_CONSTTIME); | 156 | BN_with_flags(prk, priv_key, BN_FLG_CONSTTIME); |
| 164 | } | 157 | } else |
| 165 | else | ||
| 166 | prk = priv_key; | 158 | prk = priv_key; |
| 167 | 159 | ||
| 168 | if (!dh->meth->bn_mod_exp(dh, pub_key, dh->g, prk, dh->p, ctx, mont)) goto err; | 160 | if (!dh->meth->bn_mod_exp(dh, pub_key, dh->g, prk, dh->p, ctx, |
| 161 | mont)) | ||
| 162 | goto err; | ||
| 169 | } | 163 | } |
| 170 | 164 | ||
| 171 | dh->pub_key=pub_key; | 165 | dh->pub_key = pub_key; |
| 172 | dh->priv_key=priv_key; | 166 | dh->priv_key = priv_key; |
| 173 | ok=1; | 167 | ok = 1; |
| 174 | err: | 168 | err: |
| 175 | if (ok != 1) | 169 | if (ok != 1) |
| 176 | DHerr(DH_F_GENERATE_KEY,ERR_R_BN_LIB); | 170 | DHerr(DH_F_GENERATE_KEY, ERR_R_BN_LIB); |
| 177 | 171 | ||
| 178 | if ((pub_key != NULL) && (dh->pub_key == NULL)) BN_free(pub_key); | 172 | if (pub_key != NULL && dh->pub_key == NULL) |
| 179 | if ((priv_key != NULL) && (dh->priv_key == NULL)) BN_free(priv_key); | 173 | BN_free(pub_key); |
| 174 | if (priv_key != NULL && dh->priv_key == NULL) | ||
| 175 | BN_free(priv_key); | ||
| 180 | BN_CTX_free(ctx); | 176 | BN_CTX_free(ctx); |
| 181 | return(ok); | 177 | return ok; |
| 182 | } | 178 | } |
| 183 | 179 | ||
| 184 | static int compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh) | 180 | static int |
| 185 | { | 181 | compute_key(unsigned char *key, const BIGNUM *pub_key, DH *dh) |
| 186 | BN_CTX *ctx=NULL; | 182 | { |
| 187 | BN_MONT_CTX *mont=NULL; | 183 | BN_CTX *ctx = NULL; |
| 184 | BN_MONT_CTX *mont = NULL; | ||
| 188 | BIGNUM *tmp; | 185 | BIGNUM *tmp; |
| 189 | int ret= -1; | 186 | int ret = -1; |
| 190 | int check_result; | 187 | int check_result; |
| 191 | 188 | ||
| 192 | if (BN_num_bits(dh->p) > OPENSSL_DH_MAX_MODULUS_BITS) | 189 | if (BN_num_bits(dh->p) > OPENSSL_DH_MAX_MODULUS_BITS) { |
| 193 | { | 190 | DHerr(DH_F_COMPUTE_KEY, DH_R_MODULUS_TOO_LARGE); |
| 194 | DHerr(DH_F_COMPUTE_KEY,DH_R_MODULUS_TOO_LARGE); | ||
| 195 | goto err; | 191 | goto err; |
| 196 | } | 192 | } |
| 197 | 193 | ||
| 198 | ctx = BN_CTX_new(); | 194 | ctx = BN_CTX_new(); |
| 199 | if (ctx == NULL) goto err; | 195 | if (ctx == NULL) |
| 196 | goto err; | ||
| 200 | BN_CTX_start(ctx); | 197 | BN_CTX_start(ctx); |
| 201 | tmp = BN_CTX_get(ctx); | 198 | tmp = BN_CTX_get(ctx); |
| 202 | 199 | ||
| 203 | if (dh->priv_key == NULL) | 200 | if (dh->priv_key == NULL) { |
| 204 | { | 201 | DHerr(DH_F_COMPUTE_KEY, DH_R_NO_PRIVATE_VALUE); |
| 205 | DHerr(DH_F_COMPUTE_KEY,DH_R_NO_PRIVATE_VALUE); | ||
| 206 | goto err; | 202 | goto err; |
| 207 | } | 203 | } |
| 208 | 204 | ||
| 209 | if (dh->flags & DH_FLAG_CACHE_MONT_P) | 205 | if (dh->flags & DH_FLAG_CACHE_MONT_P) { |
| 210 | { | ||
| 211 | mont = BN_MONT_CTX_set_locked(&dh->method_mont_p, | 206 | mont = BN_MONT_CTX_set_locked(&dh->method_mont_p, |
| 212 | CRYPTO_LOCK_DH, dh->p, ctx); | 207 | CRYPTO_LOCK_DH, dh->p, ctx); |
| 213 | if ((dh->flags & DH_FLAG_NO_EXP_CONSTTIME) == 0) | 208 | if ((dh->flags & DH_FLAG_NO_EXP_CONSTTIME) == 0) { |
| 214 | { | ||
| 215 | /* XXX */ | 209 | /* XXX */ |
| 216 | BN_set_flags(dh->priv_key, BN_FLG_CONSTTIME); | 210 | BN_set_flags(dh->priv_key, BN_FLG_CONSTTIME); |
| 217 | } | 211 | } |
| 218 | if (!mont) | 212 | if (!mont) |
| 219 | goto err; | 213 | goto err; |
| 220 | } | 214 | } |
| 221 | 215 | ||
| 222 | if (!DH_check_pub_key(dh, pub_key, &check_result) || check_result) | 216 | if (!DH_check_pub_key(dh, pub_key, &check_result) || check_result) { |
| 223 | { | 217 | DHerr(DH_F_COMPUTE_KEY, DH_R_INVALID_PUBKEY); |
| 224 | DHerr(DH_F_COMPUTE_KEY,DH_R_INVALID_PUBKEY); | ||
| 225 | goto err; | 218 | goto err; |
| 226 | } | 219 | } |
| 227 | 220 | ||
| 228 | if (!dh->meth->bn_mod_exp(dh, tmp, pub_key, dh->priv_key,dh->p,ctx,mont)) | 221 | if (!dh->meth->bn_mod_exp(dh, tmp, pub_key, dh->priv_key, dh->p, ctx, |
| 229 | { | 222 | mont)) { |
| 230 | DHerr(DH_F_COMPUTE_KEY,ERR_R_BN_LIB); | 223 | DHerr(DH_F_COMPUTE_KEY, ERR_R_BN_LIB); |
| 231 | goto err; | 224 | goto err; |
| 232 | } | 225 | } |
| 233 | 226 | ||
| 234 | ret=BN_bn2bin(tmp,key); | 227 | ret = BN_bn2bin(tmp, key); |
| 235 | err: | 228 | err: |
| 236 | if (ctx != NULL) | 229 | if (ctx != NULL) { |
| 237 | { | ||
| 238 | BN_CTX_end(ctx); | 230 | BN_CTX_end(ctx); |
| 239 | BN_CTX_free(ctx); | 231 | BN_CTX_free(ctx); |
| 240 | } | ||
| 241 | return(ret); | ||
| 242 | } | 232 | } |
| 233 | return ret; | ||
| 234 | } | ||
| 243 | 235 | ||
| 244 | static int dh_bn_mod_exp(const DH *dh, BIGNUM *r, | 236 | static int |
| 245 | const BIGNUM *a, const BIGNUM *p, | 237 | dh_bn_mod_exp(const DH *dh, BIGNUM *r, const BIGNUM *a, const BIGNUM *p, |
| 246 | const BIGNUM *m, BN_CTX *ctx, | 238 | const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *m_ctx) |
| 247 | BN_MONT_CTX *m_ctx) | 239 | { |
| 248 | { | 240 | /* |
| 249 | /* If a is only one word long and constant time is false, use the faster | 241 | * If a is only one word long and constant time is false, use the faster |
| 250 | * exponenentiation function. | 242 | * exponenentiation function. |
| 251 | */ | 243 | */ |
| 252 | if (a->top == 1 && ((dh->flags & DH_FLAG_NO_EXP_CONSTTIME) != 0)) | 244 | if (a->top == 1 && (dh->flags & DH_FLAG_NO_EXP_CONSTTIME) != 0) { |
| 253 | { | ||
| 254 | BN_ULONG A = a->d[0]; | 245 | BN_ULONG A = a->d[0]; |
| 255 | return BN_mod_exp_mont_word(r,A,p,m,ctx,m_ctx); | ||
| 256 | } | ||
| 257 | else | ||
| 258 | return BN_mod_exp_mont(r,a,p,m,ctx,m_ctx); | ||
| 259 | } | ||
| 260 | 246 | ||
| 247 | return BN_mod_exp_mont_word(r, A, p, m, ctx, m_ctx); | ||
| 248 | } else | ||
| 249 | return BN_mod_exp_mont(r, a, p, m, ctx, m_ctx); | ||
| 250 | } | ||
| 261 | 251 | ||
| 262 | static int dh_init(DH *dh) | 252 | static int |
| 263 | { | 253 | dh_init(DH *dh) |
| 254 | { | ||
| 264 | dh->flags |= DH_FLAG_CACHE_MONT_P; | 255 | dh->flags |= DH_FLAG_CACHE_MONT_P; |
| 265 | return(1); | 256 | return 1; |
| 266 | } | 257 | } |
| 267 | 258 | ||
| 268 | static int dh_finish(DH *dh) | 259 | static int |
| 269 | { | 260 | dh_finish(DH *dh) |
| 270 | if(dh->method_mont_p) | 261 | { |
| 262 | if (dh->method_mont_p) | ||
| 271 | BN_MONT_CTX_free(dh->method_mont_p); | 263 | BN_MONT_CTX_free(dh->method_mont_p); |
| 272 | return(1); | 264 | return 1; |
| 273 | } | 265 | } |
