kex_gex.py 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266
  1. # Copyright (C) 2003-2007 Robey Pointer <robeypointer@gmail.com>
  2. #
  3. # This file is part of paramiko.
  4. #
  5. # Paramiko is free software; you can redistribute it and/or modify it under the
  6. # terms of the GNU Lesser General Public License as published by the Free
  7. # Software Foundation; either version 2.1 of the License, or (at your option)
  8. # any later version.
  9. #
  10. # Paramiko is distributed in the hope that it will be useful, but WITHOUT ANY
  11. # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
  12. # A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
  13. # details.
  14. #
  15. # You should have received a copy of the GNU Lesser General Public License
  16. # along with Paramiko; if not, write to the Free Software Foundation, Inc.,
  17. # 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  18. """
  19. Variant on `KexGroup1 <paramiko.kex_group1.KexGroup1>` where the prime "p" and
  20. generator "g" are provided by the server. A bit more work is required on the
  21. client side, and a **lot** more on the server side.
  22. """
  23. import os
  24. from hashlib import sha1, sha256
  25. from paramiko import util
  26. from paramiko.common import DEBUG
  27. from paramiko.message import Message
  28. from paramiko.py3compat import byte_chr, byte_ord, byte_mask
  29. from paramiko.ssh_exception import SSHException
  30. _MSG_KEXDH_GEX_REQUEST_OLD, _MSG_KEXDH_GEX_GROUP, _MSG_KEXDH_GEX_INIT, \
  31. _MSG_KEXDH_GEX_REPLY, _MSG_KEXDH_GEX_REQUEST = range(30, 35)
  32. c_MSG_KEXDH_GEX_REQUEST_OLD, c_MSG_KEXDH_GEX_GROUP, c_MSG_KEXDH_GEX_INIT, \
  33. c_MSG_KEXDH_GEX_REPLY, c_MSG_KEXDH_GEX_REQUEST = \
  34. [byte_chr(c) for c in range(30, 35)]
  35. class KexGex (object):
  36. name = 'diffie-hellman-group-exchange-sha1'
  37. min_bits = 1024
  38. max_bits = 8192
  39. preferred_bits = 2048
  40. hash_algo = sha1
  41. def __init__(self, transport):
  42. self.transport = transport
  43. self.p = None
  44. self.q = None
  45. self.g = None
  46. self.x = None
  47. self.e = None
  48. self.f = None
  49. self.old_style = False
  50. def start_kex(self, _test_old_style=False):
  51. if self.transport.server_mode:
  52. self.transport._expect_packet(
  53. _MSG_KEXDH_GEX_REQUEST, _MSG_KEXDH_GEX_REQUEST_OLD)
  54. return
  55. # request a bit range: we accept (min_bits) to (max_bits), but prefer
  56. # (preferred_bits). according to the spec, we shouldn't pull the
  57. # minimum up above 1024.
  58. m = Message()
  59. if _test_old_style:
  60. # only used for unit tests: we shouldn't ever send this
  61. m.add_byte(c_MSG_KEXDH_GEX_REQUEST_OLD)
  62. m.add_int(self.preferred_bits)
  63. self.old_style = True
  64. else:
  65. m.add_byte(c_MSG_KEXDH_GEX_REQUEST)
  66. m.add_int(self.min_bits)
  67. m.add_int(self.preferred_bits)
  68. m.add_int(self.max_bits)
  69. self.transport._send_message(m)
  70. self.transport._expect_packet(_MSG_KEXDH_GEX_GROUP)
  71. def parse_next(self, ptype, m):
  72. if ptype == _MSG_KEXDH_GEX_REQUEST:
  73. return self._parse_kexdh_gex_request(m)
  74. elif ptype == _MSG_KEXDH_GEX_GROUP:
  75. return self._parse_kexdh_gex_group(m)
  76. elif ptype == _MSG_KEXDH_GEX_INIT:
  77. return self._parse_kexdh_gex_init(m)
  78. elif ptype == _MSG_KEXDH_GEX_REPLY:
  79. return self._parse_kexdh_gex_reply(m)
  80. elif ptype == _MSG_KEXDH_GEX_REQUEST_OLD:
  81. return self._parse_kexdh_gex_request_old(m)
  82. raise SSHException(
  83. 'KexGex %s asked to handle packet type %d' % self.name, ptype)
  84. # ...internals...
  85. def _generate_x(self):
  86. # generate an "x" (1 < x < (p-1)/2).
  87. q = (self.p - 1) // 2
  88. qnorm = util.deflate_long(q, 0)
  89. qhbyte = byte_ord(qnorm[0])
  90. byte_count = len(qnorm)
  91. qmask = 0xff
  92. while not (qhbyte & 0x80):
  93. qhbyte <<= 1
  94. qmask >>= 1
  95. while True:
  96. x_bytes = os.urandom(byte_count)
  97. x_bytes = byte_mask(x_bytes[0], qmask) + x_bytes[1:]
  98. x = util.inflate_long(x_bytes, 1)
  99. if (x > 1) and (x < q):
  100. break
  101. self.x = x
  102. def _parse_kexdh_gex_request(self, m):
  103. minbits = m.get_int()
  104. preferredbits = m.get_int()
  105. maxbits = m.get_int()
  106. # smoosh the user's preferred size into our own limits
  107. if preferredbits > self.max_bits:
  108. preferredbits = self.max_bits
  109. if preferredbits < self.min_bits:
  110. preferredbits = self.min_bits
  111. # fix min/max if they're inconsistent. technically, we could just pout
  112. # and hang up, but there's no harm in giving them the benefit of the
  113. # doubt and just picking a bitsize for them.
  114. if minbits > preferredbits:
  115. minbits = preferredbits
  116. if maxbits < preferredbits:
  117. maxbits = preferredbits
  118. # now save a copy
  119. self.min_bits = minbits
  120. self.preferred_bits = preferredbits
  121. self.max_bits = maxbits
  122. # generate prime
  123. pack = self.transport._get_modulus_pack()
  124. if pack is None:
  125. raise SSHException(
  126. 'Can\'t do server-side gex with no modulus pack')
  127. self.transport._log(
  128. DEBUG,
  129. 'Picking p (%d <= %d <= %d bits)' % (
  130. minbits, preferredbits, maxbits))
  131. self.g, self.p = pack.get_modulus(minbits, preferredbits, maxbits)
  132. m = Message()
  133. m.add_byte(c_MSG_KEXDH_GEX_GROUP)
  134. m.add_mpint(self.p)
  135. m.add_mpint(self.g)
  136. self.transport._send_message(m)
  137. self.transport._expect_packet(_MSG_KEXDH_GEX_INIT)
  138. def _parse_kexdh_gex_request_old(self, m):
  139. # same as above, but without min_bits or max_bits (used by older
  140. # clients like putty)
  141. self.preferred_bits = m.get_int()
  142. # smoosh the user's preferred size into our own limits
  143. if self.preferred_bits > self.max_bits:
  144. self.preferred_bits = self.max_bits
  145. if self.preferred_bits < self.min_bits:
  146. self.preferred_bits = self.min_bits
  147. # generate prime
  148. pack = self.transport._get_modulus_pack()
  149. if pack is None:
  150. raise SSHException(
  151. 'Can\'t do server-side gex with no modulus pack')
  152. self.transport._log(
  153. DEBUG, 'Picking p (~ %d bits)' % (self.preferred_bits,))
  154. self.g, self.p = pack.get_modulus(
  155. self.min_bits, self.preferred_bits, self.max_bits)
  156. m = Message()
  157. m.add_byte(c_MSG_KEXDH_GEX_GROUP)
  158. m.add_mpint(self.p)
  159. m.add_mpint(self.g)
  160. self.transport._send_message(m)
  161. self.transport._expect_packet(_MSG_KEXDH_GEX_INIT)
  162. self.old_style = True
  163. def _parse_kexdh_gex_group(self, m):
  164. self.p = m.get_mpint()
  165. self.g = m.get_mpint()
  166. # reject if p's bit length < 1024 or > 8192
  167. bitlen = util.bit_length(self.p)
  168. if (bitlen < 1024) or (bitlen > 8192):
  169. raise SSHException(
  170. 'Server-generated gex p (don\'t ask) is out of range '
  171. '(%d bits)' % bitlen)
  172. self.transport._log(DEBUG, 'Got server p (%d bits)' % bitlen)
  173. self._generate_x()
  174. # now compute e = g^x mod p
  175. self.e = pow(self.g, self.x, self.p)
  176. m = Message()
  177. m.add_byte(c_MSG_KEXDH_GEX_INIT)
  178. m.add_mpint(self.e)
  179. self.transport._send_message(m)
  180. self.transport._expect_packet(_MSG_KEXDH_GEX_REPLY)
  181. def _parse_kexdh_gex_init(self, m):
  182. self.e = m.get_mpint()
  183. if (self.e < 1) or (self.e > self.p - 1):
  184. raise SSHException('Client kex "e" is out of range')
  185. self._generate_x()
  186. self.f = pow(self.g, self.x, self.p)
  187. K = pow(self.e, self.x, self.p)
  188. key = self.transport.get_server_key().asbytes()
  189. # okay, build up the hash H of
  190. # (V_C || V_S || I_C || I_S || K_S || min || n || max || p || g || e || f || K) # noqa
  191. hm = Message()
  192. hm.add(self.transport.remote_version, self.transport.local_version,
  193. self.transport.remote_kex_init, self.transport.local_kex_init,
  194. key)
  195. if not self.old_style:
  196. hm.add_int(self.min_bits)
  197. hm.add_int(self.preferred_bits)
  198. if not self.old_style:
  199. hm.add_int(self.max_bits)
  200. hm.add_mpint(self.p)
  201. hm.add_mpint(self.g)
  202. hm.add_mpint(self.e)
  203. hm.add_mpint(self.f)
  204. hm.add_mpint(K)
  205. H = self.hash_algo(hm.asbytes()).digest()
  206. self.transport._set_K_H(K, H)
  207. # sign it
  208. sig = self.transport.get_server_key().sign_ssh_data(H)
  209. # send reply
  210. m = Message()
  211. m.add_byte(c_MSG_KEXDH_GEX_REPLY)
  212. m.add_string(key)
  213. m.add_mpint(self.f)
  214. m.add_string(sig)
  215. self.transport._send_message(m)
  216. self.transport._activate_outbound()
  217. def _parse_kexdh_gex_reply(self, m):
  218. host_key = m.get_string()
  219. self.f = m.get_mpint()
  220. sig = m.get_string()
  221. if (self.f < 1) or (self.f > self.p - 1):
  222. raise SSHException('Server kex "f" is out of range')
  223. K = pow(self.f, self.x, self.p)
  224. # okay, build up the hash H of
  225. # (V_C || V_S || I_C || I_S || K_S || min || n || max || p || g || e || f || K) # noqa
  226. hm = Message()
  227. hm.add(self.transport.local_version, self.transport.remote_version,
  228. self.transport.local_kex_init, self.transport.remote_kex_init,
  229. host_key)
  230. if not self.old_style:
  231. hm.add_int(self.min_bits)
  232. hm.add_int(self.preferred_bits)
  233. if not self.old_style:
  234. hm.add_int(self.max_bits)
  235. hm.add_mpint(self.p)
  236. hm.add_mpint(self.g)
  237. hm.add_mpint(self.e)
  238. hm.add_mpint(self.f)
  239. hm.add_mpint(K)
  240. self.transport._set_K_H(K, self.hash_algo(hm.asbytes()).digest())
  241. self.transport._verify_key(host_key, sig)
  242. self.transport._activate_outbound()
  243. class KexGexSHA256(KexGex):
  244. name = 'diffie-hellman-group-exchange-sha256'
  245. hash_algo = sha256