drbg_ctr.c 9.9 KB
Newer Older
R
Rich Salz 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
/*
 * Copyright 2011-2017 The OpenSSL Project Authors. All Rights Reserved.
 *
 * Licensed under the OpenSSL license (the "License").  You may not use
 * this file except in compliance with the License.  You can obtain a copy
 * in the file LICENSE in the source distribution or at
 * https://www.openssl.org/source/license.html
 */

#include <stdlib.h>
#include <string.h>
#include <openssl/crypto.h>
#include <openssl/err.h>
#include <openssl/rand.h>
#include "rand_lcl.h"
#include "internal/thread_once.h"

/*
R
Rich Salz 已提交
19
 * Implementation of NIST SP 800-90A CTR DRBG.
R
Rich Salz 已提交
20 21
 */

R
Rich Salz 已提交
22
static void inc_128(RAND_DRBG_CTR *ctr)
R
Rich Salz 已提交
23 24 25
{
    int i;
    unsigned char c;
R
Rich Salz 已提交
26
    unsigned char *p = &ctr->V[15];
R
Rich Salz 已提交
27 28 29 30 31 32 33 34 35 36 37 38

    for (i = 0; i < 16; i++, p--) {
        c = *p;
        c++;
        *p = c;
        if (c != 0) {
            /* If we didn't wrap around, we're done. */
            break;
        }
    }
}

R
Rich Salz 已提交
39
static void ctr_XOR(RAND_DRBG_CTR *ctr, const unsigned char *in, size_t inlen)
R
Rich Salz 已提交
40 41 42 43 44 45 46 47 48 49
{
    size_t i, n;

    if (in == NULL || inlen == 0)
        return;

    /*
     * Any zero padding will have no effect on the result as we
     * are XORing. So just process however much input we have.
     */
R
Rich Salz 已提交
50
    n = inlen < ctr->keylen ? inlen : ctr->keylen;
R
Rich Salz 已提交
51
    for (i = 0; i < n; i++)
R
Rich Salz 已提交
52 53
        ctr->K[i] ^= in[i];
    if (inlen <= ctr->keylen)
R
Rich Salz 已提交
54 55
        return;

R
Rich Salz 已提交
56
    n = inlen - ctr->keylen;
R
Rich Salz 已提交
57 58 59 60
    if (n > 16) {
        /* Should never happen */
        n = 16;
    }
61
    for (i = 0; i < n; i++)
R
Rich Salz 已提交
62
        ctr->V[i] ^= in[i + ctr->keylen];
R
Rich Salz 已提交
63 64 65 66 67
}

/*
 * Process a complete block using BCC algorithm of SP 800-90A 10.3.3
 */
R
Rich Salz 已提交
68
static void ctr_BCC_block(RAND_DRBG_CTR *ctr, unsigned char *out,
R
Rich Salz 已提交
69 70 71 72 73 74
                          const unsigned char *in)
{
    int i;

    for (i = 0; i < 16; i++)
        out[i] ^= in[i];
R
Rich Salz 已提交
75
    AES_encrypt(out, out, &ctr->df_ks);
R
Rich Salz 已提交
76 77 78 79 80 81
}


/*
 * Handle several BCC operations for as much data as we need for K and X
 */
R
Rich Salz 已提交
82
static void ctr_BCC_blocks(RAND_DRBG_CTR *ctr, const unsigned char *in)
R
Rich Salz 已提交
83
{
R
Rich Salz 已提交
84 85 86 87
    ctr_BCC_block(ctr, ctr->KX, in);
    ctr_BCC_block(ctr, ctr->KX + 16, in);
    if (ctr->keylen != 16)
        ctr_BCC_block(ctr, ctr->KX + 32, in);
R
Rich Salz 已提交
88 89 90 91 92 93
}

/*
 * Initialise BCC blocks: these have the value 0,1,2 in leftmost positions:
 * see 10.3.1 stage 7.
 */
R
Rich Salz 已提交
94
static void ctr_BCC_init(RAND_DRBG_CTR *ctr)
R
Rich Salz 已提交
95
{
R
Rich Salz 已提交
96 97 98 99 100 101 102 103
    memset(ctr->KX, 0, 48);
    memset(ctr->bltmp, 0, 16);
    ctr_BCC_block(ctr, ctr->KX, ctr->bltmp);
    ctr->bltmp[3] = 1;
    ctr_BCC_block(ctr, ctr->KX + 16, ctr->bltmp);
    if (ctr->keylen != 16) {
        ctr->bltmp[3] = 2;
        ctr_BCC_block(ctr, ctr->KX + 32, ctr->bltmp);
R
Rich Salz 已提交
104 105 106 107 108 109
    }
}

