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/evp.h>
59 #include <openssl/aes.h>
60 #include <openssl/err.h>
61 #include <openssl/fips_rand.h>
62 #include "fips_rand_lcl.h"
64 /* Support framework for SP800-90 DRBGs */
66 int FIPS_drbg_init(DRBG_CTX *dctx, int type, unsigned int flags)
69 memset(dctx, 0, sizeof(DRBG_CTX));
70 dctx->status = DRBG_STATUS_UNINITIALISED;
74 dctx->entropy_blocklen = 0;
75 dctx->health_check_cnt = 0;
76 dctx->health_check_interval = DRBG_HEALTH_INTERVAL;
78 rv = fips_drbg_hash_init(dctx);
81 rv = fips_drbg_ctr_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);
106 DRBG_CTX *FIPS_drbg_new(int type, unsigned int flags)
109 dctx = OPENSSL_malloc(sizeof(DRBG_CTX));
112 FIPSerr(FIPS_F_FIPS_DRBG_NEW, ERR_R_MALLOC_FAILURE);
118 if (FIPS_drbg_init(dctx, type, flags) <= 0)
127 void FIPS_drbg_free(DRBG_CTX *dctx)
129 if (dctx->uninstantiate)
130 dctx->uninstantiate(dctx);
131 OPENSSL_cleanse(&dctx->d, sizeof(dctx->d));
135 static size_t fips_get_entropy(DRBG_CTX *dctx, unsigned char **pout,
136 int entropy, size_t min_len, size_t max_len)
138 unsigned char *tout, *p;
139 size_t bl = dctx->entropy_blocklen, rv;
140 if (dctx->flags & DRBG_FLAG_TEST || !bl)
141 return dctx->get_entropy(dctx, pout, entropy, min_len, max_len);
142 rv = dctx->get_entropy(dctx, &tout, entropy + bl,
143 min_len + bl, max_len + bl);
145 if (rv < (min_len + bl) || (rv % bl))
147 /* Compare consecutive blocks for continuous PRNG test */
148 for (p = tout; p < tout + rv; p += bl)
150 if (!memcmp(p, p + bl, bl))
152 FIPSerr(FIPS_F_FIPS_GET_ENTROPY, FIPS_R_ENTROPY_SOURCE_STUCK);
159 static void fips_cleanup_entropy(DRBG_CTX *dctx,
160 unsigned char *out, size_t olen)
163 if (dctx->flags & DRBG_FLAG_TEST)
166 bl = dctx->entropy_blocklen;
167 /* Call cleanup with original arguments */
168 dctx->cleanup_entropy(dctx, out - bl, olen + bl);
172 int FIPS_drbg_instantiate(DRBG_CTX *dctx,
173 const unsigned char *pers, size_t perslen)
175 size_t entlen = 0, noncelen = 0;
176 unsigned char *nonce = NULL, *entropy = NULL;
179 /* Put here so error script picks them up */
180 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE,
181 FIPS_R_PERSONALISATION_STRING_TOO_LONG);
182 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_IN_ERROR_STATE);
183 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ALREADY_INSTANTIATED);
184 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ERROR_RETRIEVING_ENTROPY);
185 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_ERROR_RETRIEVING_NONCE);
186 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, FIPS_R_INSTANTIATE_ERROR);
191 if (perslen > dctx->max_pers)
193 r = FIPS_R_PERSONALISATION_STRING_TOO_LONG;
197 if (dctx->status != DRBG_STATUS_UNINITIALISED)
199 if (dctx->status == DRBG_STATUS_ERROR)
200 r = FIPS_R_IN_ERROR_STATE;
202 r = FIPS_R_ALREADY_INSTANTIATED;
206 dctx->status = DRBG_STATUS_ERROR;
208 entlen = fips_get_entropy(dctx, &entropy, dctx->strength,
209 dctx->min_entropy, dctx->max_entropy);
211 if (entlen < dctx->min_entropy || entlen > dctx->max_entropy)
213 r = FIPS_R_ERROR_RETRIEVING_ENTROPY;
217 if (dctx->max_nonce > 0)
219 noncelen = dctx->get_nonce(dctx, &nonce,
221 dctx->min_nonce, dctx->max_nonce);
223 if (noncelen < dctx->min_nonce || noncelen > dctx->max_nonce)
225 r = FIPS_R_ERROR_RETRIEVING_NONCE;
231 if (!dctx->instantiate(dctx,
236 r = FIPS_R_ERROR_INSTANTIATING_DRBG;
241 dctx->status = DRBG_STATUS_READY;
242 dctx->reseed_counter = 1;
246 if (entropy && dctx->cleanup_entropy)
247 fips_cleanup_entropy(dctx, entropy, entlen);
249 if (nonce && dctx->cleanup_nonce)
250 dctx->cleanup_nonce(dctx, nonce, noncelen);
252 if (dctx->status == DRBG_STATUS_READY)
255 if (r && !(dctx->flags & DRBG_FLAG_NOERR))
256 FIPSerr(FIPS_F_FIPS_DRBG_INSTANTIATE, r);
262 int FIPS_drbg_reseed(DRBG_CTX *dctx,
263 const unsigned char *adin, size_t adinlen)
265 unsigned char *entropy = NULL;
270 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, FIPS_R_NOT_INSTANTIATED);
271 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, FIPS_R_ADDITIONAL_INPUT_TOO_LONG);
273 if (dctx->status != DRBG_STATUS_READY
274 && dctx->status != DRBG_STATUS_RESEED)
276 if (dctx->status == DRBG_STATUS_ERROR)
277 r = FIPS_R_IN_ERROR_STATE;
278 else if(dctx->status == DRBG_STATUS_UNINITIALISED)
279 r = FIPS_R_NOT_INSTANTIATED;
285 else if (adinlen > dctx->max_adin)
287 r = FIPS_R_ADDITIONAL_INPUT_TOO_LONG;
291 dctx->status = DRBG_STATUS_ERROR;
293 entlen = fips_get_entropy(dctx, &entropy, dctx->strength,
294 dctx->min_entropy, dctx->max_entropy);
296 if (entlen < dctx->min_entropy || entlen > dctx->max_entropy)
298 r = FIPS_R_ERROR_RETRIEVING_ENTROPY;
302 if (!dctx->reseed(dctx, entropy, entlen, adin, adinlen))
305 dctx->status = DRBG_STATUS_READY;
306 dctx->reseed_counter = 1;
309 if (entropy && dctx->cleanup_entropy)
310 fips_cleanup_entropy(dctx, entropy, entlen);
312 if (dctx->status == DRBG_STATUS_READY)
315 if (r && !(dctx->flags & DRBG_FLAG_NOERR))
316 FIPSerr(FIPS_F_FIPS_DRBG_RESEED, r);
321 static int fips_drbg_check(DRBG_CTX *dctx)
323 if (dctx->flags & DRBG_FLAG_TEST)
325 dctx->health_check_cnt++;
326 if (dctx->health_check_cnt >= dctx->health_check_interval)
329 if (!fips_drbg_kat(&tctx, dctx->type,
330 dctx->flags | DRBG_FLAG_TEST))
332 FIPSerr(FIPS_F_FIPS_DRBG_CHECK, FIPS_R_SELFTEST_FAILURE);
335 dctx->health_check_cnt = 0;
340 int FIPS_drbg_generate(DRBG_CTX *dctx, unsigned char *out, size_t outlen,
341 int strength, int prediction_resistance,
342 const unsigned char *adin, size_t adinlen)
346 if (!fips_drbg_check(dctx))
349 if (dctx->status != DRBG_STATUS_READY
350 && dctx->status != DRBG_STATUS_RESEED)
352 if (dctx->status == DRBG_STATUS_ERROR)
353 r = FIPS_R_IN_ERROR_STATE;
354 else if(dctx->status == DRBG_STATUS_UNINITIALISED)
355 r = FIPS_R_NOT_INSTANTIATED;
359 if (outlen > dctx->max_request)
361 r = FIPS_R_REQUEST_TOO_LARGE_FOR_DRBG;
365 if (strength > dctx->strength)
367 r = FIPS_R_INSUFFICIENT_SECURITY_STRENGTH;
371 if (dctx->status == DRBG_STATUS_RESEED || prediction_resistance)
373 if (!FIPS_drbg_reseed(dctx, adin, adinlen))
375 r = FIPS_R_RESEED_ERROR;
382 if (!dctx->generate(dctx, out, outlen, adin, adinlen))
384 r = FIPS_R_GENERATE_ERROR;
385 dctx->status = DRBG_STATUS_ERROR;
388 if (dctx->reseed_counter >= dctx->reseed_interval)
389 dctx->status = DRBG_STATUS_RESEED;
391 dctx->reseed_counter++;
396 if (!(dctx->flags & DRBG_FLAG_NOERR))
397 FIPSerr(FIPS_F_FIPS_DRBG_GENERATE, r);
404 int FIPS_drbg_uninstantiate(DRBG_CTX *dctx)
407 if (!dctx->uninstantiate)
410 rv = dctx->uninstantiate(dctx);
411 /* Although we'd like to cleanse here we can't because we have to
412 * test the uninstantiate really zeroes the data.
414 memset(&dctx->d, 0, sizeof(dctx->d));
415 dctx->status = DRBG_STATUS_UNINITIALISED;
416 /* If method has problems uninstantiating, return error */
420 int FIPS_drbg_set_callbacks(DRBG_CTX *dctx,
421 size_t (*get_entropy)(DRBG_CTX *ctx, unsigned char **pout,
422 int entropy, size_t min_len, size_t max_len),
423 void (*cleanup_entropy)(DRBG_CTX *ctx, unsigned char *out, size_t olen),
424 size_t entropy_blocklen,
425 size_t (*get_nonce)(DRBG_CTX *ctx, unsigned char **pout,
426 int entropy, size_t min_len, size_t max_len),
427 void (*cleanup_nonce)(DRBG_CTX *ctx, unsigned char *out, size_t olen))
429 if (dctx->status != DRBG_STATUS_UNINITIALISED)
431 dctx->entropy_blocklen = entropy_blocklen;
432 dctx->get_entropy = get_entropy;
433 dctx->cleanup_entropy = cleanup_entropy;
434 dctx->get_nonce = get_nonce;
435 dctx->cleanup_nonce = cleanup_nonce;
439 int FIPS_drbg_set_rand_callbacks(DRBG_CTX *dctx,
440 size_t (*get_adin)(DRBG_CTX *ctx, unsigned char **pout),
441 void (*cleanup_adin)(DRBG_CTX *ctx, unsigned char *out, size_t olen),
442 int (*rand_seed_cb)(DRBG_CTX *ctx, const void *buf, int num),
443 int (*rand_add_cb)(DRBG_CTX *ctx,
444 const void *buf, int num, double entropy))
446 if (dctx->status != DRBG_STATUS_UNINITIALISED)
448 dctx->get_adin = get_adin;
449 dctx->cleanup_adin = cleanup_adin;
450 dctx->rand_seed_cb = rand_seed_cb;
451 dctx->rand_add_cb = rand_add_cb;
455 void *FIPS_drbg_get_app_data(DRBG_CTX *dctx)
457 return dctx->app_data;
460 void FIPS_drbg_set_app_data(DRBG_CTX *dctx, void *app_data)
462 dctx->app_data = app_data;
465 size_t FIPS_drbg_get_blocklength(DRBG_CTX *dctx)
467 return dctx->blocklength;
470 int FIPS_drbg_get_strength(DRBG_CTX *dctx)
472 return dctx->strength;
475 void FIPS_drbg_set_check_interval(DRBG_CTX *dctx, int interval)
477 dctx->health_check_interval = interval;
480 static int drbg_stick = 0;
482 void FIPS_drbg_stick(void)
487 /* Continuous DRBG utility function */
488 int fips_drbg_cprng_test(DRBG_CTX *dctx, const unsigned char *out)
490 /* No CPRNG in test mode */
491 if (dctx->flags & DRBG_FLAG_TEST)
493 /* Check block is valid: should never happen */
494 if (dctx->lb_valid == 0)
496 FIPSerr(FIPS_F_FIPS_DRBG_CPRNG_TEST, FIPS_R_INTERNAL_ERROR);
497 fips_set_selftest_fail();
501 memcpy(dctx->lb, out, dctx->blocklength);
502 /* Check against last block: fail if match */
503 if (!memcmp(dctx->lb, out, dctx->blocklength))
505 FIPSerr(FIPS_F_FIPS_DRBG_CPRNG_TEST, FIPS_R_DRBG_STUCK);
506 fips_set_selftest_fail();
509 /* Save last block for next comparison */
510 memcpy(dctx->lb, out, dctx->blocklength);