/src/openssl30/providers/implementations/kdfs/krb5kdf.c
Line | Count | Source |
1 | | /* |
2 | | * Copyright 2018-2025 The OpenSSL Project Authors. All Rights Reserved. |
3 | | * |
4 | | * Licensed under the Apache License 2.0 (the "License"). You may not use |
5 | | * this file except in compliance with the License. You can obtain a copy |
6 | | * in the file LICENSE in the source distribution or at |
7 | | * https://www.openssl.org/source/license.html |
8 | | */ |
9 | | |
10 | | /* |
11 | | * DES low level APIs are deprecated for public use, but still ok for internal |
12 | | * use. We access the DES_set_odd_parity(3) function here. |
13 | | */ |
14 | | #include "internal/deprecated.h" |
15 | | |
16 | | #include <stdlib.h> |
17 | | #include <stdarg.h> |
18 | | #include <string.h> |
19 | | |
20 | | #include <openssl/core_names.h> |
21 | | #include <openssl/des.h> |
22 | | #include <openssl/evp.h> |
23 | | #include <openssl/kdf.h> |
24 | | #include <openssl/proverr.h> |
25 | | |
26 | | #include "internal/cryptlib.h" |
27 | | #include "crypto/evp.h" |
28 | | #include "internal/numbers.h" |
29 | | #include "prov/implementations.h" |
30 | | #include "prov/provider_ctx.h" |
31 | | #include "prov/provider_util.h" |
32 | | #include "prov/providercommon.h" |
33 | | |
34 | | /* KRB5 KDF defined in RFC 3961, Section 5.1 */ |
35 | | |
36 | | static OSSL_FUNC_kdf_newctx_fn krb5kdf_new; |
37 | | static OSSL_FUNC_kdf_freectx_fn krb5kdf_free; |
38 | | static OSSL_FUNC_kdf_reset_fn krb5kdf_reset; |
39 | | static OSSL_FUNC_kdf_derive_fn krb5kdf_derive; |
40 | | static OSSL_FUNC_kdf_settable_ctx_params_fn krb5kdf_settable_ctx_params; |
41 | | static OSSL_FUNC_kdf_set_ctx_params_fn krb5kdf_set_ctx_params; |
42 | | static OSSL_FUNC_kdf_gettable_ctx_params_fn krb5kdf_gettable_ctx_params; |
43 | | static OSSL_FUNC_kdf_get_ctx_params_fn krb5kdf_get_ctx_params; |
44 | | |
45 | | static int KRB5KDF(const EVP_CIPHER *cipher, ENGINE *engine, |
46 | | const unsigned char *key, size_t key_len, |
47 | | const unsigned char *constant, size_t constant_len, |
48 | | unsigned char *okey, size_t okey_len); |
49 | | |
50 | | typedef struct { |
51 | | void *provctx; |
52 | | PROV_CIPHER cipher; |
53 | | unsigned char *key; |
54 | | size_t key_len; |
55 | | unsigned char *constant; |
56 | | size_t constant_len; |
57 | | } KRB5KDF_CTX; |
58 | | |
59 | | static void *krb5kdf_new(void *provctx) |
60 | 285 | { |
61 | 285 | KRB5KDF_CTX *ctx; |
62 | | |
63 | 285 | if (!ossl_prov_is_running()) |
64 | 0 | return NULL; |
65 | | |
66 | 285 | if ((ctx = OPENSSL_zalloc(sizeof(*ctx))) == NULL) { |
67 | 0 | ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE); |
68 | 0 | return NULL; |
69 | 0 | } |
70 | 285 | ctx->provctx = provctx; |
71 | 285 | return ctx; |
72 | 285 | } |
73 | | |
74 | | static void krb5kdf_free(void *vctx) |
75 | 285 | { |
76 | 285 | KRB5KDF_CTX *ctx = (KRB5KDF_CTX *)vctx; |
77 | | |
78 | 285 | if (ctx != NULL) { |
79 | 285 | krb5kdf_reset(ctx); |
80 | 285 | OPENSSL_free(ctx); |
81 | 285 | } |
82 | 285 | } |
83 | | |
84 | | static void krb5kdf_reset(void *vctx) |
85 | 285 | { |
86 | 285 | KRB5KDF_CTX *ctx = (KRB5KDF_CTX *)vctx; |
87 | 285 | void *provctx = ctx->provctx; |
88 | | |
89 | 285 | ossl_prov_cipher_reset(&ctx->cipher); |
90 | 285 | OPENSSL_clear_free(ctx->key, ctx->key_len); |
91 | 285 | OPENSSL_clear_free(ctx->constant, ctx->constant_len); |
92 | 285 | memset(ctx, 0, sizeof(*ctx)); |
93 | 285 | ctx->provctx = provctx; |
94 | 285 | } |
95 | | |
96 | | static int krb5kdf_set_membuf(unsigned char **dst, size_t *dst_len, |
97 | | const OSSL_PARAM *p) |
98 | 534 | { |
99 | 534 | OPENSSL_clear_free(*dst, *dst_len); |
100 | 534 | *dst = NULL; |
101 | 534 | *dst_len = 0; |
102 | 534 | return OSSL_PARAM_get_octet_string(p, (void **)dst, 0, dst_len); |
103 | 534 | } |
104 | | |
105 | | static int krb5kdf_derive(void *vctx, unsigned char *key, size_t keylen, |
106 | | const OSSL_PARAM params[]) |
107 | 267 | { |
108 | 267 | KRB5KDF_CTX *ctx = (KRB5KDF_CTX *)vctx; |
109 | 267 | const EVP_CIPHER *cipher; |
110 | 267 | ENGINE *engine; |
111 | | |
112 | 267 | if (!ossl_prov_is_running() || !krb5kdf_set_ctx_params(ctx, params)) |
113 | 0 | return 0; |
114 | | |
115 | 267 | cipher = ossl_prov_cipher_cipher(&ctx->cipher); |
116 | 267 | if (cipher == NULL) { |
117 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_CIPHER); |
118 | 0 | return 0; |
119 | 0 | } |
120 | 267 | if (ctx->key == NULL) { |
121 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_KEY); |
122 | 0 | return 0; |
123 | 0 | } |
124 | 267 | if (ctx->constant == NULL) { |
125 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_CONSTANT); |
126 | 0 | return 0; |
127 | 0 | } |
128 | 267 | engine = ossl_prov_cipher_engine(&ctx->cipher); |
129 | 267 | return KRB5KDF(cipher, engine, ctx->key, ctx->key_len, |
130 | 267 | ctx->constant, ctx->constant_len, |
131 | 267 | key, keylen); |
132 | 267 | } |
133 | | |
134 | | static int krb5kdf_set_ctx_params(void *vctx, const OSSL_PARAM params[]) |
135 | 190 | { |
136 | 190 | const OSSL_PARAM *p; |
137 | 190 | KRB5KDF_CTX *ctx = vctx; |
138 | 190 | OSSL_LIB_CTX *provctx = PROV_LIBCTX_OF(ctx->provctx); |
139 | | |
140 | 190 | if (params == NULL) |
141 | 92 | return 1; |
142 | | |
143 | 98 | if (!ossl_prov_cipher_load_from_params(&ctx->cipher, params, provctx)) |
144 | 6 | return 0; |
145 | | |
146 | 92 | if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KEY)) != NULL) |
147 | 92 | if (!krb5kdf_set_membuf(&ctx->key, &ctx->key_len, p)) |
148 | 0 | return 0; |
149 | | |
150 | 92 | if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_CONSTANT)) |
151 | 92 | != NULL) |
152 | 92 | if (!krb5kdf_set_membuf(&ctx->constant, &ctx->constant_len, p)) |
153 | 0 | return 0; |
154 | | |
155 | 92 | return 1; |
156 | 92 | } |
157 | | |
158 | | static const OSSL_PARAM *krb5kdf_settable_ctx_params(ossl_unused void *ctx, |
159 | | ossl_unused void *provctx) |
160 | 285 | { |
161 | 285 | static const OSSL_PARAM known_settable_ctx_params[] = { |
162 | 285 | OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0), |
163 | 285 | OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_CIPHER, NULL, 0), |
164 | 285 | OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0), |
165 | 285 | OSSL_PARAM_octet_string(OSSL_KDF_PARAM_CONSTANT, NULL, 0), |
166 | 285 | OSSL_PARAM_END |
167 | 285 | }; |
168 | 285 | return known_settable_ctx_params; |
169 | 285 | } |
170 | | |
171 | | static int krb5kdf_get_ctx_params(void *vctx, OSSL_PARAM params[]) |
172 | 0 | { |
173 | 0 | KRB5KDF_CTX *ctx = (KRB5KDF_CTX *)vctx; |
174 | 0 | const EVP_CIPHER *cipher; |
175 | 0 | size_t len; |
176 | 0 | OSSL_PARAM *p; |
177 | |
|
178 | 0 | cipher = ossl_prov_cipher_cipher(&ctx->cipher); |
179 | 0 | if (cipher) |
180 | 0 | len = EVP_CIPHER_get_key_length(cipher); |
181 | 0 | else |
182 | 0 | len = EVP_MAX_KEY_LENGTH; |
183 | |
|
184 | 0 | if ((p = OSSL_PARAM_locate(params, OSSL_KDF_PARAM_SIZE)) != NULL) |
185 | 0 | return OSSL_PARAM_set_size_t(p, len); |
186 | 0 | return -2; |
187 | 0 | } |
188 | | |
189 | | static const OSSL_PARAM *krb5kdf_gettable_ctx_params(ossl_unused void *ctx, |
190 | | ossl_unused void *provctx) |
191 | 0 | { |
192 | 0 | static const OSSL_PARAM known_gettable_ctx_params[] = { |
193 | 0 | OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL), |
194 | 0 | OSSL_PARAM_END |
195 | 0 | }; |
196 | 0 | return known_gettable_ctx_params; |
197 | 0 | } |
198 | | |
199 | | const OSSL_DISPATCH ossl_kdf_krb5kdf_functions[] = { |
200 | | { OSSL_FUNC_KDF_NEWCTX, (void (*)(void))krb5kdf_new }, |
201 | | { OSSL_FUNC_KDF_FREECTX, (void (*)(void))krb5kdf_free }, |
202 | | { OSSL_FUNC_KDF_RESET, (void (*)(void))krb5kdf_reset }, |
203 | | { OSSL_FUNC_KDF_DERIVE, (void (*)(void))krb5kdf_derive }, |
204 | | { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS, |
205 | | (void (*)(void))krb5kdf_settable_ctx_params }, |
206 | | { OSSL_FUNC_KDF_SET_CTX_PARAMS, |
207 | | (void (*)(void))krb5kdf_set_ctx_params }, |
208 | | { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS, |
209 | | (void (*)(void))krb5kdf_gettable_ctx_params }, |
210 | | { OSSL_FUNC_KDF_GET_CTX_PARAMS, |
211 | | (void (*)(void))krb5kdf_get_ctx_params }, |
212 | | { 0, NULL } |
213 | | }; |
214 | | |
215 | | #ifndef OPENSSL_NO_DES |
216 | | /* |
217 | | * DES3 is a special case, it requires a random-to-key function and its |
218 | | * input truncated to 21 bytes of the 24 produced by the cipher. |
219 | | * See RFC3961 6.3.1 |
220 | | */ |
221 | | static int fixup_des3_key(unsigned char *key) |
222 | 0 | { |
223 | 0 | unsigned char *cblock; |
224 | 0 | int i, j; |
225 | |
|
226 | 0 | for (i = 2; i >= 0; i--) { |
227 | 0 | cblock = &key[i * 8]; |
228 | 0 | memmove(cblock, &key[i * 7], 7); |
229 | 0 | cblock[7] = 0; |
230 | 0 | for (j = 0; j < 7; j++) |
231 | 0 | cblock[7] |= (cblock[j] & 1) << (j + 1); |
232 | 0 | DES_set_odd_parity((DES_cblock *)cblock); |
233 | 0 | } |
234 | | |
235 | | /* fail if keys are such that triple des degrades to single des */ |
236 | 0 | if (CRYPTO_memcmp(&key[0], &key[8], 8) == 0 || CRYPTO_memcmp(&key[8], &key[16], 8) == 0) { |
237 | 0 | return 0; |
238 | 0 | } |
239 | | |
240 | 0 | return 1; |
241 | 0 | } |
242 | | #endif |
243 | | |
244 | | /* |
245 | | * N-fold(K) where blocksize is N, and constant_len is K |
246 | | * Note: Here |= denotes concatenation |
247 | | * |
248 | | * L = lcm(N,K) |
249 | | * R = L/K |
250 | | * |
251 | | * for r: 1 -> R |
252 | | * s |= constant rot 13*(r-1)) |
253 | | * |
254 | | * block = 0 |
255 | | * for k: 1 -> K |
256 | | * block += s[N(k-1)..(N-1)k] (one's complement addition) |
257 | | * |
258 | | * Optimizing for space we compute: |
259 | | * for each l in L-1 -> 0: |
260 | | * s[l] = (constant rot 13*(l/K))[l%k] |
261 | | * block[l % N] += s[l] (with carry) |
262 | | * finally add carry if any |
263 | | */ |
264 | | static void n_fold(unsigned char *block, unsigned int blocksize, |
265 | | const unsigned char *constant, size_t constant_len) |
266 | 91 | { |
267 | 91 | unsigned int tmp, gcd, remainder, lcm, carry; |
268 | 91 | int b, l; |
269 | | |
270 | 91 | if (constant_len == blocksize) { |
271 | 7 | memcpy(block, constant, constant_len); |
272 | 7 | return; |
273 | 7 | } |
274 | | |
275 | | /* Least Common Multiple of lengths: LCM(a,b)*/ |
276 | 84 | gcd = blocksize; |
277 | 84 | remainder = constant_len; |
278 | | /* Calculate Great Common Divisor first GCD(a,b) */ |
279 | 159 | while (remainder != 0) { |
280 | 75 | tmp = gcd % remainder; |
281 | 75 | gcd = remainder; |
282 | 75 | remainder = tmp; |
283 | 75 | } |
284 | | /* resulting a is the GCD, LCM(a,b) = |a*b|/GCD(a,b) */ |
285 | 84 | lcm = blocksize * constant_len / gcd; |
286 | | |
287 | | /* now spread out the bits */ |
288 | 84 | memset(block, 0, blocksize); |
289 | | |
290 | | /* last to first to be able to bring carry forward */ |
291 | 84 | carry = 0; |
292 | 2.82k | for (l = lcm - 1; l >= 0; l--) { |
293 | 2.73k | unsigned int rotbits, rshift, rbyte; |
294 | | |
295 | | /* destination byte in block is l % N */ |
296 | 2.73k | b = l % blocksize; |
297 | | /* Our virtual s buffer is R = L/K long (K = constant_len) */ |
298 | | /* So we rotate backwards from R-1 to 0 (none) rotations */ |
299 | 2.73k | rotbits = 13 * (l / constant_len); |
300 | | /* find the byte on s where rotbits falls onto */ |
301 | 2.73k | rbyte = l - (rotbits / 8); |
302 | | /* calculate how much shift on that byte */ |
303 | 2.73k | rshift = rotbits & 0x07; |
304 | | /* rbyte % constant_len gives us the unrotated byte in the |
305 | | * constant buffer, get also the previous byte then |
306 | | * appropriately shift them to get the rotated byte we need */ |
307 | 2.73k | tmp = (constant[(rbyte - 1) % constant_len] << (8 - rshift) |
308 | 2.73k | | constant[rbyte % constant_len] >> rshift) |
309 | 2.73k | & 0xff; |
310 | | /* add with carry to any value placed by previous passes */ |
311 | 2.73k | tmp += carry + block[b]; |
312 | 2.73k | block[b] = tmp & 0xff; |
313 | | /* save any carry that may be left */ |
314 | 2.73k | carry = tmp >> 8; |
315 | 2.73k | } |
316 | | |
317 | | /* if any carry is left at the end, add it through the number */ |
318 | 115 | for (b = blocksize - 1; b >= 0 && carry != 0; b--) { |
319 | 31 | carry += block[b]; |
320 | 31 | block[b] = carry & 0xff; |
321 | 31 | carry >>= 8; |
322 | 31 | } |
323 | 84 | } |
324 | | |
325 | | static int cipher_init(EVP_CIPHER_CTX *ctx, |
326 | | const EVP_CIPHER *cipher, ENGINE *engine, |
327 | | const unsigned char *key, size_t key_len) |
328 | 1.34k | { |
329 | 1.34k | int klen, ret; |
330 | | |
331 | 1.34k | ret = EVP_EncryptInit_ex(ctx, cipher, engine, NULL, NULL); |
332 | 1.34k | if (!ret) |
333 | 0 | goto out; |
334 | | /* set the key len for the odd variable key len cipher */ |
335 | 1.34k | klen = EVP_CIPHER_CTX_get_key_length(ctx); |
336 | 1.34k | if (key_len != (size_t)klen) { |
337 | 67 | ret = EVP_CIPHER_CTX_set_key_length(ctx, key_len); |
338 | 67 | if (ret <= 0) { |
339 | 67 | ret = 0; |
340 | 67 | goto out; |
341 | 67 | } |
342 | 67 | } |
343 | 1.27k | ret = EVP_EncryptInit_ex(ctx, NULL, NULL, key, NULL); |
344 | 1.27k | if (!ret) |
345 | 2 | goto out; |
346 | | /* we never want padding, either the length requested is a multiple of |
347 | | * the cipher block size or we are passed a cipher that can cope with |
348 | | * partial blocks via techniques like cipher text stealing */ |
349 | 1.27k | ret = EVP_CIPHER_CTX_set_padding(ctx, 0); |
350 | 1.27k | if (!ret) |
351 | 0 | goto out; |
352 | | |
353 | 1.34k | out: |
354 | 1.34k | return ret; |
355 | 1.27k | } |
356 | | |
357 | | static int KRB5KDF(const EVP_CIPHER *cipher, ENGINE *engine, |
358 | | const unsigned char *key, size_t key_len, |
359 | | const unsigned char *constant, size_t constant_len, |
360 | | unsigned char *okey, size_t okey_len) |
361 | 0 | { |
362 | 0 | EVP_CIPHER_CTX *ctx = NULL; |
363 | 0 | unsigned char block[EVP_MAX_BLOCK_LENGTH * 2]; |
364 | 0 | unsigned char *plainblock, *cipherblock; |
365 | 0 | size_t blocksize; |
366 | 0 | size_t cipherlen; |
367 | 0 | size_t osize; |
368 | 0 | #ifndef OPENSSL_NO_DES |
369 | 0 | int des3_no_fixup = 0; |
370 | 0 | #endif |
371 | 0 | int ret; |
372 | |
|
373 | 0 | if (key_len != okey_len) { |
374 | 0 | #ifndef OPENSSL_NO_DES |
375 | | /* special case for 3des, where the caller may be requesting |
376 | | * the random raw key, instead of the fixed up key */ |
377 | 0 | if (EVP_CIPHER_get_nid(cipher) == NID_des_ede3_cbc && key_len == 24 && okey_len == 21) { |
378 | 0 | des3_no_fixup = 1; |
379 | 0 | } else { |
380 | 0 | #endif |
381 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_WRONG_OUTPUT_BUFFER_SIZE); |
382 | 0 | return 0; |
383 | 0 | #ifndef OPENSSL_NO_DES |
384 | 0 | } |
385 | 0 | #endif |
386 | 0 | } |
387 | | |
388 | 0 | ctx = EVP_CIPHER_CTX_new(); |
389 | 0 | if (ctx == NULL) |
390 | 0 | return 0; |
391 | | |
392 | 0 | ret = cipher_init(ctx, cipher, engine, key, key_len); |
393 | 0 | if (!ret) |
394 | 0 | goto out; |
395 | | |
396 | | /* Initialize input block */ |
397 | 0 | blocksize = EVP_CIPHER_CTX_get_block_size(ctx); |
398 | |
|
399 | 0 | if (constant_len > blocksize) { |
400 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_CONSTANT_LENGTH); |
401 | 0 | ret = 0; |
402 | 0 | goto out; |
403 | 0 | } |
404 | | |
405 | 0 | n_fold(block, blocksize, constant, constant_len); |
406 | 0 | plainblock = block; |
407 | 0 | cipherblock = block + EVP_MAX_BLOCK_LENGTH; |
408 | |
|
409 | 0 | for (osize = 0; osize < okey_len; osize += cipherlen) { |
410 | 0 | int olen; |
411 | |
|
412 | 0 | ret = EVP_EncryptUpdate(ctx, cipherblock, &olen, |
413 | 0 | plainblock, blocksize); |
414 | 0 | if (!ret) |
415 | 0 | goto out; |
416 | 0 | cipherlen = olen; |
417 | 0 | ret = EVP_EncryptFinal_ex(ctx, cipherblock, &olen); |
418 | 0 | if (!ret) |
419 | 0 | goto out; |
420 | 0 | if (olen != 0) { |
421 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_WRONG_FINAL_BLOCK_LENGTH); |
422 | 0 | ret = 0; |
423 | 0 | goto out; |
424 | 0 | } |
425 | | |
426 | | /* write cipherblock out */ |
427 | 0 | if (cipherlen > okey_len - osize) |
428 | 0 | cipherlen = okey_len - osize; |
429 | 0 | memcpy(okey + osize, cipherblock, cipherlen); |
430 | |
|
431 | 0 | if (okey_len > osize + cipherlen) { |
432 | | /* we need to reinitialize cipher context per spec */ |
433 | 0 | ret = EVP_CIPHER_CTX_reset(ctx); |
434 | 0 | if (!ret) |
435 | 0 | goto out; |
436 | 0 | ret = cipher_init(ctx, cipher, engine, key, key_len); |
437 | 0 | if (!ret) |
438 | 0 | goto out; |
439 | | |
440 | | /* also swap block offsets so last ciphertext becomes new |
441 | | * plaintext */ |
442 | 0 | plainblock = cipherblock; |
443 | 0 | if (cipherblock == block) { |
444 | 0 | cipherblock += EVP_MAX_BLOCK_LENGTH; |
445 | 0 | } else { |
446 | 0 | cipherblock = block; |
447 | 0 | } |
448 | 0 | } |
449 | 0 | } |
450 | | |
451 | 0 | #ifndef OPENSSL_NO_DES |
452 | 0 | if (EVP_CIPHER_get_nid(cipher) == NID_des_ede3_cbc && !des3_no_fixup) { |
453 | 0 | ret = fixup_des3_key(okey); |
454 | 0 | if (!ret) { |
455 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GENERATE_KEY); |
456 | 0 | goto out; |
457 | 0 | } |
458 | 0 | } |
459 | 0 | #endif |
460 | | |
461 | 0 | ret = 1; |
462 | |
|
463 | 0 | out: |
464 | 0 | EVP_CIPHER_CTX_free(ctx); |
465 | 0 | OPENSSL_cleanse(block, EVP_MAX_BLOCK_LENGTH * 2); |
466 | 0 | return ret; |
467 | 0 | } |