markus@openbsd.org | 3fdc88a | 2015-01-19 20:07:45 +0000 | [diff] [blame^] | 1 | /* $OpenBSD: kex.h,v 1.68 2015/01/19 20:07:45 markus Exp $ */ |
Ben Lindstrom | 36579d3 | 2001-01-29 07:39:26 +0000 | [diff] [blame] | 2 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 3 | /* |
Ben Lindstrom | 4469723 | 2001-07-04 03:32:30 +0000 | [diff] [blame] | 4 | * Copyright (c) 2000, 2001 Markus Friedl. All rights reserved. |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 5 | * |
| 6 | * Redistribution and use in source and binary forms, with or without |
| 7 | * modification, are permitted provided that the following conditions |
| 8 | * are met: |
| 9 | * 1. Redistributions of source code must retain the above copyright |
| 10 | * notice, this list of conditions and the following disclaimer. |
| 11 | * 2. Redistributions in binary form must reproduce the above copyright |
| 12 | * notice, this list of conditions and the following disclaimer in the |
| 13 | * documentation and/or other materials provided with the distribution. |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 14 | * |
| 15 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
| 16 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
| 17 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
| 18 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
| 19 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
| 20 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 21 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 22 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 23 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
| 24 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 25 | */ |
| 26 | #ifndef KEX_H |
| 27 | #define KEX_H |
| 28 | |
markus@openbsd.org | 128343b | 2015-01-13 19:31:40 +0000 | [diff] [blame] | 29 | #include "mac.h" |
djm@openbsd.org | 1129dcf | 2015-01-15 09:40:00 +0000 | [diff] [blame] | 30 | #include "buffer.h" /* XXX for typedef */ |
| 31 | #include "key.h" /* XXX for typedef */ |
markus@openbsd.org | 128343b | 2015-01-13 19:31:40 +0000 | [diff] [blame] | 32 | |
| 33 | #if defined(WITH_OPENSSL) && defined(OPENSSL_HAS_ECC) |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 34 | #include <openssl/ec.h> |
Darren Tucker | 8ccb739 | 2010-09-10 12:28:24 +1000 | [diff] [blame] | 35 | #endif |
Damien Miller | d8337c5 | 2006-07-24 14:14:19 +1000 | [diff] [blame] | 36 | |
Darren Tucker | 5b48cdd | 2009-06-21 18:15:25 +1000 | [diff] [blame] | 37 | #define KEX_COOKIE_LEN 16 |
| 38 | |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 39 | #define KEX_DH1 "diffie-hellman-group1-sha1" |
| 40 | #define KEX_DH14 "diffie-hellman-group14-sha1" |
| 41 | #define KEX_DHGEX_SHA1 "diffie-hellman-group-exchange-sha1" |
Damien Miller | a63128d | 2006-03-15 12:08:28 +1100 | [diff] [blame] | 42 | #define KEX_DHGEX_SHA256 "diffie-hellman-group-exchange-sha256" |
Darren Tucker | 36331b5 | 2010-01-08 16:50:41 +1100 | [diff] [blame] | 43 | #define KEX_RESUME "resume@appgate.com" |
Damien Miller | ea11119 | 2013-04-23 19:24:32 +1000 | [diff] [blame] | 44 | #define KEX_ECDH_SHA2_NISTP256 "ecdh-sha2-nistp256" |
| 45 | #define KEX_ECDH_SHA2_NISTP384 "ecdh-sha2-nistp384" |
| 46 | #define KEX_ECDH_SHA2_NISTP521 "ecdh-sha2-nistp521" |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 47 | #define KEX_CURVE25519_SHA256 "curve25519-sha256@libssh.org" |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 48 | |
Damien Miller | 9786e6e | 2005-07-26 21:54:56 +1000 | [diff] [blame] | 49 | #define COMP_NONE 0 |
| 50 | #define COMP_ZLIB 1 |
| 51 | #define COMP_DELAYED 2 |
| 52 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 53 | enum kex_init_proposals { |
| 54 | PROPOSAL_KEX_ALGS, |
| 55 | PROPOSAL_SERVER_HOST_KEY_ALGS, |
| 56 | PROPOSAL_ENC_ALGS_CTOS, |
| 57 | PROPOSAL_ENC_ALGS_STOC, |
| 58 | PROPOSAL_MAC_ALGS_CTOS, |
| 59 | PROPOSAL_MAC_ALGS_STOC, |
| 60 | PROPOSAL_COMP_ALGS_CTOS, |
| 61 | PROPOSAL_COMP_ALGS_STOC, |
| 62 | PROPOSAL_LANG_CTOS, |
| 63 | PROPOSAL_LANG_STOC, |
| 64 | PROPOSAL_MAX |
| 65 | }; |
| 66 | |
| 67 | enum kex_modes { |
| 68 | MODE_IN, |
| 69 | MODE_OUT, |
| 70 | MODE_MAX |
| 71 | }; |
| 72 | |
Damien Miller | 874d77b | 2000-10-14 16:23:11 +1100 | [diff] [blame] | 73 | enum kex_exchange { |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 74 | KEX_DH_GRP1_SHA1, |
Damien Miller | f675fc4 | 2004-06-15 10:30:09 +1000 | [diff] [blame] | 75 | KEX_DH_GRP14_SHA1, |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 76 | KEX_DH_GEX_SHA1, |
Damien Miller | a63128d | 2006-03-15 12:08:28 +1100 | [diff] [blame] | 77 | KEX_DH_GEX_SHA256, |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 78 | KEX_ECDH_SHA2, |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 79 | KEX_C25519_SHA256, |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 80 | KEX_MAX |
Damien Miller | 874d77b | 2000-10-14 16:23:11 +1100 | [diff] [blame] | 81 | }; |
Kevin Steves | ef4eea9 | 2001-02-05 12:42:17 +0000 | [diff] [blame] | 82 | |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 83 | #define KEX_INIT_SENT 0x0001 |
| 84 | |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 85 | typedef struct kex Kex; |
| 86 | typedef struct sshcomp Comp; |
markus@openbsd.org | 128343b | 2015-01-13 19:31:40 +0000 | [diff] [blame] | 87 | typedef struct sshmac Mac; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 88 | typedef struct sshenc Enc; |
| 89 | typedef struct newkeys Newkeys; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 90 | |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 91 | struct sshenc { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 92 | char *name; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 93 | const struct sshcipher *cipher; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 94 | int enabled; |
Damien Miller | 963f6b2 | 2002-02-19 15:21:23 +1100 | [diff] [blame] | 95 | u_int key_len; |
Damien Miller | 1d75abf | 2013-01-09 16:12:19 +1100 | [diff] [blame] | 96 | u_int iv_len; |
Damien Miller | 963f6b2 | 2002-02-19 15:21:23 +1100 | [diff] [blame] | 97 | u_int block_size; |
Ben Lindstrom | 46c1622 | 2000-12-22 01:43:59 +0000 | [diff] [blame] | 98 | u_char *key; |
| 99 | u_char *iv; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 100 | }; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 101 | struct sshcomp { |
| 102 | u_int type; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 103 | int enabled; |
| 104 | char *name; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 105 | }; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 106 | struct newkeys { |
| 107 | struct sshenc enc; |
| 108 | struct sshmac mac; |
| 109 | struct sshcomp comp; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 110 | }; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 111 | struct kex { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 112 | u_char *session_id; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 113 | size_t session_id_len; |
| 114 | struct newkeys *newkeys[MODE_MAX]; |
Damien Miller | eccb9de | 2005-06-17 12:59:34 +1000 | [diff] [blame] | 115 | u_int we_need; |
Damien Miller | 76eea4a | 2014-01-26 09:37:25 +1100 | [diff] [blame] | 116 | u_int dh_need; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 117 | int server; |
| 118 | char *name; |
| 119 | int hostkey_type; |
| 120 | int kex_type; |
Darren Tucker | 36331b5 | 2010-01-08 16:50:41 +1100 | [diff] [blame] | 121 | int roaming; |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 122 | struct sshbuf *my; |
| 123 | struct sshbuf *peer; |
Damien Miller | 97c91f6 | 2006-04-23 12:08:37 +1000 | [diff] [blame] | 124 | sig_atomic_t done; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 125 | int flags; |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 126 | int hash_alg; |
Damien Miller | ea11119 | 2013-04-23 19:24:32 +1000 | [diff] [blame] | 127 | int ec_nid; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 128 | char *client_version_string; |
| 129 | char *server_version_string; |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 130 | int (*verify_host_key)(Key *); |
Damien Miller | 0a80ca1 | 2010-02-27 07:55:05 +1100 | [diff] [blame] | 131 | Key *(*load_host_public_key)(int); |
| 132 | Key *(*load_host_private_key)(int); |
Ben Lindstrom | 7a2073c | 2002-03-22 02:30:41 +0000 | [diff] [blame] | 133 | int (*host_key_index)(Key *); |
Damien Miller | 85b45e0 | 2013-07-20 13:21:52 +1000 | [diff] [blame] | 134 | void (*sign)(Key *, Key *, u_char **, u_int *, u_char *, u_int); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 135 | void (*kex[KEX_MAX])(Kex *); |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 136 | }; |
| 137 | |
Damien Miller | d5f62bf | 2010-09-24 22:11:14 +1000 | [diff] [blame] | 138 | int kex_names_valid(const char *); |
Damien Miller | 690d989 | 2013-11-08 12:16:49 +1100 | [diff] [blame] | 139 | char *kex_alg_list(char); |
Damien Miller | d5f62bf | 2010-09-24 22:11:14 +1000 | [diff] [blame] | 140 | |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 141 | Kex *kex_setup(char *[PROPOSAL_MAX]); |
Ben Lindstrom | 4cc240d | 2001-07-04 04:46:56 +0000 | [diff] [blame] | 142 | void kex_finish(Kex *); |
markus@openbsd.org | 091c302 | 2015-01-19 19:52:16 +0000 | [diff] [blame] | 143 | void kex_free_newkeys(struct newkeys *); |
Ben Lindstrom | 238abf6 | 2001-04-04 17:52:53 +0000 | [diff] [blame] | 144 | |
Ben Lindstrom | 4cc240d | 2001-07-04 04:46:56 +0000 | [diff] [blame] | 145 | void kex_send_kexinit(Kex *); |
markus@openbsd.org | 3fdc88a | 2015-01-19 20:07:45 +0000 | [diff] [blame^] | 146 | int kex_input_kexinit(int, u_int32_t, void *); |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 147 | void kex_derive_keys(Kex *, u_char *, u_int, const u_char *, u_int); |
| 148 | void kex_derive_keys_bn(Kex *, u_char *, u_int, const BIGNUM *); |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 149 | |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 150 | void kexdh_client(Kex *); |
| 151 | void kexdh_server(Kex *); |
| 152 | void kexgex_client(Kex *); |
| 153 | void kexgex_server(Kex *); |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 154 | void kexecdh_client(Kex *); |
| 155 | void kexecdh_server(Kex *); |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 156 | void kexc25519_client(Kex *); |
| 157 | void kexc25519_server(Kex *); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 158 | |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 159 | void |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 160 | kex_dh_hash(char *, char *, char *, int, char *, int, u_char *, int, |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 161 | BIGNUM *, BIGNUM *, BIGNUM *, u_char **, u_int *); |
| 162 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 163 | kexgex_hash(int, char *, char *, char *, int, char *, |
Damien Miller | 51b4f82 | 2006-03-26 00:04:32 +1100 | [diff] [blame] | 164 | int, u_char *, int, int, int, int, BIGNUM *, BIGNUM *, BIGNUM *, |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 165 | BIGNUM *, BIGNUM *, u_char **, u_int *); |
Damien Miller | 6af914a | 2010-09-10 11:39:26 +1000 | [diff] [blame] | 166 | #ifdef OPENSSL_HAS_ECC |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 167 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 168 | kex_ecdh_hash(int, const EC_GROUP *, char *, char *, char *, int, |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 169 | char *, int, u_char *, int, const EC_POINT *, const EC_POINT *, |
| 170 | const BIGNUM *, u_char **, u_int *); |
Damien Miller | 6af914a | 2010-09-10 11:39:26 +1000 | [diff] [blame] | 171 | #endif |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 172 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 173 | kex_c25519_hash(int, char *, char *, char *, int, |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 174 | char *, int, u_char *, int, const u_char *, const u_char *, |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 175 | const u_char *, u_int, u_char **, u_int *); |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 176 | |
| 177 | #define CURVE25519_SIZE 32 |
| 178 | void kexc25519_keygen(u_char[CURVE25519_SIZE], u_char[CURVE25519_SIZE]) |
Damien Miller | 686c7d9 | 2014-05-15 14:37:03 +1000 | [diff] [blame] | 179 | __attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE))) |
| 180 | __attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE))); |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 181 | void kexc25519_shared_key(const u_char key[CURVE25519_SIZE], |
| 182 | const u_char pub[CURVE25519_SIZE], Buffer *out) |
Damien Miller | 686c7d9 | 2014-05-15 14:37:03 +1000 | [diff] [blame] | 183 | __attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE))) |
| 184 | __attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE))); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 185 | |
Darren Tucker | e4ab115 | 2004-05-24 10:14:24 +1000 | [diff] [blame] | 186 | void |
| 187 | derive_ssh1_session_id(BIGNUM *, BIGNUM *, u_int8_t[8], u_int8_t[16]); |
| 188 | |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 189 | #if defined(DEBUG_KEX) || defined(DEBUG_KEXDH) || defined(DEBUG_KEXECDH) |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 190 | void dump_digest(char *, u_char *, int); |
Ben Lindstrom | 20d7c7b | 2001-04-04 01:56:17 +0000 | [diff] [blame] | 191 | #endif |
| 192 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 193 | #endif |