1 /* fips/rand/fips_drbg_lib.c */
2 /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
5 /* ====================================================================
6 * Copyright (c) 2011 The OpenSSL Project. All rights reserved.
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * licensing@OpenSSL.org.
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
34 * 6. Redistributions of any form whatsoever must retain the following
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
54 #define OPENSSL_FIPSAPI
57 #include <openssl/crypto.h>
58 #include <openssl/err.h>
59 #include <openssl/fips_rand.h>
60 #include "fips_rand_lcl.h"
62 /* Support framework for SP800-90 DRBGs */
64 int FIPS_drbg_init(DRBG_CTX *dctx, int type, unsigned int flags)
67 memset(dctx, 0, sizeof(DRBG_CTX));
68 dctx->status = DRBG_STATUS_UNINITIALISED;
72 dctx->entropy_blocklen = 0;
73 dctx->health_check_cnt = 0;
74 dctx->health_check_interval = DRBG_HEALTH_INTERVAL;
76 rv = fips_drbg_hash_init(dctx);
79 rv = fips_drbg_ctr_init(dctx);
81 rv = fips_drbg_hmac_init(dctx);
86 FIPSerr(FIPS_F_FIPS_DRBG_INIT, FIPS_R_UNSUPPORTED_DRBG_TYPE);
88 FIPSerr(FIPS_F_FIPS_DRBG_INIT, FIPS_R_ERROR_INITIALISING_DRBG);
91 /* If not in test mode run selftests on DRBG of the same type */
93 if (!(dctx->flags & DRBG_FLAG_TEST))
96 if (!fips_drbg_kat(&tctx, type, flags | DRBG_FLAG_TEST))
98 FIPSerr(FIPS_F_FIPS_DRBG_INIT, FIPS_R_SELFTEST_FAILURE);
99 dctx->status = DRBG_STATUS_ERROR;
107 DRBG_CTX *FIPS_drbg_new(int type, unsigned int flags)
110 dctx = OPENSSL_malloc(sizeof(DRBG_CTX));
113 FIPSerr(FIPS_F_FIPS_DRBG_NEW, ERR_R_MALLOC_FAILURE);
119 if (FIPS_drbg_init(dctx, type, flags) <= 0)
128 void FIPS_drbg_free(DRBG_CTX *dctx)
130 if (dctx->uninstantiate)
131 dctx->uninstantiate(dctx);
132 OPENSSL_cleanse(&dctx->d, sizeof(dctx->d));
136 static size_t fips_get_entropy(DRBG_CTX *dctx, unsigned char **pout,
137 int entropy, size_t min_len, size_t max_len)
139 unsigned char *tout, *p;
140 size_t bl = dctx->entropy_blocklen, rv;
141 if (dctx->flags & DRBG_FLAG_TEST || !bl)
142 return dctx->get_entropy(dctx, pout, entropy, min_len, max_len);
143 rv = dctx->get_entropy(dctx, &tout, entropy + bl,
144 min_len + bl, max_len + bl);
146 if (rv < (min_len + bl) || (rv % bl))
148 /* Compare consecutive blocks for continuous PRNG test */
149 for (p = tout; p < tout + rv - bl; p += bl)
151 if (!memcmp(p, p + bl, bl))
153 FIPSerr(FIPS_F_FIPS_GET_ENTROPY, FIPS_R_ENTROPY_SOURCE_STUCK);
163 static void fips_cleanup_entropy(DRBG_CTX *dctx,
164 unsigned char *out, size_t olen)
167 if (dctx->flags & DRBG_FLAG_TEST)
170 bl = dctx->entropy_blocklen;
171 /* Call cleanup with original arguments */
172 dctx->cleanup_entropy(dctx, out - bl, olen + bl);
176 int FIPS_drbg_instantiate(DRBG_CTX *dctx,
177 const unsigned char *pers, size_t perslen)
179 size_t entlen = 0, noncelen = 0;
180 unsigned char *nonce = NULL, *entropy = NULL;
183 /* Put here so error script picks them up */
184 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE,
185 FIPS_R_PERSONALISATION_STRING_TOO_LONG);
186 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_IN_ERROR_STATE);
187 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ALREADY_INSTANTIATED);
188 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ERROR_RETRIEVING_ENTROPY);
189 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ERROR_RETRIEVING_NONCE);
190 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_INSTANTIATE_ERROR);
195 if (perslen > dctx->max_pers)
197 r = FIPS_R_PERSONALISATION_STRING_TOO_LONG;
201 if (dctx->status != DRBG_STATUS_UNINITIALISED)
203 if (dctx->status == DRBG_STATUS_ERROR)
204 r = FIPS_R_IN_ERROR_STATE;
206 r = FIPS_R_ALREADY_INSTANTIATED;
210 dctx->status = DRBG_STATUS_ERROR;
212 entlen = fips_get_entropy(dctx, &entropy, dctx->strength,
213 dctx->min_entropy, dctx->max_entropy);
215 if (entlen < dctx->min_entropy || entlen > dctx->max_entropy)
217 r = FIPS_R_ERROR_RETRIEVING_ENTROPY;
221 if (dctx->max_nonce > 0)
223 noncelen = dctx->get_nonce(dctx, &nonce,
225 dctx->min_nonce, dctx->max_nonce);
227 if (noncelen < dctx->min_nonce || noncelen > dctx->max_nonce)
229 r = FIPS_R_ERROR_RETRIEVING_NONCE;
235 if (!dctx->instantiate(dctx,
240 r = FIPS_R_ERROR_INSTANTIATING_DRBG;
245 dctx->status = DRBG_STATUS_READY;
246 dctx->reseed_counter = 1;
250 if (entropy && dctx->cleanup_entropy)
251 fips_cleanup_entropy(dctx, entropy, entlen);
253 if (nonce && dctx->cleanup_nonce)
254 dctx->cleanup_nonce(dctx, nonce, noncelen);
256 if (dctx->status == DRBG_STATUS_READY)
259 if (r && !(dctx->flags & DRBG_FLAG_NOERR))
260 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, r);
266 int FIPS_drbg_reseed(DRBG_CTX *dctx,
267 const unsigned char *adin, size_t adinlen)
269 unsigned char *entropy = NULL;
274 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, FIPS_R_NOT_INSTANTIATED);
275 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, FIPS_R_ADDITIONAL_INPUT_TOO_LONG);
277 if (dctx->status != DRBG_STATUS_READY
278 && dctx->status != DRBG_STATUS_RESEED)
280 if (dctx->status == DRBG_STATUS_ERROR)
281 r = FIPS_R_IN_ERROR_STATE;
282 else if(dctx->status == DRBG_STATUS_UNINITIALISED)
283 r = FIPS_R_NOT_INSTANTIATED;
289 else if (adinlen > dctx->max_adin)
291 r = FIPS_R_ADDITIONAL_INPUT_TOO_LONG;
295 dctx->status = DRBG_STATUS_ERROR;
297 entlen = fips_get_entropy(dctx, &entropy, dctx->strength,
298 dctx->min_entropy, dctx->max_entropy);
300 if (entlen < dctx->min_entropy || entlen > dctx->max_entropy)
302 r = FIPS_R_ERROR_RETRIEVING_ENTROPY;
306 if (!dctx->reseed(dctx, entropy, entlen, adin, adinlen))
309 dctx->status = DRBG_STATUS_READY;
310 dctx->reseed_counter = 1;
313 if (entropy && dctx->cleanup_entropy)
314 fips_cleanup_entropy(dctx, entropy, entlen);
316 if (dctx->status == DRBG_STATUS_READY)
319 if (r && !(dctx->flags & DRBG_FLAG_NOERR))
320 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, r);
325 static int fips_drbg_check(DRBG_CTX *dctx)
327 if (dctx->flags & DRBG_FLAG_TEST)
329 dctx->health_check_cnt++;
330 if (dctx->health_check_cnt >= dctx->health_check_interval)
333 if (!fips_drbg_kat(&tctx, dctx->type,
334 dctx->flags | DRBG_FLAG_TEST))
336 FIPSerr(FIPS_F_FIPS_DRBG_CHECK, FIPS_R_SELFTEST_FAILURE);
337 dctx->status = DRBG_STATUS_ERROR;
340 dctx->health_check_cnt = 0;
345 int FIPS_drbg_generate(DRBG_CTX *dctx, unsigned char *out, size_t outlen,
346 int strength, int prediction_resistance,
347 const unsigned char *adin, size_t adinlen)
351 if (!fips_drbg_check(dctx))
354 if (dctx->status != DRBG_STATUS_READY
355 && dctx->status != DRBG_STATUS_RESEED)
357 if (dctx->status == DRBG_STATUS_ERROR)
358 r = FIPS_R_IN_ERROR_STATE;
359 else if(dctx->status == DRBG_STATUS_UNINITIALISED)
360 r = FIPS_R_NOT_INSTANTIATED;
364 if (outlen > dctx->max_request)
366 r = FIPS_R_REQUEST_TOO_LARGE_FOR_DRBG;
370 if (strength > dctx->strength)
372 r = FIPS_R_INSUFFICIENT_SECURITY_STRENGTH;
376 if (dctx->reseed_counter >= dctx->reseed_interval)
377 dctx->status = DRBG_STATUS_RESEED;
379 if (dctx->status == DRBG_STATUS_RESEED || prediction_resistance)
381 if (!FIPS_drbg_reseed(dctx, adin, adinlen))
383 r = FIPS_R_RESEED_ERROR;
390 if (!dctx->generate(dctx, out, outlen, adin, adinlen))
392 r = FIPS_R_GENERATE_ERROR;
393 dctx->status = DRBG_STATUS_ERROR;
396 if (dctx->reseed_counter >= dctx->reseed_interval)
397 dctx->status = DRBG_STATUS_RESEED;
399 dctx->reseed_counter++;
404 if (!(dctx->flags & DRBG_FLAG_NOERR))
405 FIPSerr(FIPS_F_FIPS_DRBG_GENERATE, r);
412 int FIPS_drbg_uninstantiate(DRBG_CTX *dctx)
415 if (!dctx->uninstantiate)
418 rv = dctx->uninstantiate(dctx);
419 /* Although we'd like to cleanse here we can't because we have to
420 * test the uninstantiate really zeroes the data.
422 memset(&dctx->d, 0, sizeof(dctx->d));
423 dctx->status = DRBG_STATUS_UNINITIALISED;
424 /* If method has problems uninstantiating, return error */
428 int FIPS_drbg_set_callbacks(DRBG_CTX *dctx,
429 size_t (*get_entropy)(DRBG_CTX *ctx, unsigned char **pout,
430 int entropy, size_t min_len, size_t max_len),
431 void (*cleanup_entropy)(DRBG_CTX *ctx, unsigned char *out, size_t olen),
432 size_t entropy_blocklen,
433 size_t (*get_nonce)(DRBG_CTX *ctx, unsigned char **pout,
434 int entropy, size_t min_len, size_t max_len),
435 void (*cleanup_nonce)(DRBG_CTX *ctx, unsigned char *out, size_t olen))
437 if (dctx->status != DRBG_STATUS_UNINITIALISED)
439 dctx->entropy_blocklen = entropy_blocklen;
440 dctx->get_entropy = get_entropy;
441 dctx->cleanup_entropy = cleanup_entropy;
442 dctx->get_nonce = get_nonce;
443 dctx->cleanup_nonce = cleanup_nonce;
447 int FIPS_drbg_set_rand_callbacks(DRBG_CTX *dctx,
448 size_t (*get_adin)(DRBG_CTX *ctx, unsigned char **pout),
449 void (*cleanup_adin)(DRBG_CTX *ctx, unsigned char *out, size_t olen),
450 int (*rand_seed_cb)(DRBG_CTX *ctx, const void *buf, int num),
451 int (*rand_add_cb)(DRBG_CTX *ctx,
452 const void *buf, int num, double entropy))
454 if (dctx->status != DRBG_STATUS_UNINITIALISED)
456 dctx->get_adin = get_adin;
457 dctx->cleanup_adin = cleanup_adin;
458 dctx->rand_seed_cb = rand_seed_cb;
459 dctx->rand_add_cb = rand_add_cb;
463 void *FIPS_drbg_get_app_data(DRBG_CTX *dctx)
465 return dctx->app_data;
468 void FIPS_drbg_set_app_data(DRBG_CTX *dctx, void *app_data)
470 dctx->app_data = app_data;
473 size_t FIPS_drbg_get_blocklength(DRBG_CTX *dctx)
475 return dctx->blocklength;
478 int FIPS_drbg_get_strength(DRBG_CTX *dctx)
480 return dctx->strength;
483 void FIPS_drbg_set_check_interval(DRBG_CTX *dctx, int interval)
485 dctx->health_check_interval = interval;
488 static int drbg_stick = 0;
490 void FIPS_drbg_stick(void)
495 /* Continuous DRBG utility function */
496 int fips_drbg_cprng_test(DRBG_CTX *dctx, const unsigned char *out)
498 /* No CPRNG in test mode */
499 if (dctx->flags & DRBG_FLAG_TEST)
501 /* Check block is valid: should never happen */
502 if (dctx->lb_valid == 0)
504 FIPSerr(FIPS_F_FIPS_DRBG_CPRNG_TEST, FIPS_R_INTERNAL_ERROR);
505 fips_set_selftest_fail();
509 memcpy(dctx->lb, out, dctx->blocklength);
510 /* Check against last block: fail if match */
511 if (!memcmp(dctx->lb, out, dctx->blocklength))
513 FIPSerr(FIPS_F_FIPS_DRBG_CPRNG_TEST, FIPS_R_DRBG_STUCK);
514 fips_set_selftest_fail();
517 /* Save last block for next comparison */
518 memcpy(dctx->lb, out, dctx->blocklength);