/*
 * Process several blocks into BCC algorithm, some possibly partial
 */
R
Rich Salz 已提交
110
static void ctr_BCC_update(RAND_DRBG_CTR *ctr,
R
Rich Salz 已提交
111 112 113 114 115 116
                           const unsigned char *in, size_t inlen)
{
    if (in == NULL || inlen == 0)
        return;

    /* If we have partial block handle it first */
R
Rich Salz 已提交
117 118
    if (ctr->bltmp_pos) {
        size_t left = 16 - ctr->bltmp_pos;
R
Rich Salz 已提交
119 120 121

        /* If we now have a complete block process it */
        if (inlen >= left) {
R
Rich Salz 已提交
122 123 124
            memcpy(ctr->bltmp + ctr->bltmp_pos, in, left);
            ctr_BCC_blocks(ctr, ctr->bltmp);
            ctr->bltmp_pos = 0;
R
Rich Salz 已提交
125 126 127 128 129 130 131
            inlen -= left;
            in += left;
        }
    }

    /* Process zero or more complete blocks */
    for (; inlen >= 16; in += 16, inlen -= 16) {
R
Rich Salz 已提交
132
        ctr_BCC_blocks(ctr, in);
R
Rich Salz 已提交
133 134 135 136
    }

    /* Copy any remaining partial block to the temporary buffer */
    if (inlen > 0) {
R
Rich Salz 已提交
137 138
        memcpy(ctr->bltmp + ctr->bltmp_pos, in, inlen);
        ctr->bltmp_pos += inlen;
R
Rich Salz 已提交
139 140 141
    }
}

R
Rich Salz 已提交
142
static void ctr_BCC_final(RAND_DRBG_CTR *ctr)
R
Rich Salz 已提交
143
{
R
Rich Salz 已提交
144 145 146
    if (ctr->bltmp_pos) {
        memset(ctr->bltmp + ctr->bltmp_pos, 0, 16 - ctr->bltmp_pos);
        ctr_BCC_blocks(ctr, ctr->bltmp);
R
Rich Salz 已提交
147 148 149
    }
}

R
Rich Salz 已提交
150
static void ctr_df(RAND_DRBG_CTR *ctr,
R
Rich Salz 已提交
151 152 153 154 155 156
                   const unsigned char *in1, size_t in1len,
                   const unsigned char *in2, size_t in2len,
                   const unsigned char *in3, size_t in3len)
{
    static unsigned char c80 = 0x80;
    size_t inlen;
R
Rich Salz 已提交
157
    unsigned char *p = ctr->bltmp;
R
Rich Salz 已提交
158

R
Rich Salz 已提交
159
    ctr_BCC_init(ctr);
R
Rich Salz 已提交
160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176
    if (in1 == NULL)
        in1len = 0;
    if (in2 == NULL)
        in2len = 0;
    if (in3 == NULL)
        in3len = 0;
    inlen = in1len + in2len + in3len;
    /* Initialise L||N in temporary block */
    *p++ = (inlen >> 24) & 0xff;
    *p++ = (inlen >> 16) & 0xff;
    *p++ = (inlen >> 8) & 0xff;
    *p++ = inlen & 0xff;

    /* NB keylen is at most 32 bytes */
    *p++ = 0;
    *p++ = 0;
    *p++ = 0;
R
Rich Salz 已提交
177 178 179 180 181 182 183
    *p = (unsigned char)((ctr->keylen + 16) & 0xff);
    ctr->bltmp_pos = 8;
    ctr_BCC_update(ctr, in1, in1len);
    ctr_BCC_update(ctr, in2, in2len);
    ctr_BCC_update(ctr, in3, in3len);
    ctr_BCC_update(ctr, &c80, 1);
    ctr_BCC_final(ctr);
R
Rich Salz 已提交
184
    /* Set up key K */
R
Rich Salz 已提交
185
    AES_set_encrypt_key(ctr->KX, ctr->keylen * 8, &ctr->df_kxks);
R
Rich Salz 已提交
186
    /* X follows key K */
R
Rich Salz 已提交
187 188 189 190
    AES_encrypt(ctr->KX + ctr->keylen, ctr->KX, &ctr->df_kxks);
    AES_encrypt(ctr->KX, ctr->KX + 16, &ctr->df_kxks);
    if (ctr->keylen != 16)
        AES_encrypt(ctr->KX + 16, ctr->KX + 32, &ctr->df_kxks);
R
Rich Salz 已提交
191 192 193 194 195 196
}

