]>
Commit | Line | Data |
---|---|---|
d2e9e320 | 1 | /* |
28428130 | 2 | * Copyright 2016-2018 The OpenSSL Project Authors. All Rights Reserved. |
aacfb134 | 3 | * |
7bb803e8 | 4 | * Licensed under the Apache License 2.0 (the "License"). You may not use |
d2e9e320 RS |
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 | |
aacfb134 AG |
8 | */ |
9 | ||
10 | #include <stdlib.h> | |
5a285add | 11 | #include <stdarg.h> |
aacfb134 AG |
12 | #include <string.h> |
13 | #include <openssl/hmac.h> | |
aacfb134 | 14 | #include <openssl/evp.h> |
5a285add | 15 | #include <openssl/kdf.h> |
aacfb134 | 16 | #include "internal/cryptlib.h" |
cee719c2 | 17 | #include "internal/numbers.h" |
aacfb134 | 18 | #include "internal/evp_int.h" |
5a285add | 19 | #include "kdf_local.h" |
aacfb134 AG |
20 | |
21 | #define HKDF_MAXBUF 1024 | |
22 | ||
5a285add DM |
23 | static void kdf_hkdf_reset(EVP_KDF_IMPL *impl); |
24 | static int HKDF(const EVP_MD *evp_md, | |
25 | const unsigned char *salt, size_t salt_len, | |
26 | const unsigned char *key, size_t key_len, | |
27 | const unsigned char *info, size_t info_len, | |
28 | unsigned char *okm, size_t okm_len); | |
29 | static int HKDF_Extract(const EVP_MD *evp_md, | |
30 | const unsigned char *salt, size_t salt_len, | |
31 | const unsigned char *key, size_t key_len, | |
32 | unsigned char *prk, size_t prk_len); | |
33 | static int HKDF_Expand(const EVP_MD *evp_md, | |
34 | const unsigned char *prk, size_t prk_len, | |
35 | const unsigned char *info, size_t info_len, | |
36 | unsigned char *okm, size_t okm_len); | |
37 | ||
38 | struct evp_kdf_impl_st { | |
d2139cf8 | 39 | int mode; |
aacfb134 AG |
40 | const EVP_MD *md; |
41 | unsigned char *salt; | |
42 | size_t salt_len; | |
43 | unsigned char *key; | |
44 | size_t key_len; | |
45 | unsigned char info[HKDF_MAXBUF]; | |
46 | size_t info_len; | |
5a285add | 47 | }; |
aacfb134 | 48 | |
5a285add | 49 | static EVP_KDF_IMPL *kdf_hkdf_new(void) |
aacfb134 | 50 | { |
5a285add | 51 | EVP_KDF_IMPL *impl; |
aacfb134 | 52 | |
5a285add DM |
53 | if ((impl = OPENSSL_zalloc(sizeof(*impl))) == NULL) |
54 | KDFerr(KDF_F_KDF_HKDF_NEW, ERR_R_MALLOC_FAILURE); | |
55 | return impl; | |
56 | } | |
aacfb134 | 57 | |
5a285add DM |
58 | static void kdf_hkdf_free(EVP_KDF_IMPL *impl) |
59 | { | |
60 | kdf_hkdf_reset(impl); | |
61 | OPENSSL_free(impl); | |
aacfb134 AG |
62 | } |
63 | ||
5a285add | 64 | static void kdf_hkdf_reset(EVP_KDF_IMPL *impl) |
aacfb134 | 65 | { |
5a285add DM |
66 | OPENSSL_free(impl->salt); |
67 | OPENSSL_clear_free(impl->key, impl->key_len); | |
68 | OPENSSL_cleanse(impl->info, impl->info_len); | |
69 | memset(impl, 0, sizeof(*impl)); | |
aacfb134 AG |
70 | } |
71 | ||
5a285add | 72 | static int kdf_hkdf_ctrl(EVP_KDF_IMPL *impl, int cmd, va_list args) |
aacfb134 | 73 | { |
5a285add DM |
74 | const unsigned char *p; |
75 | size_t len; | |
76 | const EVP_MD *md; | |
aacfb134 | 77 | |
5a285add DM |
78 | switch (cmd) { |
79 | case EVP_KDF_CTRL_SET_MD: | |
80 | md = va_arg(args, const EVP_MD *); | |
81 | if (md == NULL) | |
aacfb134 AG |
82 | return 0; |
83 | ||
5a285add | 84 | impl->md = md; |
aacfb134 AG |
85 | return 1; |
86 | ||
5a285add DM |
87 | case EVP_KDF_CTRL_SET_HKDF_MODE: |
88 | impl->mode = va_arg(args, int); | |
d2139cf8 MC |
89 | return 1; |
90 | ||
5a285add DM |
91 | case EVP_KDF_CTRL_SET_SALT: |
92 | p = va_arg(args, const unsigned char *); | |
93 | len = va_arg(args, size_t); | |
94 | if (len == 0 || p == NULL) | |
aacfb134 AG |
95 | return 1; |
96 | ||
5a285add DM |
97 | OPENSSL_free(impl->salt); |
98 | impl->salt = OPENSSL_memdup(p, len); | |
99 | if (impl->salt == NULL) | |
aacfb134 AG |
100 | return 0; |
101 | ||
5a285add | 102 | impl->salt_len = len; |
aacfb134 AG |
103 | return 1; |
104 | ||
5a285add DM |
105 | case EVP_KDF_CTRL_SET_KEY: |
106 | p = va_arg(args, const unsigned char *); | |
107 | len = va_arg(args, size_t); | |
108 | OPENSSL_clear_free(impl->key, impl->key_len); | |
109 | impl->key = OPENSSL_memdup(p, len); | |
110 | if (impl->key == NULL) | |
aacfb134 AG |
111 | return 0; |
112 | ||
5a285add DM |
113 | impl->key_len = len; |
114 | return 1; | |
aacfb134 | 115 | |
5a285add DM |
116 | case EVP_KDF_CTRL_RESET_HKDF_INFO: |
117 | OPENSSL_cleanse(impl->info, impl->info_len); | |
118 | impl->info_len = 0; | |
aacfb134 AG |
119 | return 1; |
120 | ||
5a285add DM |
121 | case EVP_KDF_CTRL_ADD_HKDF_INFO: |
122 | p = va_arg(args, const unsigned char *); | |
123 | len = va_arg(args, size_t); | |
124 | if (len == 0 || p == NULL) | |
aacfb134 AG |
125 | return 1; |
126 | ||
5a285add | 127 | if (len > (HKDF_MAXBUF - impl->info_len)) |
aacfb134 AG |
128 | return 0; |
129 | ||
5a285add DM |
130 | memcpy(impl->info + impl->info_len, p, len); |
131 | impl->info_len += len; | |
aacfb134 AG |
132 | return 1; |
133 | ||
134 | default: | |
135 | return -2; | |
aacfb134 AG |
136 | } |
137 | } | |
138 | ||
5a285add DM |
139 | static int kdf_hkdf_ctrl_str(EVP_KDF_IMPL *impl, const char *type, |
140 | const char *value) | |
aacfb134 | 141 | { |
ddd2c389 MC |
142 | if (strcmp(type, "mode") == 0) { |
143 | int mode; | |
144 | ||
145 | if (strcmp(value, "EXTRACT_AND_EXPAND") == 0) | |
5a285add | 146 | mode = EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND; |
ddd2c389 | 147 | else if (strcmp(value, "EXTRACT_ONLY") == 0) |
5a285add | 148 | mode = EVP_KDF_HKDF_MODE_EXTRACT_ONLY; |
ddd2c389 | 149 | else if (strcmp(value, "EXPAND_ONLY") == 0) |
5a285add | 150 | mode = EVP_KDF_HKDF_MODE_EXPAND_ONLY; |
ddd2c389 MC |
151 | else |
152 | return 0; | |
153 | ||
5a285add | 154 | return call_ctrl(kdf_hkdf_ctrl, impl, EVP_KDF_CTRL_SET_HKDF_MODE, mode); |
ddd2c389 MC |
155 | } |
156 | ||
5a285add DM |
157 | if (strcmp(type, "digest") == 0) |
158 | return kdf_md2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_SET_MD, value); | |
aacfb134 AG |
159 | |
160 | if (strcmp(type, "salt") == 0) | |
5a285add | 161 | return kdf_str2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_SET_SALT, value); |
aacfb134 AG |
162 | |
163 | if (strcmp(type, "hexsalt") == 0) | |
5a285add | 164 | return kdf_hex2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_SET_SALT, value); |
aacfb134 AG |
165 | |
166 | if (strcmp(type, "key") == 0) | |
5a285add | 167 | return kdf_str2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_SET_KEY, value); |
aacfb134 AG |
168 | |
169 | if (strcmp(type, "hexkey") == 0) | |
5a285add | 170 | return kdf_hex2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_SET_KEY, value); |
aacfb134 AG |
171 | |
172 | if (strcmp(type, "info") == 0) | |
5a285add DM |
173 | return kdf_str2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_ADD_HKDF_INFO, |
174 | value); | |
aacfb134 AG |
175 | |
176 | if (strcmp(type, "hexinfo") == 0) | |
5a285add DM |
177 | return kdf_hex2ctrl(impl, kdf_hkdf_ctrl, EVP_KDF_CTRL_ADD_HKDF_INFO, |
178 | value); | |
aacfb134 AG |
179 | |
180 | return -2; | |
181 | } | |
182 | ||
5a285add | 183 | static size_t kdf_hkdf_size(EVP_KDF_IMPL *impl) |
ca55d70b | 184 | { |
5a285add DM |
185 | if (impl->mode != EVP_KDF_HKDF_MODE_EXTRACT_ONLY) |
186 | return SIZE_MAX; | |
ca55d70b | 187 | |
5a285add DM |
188 | if (impl->md == NULL) { |
189 | KDFerr(KDF_F_KDF_HKDF_SIZE, KDF_R_MISSING_MESSAGE_DIGEST); | |
190 | return 0; | |
191 | } | |
192 | return EVP_MD_size(impl->md); | |
ca55d70b MC |
193 | } |
194 | ||
5a285add DM |
195 | static int kdf_hkdf_derive(EVP_KDF_IMPL *impl, unsigned char *key, |
196 | size_t keylen) | |
aacfb134 | 197 | { |
5a285add DM |
198 | if (impl->md == NULL) { |
199 | KDFerr(KDF_F_KDF_HKDF_DERIVE, KDF_R_MISSING_MESSAGE_DIGEST); | |
f55129c7 JB |
200 | return 0; |
201 | } | |
5a285add DM |
202 | if (impl->key == NULL) { |
203 | KDFerr(KDF_F_KDF_HKDF_DERIVE, KDF_R_MISSING_KEY); | |
aacfb134 | 204 | return 0; |
e65f6509 | 205 | } |
aacfb134 | 206 | |
5a285add DM |
207 | switch (impl->mode) { |
208 | case EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND: | |
209 | return HKDF(impl->md, impl->salt, impl->salt_len, impl->key, | |
210 | impl->key_len, impl->info, impl->info_len, key, | |
211 | keylen); | |
d2139cf8 | 212 | |
5a285add DM |
213 | case EVP_KDF_HKDF_MODE_EXTRACT_ONLY: |
214 | return HKDF_Extract(impl->md, impl->salt, impl->salt_len, impl->key, | |
215 | impl->key_len, key, keylen); | |
d2139cf8 | 216 | |
5a285add DM |
217 | case EVP_KDF_HKDF_MODE_EXPAND_ONLY: |
218 | return HKDF_Expand(impl->md, impl->key, impl->key_len, impl->info, | |
219 | impl->info_len, key, keylen); | |
d2139cf8 MC |
220 | |
221 | default: | |
aacfb134 AG |
222 | return 0; |
223 | } | |
aacfb134 AG |
224 | } |
225 | ||
5a285add DM |
226 | const EVP_KDF_METHOD hkdf_kdf_meth = { |
227 | EVP_KDF_HKDF, | |
228 | kdf_hkdf_new, | |
229 | kdf_hkdf_free, | |
230 | kdf_hkdf_reset, | |
231 | kdf_hkdf_ctrl, | |
232 | kdf_hkdf_ctrl_str, | |
233 | kdf_hkdf_size, | |
234 | kdf_hkdf_derive | |
aacfb134 AG |
235 | }; |
236 | ||
5a285add DM |
237 | static int HKDF(const EVP_MD *evp_md, |
238 | const unsigned char *salt, size_t salt_len, | |
239 | const unsigned char *key, size_t key_len, | |
240 | const unsigned char *info, size_t info_len, | |
241 | unsigned char *okm, size_t okm_len) | |
aacfb134 AG |
242 | { |
243 | unsigned char prk[EVP_MAX_MD_SIZE]; | |
5a285add DM |
244 | int ret; |
245 | size_t prk_len = EVP_MD_size(evp_md); | |
aacfb134 | 246 | |
5a285add DM |
247 | if (!HKDF_Extract(evp_md, salt, salt_len, key, key_len, prk, prk_len)) |
248 | return 0; | |
aacfb134 | 249 | |
d2139cf8 MC |
250 | ret = HKDF_Expand(evp_md, prk, prk_len, info, info_len, okm, okm_len); |
251 | OPENSSL_cleanse(prk, sizeof(prk)); | |
252 | ||
253 | return ret; | |
aacfb134 AG |
254 | } |
255 | ||
5a285add DM |
256 | static int HKDF_Extract(const EVP_MD *evp_md, |
257 | const unsigned char *salt, size_t salt_len, | |
258 | const unsigned char *key, size_t key_len, | |
259 | unsigned char *prk, size_t prk_len) | |
aacfb134 | 260 | { |
5a285add DM |
261 | if (prk_len != (size_t)EVP_MD_size(evp_md)) { |
262 | KDFerr(KDF_F_HKDF_EXTRACT, KDF_R_WRONG_OUTPUT_BUFFER_SIZE); | |
263 | return 0; | |
264 | } | |
265 | return HMAC(evp_md, salt, salt_len, key, key_len, prk, NULL) != NULL; | |
aacfb134 AG |
266 | } |
267 | ||
5a285add DM |
268 | static int HKDF_Expand(const EVP_MD *evp_md, |
269 | const unsigned char *prk, size_t prk_len, | |
270 | const unsigned char *info, size_t info_len, | |
271 | unsigned char *okm, size_t okm_len) | |
aacfb134 AG |
272 | { |
273 | HMAC_CTX *hmac; | |
5a285add | 274 | int ret = 0; |
aacfb134 | 275 | unsigned int i; |
aacfb134 | 276 | unsigned char prev[EVP_MAX_MD_SIZE]; |
aacfb134 | 277 | size_t done_len = 0, dig_len = EVP_MD_size(evp_md); |
aacfb134 | 278 | size_t n = okm_len / dig_len; |
5a285add | 279 | |
aacfb134 AG |
280 | if (okm_len % dig_len) |
281 | n++; | |
282 | ||
d2139cf8 | 283 | if (n > 255 || okm == NULL) |
5a285add | 284 | return 0; |
aacfb134 AG |
285 | |
286 | if ((hmac = HMAC_CTX_new()) == NULL) | |
5a285add | 287 | return 0; |
aacfb134 AG |
288 | |
289 | if (!HMAC_Init_ex(hmac, prk, prk_len, evp_md, NULL)) | |
290 | goto err; | |
291 | ||
292 | for (i = 1; i <= n; i++) { | |
293 | size_t copy_len; | |
294 | const unsigned char ctr = i; | |
295 | ||
296 | if (i > 1) { | |
297 | if (!HMAC_Init_ex(hmac, NULL, 0, NULL, NULL)) | |
298 | goto err; | |
299 | ||
300 | if (!HMAC_Update(hmac, prev, dig_len)) | |
301 | goto err; | |
302 | } | |
303 | ||
304 | if (!HMAC_Update(hmac, info, info_len)) | |
305 | goto err; | |
306 | ||
307 | if (!HMAC_Update(hmac, &ctr, 1)) | |
308 | goto err; | |
309 | ||
310 | if (!HMAC_Final(hmac, prev, NULL)) | |
311 | goto err; | |
312 | ||
313 | copy_len = (done_len + dig_len > okm_len) ? | |
314 | okm_len - done_len : | |
315 | dig_len; | |
316 | ||
317 | memcpy(okm + done_len, prev, copy_len); | |
318 | ||
319 | done_len += copy_len; | |
320 | } | |
5a285add | 321 | ret = 1; |
aacfb134 AG |
322 | |
323 | err: | |
64ed55ab | 324 | OPENSSL_cleanse(prev, sizeof(prev)); |
aacfb134 | 325 | HMAC_CTX_free(hmac); |
64ed55ab | 326 | return ret; |
aacfb134 | 327 | } |