summaryrefslogtreecommitdiff
path: root/src/fipstools/cavp_tdes_test.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/fipstools/cavp_tdes_test.cc')
-rw-r--r--src/fipstools/cavp_tdes_test.cc342
1 files changed, 342 insertions, 0 deletions
diff --git a/src/fipstools/cavp_tdes_test.cc b/src/fipstools/cavp_tdes_test.cc
new file mode 100644
index 00000000..d1c10ff9
--- /dev/null
+++ b/src/fipstools/cavp_tdes_test.cc
@@ -0,0 +1,342 @@
+/* Copyright (c) 2017, Google Inc.
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
+ * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
+ * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
+ * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
+
+// cavp_tdes_test processes a NIST TMOVS test vector request file and emits the
+// corresponding response.
+
+#include <stdlib.h>
+
+#include <openssl/cipher.h>
+#include <openssl/crypto.h>
+#include <openssl/err.h>
+
+#include "../crypto/test/file_test.h"
+#include "cavp_test_util.h"
+
+
+namespace {
+
+struct TestCtx {
+ const EVP_CIPHER *cipher;
+ enum Mode {
+ kKAT, // Known Answer Test
+ kMCT, // Monte Carlo Test
+ };
+ bool has_iv;
+ Mode mode;
+};
+
+}
+
+static bool TestKAT(FileTest *t, void *arg) {
+ TestCtx *ctx = reinterpret_cast<TestCtx *>(arg);
+
+ if (t->HasInstruction("ENCRYPT") == t->HasInstruction("DECRYPT")) {
+ t->PrintLine("Want either ENCRYPT or DECRYPT");
+ return false;
+ }
+ enum {
+ kEncrypt,
+ kDecrypt,
+ } operation = t->HasInstruction("ENCRYPT") ? kEncrypt : kDecrypt;
+
+ if (t->HasAttribute("NumKeys")) {
+ // Another file format quirk: NumKeys is a single attribute line immediately
+ // following an instruction and should probably have been an instruction
+ // instead. If it is present, the file has separate attributes "KEY{1,2,3}".
+ // If it is not, the keys are concatenated in a single attribute "KEYs".
+ std::string num_keys;
+ t->GetAttribute(&num_keys, "NumKeys");
+ t->InjectInstruction("NumKeys", num_keys);
+
+ std::string header = operation == kEncrypt ? "[ENCRYPT]" : "[DECRYPT]";
+ printf("%s\r\n\r\n", header.c_str());
+
+ return true;
+ }
+
+ enum {
+ kNotPresent,
+ kTwo,
+ kThree,
+ } num_keys = kNotPresent;
+ if (t->HasInstruction("NumKeys")) {
+ std::string num_keys_str;
+ t->GetInstruction(&num_keys_str, "NumKeys");
+ const int n = strtoul(num_keys_str.c_str(), nullptr, 0);
+ if (n == 2) {
+ num_keys = kTwo;
+ } else if (n == 3) {
+ num_keys = kThree;
+ } else {
+ t->PrintLine("invalid NumKeys value");
+ return false;
+ }
+ }
+
+ std::string count;
+ std::vector<uint8_t> keys, key1, key2, key3, iv, in, result;
+ const std::string in_label =
+ operation == kEncrypt ? "PLAINTEXT" : "CIPHERTEXT";
+ // clang-format off
+ if (!t->GetAttribute(&count, "COUNT") ||
+ (num_keys == 0 && !t->GetBytes(&keys, "KEYs")) ||
+ (num_keys > 0 &&
+ (!t->GetBytes(&key1, "KEY1") ||
+ !t->GetBytes(&key2, "KEY2") ||
+ !t->GetBytes(&key3, "KEY3"))) ||
+ (ctx->has_iv && !t->GetBytes(&iv, "IV")) ||
+ !t->GetBytes(&in, in_label)) {
+ return false;
+ }
+ // clang-format on
+ std::vector<uint8_t> key;
+ if (num_keys != kNotPresent) {
+ key.insert(key.end(), key1.begin(), key1.end());
+ key.insert(key.end(), key2.begin(), key2.end());
+ if (num_keys == kThree) {
+ key.insert(key.end(), key3.begin(), key3.end());
+ }
+ } else {
+ key.insert(key.end(), keys.begin(), keys.end());
+ key.insert(key.end(), keys.begin(), keys.end());
+ key.insert(key.end(), keys.begin(), keys.end());
+ }
+
+ if (!CipherOperation(ctx->cipher, &result, operation == kEncrypt, key, iv,
+ in)) {
+ return false;
+ }
+
+ // TDES fax files output format differs from file to file, and the input
+ // format is inconsistent with the output, so we construct the output manually
+ // rather than printing CurrentTestToString().
+ if (t->IsAtNewInstructionBlock() && num_keys == kNotPresent) {
+ // If NumKeys is present, header is printed when parsing NumKeys.
+ std::string header = operation == kEncrypt ? "[ENCRYPT]" : "[DECRYPT]";
+ printf("%s\r\n", header.c_str());
+ }
+ const std::string result_label =
+ operation == kEncrypt ? "CIPHERTEXT" : "PLAINTEXT";
+ printf("COUNT = %s\r\n", count.c_str());
+ if (num_keys == kNotPresent) {
+ printf("KEYs = %s\r\n", EncodeHex(keys.data(), keys.size()).c_str());
+ } else {
+ printf("KEY1 = %s\r\nKEY2 = %s\r\nKEY3 = %s\r\n",
+ EncodeHex(key1.data(), key1.size()).c_str(),
+ EncodeHex(key2.data(), key2.size()).c_str(),
+ EncodeHex(key3.data(), key3.size()).c_str());
+ }
+ if (ctx->has_iv) {
+ printf("IV = %s\r\n", EncodeHex(iv.data(), iv.size()).c_str());
+ }
+ printf("%s = %s\r\n", in_label.c_str(),
+ EncodeHex(in.data(), in.size()).c_str());
+ printf("%s = %s\r\n\r\n", result_label.c_str(),
+ EncodeHex(result.data(), result.size()).c_str());
+
+ return true;
+}
+
+// XORKeyWithOddParityLSB sets |*key| to |key| XOR |value| and then writes
+// the LSB of each byte to establish odd parity for that byte. This parity-based
+// embedded of a DES key into 64 bits is an old tradition and something that
+// NIST's tests require.
+static void XORKeyWithOddParityLSB(std::vector<uint8_t> *key,
+ const std::vector<uint8_t> &value) {
+ for (size_t i = 0; i < key->size(); i++) {
+ uint8_t v = (*key)[i] ^ value[i];
+
+ // Use LSB to establish odd parity.
+ v |= 0x01;
+ for (uint8_t j = 1; j < 8; j++) {
+ v ^= ((v >> j) & 0x01);
+ }
+ (*key)[i] = v;
+ }
+}
+
+static bool TestMCT(FileTest *t, void *arg) {
+ TestCtx *ctx = reinterpret_cast<TestCtx *>(arg);
+
+ if (t->HasInstruction("ENCRYPT") == t->HasInstruction("DECRYPT")) {
+ t->PrintLine("Want either ENCRYPT or DECRYPT");
+ return false;
+ }
+ enum {
+ kEncrypt,
+ kDecrypt,
+ } operation = t->HasInstruction("ENCRYPT") ? kEncrypt : kDecrypt;
+
+ if (t->HasAttribute("NumKeys")) {
+ // Another file format quirk: NumKeys is a single attribute line immediately
+ // following an instruction and should probably have been an instruction
+ // instead.
+ std::string num_keys;
+ t->GetAttribute(&num_keys, "NumKeys");
+ t->InjectInstruction("NumKeys", num_keys);
+ return true;
+ }
+
+ enum {
+ kTwo,
+ kThree,
+ } num_keys;
+ std::string num_keys_str;
+ if (!t->GetInstruction(&num_keys_str, "NumKeys")) {
+ return false;
+ } else {
+ const int n = strtoul(num_keys_str.c_str(), nullptr, 0);
+ if (n == 2) {
+ num_keys = kTwo;
+ } else if (n == 3) {
+ num_keys = kThree;
+ } else {
+ t->PrintLine("invalid NumKeys value");
+ return false;
+ }
+ }
+
+ std::string count;
+ std::vector<uint8_t> key1, key2, key3, iv, in, result;
+ const std::string in_label =
+ operation == kEncrypt ? "PLAINTEXT" : "CIPHERTEXT";
+ // clang-format off
+ if (!t->GetBytes(&key1, "KEY1") ||
+ !t->GetBytes(&key2, "KEY2") ||
+ !t->GetBytes(&key3, "KEY3") ||
+ (ctx->has_iv && !t->GetBytes(&iv, "IV")) ||
+ !t->GetBytes(&in, in_label)) {
+ return false;
+ }
+ // clang-format on
+
+ for (int i = 0; i < 400; i++) {
+ std::vector<uint8_t> current_iv = iv, current_in = in, prev_result,
+ prev_prev_result;
+
+ std::vector<uint8_t> key(key1);
+ key.insert(key.end(), key2.begin(), key2.end());
+ key.insert(key.end(), key3.begin(), key3.end());
+
+ for (int j = 0; j < 10000; j++) {
+ prev_prev_result = prev_result;
+ prev_result = result;
+ const EVP_CIPHER *cipher = ctx->cipher;
+ if (!CipherOperation(cipher, &result, operation == kEncrypt, key,
+ current_iv, current_in)) {
+ t->PrintLine("CipherOperation failed");
+ return false;
+ }
+ if (ctx->has_iv) {
+ if (operation == kEncrypt) {
+ if (j == 0) {
+ current_in = current_iv;
+ } else {
+ current_in = prev_result;
+ }
+ current_iv = result;
+ } else { // operation == kDecrypt
+ current_iv = current_in;
+ current_in = result;
+ }
+ } else {
+ current_in = result;
+ }
+ }
+
+ // Output result for COUNT = i.
+ const std::string result_label =
+ operation == kEncrypt ? "CIPHERTEXT" : "PLAINTEXT";
+ if (i == 0) {
+ const std::string op_label =
+ operation == kEncrypt ? "ENCRYPT" : "DECRYPT";
+ printf("[%s]\n\n", op_label.c_str());
+ }
+ printf("COUNT = %d\r\nKEY1 = %s\r\nKEY2 = %s\r\nKEY3 = %s\r\n", i,
+ EncodeHex(key1.data(), key1.size()).c_str(),
+ EncodeHex(key2.data(), key2.size()).c_str(),
+ EncodeHex(key3.data(), key3.size()).c_str());
+ if (ctx->has_iv) {
+ printf("IV = %s\r\n", EncodeHex(iv.data(), iv.size()).c_str());
+ }
+ printf("%s = %s\r\n", in_label.c_str(),
+ EncodeHex(in.data(), in.size()).c_str());
+ printf("%s = %s\r\n\r\n", result_label.c_str(),
+ EncodeHex(result.data(), result.size()).c_str());
+
+
+ XORKeyWithOddParityLSB(&key1, result);
+ XORKeyWithOddParityLSB(&key2, prev_result);
+ if (num_keys == kThree) {
+ XORKeyWithOddParityLSB(&key3, prev_prev_result);
+ } else {
+ XORKeyWithOddParityLSB(&key3, result);
+ }
+
+ if (ctx->has_iv) {
+ if (operation == kEncrypt) {
+ in = prev_result;
+ iv = result;
+ } else {
+ iv = current_iv;
+ in = current_in;
+ }
+ } else {
+ in = result;
+ }
+ }
+
+ return true;
+}
+
+static int usage(char *arg) {
+ fprintf(stderr, "usage: %s (kat|mct) <cipher> <test file>\n", arg);
+ return 1;
+}
+
+int cavp_tdes_test_main(int argc, char **argv) {
+ if (argc != 4) {
+ return usage(argv[0]);
+ }
+
+ const std::string tm(argv[1]);
+ enum TestCtx::Mode test_mode;
+ if (tm == "kat") {
+ test_mode = TestCtx::kKAT;
+ } else if (tm == "mct") {
+ test_mode = TestCtx::kMCT;
+ } else {
+ fprintf(stderr, "invalid test_mode: %s\n", tm.c_str());
+ return usage(argv[0]);
+ }
+
+ const std::string cipher_name(argv[2]);
+ const EVP_CIPHER *cipher = GetCipher(argv[2]);
+ if (cipher == nullptr) {
+ fprintf(stderr, "invalid cipher: %s\n", argv[2]);
+ return 1;
+ }
+ bool has_iv = cipher_name != "des-ede" && cipher_name != "des-ede3";
+ TestCtx ctx = {cipher, has_iv, test_mode};
+
+ FileTestFunc test_fn = test_mode == TestCtx::kKAT ? &TestKAT : &TestMCT;
+ FileTest::Options opts;
+ opts.path = argv[3];
+ opts.callback = test_fn;
+ opts.arg = &ctx;
+ opts.silent = true;
+ opts.comment_callback = EchoComment;
+ return FileTestMain(opts);
+}