/*
 * NB the no-df Update in SP800-90A specifies a constant input length
 * of seedlen, however other uses of this algorithm pad the input with
 * zeroes if necessary and have up to two parameters XORed together,
R
Rich Salz 已提交
197
 * so we handle both cases in this function instead.
R
Rich Salz 已提交
198
 */
R
Rich Salz 已提交
199
static void ctr_update(RAND_DRBG *drbg,
R
Rich Salz 已提交
200 201 202 203
                       const unsigned char *in1, size_t in1len,
                       const unsigned char *in2, size_t in2len,
                       const unsigned char *nonce, size_t noncelen)
{
R
Rich Salz 已提交
204
    RAND_DRBG_CTR *ctr = &drbg->ctr;
R
Rich Salz 已提交
205 206

    /* ks is already setup for correct key */
R
Rich Salz 已提交
207 208
    inc_128(ctr);
    AES_encrypt(ctr->V, ctr->K, &ctr->ks);
R
Rich Salz 已提交
209 210

    /* If keylen longer than 128 bits need extra encrypt */
R
Rich Salz 已提交
211 212 213
    if (ctr->keylen != 16) {
        inc_128(ctr);
        AES_encrypt(ctr->V, ctr->K + 16, &ctr->ks);
R
Rich Salz 已提交
214
    }
R
Rich Salz 已提交
215 216
    inc_128(ctr);
    AES_encrypt(ctr->V, ctr->V, &ctr->ks);
R
Rich Salz 已提交
217 218

    /* If 192 bit key part of V is on end of K */
R
Rich Salz 已提交
219 220 221
    if (ctr->keylen == 24) {
        memcpy(ctr->V + 8, ctr->V, 8);
        memcpy(ctr->V, ctr->K + 24, 8);
R
Rich Salz 已提交
222 223
    }

R
Rich Salz 已提交
224
    if (drbg->flags & RAND_DRBG_FLAG_CTR_USE_DF) {
R
Rich Salz 已提交
225 226
        /* If no input reuse existing derived value */
        if (in1 != NULL || nonce != NULL || in2 != NULL)
R
Rich Salz 已提交
227
            ctr_df(ctr, in1, in1len, nonce, noncelen, in2, in2len);
R
Rich Salz 已提交
228 229
        /* If this a reuse input in1len != 0 */
        if (in1len)
R
Rich Salz 已提交
230
            ctr_XOR(ctr, ctr->KX, drbg->seedlen);
R
Rich Salz 已提交
231
    } else {
R
Rich Salz 已提交
232 233
        ctr_XOR(ctr, in1, in1len);
        ctr_XOR(ctr, in2, in2len);
R
Rich Salz 已提交
234 235
    }

R
Rich Salz 已提交
236
    AES_set_encrypt_key(ctr->K, drbg->strength, &ctr->ks);
R
Rich Salz 已提交
237 238
}

R
Rich Salz 已提交
239
int ctr_instantiate(RAND_DRBG *drbg,
240
                    const unsigned char *entropy, size_t entropylen,
R
Rich Salz 已提交
241 242 243
                    const unsigned char *nonce, size_t noncelen,
                    const unsigned char *pers, size_t perslen)
{
R
Rich Salz 已提交
244
    RAND_DRBG_CTR *ctr = &drbg->ctr;
R
Rich Salz 已提交
245

246
    if (entropy == NULL)
D
Dr. Stephen Henson 已提交
247 248
        return 0;

R
Rich Salz 已提交
249 250 251
    memset(ctr->K, 0, sizeof(ctr->K));
    memset(ctr->V, 0, sizeof(ctr->V));
    AES_set_encrypt_key(ctr->K, drbg->strength, &ctr->ks);
252
    ctr_update(drbg, entropy, entropylen, pers, perslen, nonce, noncelen);
R
Rich Salz 已提交
253 254 255
    return 1;
}

R
Rich Salz 已提交
256
int ctr_reseed(RAND_DRBG *drbg,
257
               const unsigned char *entropy, size_t entropylen,
R
Rich Salz 已提交
258 259
               const unsigned char *adin, size_t adinlen)
{
260
    if (entropy == NULL)
D
Dr. Stephen Henson 已提交
261
        return 0;
262
    ctr_update(drbg, entropy, entropylen, adin, adinlen, NULL, 0);
R
Rich Salz 已提交
263 264 265
    return 1;
}

