1*19261079SEd Maste /* $OpenBSD: mac.c,v 1.35 2019/09/06 04:53:27 djm Exp $ */
21e8db6e2SBrian Feldman /*
31e8db6e2SBrian Feldman * Copyright (c) 2001 Markus Friedl. All rights reserved.
41e8db6e2SBrian Feldman *
51e8db6e2SBrian Feldman * Redistribution and use in source and binary forms, with or without
61e8db6e2SBrian Feldman * modification, are permitted provided that the following conditions
71e8db6e2SBrian Feldman * are met:
81e8db6e2SBrian Feldman * 1. Redistributions of source code must retain the above copyright
91e8db6e2SBrian Feldman * notice, this list of conditions and the following disclaimer.
101e8db6e2SBrian Feldman * 2. Redistributions in binary form must reproduce the above copyright
111e8db6e2SBrian Feldman * notice, this list of conditions and the following disclaimer in the
121e8db6e2SBrian Feldman * documentation and/or other materials provided with the distribution.
131e8db6e2SBrian Feldman *
141e8db6e2SBrian Feldman * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
151e8db6e2SBrian Feldman * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
161e8db6e2SBrian Feldman * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
171e8db6e2SBrian Feldman * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
181e8db6e2SBrian Feldman * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
191e8db6e2SBrian Feldman * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
201e8db6e2SBrian Feldman * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
211e8db6e2SBrian Feldman * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
221e8db6e2SBrian Feldman * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
231e8db6e2SBrian Feldman * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
241e8db6e2SBrian Feldman */
251e8db6e2SBrian Feldman
261e8db6e2SBrian Feldman #include "includes.h"
27761efaa7SDag-Erling Smørgrav
28761efaa7SDag-Erling Smørgrav #include <sys/types.h>
291e8db6e2SBrian Feldman
30*19261079SEd Maste #include <stdlib.h>
31761efaa7SDag-Erling Smørgrav #include <string.h>
32bc5531deSDag-Erling Smørgrav #include <stdio.h>
331e8db6e2SBrian Feldman
34b83788ffSDag-Erling Smørgrav #include "digest.h"
35b83788ffSDag-Erling Smørgrav #include "hmac.h"
36d4af9e69SDag-Erling Smørgrav #include "umac.h"
37bc5531deSDag-Erling Smørgrav #include "mac.h"
38bc5531deSDag-Erling Smørgrav #include "misc.h"
39bc5531deSDag-Erling Smørgrav #include "ssherr.h"
40bc5531deSDag-Erling Smørgrav #include "sshbuf.h"
41d4af9e69SDag-Erling Smørgrav
42462c32cbSDag-Erling Smørgrav #include "openbsd-compat/openssl-compat.h"
43462c32cbSDag-Erling Smørgrav
44b83788ffSDag-Erling Smørgrav #define SSH_DIGEST 1 /* SSH_DIGEST_XXX */
45d4af9e69SDag-Erling Smørgrav #define SSH_UMAC 2 /* UMAC (not integrated with OpenSSL) */
466888a9beSDag-Erling Smørgrav #define SSH_UMAC128 3
47d4af9e69SDag-Erling Smørgrav
48e4a9863fSDag-Erling Smørgrav struct macalg {
491e8db6e2SBrian Feldman char *name;
50d4af9e69SDag-Erling Smørgrav int type;
51b83788ffSDag-Erling Smørgrav int alg;
521e8db6e2SBrian Feldman int truncatebits; /* truncate digest if != 0 */
53d4af9e69SDag-Erling Smørgrav int key_len; /* just for UMAC */
54d4af9e69SDag-Erling Smørgrav int len; /* just for UMAC */
556888a9beSDag-Erling Smørgrav int etm; /* Encrypt-then-MAC */
56e4a9863fSDag-Erling Smørgrav };
57e4a9863fSDag-Erling Smørgrav
58e4a9863fSDag-Erling Smørgrav static const struct macalg macs[] = {
596888a9beSDag-Erling Smørgrav /* Encrypt-and-MAC (encrypt-and-authenticate) variants */
60b83788ffSDag-Erling Smørgrav { "hmac-sha1", SSH_DIGEST, SSH_DIGEST_SHA1, 0, 0, 0, 0 },
61b83788ffSDag-Erling Smørgrav { "hmac-sha1-96", SSH_DIGEST, SSH_DIGEST_SHA1, 96, 0, 0, 0 },
62b83788ffSDag-Erling Smørgrav { "hmac-sha2-256", SSH_DIGEST, SSH_DIGEST_SHA256, 0, 0, 0, 0 },
63b83788ffSDag-Erling Smørgrav { "hmac-sha2-512", SSH_DIGEST, SSH_DIGEST_SHA512, 0, 0, 0, 0 },
64b83788ffSDag-Erling Smørgrav { "hmac-md5", SSH_DIGEST, SSH_DIGEST_MD5, 0, 0, 0, 0 },
65b83788ffSDag-Erling Smørgrav { "hmac-md5-96", SSH_DIGEST, SSH_DIGEST_MD5, 96, 0, 0, 0 },
66b83788ffSDag-Erling Smørgrav { "umac-64@openssh.com", SSH_UMAC, 0, 0, 128, 64, 0 },
67b83788ffSDag-Erling Smørgrav { "umac-128@openssh.com", SSH_UMAC128, 0, 0, 128, 128, 0 },
686888a9beSDag-Erling Smørgrav
696888a9beSDag-Erling Smørgrav /* Encrypt-then-MAC variants */
70b83788ffSDag-Erling Smørgrav { "hmac-sha1-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_SHA1, 0, 0, 0, 1 },
71b83788ffSDag-Erling Smørgrav { "hmac-sha1-96-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_SHA1, 96, 0, 0, 1 },
72b83788ffSDag-Erling Smørgrav { "hmac-sha2-256-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_SHA256, 0, 0, 0, 1 },
73b83788ffSDag-Erling Smørgrav { "hmac-sha2-512-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_SHA512, 0, 0, 0, 1 },
74b83788ffSDag-Erling Smørgrav { "hmac-md5-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_MD5, 0, 0, 0, 1 },
75b83788ffSDag-Erling Smørgrav { "hmac-md5-96-etm@openssh.com", SSH_DIGEST, SSH_DIGEST_MD5, 96, 0, 0, 1 },
76b83788ffSDag-Erling Smørgrav { "umac-64-etm@openssh.com", SSH_UMAC, 0, 0, 128, 64, 1 },
77b83788ffSDag-Erling Smørgrav { "umac-128-etm@openssh.com", SSH_UMAC128, 0, 0, 128, 128, 1 },
786888a9beSDag-Erling Smørgrav
79b83788ffSDag-Erling Smørgrav { NULL, 0, 0, 0, 0, 0, 0 }
801e8db6e2SBrian Feldman };
811e8db6e2SBrian Feldman
82f7167e0eSDag-Erling Smørgrav /* Returns a list of supported MACs separated by the specified char. */
83e4a9863fSDag-Erling Smørgrav char *
mac_alg_list(char sep)84f7167e0eSDag-Erling Smørgrav mac_alg_list(char sep)
85e4a9863fSDag-Erling Smørgrav {
86bc5531deSDag-Erling Smørgrav char *ret = NULL, *tmp;
87e4a9863fSDag-Erling Smørgrav size_t nlen, rlen = 0;
88e4a9863fSDag-Erling Smørgrav const struct macalg *m;
89e4a9863fSDag-Erling Smørgrav
90e4a9863fSDag-Erling Smørgrav for (m = macs; m->name != NULL; m++) {
91e4a9863fSDag-Erling Smørgrav if (ret != NULL)
92f7167e0eSDag-Erling Smørgrav ret[rlen++] = sep;
93e4a9863fSDag-Erling Smørgrav nlen = strlen(m->name);
94bc5531deSDag-Erling Smørgrav if ((tmp = realloc(ret, rlen + nlen + 2)) == NULL) {
95bc5531deSDag-Erling Smørgrav free(ret);
96bc5531deSDag-Erling Smørgrav return NULL;
97bc5531deSDag-Erling Smørgrav }
98bc5531deSDag-Erling Smørgrav ret = tmp;
99e4a9863fSDag-Erling Smørgrav memcpy(ret + rlen, m->name, nlen + 1);
100e4a9863fSDag-Erling Smørgrav rlen += nlen;
101e4a9863fSDag-Erling Smørgrav }
102e4a9863fSDag-Erling Smørgrav return ret;
103e4a9863fSDag-Erling Smørgrav }
104e4a9863fSDag-Erling Smørgrav
105bc5531deSDag-Erling Smørgrav static int
mac_setup_by_alg(struct sshmac * mac,const struct macalg * macalg)106bc5531deSDag-Erling Smørgrav mac_setup_by_alg(struct sshmac *mac, const struct macalg *macalg)
1071e8db6e2SBrian Feldman {
108e4a9863fSDag-Erling Smørgrav mac->type = macalg->type;
109b83788ffSDag-Erling Smørgrav if (mac->type == SSH_DIGEST) {
110b83788ffSDag-Erling Smørgrav if ((mac->hmac_ctx = ssh_hmac_start(macalg->alg)) == NULL)
111bc5531deSDag-Erling Smørgrav return SSH_ERR_ALLOC_FAIL;
112b83788ffSDag-Erling Smørgrav mac->key_len = mac->mac_len = ssh_hmac_bytes(macalg->alg);
113d4af9e69SDag-Erling Smørgrav } else {
114e4a9863fSDag-Erling Smørgrav mac->mac_len = macalg->len / 8;
115e4a9863fSDag-Erling Smørgrav mac->key_len = macalg->key_len / 8;
116d4af9e69SDag-Erling Smørgrav mac->umac_ctx = NULL;
117d4af9e69SDag-Erling Smørgrav }
118e4a9863fSDag-Erling Smørgrav if (macalg->truncatebits != 0)
119e4a9863fSDag-Erling Smørgrav mac->mac_len = macalg->truncatebits / 8;
120e4a9863fSDag-Erling Smørgrav mac->etm = macalg->etm;
121bc5531deSDag-Erling Smørgrav return 0;
122d4af9e69SDag-Erling Smørgrav }
123d4af9e69SDag-Erling Smørgrav
124d4af9e69SDag-Erling Smørgrav int
mac_setup(struct sshmac * mac,char * name)125bc5531deSDag-Erling Smørgrav mac_setup(struct sshmac *mac, char *name)
126d4af9e69SDag-Erling Smørgrav {
127e4a9863fSDag-Erling Smørgrav const struct macalg *m;
128043840dfSDag-Erling Smørgrav
129e4a9863fSDag-Erling Smørgrav for (m = macs; m->name != NULL; m++) {
130e4a9863fSDag-Erling Smørgrav if (strcmp(name, m->name) != 0)
131e4a9863fSDag-Erling Smørgrav continue;
132bc5531deSDag-Erling Smørgrav if (mac != NULL)
133bc5531deSDag-Erling Smørgrav return mac_setup_by_alg(mac, m);
134bc5531deSDag-Erling Smørgrav return 0;
135b83788ffSDag-Erling Smørgrav }
136bc5531deSDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
1371e8db6e2SBrian Feldman }
1381e8db6e2SBrian Feldman
139d4af9e69SDag-Erling Smørgrav int
mac_init(struct sshmac * mac)140bc5531deSDag-Erling Smørgrav mac_init(struct sshmac *mac)
141d4af9e69SDag-Erling Smørgrav {
142d4af9e69SDag-Erling Smørgrav if (mac->key == NULL)
143bc5531deSDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
144d4af9e69SDag-Erling Smørgrav switch (mac->type) {
145b83788ffSDag-Erling Smørgrav case SSH_DIGEST:
146b83788ffSDag-Erling Smørgrav if (mac->hmac_ctx == NULL ||
147b83788ffSDag-Erling Smørgrav ssh_hmac_init(mac->hmac_ctx, mac->key, mac->key_len) < 0)
148bc5531deSDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
149d4af9e69SDag-Erling Smørgrav return 0;
150d4af9e69SDag-Erling Smørgrav case SSH_UMAC:
151bc5531deSDag-Erling Smørgrav if ((mac->umac_ctx = umac_new(mac->key)) == NULL)
152bc5531deSDag-Erling Smørgrav return SSH_ERR_ALLOC_FAIL;
153d4af9e69SDag-Erling Smørgrav return 0;
1546888a9beSDag-Erling Smørgrav case SSH_UMAC128:
155bc5531deSDag-Erling Smørgrav if ((mac->umac_ctx = umac128_new(mac->key)) == NULL)
156bc5531deSDag-Erling Smørgrav return SSH_ERR_ALLOC_FAIL;
1576888a9beSDag-Erling Smørgrav return 0;
158d4af9e69SDag-Erling Smørgrav default:
159bc5531deSDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
160d4af9e69SDag-Erling Smørgrav }
161d4af9e69SDag-Erling Smørgrav }
162d4af9e69SDag-Erling Smørgrav
163bc5531deSDag-Erling Smørgrav int
mac_compute(struct sshmac * mac,u_int32_t seqno,const u_char * data,int datalen,u_char * digest,size_t dlen)164076ad2f8SDag-Erling Smørgrav mac_compute(struct sshmac *mac, u_int32_t seqno,
165076ad2f8SDag-Erling Smørgrav const u_char *data, int datalen,
166bc5531deSDag-Erling Smørgrav u_char *digest, size_t dlen)
1671e8db6e2SBrian Feldman {
168e4a9863fSDag-Erling Smørgrav static union {
169bc5531deSDag-Erling Smørgrav u_char m[SSH_DIGEST_MAX_LENGTH];
170e4a9863fSDag-Erling Smørgrav u_int64_t for_align;
171e4a9863fSDag-Erling Smørgrav } u;
172a0ee8cc6SDag-Erling Smørgrav u_char b[4];
173a0ee8cc6SDag-Erling Smørgrav u_char nonce[8];
1741e8db6e2SBrian Feldman
175e4a9863fSDag-Erling Smørgrav if (mac->mac_len > sizeof(u))
176bc5531deSDag-Erling Smørgrav return SSH_ERR_INTERNAL_ERROR;
177d4af9e69SDag-Erling Smørgrav
178d4af9e69SDag-Erling Smørgrav switch (mac->type) {
179b83788ffSDag-Erling Smørgrav case SSH_DIGEST:
180761efaa7SDag-Erling Smørgrav put_u32(b, seqno);
181d4af9e69SDag-Erling Smørgrav /* reset HMAC context */
182b83788ffSDag-Erling Smørgrav if (ssh_hmac_init(mac->hmac_ctx, NULL, 0) < 0 ||
183b83788ffSDag-Erling Smørgrav ssh_hmac_update(mac->hmac_ctx, b, sizeof(b)) < 0 ||
184b83788ffSDag-Erling Smørgrav ssh_hmac_update(mac->hmac_ctx, data, datalen) < 0 ||
185b83788ffSDag-Erling Smørgrav ssh_hmac_final(mac->hmac_ctx, u.m, sizeof(u.m)) < 0)
186bc5531deSDag-Erling Smørgrav return SSH_ERR_LIBCRYPTO_ERROR;
187d4af9e69SDag-Erling Smørgrav break;
188d4af9e69SDag-Erling Smørgrav case SSH_UMAC:
189bc5531deSDag-Erling Smørgrav POKE_U64(nonce, seqno);
190d4af9e69SDag-Erling Smørgrav umac_update(mac->umac_ctx, data, datalen);
191e4a9863fSDag-Erling Smørgrav umac_final(mac->umac_ctx, u.m, nonce);
192d4af9e69SDag-Erling Smørgrav break;
1936888a9beSDag-Erling Smørgrav case SSH_UMAC128:
1946888a9beSDag-Erling Smørgrav put_u64(nonce, seqno);
1956888a9beSDag-Erling Smørgrav umac128_update(mac->umac_ctx, data, datalen);
196e4a9863fSDag-Erling Smørgrav umac128_final(mac->umac_ctx, u.m, nonce);
1976888a9beSDag-Erling Smørgrav break;
198d4af9e69SDag-Erling Smørgrav default:
199bc5531deSDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
200d4af9e69SDag-Erling Smørgrav }
201bc5531deSDag-Erling Smørgrav if (digest != NULL) {
202bc5531deSDag-Erling Smørgrav if (dlen > mac->mac_len)
203bc5531deSDag-Erling Smørgrav dlen = mac->mac_len;
204bc5531deSDag-Erling Smørgrav memcpy(digest, u.m, dlen);
205bc5531deSDag-Erling Smørgrav }
206bc5531deSDag-Erling Smørgrav return 0;
2071e8db6e2SBrian Feldman }
2081e8db6e2SBrian Feldman
209076ad2f8SDag-Erling Smørgrav int
mac_check(struct sshmac * mac,u_int32_t seqno,const u_char * data,size_t dlen,const u_char * theirmac,size_t mlen)210076ad2f8SDag-Erling Smørgrav mac_check(struct sshmac *mac, u_int32_t seqno,
211076ad2f8SDag-Erling Smørgrav const u_char *data, size_t dlen,
212076ad2f8SDag-Erling Smørgrav const u_char *theirmac, size_t mlen)
213076ad2f8SDag-Erling Smørgrav {
214076ad2f8SDag-Erling Smørgrav u_char ourmac[SSH_DIGEST_MAX_LENGTH];
215076ad2f8SDag-Erling Smørgrav int r;
216076ad2f8SDag-Erling Smørgrav
217076ad2f8SDag-Erling Smørgrav if (mac->mac_len > mlen)
218076ad2f8SDag-Erling Smørgrav return SSH_ERR_INVALID_ARGUMENT;
219076ad2f8SDag-Erling Smørgrav if ((r = mac_compute(mac, seqno, data, dlen,
220076ad2f8SDag-Erling Smørgrav ourmac, sizeof(ourmac))) != 0)
221076ad2f8SDag-Erling Smørgrav return r;
222076ad2f8SDag-Erling Smørgrav if (timingsafe_bcmp(ourmac, theirmac, mac->mac_len) != 0)
223076ad2f8SDag-Erling Smørgrav return SSH_ERR_MAC_INVALID;
224076ad2f8SDag-Erling Smørgrav return 0;
225076ad2f8SDag-Erling Smørgrav }
226076ad2f8SDag-Erling Smørgrav
227d4af9e69SDag-Erling Smørgrav void
mac_clear(struct sshmac * mac)228bc5531deSDag-Erling Smørgrav mac_clear(struct sshmac *mac)
229d4af9e69SDag-Erling Smørgrav {
230d4af9e69SDag-Erling Smørgrav if (mac->type == SSH_UMAC) {
231d4af9e69SDag-Erling Smørgrav if (mac->umac_ctx != NULL)
232d4af9e69SDag-Erling Smørgrav umac_delete(mac->umac_ctx);
2336888a9beSDag-Erling Smørgrav } else if (mac->type == SSH_UMAC128) {
2346888a9beSDag-Erling Smørgrav if (mac->umac_ctx != NULL)
2356888a9beSDag-Erling Smørgrav umac128_delete(mac->umac_ctx);
236b83788ffSDag-Erling Smørgrav } else if (mac->hmac_ctx != NULL)
237b83788ffSDag-Erling Smørgrav ssh_hmac_free(mac->hmac_ctx);
238b83788ffSDag-Erling Smørgrav mac->hmac_ctx = NULL;
239d4af9e69SDag-Erling Smørgrav mac->umac_ctx = NULL;
240d4af9e69SDag-Erling Smørgrav }
241d4af9e69SDag-Erling Smørgrav
2421e8db6e2SBrian Feldman /* XXX copied from ciphers_valid */
2431e8db6e2SBrian Feldman #define MAC_SEP ","
2441e8db6e2SBrian Feldman int
mac_valid(const char * names)2451e8db6e2SBrian Feldman mac_valid(const char *names)
2461e8db6e2SBrian Feldman {
2471e8db6e2SBrian Feldman char *maclist, *cp, *p;
2481e8db6e2SBrian Feldman
2491e8db6e2SBrian Feldman if (names == NULL || strcmp(names, "") == 0)
250bc5531deSDag-Erling Smørgrav return 0;
251bc5531deSDag-Erling Smørgrav if ((maclist = cp = strdup(names)) == NULL)
252bc5531deSDag-Erling Smørgrav return 0;
2531e8db6e2SBrian Feldman for ((p = strsep(&cp, MAC_SEP)); p && *p != '\0';
2541e8db6e2SBrian Feldman (p = strsep(&cp, MAC_SEP))) {
255d4af9e69SDag-Erling Smørgrav if (mac_setup(NULL, p) < 0) {
256e4a9863fSDag-Erling Smørgrav free(maclist);
257bc5531deSDag-Erling Smørgrav return 0;
2581e8db6e2SBrian Feldman }
2591e8db6e2SBrian Feldman }
260e4a9863fSDag-Erling Smørgrav free(maclist);
261bc5531deSDag-Erling Smørgrav return 1;
2621e8db6e2SBrian Feldman }
263