fips/rand/fips_rand_selftest.c

   1 /* ====================================================================
   2  * Copyright (c) 2003 The OpenSSL Project.  All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  *
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  *
  11  * 2. Redistributions in binary form must reproduce the above copyright
  12  *    notice, this list of conditions and the following disclaimer in
  13  *    the documentation and/or other materials provided with the
  14  *    distribution.
  15  *
  16  * 3. All advertising materials mentioning features or use of this
  17  *    software must display the following acknowledgment:
  18  *    "This product includes software developed by the OpenSSL Project
  19  *    for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
  20  *
  21  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
  22  *    endorse or promote products derived from this software without
  23  *    prior written permission. For written permission, please contact
  24  *    openssl-core@openssl.org.
  25  *
  26  * 5. Products derived from this software may not be called "OpenSSL"
  27  *    nor may "OpenSSL" appear in their names without prior written
  28  *    permission of the OpenSSL Project.
  29  *
  30  * 6. Redistributions of any form whatsoever must retain the following
  31  *    acknowledgment:
  32  *    "This product includes software developed by the OpenSSL Project
  33  *    for use in the OpenSSL Toolkit (http://www.openssl.org/)"
  34  *
  35  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
  36  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  37  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  38  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
  39  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  40  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  41  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  42  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  43  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  44  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  45  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
  46  * OF THE POSSIBILITY OF SUCH DAMAGE.
  47  *
  48  */
  49
  50 #define OPENSSL_FIPSAPI
  51
  52 #include <string.h>
  53 #include <openssl/err.h>
  54 #include <openssl/fips.h>
  55 #include <openssl/rand.h>
  56 #include <openssl/fips_rand.h>
  57 #include "fips_locl.h"
  58
  59 #ifdef OPENSSL_FIPS
  60
  61
  62
  63 typedef struct
  64         {
  65         unsigned char DT[16];
  66         unsigned char V[16];
  67         unsigned char R[16];
  68         } AES_PRNG_TV;
  69
  70 /* The following test vectors are taken directly from the RGNVS spec */
  71
  72 static unsigned char aes_128_key[16] =
  73                 {0xf3,0xb1,0x66,0x6d,0x13,0x60,0x72,0x42,
  74                  0xed,0x06,0x1c,0xab,0xb8,0xd4,0x62,0x02};
  75
  76 static AES_PRNG_TV aes_128_tv[] = {
  77         {
  78                                 /* DT */
  79                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
  80                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x22,0xf9},
  81                                 /* V */
  82                 {0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
  83                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
  84                                 /* R */
  85                 {0x59,0x53,0x1e,0xd1,0x3b,0xb0,0xc0,0x55,
  86                  0x84,0x79,0x66,0x85,0xc1,0x2f,0x76,0x41}
  87         },
  88         {
  89                                 /* DT */
  90                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
  91                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x22,0xfa},
  92                                 /* V */
  93                 {0xc0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
  94                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
  95                                 /* R */
  96                 {0x7c,0x22,0x2c,0xf4,0xca,0x8f,0xa2,0x4c,
  97                  0x1c,0x9c,0xb6,0x41,0xa9,0xf3,0x22,0x0d}
  98         },
  99         {
 100                                 /* DT */
 101                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
 102                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x22,0xfb},
 103                                 /* V */
 104                 {0xe0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 105                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 106                                 /* R */
 107                 {0x8a,0xaa,0x00,0x39,0x66,0x67,0x5b,0xe5,
 108                  0x29,0x14,0x28,0x81,0xa9,0x4d,0x4e,0xc7}
 109         },
 110         {
 111                                 /* DT */
 112                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
 113                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x22,0xfc},
 114                                 /* V */
 115                 {0xf0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 116                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 117                                 /* R */
 118                 {0x88,0xdd,0xa4,0x56,0x30,0x24,0x23,0xe5,
 119                  0xf6,0x9d,0xa5,0x7e,0x7b,0x95,0xc7,0x3a}
 120         },
 121         {
 122                                 /* DT */
 123                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
 124                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x22,0xfd},
 125                                 /* V */
 126                 {0xf8,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 127                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 128                                 /* R */
 129                 {0x05,0x25,0x92,0x46,0x61,0x79,0xd2,0xcb,
 130                  0x78,0xc4,0x0b,0x14,0x0a,0x5a,0x9a,0xc8}
 131         },
 132         {
 133                                 /* DT */
 134                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
 135                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x23,0x77},
 136                                 /* V */
 137                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 138                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xfe},
 139                                 /* R */
 140                 {0x0d,0xd5,0xa0,0x36,0x7a,0x59,0x26,0xbc,
 141                  0x48,0xd9,0x38,0xbf,0xf0,0x85,0x8f,0xea}
 142         },
 143         {
 144                                 /* DT */
 145                 {0xe6,0xb3,0xbe,0x78,0x2a,0x23,0xfa,0x62,
 146                  0xd7,0x1d,0x4a,0xfb,0xb0,0xe9,0x23,0x78},
 147                                 /* V */
 148                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 149                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff},
 150                                 /* R */
 151                 {0xae,0x53,0x87,0xee,0x8c,0xd9,0x12,0xf5,
 152                  0x73,0x53,0xae,0x03,0xf9,0xd5,0x13,0x33}
 153         },
 154 };
 155
 156 static unsigned char aes_192_key[24] =
 157                 {0x15,0xd8,0x78,0x0d,0x62,0xd3,0x25,0x6e,
 158                  0x44,0x64,0x10,0x13,0x60,0x2b,0xa9,0xbc,
 159                  0x4a,0xfb,0xca,0xeb,0x4c,0x8b,0x99,0x3b};
 160
 161 static AES_PRNG_TV aes_192_tv[] = {
 162         {
 163                                 /* DT */
 164                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 165                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0x4b},
 166                                 /* V */
 167                 {0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 168                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 169                                 /* R */
 170                 {0x17,0x07,0xd5,0x28,0x19,0x79,0x1e,0xef,
 171                  0xa5,0x0c,0xbf,0x25,0xe5,0x56,0xb4,0x93}
 172         },
 173         {
 174                                 /* DT */
 175                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 176                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0x4c},
 177                                 /* V */
 178                 {0xc0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 179                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 180                                 /* R */
 181                 {0x92,0x8d,0xbe,0x07,0xdd,0xc7,0x58,0xc0,
 182                  0x6f,0x35,0x41,0x9b,0x17,0xc9,0xbd,0x9b}
 183         },
 184         {
 185                                 /* DT */
 186                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 187                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0x4d},
 188                                 /* V */
 189                 {0xe0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 190                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 191                                 /* R */
 192                 {0xd5,0xde,0xf4,0x50,0xf3,0xb7,0x10,0x4e,
 193                  0xb8,0xc6,0xf8,0xcf,0xe2,0xb1,0xca,0xa2}
 194         },
 195         {
 196                                 /* DT */
 197                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 198                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0x4e},
 199                                 /* V */
 200                 {0xf0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 201                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 202                                 /* R */
 203                 {0xce,0x29,0x08,0x43,0xfc,0x34,0x41,0xe7,
 204                  0x47,0x8f,0xb3,0x66,0x2b,0x46,0xb1,0xbb}
 205         },
 206         {
 207                                 /* DT */
 208                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 209                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0x4f},
 210                                 /* V */
 211                 {0xf8,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 212                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 213                                 /* R */
 214                 {0xb3,0x26,0x0f,0xf5,0xd6,0xca,0xa8,0xbf,
 215                  0x89,0xb8,0x5e,0x2f,0x22,0x56,0x92,0x2f}
 216         },
 217         {
 218                                 /* DT */
 219                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 220                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0xc9},
 221                                 /* V */
 222                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 223                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xfe},
 224                                 /* R */
 225                 {0x05,0xeb,0x18,0x52,0x34,0x43,0x00,0x43,
 226                  0x6e,0x5a,0xa5,0xfe,0x7b,0x32,0xc4,0x2d}
 227         },
 228         {
 229                                 /* DT */
 230                 {0x3f,0xd8,0xff,0xe8,0x80,0x69,0x8b,0xc1,
 231                  0xbf,0x99,0x7d,0xa4,0x24,0x78,0xf3,0xca},
 232                                 /* V */
 233                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 234                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff},
 235                                 /* R */
 236                 {0x15,0x3c,0xe8,0xd1,0x04,0xc7,0xad,0x50,
 237                  0x0b,0xf0,0x07,0x16,0xe7,0x56,0x7a,0xea}
 238         },
 239 };
 240
 241 static unsigned char aes_256_key[32] =
 242                 {0x6d,0x14,0x06,0x6c,0xb6,0xd8,0x21,0x2d,
 243                  0x82,0x8d,0xfa,0xf2,0x7a,0x03,0xb7,0x9f,
 244                  0x0c,0xc7,0x3e,0xcd,0x76,0xeb,0xee,0xb5,
 245                  0x21,0x05,0x8c,0x4f,0x31,0x7a,0x80,0xbb};
 246
 247 static AES_PRNG_TV aes_256_tv[] = {
 248         {
 249                                 /* DT */
 250                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 251                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9e,0x88},
 252                                 /* V */
 253                 {0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 254                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 255                                 /* R */
 256                 {0x35,0xc7,0xef,0xa7,0x78,0x4d,0x29,0xbc,
 257                  0x82,0x79,0x99,0xfb,0xd0,0xb3,0x3b,0x72}
 258         },
 259         {
 260                                 /* DT */
 261                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 262                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9e,0x89},
 263                                 /* V */
 264                 {0xc0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 265                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 266                                 /* R */
 267                 {0x6c,0xf4,0x42,0x5d,0xc7,0x04,0x1a,0x41,
 268                  0x28,0x2a,0x78,0xa9,0xb0,0x12,0xc4,0x95}
 269         },
 270         {
 271                                 /* DT */
 272                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 273                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9e,0x8a},
 274                                 /* V */
 275                 {0xe0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 276                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 277                                 /* R */
 278                 {0x16,0x90,0xa4,0xff,0x7b,0x7e,0xb9,0x30,
 279                  0xdb,0x67,0x4b,0xac,0x2d,0xe1,0xd1,0x75}
 280         },
 281         {
 282                                 /* DT */
 283                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 284                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9e,0x8b},
 285                                 /* V */
 286                 {0xf0,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 287                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 288                                 /* R */
 289                 {0x14,0x6f,0xf5,0x95,0xa1,0x46,0x65,0x30,
 290                  0xbc,0x57,0xe2,0x4a,0xf7,0x45,0x62,0x05}
 291         },
 292         {
 293                                 /* DT */
 294                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 295                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9e,0x8c},
 296                                 /* V */
 297                 {0xf8,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 298                  0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00},
 299                                 /* R */
 300                 {0x96,0xe2,0xb4,0x1e,0x66,0x5e,0x0f,0xa4,
 301                  0xc5,0xcd,0xa2,0x07,0xcc,0xb7,0x94,0x40}
 302         },
 303         {
 304                                 /* DT */
 305                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 306                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9f,0x06},
 307                                 /* V */
 308                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 309                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xfe},
 310                                 /* R */
 311                 {0x61,0xce,0x1d,0x6a,0x48,0x75,0x97,0x28,
 312                  0x4b,0x41,0xde,0x18,0x44,0x4f,0x56,0xec}
 313         },
 314         {
 315                                 /* DT */
 316                 {0xda,0x3a,0x41,0xec,0x1d,0xa3,0xb0,0xd5,
 317                  0xf2,0xa9,0x4e,0x34,0x74,0x8e,0x9f,0x07},
 318                                 /* V */
 319                 {0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,
 320                  0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff},
 321                                 /* R */
 322                 {0x52,0x89,0x59,0x79,0x2d,0xaa,0x28,0xb3,
 323                  0xb0,0x8a,0x3e,0x70,0xfa,0x71,0x59,0x84}
 324         },
 325 };
 326
 327
 328 #define fips_x931_test(key, tv) \
 329         do_x931_test(key, sizeof key, tv, sizeof(tv)/sizeof(AES_PRNG_TV))
 330
 331 static int do_x931_test(unsigned char *key, int keylen,
 332                         AES_PRNG_TV *tv, int ntv)
 333         {
 334         unsigned char R[16];
 335         int i, rv = 1;
 336         if (!FIPS_x931_set_key(key, keylen))
 337                 return 0;
 338         for (i = 0; i < ntv; i++)
 339                 {
 340                 if (!fips_post_started(FIPS_TEST_X931, keylen, NULL))
 341                         return 1;
 342                 if (!fips_post_corrupt(FIPS_TEST_X931, keylen, NULL))
 343                         tv[i].V[0]++;
 344                 FIPS_x931_seed(tv[i].V, 16);
 345                 FIPS_x931_set_dt(tv[i].DT);
 346                 FIPS_x931_bytes(R, 16);
 347                 if (memcmp(R, tv[i].R, 16))
 348                         {
 349                         fips_post_failed(FIPS_TEST_X931, keylen, NULL);
 350                         rv = 0;
 351                         }
 352                 else if (!fips_post_success(FIPS_TEST_X931, keylen, NULL))
 353                         return 0;
 354                 }
 355         return rv;
 356         }
 357
 358 int FIPS_selftest_x931()
 359         {
 360         int rv = 1;
 361         FIPS_x931_reset();
 362         if (!FIPS_x931_test_mode())
 363                 {
 364                 FIPSerr(FIPS_F_FIPS_SELFTEST_X931,FIPS_R_SELFTEST_FAILED);
 365                 return 0;
 366                 }
 367         if (!fips_x931_test(aes_128_key,aes_128_tv))
 368                 rv = 0;
 369         if (!fips_x931_test(aes_192_key, aes_192_tv))
 370                 rv = 0;
 371         if (!fips_x931_test(aes_256_key, aes_256_tv))
 372                 rv = 0;
 373         FIPS_x931_reset();
 374         if (!rv)
 375                 FIPSerr(FIPS_F_FIPS_SELFTEST_X931,FIPS_R_SELFTEST_FAILED);
 376         return rv;
 377         }
 378
 379 #endif