R
Rich Salz 已提交
266
int ctr_generate(RAND_DRBG *drbg,
R
Rich Salz 已提交
267 268 269
                 unsigned char *out, size_t outlen,
                 const unsigned char *adin, size_t adinlen)
{
R
Rich Salz 已提交
270
    RAND_DRBG_CTR *ctr = &drbg->ctr;
R
Rich Salz 已提交
271 272

    if (adin != NULL && adinlen != 0) {
R
Rich Salz 已提交
273
        ctr_update(drbg, adin, adinlen, NULL, 0, NULL, 0);
R
Rich Salz 已提交
274
        /* This means we reuse derived value */
R
Rich Salz 已提交
275
        if (drbg->flags & RAND_DRBG_FLAG_CTR_USE_DF) {
R
Rich Salz 已提交
276 277 278 279 280 281 282 283
            adin = NULL;
            adinlen = 1;
        }
    } else {
        adinlen = 0;
    }

    for ( ; ; ) {
R
Rich Salz 已提交
284
        inc_128(ctr);
R
Rich Salz 已提交
285 286
        if (outlen < 16) {
            /* Use K as temp space as it will be updated */
R
Rich Salz 已提交
287 288
            AES_encrypt(ctr->V, ctr->K, &ctr->ks);
            memcpy(out, ctr->K, outlen);
R
Rich Salz 已提交
289 290
            break;
        }
R
Rich Salz 已提交
291
        AES_encrypt(ctr->V, out, &ctr->ks);
R
Rich Salz 已提交
292 293 294 295 296 297
        out += 16;
        outlen -= 16;
        if (outlen == 0)
            break;
    }

R
Rich Salz 已提交
298
    ctr_update(drbg, adin, adinlen, NULL, 0, NULL, 0);
R
Rich Salz 已提交
299 300 301
    return 1;
}

R
Rich Salz 已提交
302
int ctr_uninstantiate(RAND_DRBG *drbg)
R
Rich Salz 已提交
303
{
304
    OPENSSL_cleanse(&drbg->ctr, sizeof(drbg->ctr));
R
Rich Salz 已提交
305 306 307
    return 1;
}

R
Rich Salz 已提交
308
int ctr_init(RAND_DRBG *drbg)
R
Rich Salz 已提交
309
{
R
Rich Salz 已提交
310
    RAND_DRBG_CTR *ctr = &drbg->ctr;
R
Rich Salz 已提交
311 312
    size_t keylen;

R
Rich Salz 已提交
313
    switch (drbg->nid) {
R
Rich Salz 已提交
314 315
    default:
        /* This can't happen, but silence the compiler warning. */
316
        return 0;
R
Rich Salz 已提交
317 318 319 320 321 322 323 324 325 326 327
    case NID_aes_128_ctr:
        keylen = 16;
        break;
    case NID_aes_192_ctr:
        keylen = 24;
        break;
    case NID_aes_256_ctr:
        keylen = 32;
        break;
    }

R
Rich Salz 已提交
328 329 330
    ctr->keylen = keylen;
    drbg->strength = keylen * 8;
    drbg->seedlen = keylen + 16;
R
Rich Salz 已提交
331

R
Rich Salz 已提交
332
    if (drbg->flags & RAND_DRBG_FLAG_CTR_USE_DF) {
R
Rich Salz 已提交
333 334 335 336 337 338 339 340
        /* df initialisation */
        static unsigned char df_key[32] = {
            0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,
            0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,
            0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,
            0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f
        };
        /* Set key schedule for df_key */
R
Rich Salz 已提交
341 342
        AES_set_encrypt_key(df_key, drbg->strength, &ctr->df_ks);

343
        drbg->min_entropylen = ctr->keylen;
344
        drbg->max_entropylen = DRBG_MINMAX_FACTOR * drbg->min_entropylen;
345
        drbg->min_noncelen = drbg->min_entropylen / 2;
346
        drbg->max_noncelen = DRBG_MINMAX_FACTOR * drbg->min_noncelen;
347 348
        drbg->max_perslen = DRBG_MAX_LENGTH;
        drbg->max_adinlen = DRBG_MAX_LENGTH;
R
Rich Salz 已提交
349
    } else {
350 351
        drbg->min_entropylen = drbg->seedlen;
        drbg->max_entropylen = drbg->seedlen;
R
Rich Salz 已提交
352
        /* Nonce not used */
353 354 355 356
        drbg->min_noncelen = 0;
        drbg->max_noncelen = 0;
        drbg->max_perslen = drbg->seedlen;
        drbg->max_adinlen = drbg->seedlen;
R
Rich Salz 已提交
357 358
    }

R
Rich Salz 已提交
359
    drbg->max_request = 1 << 16;
360
    drbg->reseed_interval = MAX_RESEED_INTERVAL;
R
Rich Salz 已提交
361 362
    return 1;
}