2019-09-15 17:55:10 +08:00
|
|
|
/*
|
|
|
|
* Copyright 2019 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 <string.h>
|
|
|
|
#include <openssl/evp.h>
|
|
|
|
#include <openssl/params.h>
|
|
|
|
#include "selftest.h"
|
|
|
|
|
|
|
|
#define FIPS_STATE_INIT 0
|
|
|
|
#define FIPS_STATE_RUNNING 1
|
|
|
|
#define FIPS_STATE_SELFTEST 2
|
|
|
|
#define FIPS_STATE_ERROR 3
|
|
|
|
|
|
|
|
/* The size of a temp buffer used to read in data */
|
|
|
|
#define INTEGRITY_BUF_SIZE (4096)
|
|
|
|
#define MAX_MD_SIZE 64
|
|
|
|
#define MAC_NAME "HMAC"
|
|
|
|
#define DIGEST_NAME "SHA256"
|
|
|
|
|
|
|
|
static int FIPS_state = FIPS_STATE_INIT;
|
|
|
|
static unsigned char fixed_key[32] = { 0 };
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Calculate the HMAC SHA256 of data read using a BIO and read_cb, and verify
|
|
|
|
* the result matches the expected value.
|
|
|
|
* Return 1 if verified, or 0 if it fails.
|
|
|
|
*/
|
|
|
|
static int verify_integrity(BIO *bio, OSSL_BIO_read_ex_fn read_ex_cb,
|
|
|
|
unsigned char *expected, size_t expected_len,
|
|
|
|
OPENSSL_CTX *libctx)
|
|
|
|
{
|
|
|
|
int ret = 0, status;
|
|
|
|
unsigned char out[MAX_MD_SIZE];
|
|
|
|
unsigned char buf[INTEGRITY_BUF_SIZE];
|
|
|
|
size_t bytes_read = 0, out_len = 0;
|
|
|
|
EVP_MAC *mac = NULL;
|
|
|
|
EVP_MAC_CTX *ctx = NULL;
|
|
|
|
OSSL_PARAM params[3], *p = params;
|
|
|
|
|
|
|
|
mac = EVP_MAC_fetch(libctx, MAC_NAME, NULL);
|
|
|
|
ctx = EVP_MAC_CTX_new(mac);
|
|
|
|
if (mac == NULL || ctx == NULL)
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
*p++ = OSSL_PARAM_construct_utf8_string("digest", DIGEST_NAME,
|
|
|
|
strlen(DIGEST_NAME) + 1);
|
|
|
|
*p++ = OSSL_PARAM_construct_octet_string("key", fixed_key,
|
|
|
|
sizeof(fixed_key));
|
|
|
|
*p = OSSL_PARAM_construct_end();
|
|
|
|
|
|
|
|
if (EVP_MAC_CTX_set_params(ctx, params) <= 0
|
|
|
|
|| !EVP_MAC_init(ctx))
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
status = read_ex_cb(bio, buf, sizeof(buf), &bytes_read);
|
|
|
|
if (status != 1)
|
|
|
|
break;
|
|
|
|
if (!EVP_MAC_update(ctx, buf, bytes_read))
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
if (!EVP_MAC_final(ctx, out, &out_len, sizeof(out)))
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
if (expected_len != out_len
|
|
|
|
|| memcmp(expected, out, out_len) != 0)
|
|
|
|
goto err;
|
|
|
|
ret = 1;
|
|
|
|
err:
|
|
|
|
EVP_MAC_CTX_free(ctx);
|
|
|
|
EVP_MAC_free(mac);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* This API is triggered either on loading of the FIPS module or on demand */
|
|
|
|
int SELF_TEST_post(SELF_TEST_POST_PARAMS *st)
|
|
|
|
{
|
|
|
|
int ok = 0;
|
|
|
|
int kats_already_passed = 0;
|
|
|
|
int on_demand_test = (FIPS_state != FIPS_STATE_INIT);
|
|
|
|
long checksum_len;
|
|
|
|
BIO *bio_module = NULL, *bio_indicator = NULL;
|
|
|
|
unsigned char *module_checksum = NULL;
|
|
|
|
unsigned char *indicator_checksum = NULL;
|
|
|
|
|
|
|
|
if (st == NULL
|
|
|
|
|| FIPS_state == FIPS_STATE_ERROR
|
|
|
|
|| FIPS_state == FIPS_STATE_SELFTEST
|
|
|
|
|| st->module_checksum_data == NULL)
|
|
|
|
goto end;
|
|
|
|
|
|
|
|
module_checksum = OPENSSL_hexstr2buf(st->module_checksum_data,
|
|
|
|
&checksum_len);
|
|
|
|
if (module_checksum == NULL)
|
|
|
|
goto end;
|
|
|
|
bio_module = (*st->bio_new_file_cb)(st->module_filename, "rb");
|
|
|
|
|
|
|
|
/* Always check the integrity of the fips module */
|
|
|
|
if (bio_module == NULL
|
|
|
|
|| !verify_integrity(bio_module, st->bio_read_ex_cb,
|
|
|
|
module_checksum, checksum_len, st->libctx))
|
|
|
|
goto end;
|
|
|
|
|
|
|
|
/* This will be NULL during installation - so the self test KATS will run */
|
|
|
|
if (st->indicator_data != NULL) {
|
|
|
|
/*
|
|
|
|
* If the kats have already passed indicator is set - then check the
|
|
|
|
* integrity of the indicator.
|
|
|
|
*/
|
|
|
|
if (st->indicator_checksum_data == NULL)
|
|
|
|
goto end;
|
|
|
|
indicator_checksum = OPENSSL_hexstr2buf(st->indicator_checksum_data,
|
|
|
|
&checksum_len);
|
|
|
|
if (indicator_checksum == NULL)
|
|
|
|
goto end;
|
|
|
|
|
|
|
|
bio_indicator =
|
|
|
|
(*st->bio_new_buffer_cb)(st->indicator_data,
|
|
|
|
strlen(st->indicator_data));
|
|
|
|
if (bio_indicator == NULL
|
|
|
|
|| !verify_integrity(bio_indicator, st->bio_read_ex_cb,
|
|
|
|
indicator_checksum, checksum_len,
|
|
|
|
st->libctx))
|
|
|
|
goto end;
|
|
|
|
else
|
|
|
|
kats_already_passed = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Only runs the KAT's during installation OR on_demand() */
|
|
|
|
if (on_demand_test || kats_already_passed == 0) {
|
|
|
|
/*TODO (3.0) Add self test KATS */
|
|
|
|
}
|
|
|
|
ok = 1;
|
|
|
|
end:
|
|
|
|
OPENSSL_free(module_checksum);
|
|
|
|
OPENSSL_free(indicator_checksum);
|
|
|
|
|
2019-10-03 07:29:51 +08:00
|
|
|
if (st != NULL) {
|
|
|
|
(*st->bio_free_cb)(bio_indicator);
|
|
|
|
(*st->bio_free_cb)(bio_module);
|
|
|
|
}
|
2019-09-15 17:55:10 +08:00
|
|
|
FIPS_state = ok ? FIPS_STATE_RUNNING : FIPS_STATE_ERROR;
|
|
|
|
|
|
|
|
return ok;
|
|
|
|
}
|