]> git.ipfire.org Git - thirdparty/openssl.git/blame - crypto/kdf/hkdf.c
Avoid alignment problems in params API.
[thirdparty/openssl.git] / crypto / kdf / hkdf.c
CommitLineData
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
23static void kdf_hkdf_reset(EVP_KDF_IMPL *impl);
24static 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);
29static 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);
33static 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
38struct 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 49static 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
58static void kdf_hkdf_free(EVP_KDF_IMPL *impl)
59{
60 kdf_hkdf_reset(impl);
61 OPENSSL_free(impl);
aacfb134
AG
62}
63
5a285add 64static 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 72static 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
139static 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 183static 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
195static 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
226const 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
237static 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
256static 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
268static 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}