rendmid.c 9.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299
  1. /* Copyright 2004 Roger Dingledine */
  2. /* See LICENSE for licensing information */
  3. /* $Id$ */
  4. /**
  5. * \file rendmid.c
  6. * \brief Implement introductions points and rendezvous points.
  7. **/
  8. #include "or.h"
  9. /** Respond to an ESTABLISH_INTRO cell by checking the signed data and
  10. * setting the circuit's purpose and service pk digest.
  11. */
  12. int
  13. rend_mid_establish_intro(circuit_t *circ, const char *request, int request_len)
  14. {
  15. crypto_pk_env_t *pk = NULL;
  16. char buf[DIGEST_LEN+9];
  17. char expected_digest[DIGEST_LEN];
  18. char pk_digest[DIGEST_LEN];
  19. int asn1len;
  20. circuit_t *c;
  21. char serviceid[REND_SERVICE_ID_LEN+1];
  22. log_fn(LOG_INFO,
  23. "Received an ESTABLISH_INTRO request on circuit %d", circ->p_circ_id);
  24. if (circ->purpose != CIRCUIT_PURPOSE_OR || circ->n_conn) {
  25. log_fn(LOG_WARN, "Rejecting ESTABLISH_INTRO on non-OR or non-edge circuit");
  26. goto err;
  27. }
  28. if (request_len < 2+DIGEST_LEN)
  29. goto truncated;
  30. /* First 2 bytes: length of asn1-encoded key. */
  31. asn1len = ntohs(get_uint16(request));
  32. /* Next asn1len bytes: asn1-encoded key. */
  33. if (request_len < 2+DIGEST_LEN+asn1len)
  34. goto truncated;
  35. pk = crypto_pk_asn1_decode(request+2, asn1len);
  36. if (!pk) {
  37. log_fn(LOG_WARN, "Couldn't decode public key");
  38. goto err;
  39. }
  40. /* Next 20 bytes: Hash of handshake_digest | "INTRODUCE" */
  41. memcpy(buf, circ->handshake_digest, DIGEST_LEN);
  42. memcpy(buf+DIGEST_LEN, "INTRODUCE", 9);
  43. if (crypto_digest(buf, DIGEST_LEN+9, expected_digest)<0) {
  44. log_fn(LOG_WARN, "Error computing digest");
  45. goto err;
  46. }
  47. if (memcmp(expected_digest, request+2+asn1len, DIGEST_LEN)) {
  48. log_fn(LOG_WARN, "Hash of session info was not as expected");
  49. goto err;
  50. }
  51. /* Rest of body: signature of previous data */
  52. if (crypto_pk_public_checksig_digest(pk, request, 2+asn1len+DIGEST_LEN,
  53. request+2+DIGEST_LEN+asn1len,
  54. request_len-(2+DIGEST_LEN+asn1len))<0) {
  55. log_fn(LOG_WARN, "Incorrect signature on ESTABLISH_INTRO cell; rejecting");
  56. goto err;
  57. }
  58. /* The request is valid. First, compute the hash of Bob's PK.*/
  59. if (crypto_pk_get_digest(pk, pk_digest)<0) {
  60. log_fn(LOG_WARN, "Couldn't hash public key.");
  61. goto err;
  62. }
  63. if (base32_encode(serviceid, REND_SERVICE_ID_LEN+1,
  64. pk_digest,10)) {
  65. goto err;
  66. }
  67. /* Close any other intro circuits with the same pk. */
  68. c = NULL;
  69. while ((c = circuit_get_next_by_pk_and_purpose(
  70. c,pk_digest,CIRCUIT_PURPOSE_INTRO_POINT))) {
  71. log_fn(LOG_INFO, "Replacing old circuit %d for service %s",
  72. c->p_circ_id, serviceid);
  73. circuit_mark_for_close(c);
  74. }
  75. /* Acknlowedge the request. */
  76. if (connection_edge_send_command(NULL,circ,
  77. RELAY_COMMAND_INTRO_ESTABLISHED,
  78. "", 0, NULL)<0) {
  79. log_fn(LOG_WARN, "Couldn't send INTRO_ESTABLISHED cell");
  80. goto err;
  81. }
  82. /* Now, set up this circuit. */
  83. circ->purpose = CIRCUIT_PURPOSE_INTRO_POINT;
  84. memcpy(circ->rend_pk_digest, pk_digest, DIGEST_LEN);
  85. log_fn(LOG_INFO,
  86. "Established introduction point on circuit %d for service %s",
  87. circ->p_circ_id, serviceid);
  88. return 0;
  89. truncated:
  90. log_fn(LOG_WARN, "Rejecting truncated ESTABLISH_INTRO cell");
  91. err:
  92. if (pk) crypto_free_pk_env(pk);
  93. circuit_mark_for_close(circ);
  94. return -1;
  95. }
  96. /** Process an INTRODUCE1 cell by finding the corresponding introduction
  97. * circuit, and relaying the body of the INTRODUCE1 cell inside an
  98. * INTRODUCE2 cell.
  99. */
  100. int
  101. rend_mid_introduce(circuit_t *circ, const char *request, int request_len)
  102. {
  103. circuit_t *intro_circ;
  104. char serviceid[REND_SERVICE_ID_LEN+1];
  105. char nak_body[1];
  106. if (circ->purpose != CIRCUIT_PURPOSE_OR || circ->n_conn) {
  107. log_fn(LOG_WARN, "Rejecting INTRODUCE1 on non-OR or non-edge circuit %d",
  108. circ->p_circ_id);
  109. goto err;
  110. }
  111. if (request_len < (DIGEST_LEN+(MAX_NICKNAME_LEN+1)+REND_COOKIE_LEN+
  112. DH_KEY_LEN+CIPHER_KEY_LEN+PKCS1_OAEP_PADDING_OVERHEAD)) {
  113. log_fn(LOG_WARN,
  114. "Impossibly short INTRODUCE1 cell on circuit %d; responding with nack.",
  115. circ->p_circ_id);
  116. goto err;
  117. }
  118. if (base32_encode(serviceid, REND_SERVICE_ID_LEN+1, request,10)) {
  119. goto err;
  120. }
  121. /* The first 20 bytes are all we look at: they have a hash of Bob's PK. */
  122. intro_circ = circuit_get_next_by_pk_and_purpose(
  123. NULL, request, CIRCUIT_PURPOSE_INTRO_POINT);
  124. if (!intro_circ) {
  125. log_fn(LOG_WARN,
  126. "No intro circ found for INTRODUCE1 cell (%s) from circuit %d; responding with nack",
  127. serviceid, circ->p_circ_id);
  128. goto err;
  129. }
  130. log_fn(LOG_INFO,
  131. "Sending introduction request for service %s from circ %d to circ %d",
  132. serviceid, circ->p_circ_id, intro_circ->p_circ_id);
  133. /* Great. Now we just relay the cell down the circuit. */
  134. if (connection_edge_send_command(NULL, intro_circ,
  135. RELAY_COMMAND_INTRODUCE2,
  136. request, request_len, NULL)) {
  137. log_fn(LOG_WARN, "Unable to send INTRODUCE2 cell to OP.");
  138. goto err;
  139. }
  140. /* And sent an ack down the cirecuit. Empty body->succeeded. */
  141. if (connection_edge_send_command(NULL,circ,RELAY_COMMAND_INTRODUCE_ACK,
  142. NULL,0,NULL)) {
  143. log_fn(LOG_WARN, "Unable to send INTRODUCE_ACK cell to OP.");
  144. circuit_mark_for_close(circ);
  145. return -1;
  146. }
  147. return 0;
  148. err:
  149. /* Send the client an NACK */
  150. nak_body[0] = 1;
  151. if (connection_edge_send_command(NULL,circ,RELAY_COMMAND_INTRODUCE_ACK,
  152. nak_body, 1, NULL)) {
  153. log_fn(LOG_WARN, "Unable to send NAK to OP");
  154. circuit_mark_for_close(circ); /* Is this right? */
  155. }
  156. return -1;
  157. }
  158. /** Process an ESTABLISH_RENDEZVOUS cell by setting the circuit's purpose and
  159. * rendezvous cookie.
  160. */
  161. int
  162. rend_mid_establish_rendezvous(circuit_t *circ, const char *request, int request_len)
  163. {
  164. char hexid[9];
  165. if (circ->purpose != CIRCUIT_PURPOSE_OR || circ->n_conn) {
  166. log_fn(LOG_WARN, "Tried to establish rendezvous on non-OR or non-edge circuit");
  167. goto err;
  168. }
  169. if (request_len != REND_COOKIE_LEN) {
  170. log_fn(LOG_WARN, "Invalid length on ESTABLISH_RENDEZVOUS");
  171. goto err;
  172. }
  173. if (circuit_get_rendezvous(request)) {
  174. log_fn(LOG_WARN, "Duplicate rendezvous cookie in ESTABLISH_RENDEZVOUS");
  175. goto err;
  176. }
  177. /* Acknlowedge the request. */
  178. if (connection_edge_send_command(NULL,circ,
  179. RELAY_COMMAND_RENDEZVOUS_ESTABLISHED,
  180. "", 0, NULL)<0) {
  181. log_fn(LOG_WARN, "Couldn't send RENDEZVOUS_ESTABLISHED cell");
  182. goto err;
  183. }
  184. circ->purpose = CIRCUIT_PURPOSE_REND_POINT_WAITING;
  185. memcpy(circ->rend_cookie, request, REND_COOKIE_LEN);
  186. hex_encode(request,4,hexid);
  187. log_fn(LOG_INFO, "Established rendezvous point on circuit %d for cookie %s",
  188. circ->p_circ_id, hexid);
  189. return 0;
  190. err:
  191. circuit_mark_for_close(circ);
  192. return -1;
  193. }
  194. /** Process a RENDEZVOUS1 cell by looking up the correct rendezvous
  195. * circuit by its relaying the cell's body in a RENDEZVOUS2 cell, and
  196. * connecting the two circuits.
  197. */
  198. int
  199. rend_mid_rendezvous(circuit_t *circ, const char *request, int request_len)
  200. {
  201. circuit_t *rend_circ;
  202. char hexid[9];
  203. if (request_len>=4) {
  204. hex_encode(request,4,hexid);
  205. log_fn(LOG_INFO, "Got request for rendezvous from circuit %d to cookie %s",
  206. circ->p_circ_id, hexid);
  207. }
  208. if (circ->purpose != CIRCUIT_PURPOSE_OR || circ->n_conn) {
  209. log_fn(LOG_WARN,
  210. "Tried to complete rendezvous on non-OR or non-edge circuit %d",
  211. circ->p_circ_id);
  212. goto err;
  213. }
  214. if (request_len != REND_COOKIE_LEN+DH_KEY_LEN+DIGEST_LEN) {
  215. log_fn(LOG_WARN,
  216. "Rejecting RENDEZVOUS1 cell with bad length (%d) on circuit %d",
  217. request_len, circ->p_circ_id);
  218. goto err;
  219. }
  220. rend_circ = circuit_get_rendezvous(request);
  221. if (!rend_circ) {
  222. log_fn(LOG_WARN,
  223. "Rejecting RENDEZVOUS1 cell with unrecognized rendezvous cookie %s",
  224. hexid);
  225. goto err;
  226. }
  227. /* Send the RENDEZVOUS2 cell to Alice. */
  228. if (connection_edge_send_command(NULL, rend_circ,
  229. RELAY_COMMAND_RENDEZVOUS2,
  230. request+REND_COOKIE_LEN,
  231. request_len-REND_COOKIE_LEN, NULL)) {
  232. log_fn(LOG_WARN, "Unable to send RENDEZVOUS2 cell to OP on circuit %d",
  233. rend_circ->p_circ_id);
  234. goto err;
  235. }
  236. /* Join the circuits. */
  237. log_fn(LOG_INFO,
  238. "Completing rendezvous: circuit %d joins circuit %d (cookie %s)",
  239. circ->p_circ_id, rend_circ->p_circ_id, hexid);
  240. circ->purpose = CIRCUIT_PURPOSE_REND_ESTABLISHED;
  241. rend_circ->purpose = CIRCUIT_PURPOSE_REND_ESTABLISHED;
  242. memset(circ->rend_cookie, 0, REND_COOKIE_LEN);
  243. rend_circ->rend_splice = circ;
  244. circ->rend_splice = rend_circ;
  245. return 0;
  246. err:
  247. circuit_mark_for_close(circ);
  248. return -1;
  249. }
  250. /*
  251. Local Variables:
  252. mode:c
  253. indent-tabs-mode:nil
  254. c-basic-offset:2
  255. End:
  256. */