1 /* -*- mode: c; c-basic-offset: 4; indent-tabs-mode: nil -*- */
2 /* lib/crypto/crypto_tests/t_cksums.c - Test known checksum results */
3 /*
4 * Copyright (C) 2010 by the Massachusetts Institute of Technology.
5 * All rights reserved.
6 *
7 * Export of this software from the United States of America may
8 * require a specific license from the United States Government.
9 * It is the responsibility of any person or organization contemplating
10 * export to obtain such a license before exporting.
11 *
12 * WITHIN THAT CONSTRAINT, permission to use, copy, modify, and
13 * distribute this software and its documentation for any purpose and
14 * without fee is hereby granted, provided that the above copyright
15 * notice appear in all copies and that both that copyright notice and
16 * this permission notice appear in supporting documentation, and that
17 * the name of M.I.T. not be used in advertising or publicity pertaining
18 * to distribution of the software without specific, written prior
19 * permission. Furthermore if you modify this software you must label
20 * your software as modified software and not distribute it in such a
21 * fashion that it might be confused with the original M.I.T. software.
22 * M.I.T. makes no representations about the suitability of
23 * this software for any purpose. It is provided "as is" without express
24 * or implied warranty.
25 */
26
27 /*
28 * This harness tests checksum results against known values. With the -v flag,
29 * results for all tests are displayed. This harness only works for
30 * deterministic checksums.
31 */
32
33 #include "k5-int.h"
34
35 struct test {
36 krb5_data plaintext;
37 krb5_cksumtype sumtype;
38 krb5_enctype enctype;
39 krb5_keyusage usage;
40 krb5_data keybits;
41 krb5_data cksum;
42 } test_cases[] = {
43 {
44 { KV5M_DATA, 3, "one" },
45 CKSUMTYPE_RSA_MD4, 0, 0, { KV5M_DATA, 0, "" },
46 { KV5M_DATA, 16,
47 "\x30\x5D\xCC\x2C\x0F\xDD\x53\x39\x96\x95\x52\xC7\xB8\x99\x63\x48" }
48 },
49 {
50 { KV5M_DATA, 19, "two three four five" },
51 CKSUMTYPE_RSA_MD5, 0, 0, { KV5M_DATA, 0, "" },
52 { KV5M_DATA, 16,
53 "\xBA\xB5\x32\x15\x51\xE1\x08\x44\x90\x86\x96\x35\xB3\xC2\x68\x15" }
54 },
55 {
56 { KV5M_DATA, 0, "" },
57 CKSUMTYPE_SHA1, 0, 0, { KV5M_DATA, 0, "" },
58 { KV5M_DATA, 20,
59 "\xDA\x39\xA3\xEE\x5E\x6B\x4B\x0D\x32\x55\xBF\xEF\x95\x60\x18\x90"
60 "\xAF\xD8\x07\x09" }
61 },
62 {
63 { KV5M_DATA, 9, "six seven" },
64 CKSUMTYPE_HMAC_SHA1_DES3, ENCTYPE_DES3_CBC_SHA1, 2,
65 { KV5M_DATA, 24,
66 "\x7A\x25\xDF\x89\x92\x29\x6D\xCE\xDA\x0E\x13\x5B\xC4\x04\x6E\x23"
67 "\x75\xB3\xC1\x4C\x98\xFB\xC1\x62" },
68 { KV5M_DATA, 20,
69 "\x0E\xEF\xC9\xC3\xE0\x49\xAA\xBC\x1B\xA5\xC4\x01\x67\x7D\x9A\xB6"
70 "\x99\x08\x2B\xB4" }
71 },
72 {
73 { KV5M_DATA, 37, "eight nine ten eleven twelve thirteen" },
74 CKSUMTYPE_HMAC_SHA1_96_AES128, ENCTYPE_AES128_CTS_HMAC_SHA1_96, 3,
75 { KV5M_DATA, 16,
76 "\x90\x62\x43\x0C\x8C\xDA\x33\x88\x92\x2E\x6D\x6A\x50\x9F\x5B\x7A" },
77 { KV5M_DATA, 12,
78 "\x01\xA4\xB0\x88\xD4\x56\x28\xF6\x94\x66\x14\xE3" }
79 },
80 {
81 { KV5M_DATA, 8, "fourteen" },
82 CKSUMTYPE_HMAC_SHA1_96_AES256, ENCTYPE_AES256_CTS_HMAC_SHA1_96, 4,
83 { KV5M_DATA, 32,
84 "\xB1\xAE\x4C\xD8\x46\x2A\xFF\x16\x77\x05\x3C\xC9\x27\x9A\xAC\x30"
85 "\xB7\x96\xFB\x81\xCE\x21\x47\x4D\xD3\xDD\xBC\xFE\xA4\xEC\x76\xD7" },
86 { KV5M_DATA, 12,
87 "\xE0\x87\x39\xE3\x27\x9E\x29\x03\xEC\x8E\x38\x36" }
88 },
89 {
90 { KV5M_DATA, 15, "fifteen sixteen" },
91 CKSUMTYPE_MD5_HMAC_ARCFOUR, ENCTYPE_ARCFOUR_HMAC, 5,
92 { KV5M_DATA, 16,
93 "\xF7\xD3\xA1\x55\xAF\x5E\x23\x8A\x0B\x7A\x87\x1A\x96\xBA\x2A\xB2" },
94 { KV5M_DATA, 16,
95 "\x9F\x41\xDF\x30\x49\x07\xDE\x73\x54\x47\x00\x1F\xD2\xA1\x97\xB9" }
96 },
97 {
98 { KV5M_DATA, 34, "seventeen eighteen nineteen twenty" },
99 CKSUMTYPE_HMAC_MD5_ARCFOUR, ENCTYPE_ARCFOUR_HMAC, 6,
100 { KV5M_DATA, 16,
101 "\xF7\xD3\xA1\x55\xAF\x5E\x23\x8A\x0B\x7A\x87\x1A\x96\xBA\x2A\xB2" },
102 { KV5M_DATA, 16,
103 "\xEB\x38\xCC\x97\xE2\x23\x0F\x59\xDA\x41\x17\xDC\x58\x59\xD7\xEC" }
104 },
105 {
106 { KV5M_DATA, 11, "abcdefghijk" },
107 CKSUMTYPE_CMAC_CAMELLIA128, ENCTYPE_CAMELLIA128_CTS_CMAC, 7,
108 { KV5M_DATA, 16,
109 "\x1D\xC4\x6A\x8D\x76\x3F\x4F\x93\x74\x2B\xCB\xA3\x38\x75\x76\xC3" },
110 { KV5M_DATA, 16,
111 "\x11\x78\xE6\xC5\xC4\x7A\x8C\x1A\xE0\xC4\xB9\xC7\xD4\xEB\x7B\x6B" }
112 },
113 {
114 { KV5M_DATA, 26, "ABCDEFGHIJKLMNOPQRSTUVWXYZ" },
115 CKSUMTYPE_CMAC_CAMELLIA128, ENCTYPE_CAMELLIA128_CTS_CMAC, 8,
116 { KV5M_DATA, 16,
117 "\x50\x27\xBC\x23\x1D\x0F\x3A\x9D\x23\x33\x3F\x1C\xA6\xFD\xBE\x7C" },
118 { KV5M_DATA, 16,
119 "\xD1\xB3\x4F\x70\x04\xA7\x31\xF2\x3A\x0C\x00\xBF\x6C\x3F\x75\x3A" }
120 },
121 {
122 { KV5M_DATA, 9, "123456789" },
123 CKSUMTYPE_CMAC_CAMELLIA256, ENCTYPE_CAMELLIA256_CTS_CMAC, 9,
124 { KV5M_DATA, 32,
125 "\xB6\x1C\x86\xCC\x4E\x5D\x27\x57\x54\x5A\xD4\x23\x39\x9F\xB7\x03"
126 "\x1E\xCA\xB9\x13\xCB\xB9\x00\xBD\x7A\x3C\x6D\xD8\xBF\x92\x01\x5B" },
127 { KV5M_DATA, 16,
128 "\x87\xA1\x2C\xFD\x2B\x96\x21\x48\x10\xF0\x1C\x82\x6E\x77\x44\xB1" }
129 },
130 {
131 { KV5M_DATA, 30, "!@#$%^&*()!@#$%^&*()!@#$%^&*()" },
132 CKSUMTYPE_CMAC_CAMELLIA256, ENCTYPE_CAMELLIA256_CTS_CMAC, 10,
133 { KV5M_DATA, 32,
134 "\x32\x16\x4C\x5B\x43\x4D\x1D\x15\x38\xE4\xCF\xD9\xBE\x80\x40\xFE"
135 "\x8C\x4A\xC7\xAC\xC4\xB9\x3D\x33\x14\xD2\x13\x36\x68\x14\x7A\x05" },
136 { KV5M_DATA, 16,
137 "\x3F\xA0\xB4\x23\x55\xE5\x2B\x18\x91\x87\x29\x4A\xA2\x52\xAB\x64" }
138 },
139 {
140 { KV5M_DATA, 21,
141 "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F"
142 "\x10\x11\x12\x13\x14" },
143 CKSUMTYPE_HMAC_SHA256_128_AES128, ENCTYPE_AES128_CTS_HMAC_SHA256_128,
144 2,
145 { KV5M_DATA, 16,
146 "\x37\x05\xD9\x60\x80\xC1\x77\x28\xA0\xE8\x00\xEA\xB6\xE0\xD2\x3C" },
147 { KV5M_DATA, 16,
148 "\xD7\x83\x67\x18\x66\x43\xD6\x7B\x41\x1C\xBA\x91\x39\xFC\x1D\xEE" }
149 },
150 {
151 { KV5M_DATA, 21,
152 "\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F"
153 "\x10\x11\x12\x13\x14" },
154 CKSUMTYPE_HMAC_SHA384_192_AES256, ENCTYPE_AES256_CTS_HMAC_SHA384_192,
155 2,
156 { KV5M_DATA, 32,
157 "\x6D\x40\x4D\x37\xFA\xF7\x9F\x9D\xF0\xD3\x35\x68\xD3\x20\x66\x98"
158 "\x00\xEB\x48\x36\x47\x2E\xA8\xA0\x26\xD1\x6B\x71\x82\x46\x0C\x52" },
159 { KV5M_DATA, 24,
160 "\x45\xEE\x79\x15\x67\xEE\xFC\xA3\x7F\x4A\xC1\xE0\x22\x2D\xE8\x0D"
161 "\x43\xC3\xBF\xA0\x66\x99\x67\x2A" }
162 },
163 };
164
165 static void
printhex(const char * head,void * data,size_t len)166 printhex(const char *head, void *data, size_t len)
167 {
168 size_t i;
169
170 printf("%s", head);
171 for (i = 0; i < len; i++) {
172 printf("%02X", ((unsigned char*)data)[i]);
173 if (i % 16 == 15 && i + 1 < len)
174 printf("\n%*s", (int)strlen(head), "");
175 else if (i + 1 < len)
176 printf(" ");
177 }
178 printf("\n");
179 }
180
181 int
main(int argc,char ** argv)182 main(int argc, char **argv)
183 {
184 krb5_error_code ret;
185 krb5_context context = NULL;
186 size_t i;
187 struct test *test;
188 krb5_keyblock kb, *kbp;
189 krb5_checksum cksum;
190 krb5_cksumtype mtype;
191 krb5_boolean valid, verbose = FALSE;
192 int status = 0;
193
194 if (argc >= 2 && strcmp(argv[1], "-v") == 0)
195 verbose = TRUE;
196 for (i = 0; i < sizeof(test_cases) / sizeof(*test_cases); i++) {
197 test = &test_cases[i];
198 if (test->enctype != 0) {
199 kb.magic = KV5M_KEYBLOCK;
200 kb.enctype = test->enctype;
201 kb.length = test->keybits.length;
202 kb.contents = (unsigned char *)test->keybits.data;
203 kbp = &kb;
204 } else
205 kbp = NULL;
206 ret = krb5_c_make_checksum(context, test->sumtype, kbp, test->usage,
207 &test->plaintext, &cksum);
208 assert(!ret);
209 if (verbose) {
210 char buf[64];
211 krb5_cksumtype_to_string(test->sumtype, buf, sizeof(buf));
212 printf("\nTest %d:\n", (int)i);
213 printf("Plaintext: %.*s\n", (int)test->plaintext.length,
214 test->plaintext.data);
215 printf("Checksum type: %s\n", buf);
216 if (test->enctype != 0) {
217 krb5_enctype_to_name(test->enctype, FALSE, buf, sizeof(buf));
218 printf("Enctype: %s\n", buf);
219 printhex("Key: ", test->keybits.data, test->keybits.length);
220 printf("Key usage: %d\n", (int)test->usage);
221 }
222 printhex("Checksum: ", cksum.contents, cksum.length);
223 }
224 if (test->cksum.length != cksum.length ||
225 memcmp(test->cksum.data, cksum.contents, cksum.length) != 0) {
226 printf("derive test %d failed\n", (int)i);
227 status = 1;
228 if (!verbose)
229 break;
230 }
231
232 /* Test that the checksum verifies successfully. */
233 ret = krb5_c_verify_checksum(context, kbp, test->usage,
234 &test->plaintext, &cksum, &valid);
235 assert(!ret);
236 if (!valid) {
237 printf("test %d verify failed\n", (int)i);
238 status = 1;
239 if (!verbose)
240 break;
241 }
242
243 if (kbp != NULL) {
244 ret = krb5int_c_mandatory_cksumtype(context, kbp->enctype, &mtype);
245 assert(!ret);
246 if (test->sumtype == mtype) {
247 /* Test that a checksum type of 0 uses the mandatory checksum
248 * type for the key. */
249 cksum.checksum_type = 0;
250 ret = krb5_c_verify_checksum(context, kbp, test->usage,
251 &test->plaintext, &cksum, &valid);
252 assert(!ret && valid);
253 }
254 }
255
256 krb5_free_checksum_contents(context, &cksum);
257 assert(cksum.length == 0);
258 }
259 return status;
260 }
261