Damien Miller | 686c7d9 | 2014-05-15 14:37:03 +1000 | [diff] [blame^] | 1 | /* $OpenBSD: kex.h,v 1.64 2014/05/02 03:27:54 djm 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 | |
Damien Miller | 2bdd1c1 | 2006-04-23 12:28:53 +1000 | [diff] [blame] | 29 | #include <signal.h> |
Ben Lindstrom | 06b33aa | 2001-02-15 03:01:59 +0000 | [diff] [blame] | 30 | #include <openssl/evp.h> |
Darren Tucker | 5f3d5be | 2007-06-05 18:30:18 +1000 | [diff] [blame] | 31 | #include <openssl/hmac.h> |
Darren Tucker | 8ccb739 | 2010-09-10 12:28:24 +1000 | [diff] [blame] | 32 | #ifdef OPENSSL_HAS_ECC |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 33 | #include <openssl/ec.h> |
Darren Tucker | 8ccb739 | 2010-09-10 12:28:24 +1000 | [diff] [blame] | 34 | #endif |
Damien Miller | d8337c5 | 2006-07-24 14:14:19 +1000 | [diff] [blame] | 35 | |
Darren Tucker | 5b48cdd | 2009-06-21 18:15:25 +1000 | [diff] [blame] | 36 | #define KEX_COOKIE_LEN 16 |
| 37 | |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 38 | #define KEX_DH1 "diffie-hellman-group1-sha1" |
| 39 | #define KEX_DH14 "diffie-hellman-group14-sha1" |
| 40 | #define KEX_DHGEX_SHA1 "diffie-hellman-group-exchange-sha1" |
Damien Miller | a63128d | 2006-03-15 12:08:28 +1100 | [diff] [blame] | 41 | #define KEX_DHGEX_SHA256 "diffie-hellman-group-exchange-sha256" |
Darren Tucker | 36331b5 | 2010-01-08 16:50:41 +1100 | [diff] [blame] | 42 | #define KEX_RESUME "resume@appgate.com" |
Damien Miller | ea11119 | 2013-04-23 19:24:32 +1000 | [diff] [blame] | 43 | #define KEX_ECDH_SHA2_NISTP256 "ecdh-sha2-nistp256" |
| 44 | #define KEX_ECDH_SHA2_NISTP384 "ecdh-sha2-nistp384" |
| 45 | #define KEX_ECDH_SHA2_NISTP521 "ecdh-sha2-nistp521" |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 46 | #define KEX_CURVE25519_SHA256 "curve25519-sha256@libssh.org" |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 47 | |
Damien Miller | 9786e6e | 2005-07-26 21:54:56 +1000 | [diff] [blame] | 48 | #define COMP_NONE 0 |
| 49 | #define COMP_ZLIB 1 |
| 50 | #define COMP_DELAYED 2 |
| 51 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 52 | enum kex_init_proposals { |
| 53 | PROPOSAL_KEX_ALGS, |
| 54 | PROPOSAL_SERVER_HOST_KEY_ALGS, |
| 55 | PROPOSAL_ENC_ALGS_CTOS, |
| 56 | PROPOSAL_ENC_ALGS_STOC, |
| 57 | PROPOSAL_MAC_ALGS_CTOS, |
| 58 | PROPOSAL_MAC_ALGS_STOC, |
| 59 | PROPOSAL_COMP_ALGS_CTOS, |
| 60 | PROPOSAL_COMP_ALGS_STOC, |
| 61 | PROPOSAL_LANG_CTOS, |
| 62 | PROPOSAL_LANG_STOC, |
| 63 | PROPOSAL_MAX |
| 64 | }; |
| 65 | |
| 66 | enum kex_modes { |
| 67 | MODE_IN, |
| 68 | MODE_OUT, |
| 69 | MODE_MAX |
| 70 | }; |
| 71 | |
Damien Miller | 874d77b | 2000-10-14 16:23:11 +1100 | [diff] [blame] | 72 | enum kex_exchange { |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 73 | KEX_DH_GRP1_SHA1, |
Damien Miller | f675fc4 | 2004-06-15 10:30:09 +1000 | [diff] [blame] | 74 | KEX_DH_GRP14_SHA1, |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 75 | KEX_DH_GEX_SHA1, |
Damien Miller | a63128d | 2006-03-15 12:08:28 +1100 | [diff] [blame] | 76 | KEX_DH_GEX_SHA256, |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 77 | KEX_ECDH_SHA2, |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 78 | KEX_C25519_SHA256, |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 79 | KEX_MAX |
Damien Miller | 874d77b | 2000-10-14 16:23:11 +1100 | [diff] [blame] | 80 | }; |
Kevin Steves | ef4eea9 | 2001-02-05 12:42:17 +0000 | [diff] [blame] | 81 | |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 82 | #define KEX_INIT_SENT 0x0001 |
| 83 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 84 | typedef struct Kex Kex; |
| 85 | typedef struct Mac Mac; |
| 86 | typedef struct Comp Comp; |
| 87 | typedef struct Enc Enc; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 88 | typedef struct Newkeys Newkeys; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 89 | |
| 90 | struct Enc { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 91 | char *name; |
Damien Miller | ea11119 | 2013-04-23 19:24:32 +1000 | [diff] [blame] | 92 | const Cipher *cipher; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 93 | int enabled; |
Damien Miller | 963f6b2 | 2002-02-19 15:21:23 +1100 | [diff] [blame] | 94 | u_int key_len; |
Damien Miller | 1d75abf | 2013-01-09 16:12:19 +1100 | [diff] [blame] | 95 | u_int iv_len; |
Damien Miller | 963f6b2 | 2002-02-19 15:21:23 +1100 | [diff] [blame] | 96 | u_int block_size; |
Ben Lindstrom | 46c1622 | 2000-12-22 01:43:59 +0000 | [diff] [blame] | 97 | u_char *key; |
| 98 | u_char *iv; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 99 | }; |
| 100 | struct Mac { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 101 | char *name; |
| 102 | int enabled; |
Damien Miller | eccb9de | 2005-06-17 12:59:34 +1000 | [diff] [blame] | 103 | u_int mac_len; |
Ben Lindstrom | 46c1622 | 2000-12-22 01:43:59 +0000 | [diff] [blame] | 104 | u_char *key; |
Damien Miller | eccb9de | 2005-06-17 12:59:34 +1000 | [diff] [blame] | 105 | u_int key_len; |
Damien Miller | e45796f | 2007-06-11 14:01:42 +1000 | [diff] [blame] | 106 | int type; |
Damien Miller | af43a7a | 2012-12-12 10:46:31 +1100 | [diff] [blame] | 107 | int etm; /* Encrypt-then-MAC */ |
Damien Miller | 4e8d937 | 2014-02-04 11:02:42 +1100 | [diff] [blame] | 108 | struct ssh_hmac_ctx *hmac_ctx; |
| 109 | struct umac_ctx *umac_ctx; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 110 | }; |
| 111 | struct Comp { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 112 | int type; |
| 113 | int enabled; |
| 114 | char *name; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 115 | }; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 116 | struct Newkeys { |
| 117 | Enc enc; |
| 118 | Mac mac; |
| 119 | Comp comp; |
| 120 | }; |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 121 | struct Kex { |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 122 | u_char *session_id; |
Damien Miller | a10f561 | 2002-09-12 09:49:15 +1000 | [diff] [blame] | 123 | u_int session_id_len; |
Ben Lindstrom | be2cc43 | 2001-04-04 23:46:07 +0000 | [diff] [blame] | 124 | Newkeys *newkeys[MODE_MAX]; |
Damien Miller | eccb9de | 2005-06-17 12:59:34 +1000 | [diff] [blame] | 125 | u_int we_need; |
Damien Miller | 76eea4a | 2014-01-26 09:37:25 +1100 | [diff] [blame] | 126 | u_int dh_need; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 127 | int server; |
| 128 | char *name; |
| 129 | int hostkey_type; |
| 130 | int kex_type; |
Darren Tucker | 36331b5 | 2010-01-08 16:50:41 +1100 | [diff] [blame] | 131 | int roaming; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 132 | Buffer my; |
| 133 | Buffer peer; |
Damien Miller | 97c91f6 | 2006-04-23 12:08:37 +1000 | [diff] [blame] | 134 | sig_atomic_t done; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 135 | int flags; |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 136 | int hash_alg; |
Damien Miller | ea11119 | 2013-04-23 19:24:32 +1000 | [diff] [blame] | 137 | int ec_nid; |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 138 | char *client_version_string; |
| 139 | char *server_version_string; |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 140 | int (*verify_host_key)(Key *); |
Damien Miller | 0a80ca1 | 2010-02-27 07:55:05 +1100 | [diff] [blame] | 141 | Key *(*load_host_public_key)(int); |
| 142 | Key *(*load_host_private_key)(int); |
Ben Lindstrom | 7a2073c | 2002-03-22 02:30:41 +0000 | [diff] [blame] | 143 | int (*host_key_index)(Key *); |
Damien Miller | 85b45e0 | 2013-07-20 13:21:52 +1000 | [diff] [blame] | 144 | void (*sign)(Key *, Key *, u_char **, u_int *, u_char *, u_int); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 145 | void (*kex[KEX_MAX])(Kex *); |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 146 | }; |
| 147 | |
Damien Miller | d5f62bf | 2010-09-24 22:11:14 +1000 | [diff] [blame] | 148 | int kex_names_valid(const char *); |
Damien Miller | 690d989 | 2013-11-08 12:16:49 +1100 | [diff] [blame] | 149 | char *kex_alg_list(char); |
Damien Miller | d5f62bf | 2010-09-24 22:11:14 +1000 | [diff] [blame] | 150 | |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 151 | Kex *kex_setup(char *[PROPOSAL_MAX]); |
Ben Lindstrom | 4cc240d | 2001-07-04 04:46:56 +0000 | [diff] [blame] | 152 | void kex_finish(Kex *); |
Ben Lindstrom | 238abf6 | 2001-04-04 17:52:53 +0000 | [diff] [blame] | 153 | |
Ben Lindstrom | 4cc240d | 2001-07-04 04:46:56 +0000 | [diff] [blame] | 154 | void kex_send_kexinit(Kex *); |
Damien Miller | 630d6f4 | 2002-01-22 23:17:30 +1100 | [diff] [blame] | 155 | void kex_input_kexinit(int, u_int32_t, void *); |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 156 | void kex_derive_keys(Kex *, u_char *, u_int, const u_char *, u_int); |
| 157 | void kex_derive_keys_bn(Kex *, u_char *, u_int, const BIGNUM *); |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 158 | |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 159 | Newkeys *kex_get_newkeys(int); |
Ben Lindstrom | 2d90e00 | 2001-04-04 02:00:54 +0000 | [diff] [blame] | 160 | |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 161 | void kexdh_client(Kex *); |
| 162 | void kexdh_server(Kex *); |
| 163 | void kexgex_client(Kex *); |
| 164 | void kexgex_server(Kex *); |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 165 | void kexecdh_client(Kex *); |
| 166 | void kexecdh_server(Kex *); |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 167 | void kexc25519_client(Kex *); |
| 168 | void kexc25519_server(Kex *); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 169 | |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 170 | void |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 171 | kex_dh_hash(char *, char *, char *, int, char *, int, u_char *, int, |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 172 | BIGNUM *, BIGNUM *, BIGNUM *, u_char **, u_int *); |
| 173 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 174 | kexgex_hash(int, char *, char *, char *, int, char *, |
Damien Miller | 51b4f82 | 2006-03-26 00:04:32 +1100 | [diff] [blame] | 175 | int, u_char *, int, int, int, int, BIGNUM *, BIGNUM *, BIGNUM *, |
Damien Miller | 19bb3a5 | 2005-11-05 15:19:35 +1100 | [diff] [blame] | 176 | BIGNUM *, BIGNUM *, u_char **, u_int *); |
Damien Miller | 6af914a | 2010-09-10 11:39:26 +1000 | [diff] [blame] | 177 | #ifdef OPENSSL_HAS_ECC |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 178 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 179 | kex_ecdh_hash(int, const EC_GROUP *, char *, char *, char *, int, |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 180 | char *, int, u_char *, int, const EC_POINT *, const EC_POINT *, |
| 181 | const BIGNUM *, u_char **, u_int *); |
Damien Miller | 6af914a | 2010-09-10 11:39:26 +1000 | [diff] [blame] | 182 | #endif |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 183 | void |
Damien Miller | b3051d0 | 2014-01-10 10:58:53 +1100 | [diff] [blame] | 184 | kex_c25519_hash(int, char *, char *, char *, int, |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 185 | char *, int, u_char *, int, const u_char *, const u_char *, |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 186 | const u_char *, u_int, u_char **, u_int *); |
Damien Miller | 1e12426 | 2013-11-04 08:26:52 +1100 | [diff] [blame] | 187 | |
| 188 | #define CURVE25519_SIZE 32 |
| 189 | void kexc25519_keygen(u_char[CURVE25519_SIZE], u_char[CURVE25519_SIZE]) |
Damien Miller | 686c7d9 | 2014-05-15 14:37:03 +1000 | [diff] [blame^] | 190 | __attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE))) |
| 191 | __attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE))); |
Damien Miller | 91b580e | 2014-01-12 19:21:22 +1100 | [diff] [blame] | 192 | void kexc25519_shared_key(const u_char key[CURVE25519_SIZE], |
| 193 | const u_char pub[CURVE25519_SIZE], Buffer *out) |
Damien Miller | 686c7d9 | 2014-05-15 14:37:03 +1000 | [diff] [blame^] | 194 | __attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE))) |
| 195 | __attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE))); |
Damien Miller | 8e7fb33 | 2003-02-24 12:03:03 +1100 | [diff] [blame] | 196 | |
Darren Tucker | e4ab115 | 2004-05-24 10:14:24 +1000 | [diff] [blame] | 197 | void |
| 198 | derive_ssh1_session_id(BIGNUM *, BIGNUM *, u_int8_t[8], u_int8_t[16]); |
| 199 | |
Damien Miller | eb8b60e | 2010-08-31 22:41:14 +1000 | [diff] [blame] | 200 | #if defined(DEBUG_KEX) || defined(DEBUG_KEXDH) || defined(DEBUG_KEXECDH) |
Ben Lindstrom | 16ae3d0 | 2001-07-04 04:02:36 +0000 | [diff] [blame] | 201 | void dump_digest(char *, u_char *, int); |
Ben Lindstrom | 20d7c7b | 2001-04-04 01:56:17 +0000 | [diff] [blame] | 202 | #endif |
| 203 | |
Damien Miller | 33b1356 | 2000-04-04 14:38:59 +1000 | [diff] [blame] | 204 | #endif |