Implement `keepalive' site option, to try to keep link always up.
[secnet] / site.c
1 /* site.c - manage communication with a remote network site */
2
3 /*
4 * This file is part of secnet.
5 * See README for full list of copyright holders.
6 *
7 * secnet is free software; you can redistribute it and/or modify it
8 * under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version d of the License, or
10 * (at your option) any later version.
11 *
12 * secnet is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * version 3 along with secnet; if not, see
19 * https://www.gnu.org/licenses/gpl.html.
20 */
21
22 /* The 'site' code doesn't know anything about the structure of the
23 packets it's transmitting. In fact, under the new netlink
24 configuration scheme it doesn't need to know anything at all about
25 IP addresses, except how to contact its peer. This means it could
26 potentially be used to tunnel other protocols too (IPv6, IPX, plain
27 old Ethernet frames) if appropriate netlink code can be written
28 (and that ought not to be too hard, eg. using the TUN/TAP device to
29 pretend to be an Ethernet interface). */
30
31 /* At some point in the future the netlink code will be asked for
32 configuration information to go in the PING/PONG packets at the end
33 of the key exchange. */
34
35 #include "secnet.h"
36 #include <stdio.h>
37 #include <string.h>
38 #include <limits.h>
39 #include <assert.h>
40 #include <sys/socket.h>
41
42 #include <sys/mman.h>
43 #include "util.h"
44 #include "unaligned.h"
45 #include "magic.h"
46
47 #define SETUP_BUFFER_LEN 2048
48
49 #define DEFAULT_KEY_LIFETIME (3600*1000) /* [ms] */
50 #define DEFAULT_KEY_RENEGOTIATE_GAP (5*60*1000) /* [ms] */
51 #define DEFAULT_SETUP_RETRIES 5
52 #define DEFAULT_SETUP_RETRY_INTERVAL (2*1000) /* [ms] */
53 #define DEFAULT_WAIT_TIME (20*1000) /* [ms] */
54
55 #define DEFAULT_MOBILE_KEY_LIFETIME (2*24*3600*1000) /* [ms] */
56 #define DEFAULT_MOBILE_KEY_RENEGOTIATE_GAP (12*3600*1000) /* [ms] */
57 #define DEFAULT_MOBILE_SETUP_RETRIES 30
58 #define DEFAULT_MOBILE_SETUP_RETRY_INTERVAL (1*1000) /* [ms] */
59 #define DEFAULT_MOBILE_WAIT_TIME (10*1000) /* [ms] */
60
61 #define DEFAULT_MOBILE_PEER_EXPIRY (2*60) /* [s] */
62
63 /* Each site can be in one of several possible states. */
64
65 /* States:
66 SITE_STOP - nothing is allowed to happen; tunnel is down;
67 all session keys have been erased
68 -> SITE_RUN upon external instruction
69 SITE_RUN - site up, maybe with valid key
70 -> SITE_RESOLVE upon outgoing packet and no valid key
71 we start name resolution for the other end of the tunnel
72 -> SITE_SENTMSG2 upon valid incoming message 1 and suitable time
73 we send an appropriate message 2
74 SITE_RESOLVE - waiting for name resolution
75 -> SITE_SENTMSG1 upon successful resolution
76 we send an appropriate message 1
77 -> SITE_SENTMSG2 upon valid incoming message 1 (then abort resolution)
78 we abort resolution and
79 -> SITE_WAIT on timeout or resolution failure
80 SITE_SENTMSG1
81 -> SITE_SENTMSG2 upon valid incoming message 1 from higher priority end
82 -> SITE_SENTMSG3 upon valid incoming message 2
83 -> SITE_WAIT on timeout
84 SITE_SENTMSG2
85 -> SITE_SENTMSG4 upon valid incoming message 3
86 -> SITE_WAIT on timeout
87 SITE_SENTMSG3
88 -> SITE_SENTMSG5 upon valid incoming message 4
89 -> SITE_WAIT on timeout
90 SITE_SENTMSG4
91 -> SITE_RUN upon valid incoming message 5
92 -> SITE_WAIT on timeout
93 SITE_SENTMSG5
94 -> SITE_RUN upon valid incoming message 6
95 -> SITE_WAIT on timeout
96 SITE_WAIT - failed to establish key; do nothing for a while
97 -> SITE_RUN on timeout
98 */
99
100 #define SITE_STOP 0
101 #define SITE_RUN 1
102 #define SITE_RESOLVE 2
103 #define SITE_SENTMSG1 3
104 #define SITE_SENTMSG2 4
105 #define SITE_SENTMSG3 5
106 #define SITE_SENTMSG4 6
107 #define SITE_SENTMSG5 7
108 #define SITE_WAIT 8
109
110 int32_t site_max_start_pad = 4*4;
111
112 static cstring_t state_name(uint32_t state)
113 {
114 switch (state) {
115 case 0: return "STOP";
116 case 1: return "RUN";
117 case 2: return "RESOLVE";
118 case 3: return "SENTMSG1";
119 case 4: return "SENTMSG2";
120 case 5: return "SENTMSG3";
121 case 6: return "SENTMSG4";
122 case 7: return "SENTMSG5";
123 case 8: return "WAIT";
124 default: return "*bad state*";
125 }
126 }
127
128 #define NONCELEN 8
129
130 #define LOG_UNEXPECTED 0x00000001
131 #define LOG_SETUP_INIT 0x00000002
132 #define LOG_SETUP_TIMEOUT 0x00000004
133 #define LOG_ACTIVATE_KEY 0x00000008
134 #define LOG_TIMEOUT_KEY 0x00000010
135 #define LOG_SEC 0x00000020
136 #define LOG_STATE 0x00000040
137 #define LOG_DROP 0x00000080
138 #define LOG_DUMP 0x00000100
139 #define LOG_ERROR 0x00000400
140 #define LOG_PEER_ADDRS 0x00000800
141
142 static struct flagstr log_event_table[]={
143 { "unexpected", LOG_UNEXPECTED },
144 { "setup-init", LOG_SETUP_INIT },
145 { "setup-timeout", LOG_SETUP_TIMEOUT },
146 { "activate-key", LOG_ACTIVATE_KEY },
147 { "timeout-key", LOG_TIMEOUT_KEY },
148 { "security", LOG_SEC },
149 { "state-change", LOG_STATE },
150 { "packet-drop", LOG_DROP },
151 { "dump-packets", LOG_DUMP },
152 { "errors", LOG_ERROR },
153 { "peer-addrs", LOG_PEER_ADDRS },
154 { "default", LOG_SETUP_INIT|LOG_SETUP_TIMEOUT|
155 LOG_ACTIVATE_KEY|LOG_TIMEOUT_KEY|LOG_SEC|LOG_ERROR },
156 { "all", 0xffffffff },
157 { NULL, 0 }
158 };
159
160
161 /***** TRANSPORT PEERS declarations *****/
162
163 /* Details of "mobile peer" semantics:
164
165 - We use the same data structure for the different configurations,
166 but manage it with different algorithms.
167
168 - We record up to mobile_peers_max peer address/port numbers
169 ("peers") for key setup, and separately up to mobile_peers_max
170 for data transfer.
171
172 - In general, we make a new set of addrs (see below) when we start
173 a new key exchange; the key setup addrs become the data transport
174 addrs when key setup complets.
175
176 If our peer is mobile:
177
178 - We send to all recent addresses of incoming packets, plus
179 initially all configured addresses (which we also expire).
180
181 - So, we record addrs of good incoming packets, as follows:
182 1. expire any peers last seen >120s ("mobile-peer-expiry") ago
183 2. add the peer of the just received packet to the applicable list
184 (possibly evicting the oldest entries to make room)
185 NB that we do not expire peers until an incoming packet arrives.
186
187 - If the peer has a configured address or name, we record them the
188 same way, but only as a result of our own initiation of key
189 setup. (We might evict some incoming packet addrs to make room.)
190
191 - The default number of addrs to keep is 3, or 4 if we have a
192 configured name or address. That's space for two configured
193 addresses (one IPv6 and one IPv4), plus two received addresses.
194
195 - Outgoing packets are sent to every recorded address in the
196 applicable list. Any unsupported[1] addresses are deleted from
197 the list right away. (This should only happen to configured
198 addresses, of course, but there is no need to check that.)
199
200 - When we successfully complete a key setup, we merge the key setup
201 peers into the data transfer peers.
202
203 [1] An unsupported address is one for whose AF we don't have a
204 socket (perhaps because we got EAFNOSUPPORT or some such) or for
205 which sendto gives ENETUNREACH.
206
207 If neither end is mobile:
208
209 - When peer initiated the key exchange, we use the incoming packet
210 address.
211
212 - When we initiate the key exchange, we try configured addresses
213 until we get one which isn't unsupported then fixate on that.
214
215 - When we complete a key setup, we replace the data transport peers
216 with those from the key setup.
217
218 If we are mobile:
219
220 - We can't tell when local network setup changes so we can't cache
221 the unsupported addrs and completely remove the spurious calls to
222 sendto, but we can optimise things a bit by deprioritising addrs
223 which seem to be unsupported.
224
225 - Use only configured addresses. (Except, that if our peer
226 initiated a key exchange we use the incoming packet address until
227 our name resolution completes.)
228
229 - When we send a packet, try each address in turn; if addr
230 supported, put that address to the end of the list for future
231 packets, and go onto the next address.
232
233 - When we complete a key setup, we replace the data transport peers
234 with those from the key setup.
235
236 */
237
238 typedef struct {
239 struct timeval last;
240 struct comm_addr addr;
241 } transport_peer;
242
243 typedef struct {
244 /* configuration information */
245 /* runtime information */
246 int npeers;
247 transport_peer peers[MAX_PEER_ADDRS];
248 } transport_peers;
249
250 /* Basic operations on transport peer address sets */
251 static void transport_peers_clear(struct site *st, transport_peers *peers);
252 static int transport_peers_valid(transport_peers *peers);
253 static void transport_peers_copy(struct site *st, transport_peers *dst,
254 const transport_peers *src);
255
256 /* Record address of incoming setup packet; resp. data packet. */
257 static void transport_setup_msgok(struct site *st, const struct comm_addr *a);
258 static void transport_data_msgok(struct site *st, const struct comm_addr *a);
259
260 /* Initialise the setup addresses. Called before we send the first
261 * packet in a key exchange. If we are the initiator, as a result of
262 * resolve completing (or being determined not to be relevant) or an
263 * incoming PROD; if we are the responder, as a result of the MSG1. */
264 static bool_t transport_compute_setupinit_peers(struct site *st,
265 const struct comm_addr *configured_addrs /* 0 if none or not found */,
266 int n_configured_addrs /* 0 if none or not found */,
267 const struct comm_addr *incoming_packet_addr /* 0 if none */);
268
269 /* Called if we are the responder in a key setup, when the resolve
270 * completes. transport_compute_setupinit_peers will hvae been called
271 * earlier. If _complete is called, we are still doing the key setup
272 * (and we should use the new values for both the rest of the key
273 * setup and the ongoing data exchange); if _tardy is called, the key
274 * setup is done (either completed or not) and only the data peers are
275 * relevant */
276 static void transport_resolve_complete(struct site *st,
277 const struct comm_addr *addrs, int naddrs);
278 static void transport_resolve_complete_tardy(struct site *st,
279 const struct comm_addr *addrs, int naddrs);
280
281 static void transport_xmit(struct site *st, transport_peers *peers,
282 struct buffer_if *buf, bool_t candebug);
283
284 /***** END of transport peers declarations *****/
285
286
287 struct data_key {
288 struct transform_inst_if *transform;
289 uint64_t key_timeout; /* End of life of current key */
290 uint32_t remote_session_id;
291 };
292
293 struct site {
294 closure_t cl;
295 struct site_if ops;
296 /* configuration information */
297 string_t localname;
298 string_t remotename;
299 bool_t keepalive;
300 bool_t local_mobile, peer_mobile; /* Mobile client support */
301 int32_t transport_peers_max;
302 string_t tunname; /* localname<->remotename by default, used in logs */
303 cstring_t *addresses; /* DNS name or address(es) for bootstrapping, optional */
304 int remoteport; /* Port for bootstrapping, optional */
305 uint32_t mtu_target;
306 struct netlink_if *netlink;
307 struct comm_if **comms;
308 int ncomms;
309 struct resolver_if *resolver;
310 struct log_if *log;
311 struct random_if *random;
312 struct rsaprivkey_if *privkey;
313 struct rsapubkey_if *pubkey;
314 struct transform_if **transforms;
315 int ntransforms;
316 struct dh_if *dh;
317 struct hash_if *hash;
318
319 uint32_t index; /* Index of this site */
320 uint32_t local_capabilities;
321 int32_t setup_retries; /* How many times to send setup packets */
322 int32_t setup_retry_interval; /* Initial timeout for setup packets */
323 int32_t wait_timeout; /* How long to wait if setup unsuccessful */
324 int32_t mobile_peer_expiry; /* How long to remember 2ary addresses */
325 int32_t key_lifetime; /* How long a key lasts once set up */
326 int32_t key_renegotiate_time; /* If we see traffic (or a keepalive)
327 after this time, initiate a new
328 key exchange */
329
330 bool_t setup_priority; /* Do we have precedence if both sites emit
331 message 1 simultaneously? */
332 uint32_t log_events;
333
334 /* runtime information */
335 uint32_t state;
336 uint64_t now; /* Most recently seen time */
337 bool_t allow_send_prod;
338 int resolving_count;
339 int resolving_n_results_all;
340 int resolving_n_results_stored;
341 struct comm_addr resolving_results[MAX_PEER_ADDRS];
342
343 /* The currently established session */
344 struct data_key current;
345 struct data_key auxiliary_key;
346 bool_t auxiliary_is_new;
347 uint64_t renegotiate_key_time; /* When we can negotiate a new key */
348 uint64_t auxiliary_renegotiate_key_time;
349 transport_peers peers; /* Current address(es) of peer for data traffic */
350
351 /* The current key setup protocol exchange. We can only be
352 involved in one of these at a time. There's a potential for
353 denial of service here (the attacker keeps sending a setup
354 packet; we keep trying to continue the exchange, and have to
355 timeout before we can listen for another setup packet); perhaps
356 we should keep a list of 'bad' sources for setup packets. */
357 uint32_t remote_capabilities;
358 uint16_t remote_adv_mtu;
359 struct transform_if *chosen_transform;
360 uint32_t setup_session_id;
361 transport_peers setup_peers;
362 uint8_t localN[NONCELEN]; /* Nonces for key exchange */
363 uint8_t remoteN[NONCELEN];
364 struct buffer_if buffer; /* Current outgoing key exchange packet */
365 struct buffer_if scratch;
366 int32_t retries; /* Number of retries remaining */
367 uint64_t timeout; /* Timeout for current state */
368 uint8_t *dhsecret;
369 uint8_t *sharedsecret;
370 uint32_t sharedsecretlen, sharedsecretallocd;
371 struct transform_inst_if *new_transform; /* For key setup/verify */
372 };
373
374 static uint32_t event_log_priority(struct site *st, uint32_t event)
375 {
376 if (!(event&st->log_events))
377 return 0;
378 switch(event) {
379 case LOG_UNEXPECTED: return M_INFO;
380 case LOG_SETUP_INIT: return M_INFO;
381 case LOG_SETUP_TIMEOUT: return M_NOTICE;
382 case LOG_ACTIVATE_KEY: return M_INFO;
383 case LOG_TIMEOUT_KEY: return M_INFO;
384 case LOG_SEC: return M_SECURITY;
385 case LOG_STATE: return M_DEBUG;
386 case LOG_DROP: return M_DEBUG;
387 case LOG_DUMP: return M_DEBUG;
388 case LOG_ERROR: return M_ERR;
389 case LOG_PEER_ADDRS: return M_DEBUG;
390 default: return M_ERR;
391 }
392 }
393
394 static void vslog(struct site *st, uint32_t event, cstring_t msg, va_list ap)
395 FORMAT(printf,3,0);
396 static void vslog(struct site *st, uint32_t event, cstring_t msg, va_list ap)
397 {
398 uint32_t class;
399
400 class=event_log_priority(st, event);
401 if (class) {
402 slilog_part(st->log,class,"%s: ",st->tunname);
403 vslilog_part(st->log,class,msg,ap);
404 slilog_part(st->log,class,"\n");
405 }
406 }
407
408 static void slog(struct site *st, uint32_t event, cstring_t msg, ...)
409 FORMAT(printf,3,4);
410 static void slog(struct site *st, uint32_t event, cstring_t msg, ...)
411 {
412 va_list ap;
413 va_start(ap,msg);
414 vslog(st,event,msg,ap);
415 va_end(ap);
416 }
417
418 static void logtimeout(struct site *st, const char *fmt, ...)
419 FORMAT(printf,2,3);
420 static void logtimeout(struct site *st, const char *fmt, ...)
421 {
422 uint32_t class=event_log_priority(st,LOG_SETUP_TIMEOUT);
423 if (!class)
424 return;
425
426 va_list ap;
427 va_start(ap,fmt);
428
429 slilog_part(st->log,class,"%s: ",st->tunname);
430 vslilog_part(st->log,class,fmt,ap);
431
432 const char *delim;
433 int i;
434 for (i=0, delim=" (tried ";
435 i<st->setup_peers.npeers;
436 i++, delim=", ") {
437 transport_peer *peer=&st->setup_peers.peers[i];
438 const char *s=comm_addr_to_string(&peer->addr);
439 slilog_part(st->log,class,"%s%s",delim,s);
440 }
441
442 slilog_part(st->log,class,")\n");
443 va_end(ap);
444 }
445
446 static void set_link_quality(struct site *st);
447 static void delete_keys(struct site *st, cstring_t reason, uint32_t loglevel);
448 static void delete_one_key(struct site *st, struct data_key *key,
449 const char *reason /* may be 0 meaning don't log*/,
450 const char *which /* ignored if !reasonn */,
451 uint32_t loglevel /* ignored if !reasonn */);
452 static bool_t initiate_key_setup(struct site *st, cstring_t reason,
453 const struct comm_addr *prod_hint);
454 static void enter_state_run(struct site *st);
455 static bool_t enter_state_resolve(struct site *st);
456 static void decrement_resolving_count(struct site *st, int by);
457 static bool_t enter_new_state(struct site *st,uint32_t next);
458 static void enter_state_wait(struct site *st);
459 static void activate_new_key(struct site *st);
460
461 static bool_t is_transform_valid(struct transform_inst_if *transform)
462 {
463 return transform && transform->valid(transform->st);
464 }
465
466 static bool_t current_valid(struct site *st)
467 {
468 return is_transform_valid(st->current.transform);
469 }
470
471 #define DEFINE_CALL_TRANSFORM(fwdrev) \
472 static int call_transform_##fwdrev(struct site *st, \
473 struct transform_inst_if *transform, \
474 struct buffer_if *buf, \
475 const char **errmsg) \
476 { \
477 if (!is_transform_valid(transform)) { \
478 *errmsg="transform not set up"; \
479 return 1; \
480 } \
481 return transform->fwdrev(transform->st,buf,errmsg); \
482 }
483
484 DEFINE_CALL_TRANSFORM(forwards)
485 DEFINE_CALL_TRANSFORM(reverse)
486
487 static void dispose_transform(struct transform_inst_if **transform_var)
488 {
489 struct transform_inst_if *transform=*transform_var;
490 if (transform) {
491 transform->delkey(transform->st);
492 transform->destroy(transform->st);
493 }
494 *transform_var = 0;
495 }
496
497 #define CHECK_AVAIL(b,l) do { if ((b)->size<(l)) return False; } while(0)
498 #define CHECK_EMPTY(b) do { if ((b)->size!=0) return False; } while(0)
499 #define CHECK_TYPE(b,t) do { uint32_t type; \
500 CHECK_AVAIL((b),4); \
501 type=buf_unprepend_uint32((b)); \
502 if (type!=(t)) return False; } while(0)
503
504 static _Bool type_is_msg34(uint32_t type)
505 {
506 return
507 type == LABEL_MSG3 ||
508 type == LABEL_MSG3BIS ||
509 type == LABEL_MSG4;
510 }
511
512 struct parsedname {
513 int32_t len;
514 uint8_t *name;
515 struct buffer_if extrainfo;
516 };
517
518 struct msg {
519 uint8_t *hashstart;
520 uint32_t dest;
521 uint32_t source;
522 struct parsedname remote;
523 struct parsedname local;
524 uint32_t remote_capabilities;
525 uint16_t remote_mtu;
526 int capab_transformnum;
527 uint8_t *nR;
528 uint8_t *nL;
529 int32_t pklen;
530 char *pk;
531 int32_t hashlen;
532 int32_t siglen;
533 char *sig;
534 };
535
536 static void set_new_transform(struct site *st, char *pk)
537 {
538 /* Make room for the shared key */
539 st->sharedsecretlen=st->chosen_transform->keylen?:st->dh->ceil_len;
540 assert(st->sharedsecretlen);
541 if (st->sharedsecretlen > st->sharedsecretallocd) {
542 st->sharedsecretallocd=st->sharedsecretlen;
543 st->sharedsecret=safe_realloc_ary(st->sharedsecret,1,
544 st->sharedsecretallocd,
545 "site:sharedsecret");
546 }
547
548 /* Generate the shared key */
549 st->dh->makeshared(st->dh->st,st->dhsecret,st->dh->len,pk,
550 st->sharedsecret,st->sharedsecretlen);
551
552 /* Set up the transform */
553 struct transform_if *generator=st->chosen_transform;
554 struct transform_inst_if *generated=generator->create(generator->st);
555 generated->setkey(generated->st,st->sharedsecret,
556 st->sharedsecretlen,st->setup_priority);
557 dispose_transform(&st->new_transform);
558 st->new_transform=generated;
559
560 slog(st,LOG_SETUP_INIT,"key exchange negotiated transform"
561 " %d (capabilities ours=%#"PRIx32" theirs=%#"PRIx32")",
562 st->chosen_transform->capab_transformnum,
563 st->local_capabilities, st->remote_capabilities);
564 }
565
566 struct xinfoadd {
567 int32_t lenpos, afternul;
568 };
569 static void append_string_xinfo_start(struct buffer_if *buf,
570 struct xinfoadd *xia,
571 const char *str)
572 /* Helps construct one of the names with additional info as found
573 * in MSG1..4. Call this function first, then append all the
574 * desired extra info (not including the nul byte) to the buffer,
575 * then call append_string_xinfo_done. */
576 {
577 xia->lenpos = buf->size;
578 buf_append_string(buf,str);
579 buf_append_uint8(buf,0);
580 xia->afternul = buf->size;
581 }
582 static void append_string_xinfo_done(struct buffer_if *buf,
583 struct xinfoadd *xia)
584 {
585 /* we just need to adjust the string length */
586 if (buf->size == xia->afternul) {
587 /* no extra info, strip the nul too */
588 buf_unappend_uint8(buf);
589 } else {
590 put_uint16(buf->start+xia->lenpos, buf->size-(xia->lenpos+2));
591 }
592 }
593
594 /* Build any of msg1 to msg4. msg5 and msg6 are built from the inside
595 out using a transform of config data supplied by netlink */
596 static bool_t generate_msg(struct site *st, uint32_t type, cstring_t what)
597 {
598 void *hst;
599 uint8_t *hash;
600 string_t dhpub, sig;
601
602 st->retries=st->setup_retries;
603 BUF_ALLOC(&st->buffer,what);
604 buffer_init(&st->buffer,0);
605 buf_append_uint32(&st->buffer,
606 (type==LABEL_MSG1?0:st->setup_session_id));
607 buf_append_uint32(&st->buffer,st->index);
608 buf_append_uint32(&st->buffer,type);
609
610 struct xinfoadd xia;
611 append_string_xinfo_start(&st->buffer,&xia,st->localname);
612 if ((st->local_capabilities & CAPAB_EARLY) || (type != LABEL_MSG1)) {
613 buf_append_uint32(&st->buffer,st->local_capabilities);
614 }
615 if (type_is_msg34(type)) {
616 buf_append_uint16(&st->buffer,st->mtu_target);
617 }
618 append_string_xinfo_done(&st->buffer,&xia);
619
620 buf_append_string(&st->buffer,st->remotename);
621 BUF_ADD_OBJ(append,&st->buffer,st->localN);
622 if (type==LABEL_MSG1) return True;
623 BUF_ADD_OBJ(append,&st->buffer,st->remoteN);
624 if (type==LABEL_MSG2) return True;
625
626 if (hacky_par_mid_failnow()) return False;
627
628 if (type==LABEL_MSG3BIS)
629 buf_append_uint8(&st->buffer,st->chosen_transform->capab_transformnum);
630
631 dhpub=st->dh->makepublic(st->dh->st,st->dhsecret,st->dh->len);
632 buf_append_string(&st->buffer,dhpub);
633 free(dhpub);
634 hash=safe_malloc(st->hash->len, "generate_msg");
635 hst=st->hash->init();
636 st->hash->update(hst,st->buffer.start,st->buffer.size);
637 st->hash->final(hst,hash);
638 sig=st->privkey->sign(st->privkey->st,hash,st->hash->len);
639 buf_append_string(&st->buffer,sig);
640 free(sig);
641 free(hash);
642 return True;
643 }
644
645 static bool_t unpick_name(struct buffer_if *msg, struct parsedname *nm)
646 {
647 CHECK_AVAIL(msg,2);
648 nm->len=buf_unprepend_uint16(msg);
649 CHECK_AVAIL(msg,nm->len);
650 nm->name=buf_unprepend(msg,nm->len);
651 uint8_t *nul=memchr(nm->name,0,nm->len);
652 if (!nul) {
653 buffer_readonly_view(&nm->extrainfo,0,0);
654 } else {
655 buffer_readonly_view(&nm->extrainfo, nul+1, msg->start-(nul+1));
656 nm->len=nul-nm->name;
657 }
658 return True;
659 }
660
661 static bool_t unpick_msg(struct site *st, uint32_t type,
662 struct buffer_if *msg, struct msg *m)
663 {
664 m->capab_transformnum=-1;
665 m->hashstart=msg->start;
666 CHECK_AVAIL(msg,4);
667 m->dest=buf_unprepend_uint32(msg);
668 CHECK_AVAIL(msg,4);
669 m->source=buf_unprepend_uint32(msg);
670 CHECK_TYPE(msg,type);
671 if (!unpick_name(msg,&m->remote)) return False;
672 m->remote_capabilities=0;
673 m->remote_mtu=0;
674 if (m->remote.extrainfo.size) {
675 CHECK_AVAIL(&m->remote.extrainfo,4);
676 m->remote_capabilities=buf_unprepend_uint32(&m->remote.extrainfo);
677 }
678 if (type_is_msg34(type) && m->remote.extrainfo.size) {
679 CHECK_AVAIL(&m->remote.extrainfo,2);
680 m->remote_mtu=buf_unprepend_uint16(&m->remote.extrainfo);
681 }
682 if (!unpick_name(msg,&m->local)) return False;
683 if (type==LABEL_PROD) {
684 CHECK_EMPTY(msg);
685 return True;
686 }
687 CHECK_AVAIL(msg,NONCELEN);
688 m->nR=buf_unprepend(msg,NONCELEN);
689 if (type==LABEL_MSG1) {
690 CHECK_EMPTY(msg);
691 return True;
692 }
693 CHECK_AVAIL(msg,NONCELEN);
694 m->nL=buf_unprepend(msg,NONCELEN);
695 if (type==LABEL_MSG2) {
696 CHECK_EMPTY(msg);
697 return True;
698 }
699 if (type==LABEL_MSG3BIS) {
700 CHECK_AVAIL(msg,1);
701 m->capab_transformnum = buf_unprepend_uint8(msg);
702 } else {
703 m->capab_transformnum = CAPAB_TRANSFORMNUM_ANCIENT;
704 }
705 CHECK_AVAIL(msg,2);
706 m->pklen=buf_unprepend_uint16(msg);
707 CHECK_AVAIL(msg,m->pklen);
708 m->pk=buf_unprepend(msg,m->pklen);
709 m->hashlen=msg->start-m->hashstart;
710 CHECK_AVAIL(msg,2);
711 m->siglen=buf_unprepend_uint16(msg);
712 CHECK_AVAIL(msg,m->siglen);
713 m->sig=buf_unprepend(msg,m->siglen);
714 CHECK_EMPTY(msg);
715 return True;
716 }
717
718 static bool_t name_matches(const struct parsedname *nm, const char *expected)
719 {
720 int expected_len=strlen(expected);
721 return
722 nm->len == expected_len &&
723 !memcmp(nm->name, expected, expected_len);
724 }
725
726 static bool_t check_msg(struct site *st, uint32_t type, struct msg *m,
727 cstring_t *error)
728 {
729 if (type==LABEL_MSG1) return True;
730
731 /* Check that the site names and our nonce have been sent
732 back correctly, and then store our peer's nonce. */
733 if (!name_matches(&m->remote,st->remotename)) {
734 *error="wrong remote site name";
735 return False;
736 }
737 if (!name_matches(&m->local,st->localname)) {
738 *error="wrong local site name";
739 return False;
740 }
741 if (memcmp(m->nL,st->localN,NONCELEN)!=0) {
742 *error="wrong locally-generated nonce";
743 return False;
744 }
745 if (type==LABEL_MSG2) return True;
746 if (!consttime_memeq(m->nR,st->remoteN,NONCELEN)!=0) {
747 *error="wrong remotely-generated nonce";
748 return False;
749 }
750 /* MSG3 has complicated rules about capabilities, which are
751 * handled in process_msg3. */
752 if (type==LABEL_MSG3 || type==LABEL_MSG3BIS) return True;
753 if (m->remote_capabilities!=st->remote_capabilities) {
754 *error="remote capabilities changed";
755 return False;
756 }
757 if (type==LABEL_MSG4) return True;
758 *error="unknown message type";
759 return False;
760 }
761
762 static bool_t generate_msg1(struct site *st)
763 {
764 st->random->generate(st->random->st,NONCELEN,st->localN);
765 return generate_msg(st,LABEL_MSG1,"site:MSG1");
766 }
767
768 static bool_t process_msg1(struct site *st, struct buffer_if *msg1,
769 const struct comm_addr *src, struct msg *m)
770 {
771 /* We've already determined we're in an appropriate state to
772 process an incoming MSG1, and that the MSG1 has correct values
773 of A and B. */
774
775 st->setup_session_id=m->source;
776 st->remote_capabilities=m->remote_capabilities;
777 memcpy(st->remoteN,m->nR,NONCELEN);
778 return True;
779 }
780
781 static bool_t generate_msg2(struct site *st)
782 {
783 st->random->generate(st->random->st,NONCELEN,st->localN);
784 return generate_msg(st,LABEL_MSG2,"site:MSG2");
785 }
786
787 static bool_t process_msg2(struct site *st, struct buffer_if *msg2,
788 const struct comm_addr *src)
789 {
790 struct msg m;
791 cstring_t err;
792
793 if (!unpick_msg(st,LABEL_MSG2,msg2,&m)) return False;
794 if (!check_msg(st,LABEL_MSG2,&m,&err)) {
795 slog(st,LOG_SEC,"msg2: %s",err);
796 return False;
797 }
798 st->setup_session_id=m.source;
799 st->remote_capabilities=m.remote_capabilities;
800
801 /* Select the transform to use */
802
803 uint32_t remote_transforms = st->remote_capabilities & CAPAB_TRANSFORM_MASK;
804 if (!remote_transforms)
805 /* old secnets only had this one transform */
806 remote_transforms = 1UL << CAPAB_TRANSFORMNUM_ANCIENT;
807
808 struct transform_if *ti;
809 int i;
810 for (i=0; i<st->ntransforms; i++) {
811 ti=st->transforms[i];
812 if ((1UL << ti->capab_transformnum) & remote_transforms)
813 goto transform_found;
814 }
815 slog(st,LOG_ERROR,"no transforms in common"
816 " (us %#"PRIx32"; them: %#"PRIx32")",
817 st->local_capabilities & CAPAB_TRANSFORM_MASK,
818 remote_transforms);
819 return False;
820 transform_found:
821 st->chosen_transform=ti;
822
823 memcpy(st->remoteN,m.nR,NONCELEN);
824 return True;
825 }
826
827 static bool_t generate_msg3(struct site *st)
828 {
829 /* Now we have our nonce and their nonce. Think of a secret key,
830 and create message number 3. */
831 st->random->generate(st->random->st,st->dh->len,st->dhsecret);
832 return generate_msg(st,
833 (st->remote_capabilities & CAPAB_TRANSFORM_MASK
834 ? LABEL_MSG3BIS : LABEL_MSG3),
835 "site:MSG3");
836 }
837
838 static bool_t process_msg3_msg4(struct site *st, struct msg *m)
839 {
840 uint8_t *hash;
841 void *hst;
842
843 /* Check signature and store g^x mod m */
844 hash=safe_malloc(st->hash->len, "process_msg3_msg4");
845 hst=st->hash->init();
846 st->hash->update(hst,m->hashstart,m->hashlen);
847 st->hash->final(hst,hash);
848 /* Terminate signature with a '0' - cheating, but should be ok */
849 m->sig[m->siglen]=0;
850 if (!st->pubkey->check(st->pubkey->st,hash,st->hash->len,m->sig)) {
851 slog(st,LOG_SEC,"msg3/msg4 signature failed check!");
852 free(hash);
853 return False;
854 }
855 free(hash);
856
857 st->remote_adv_mtu=m->remote_mtu;
858
859 return True;
860 }
861
862 static bool_t process_msg3(struct site *st, struct buffer_if *msg3,
863 const struct comm_addr *src, uint32_t msgtype)
864 {
865 struct msg m;
866 cstring_t err;
867
868 assert(msgtype==LABEL_MSG3 || msgtype==LABEL_MSG3BIS);
869
870 if (!unpick_msg(st,msgtype,msg3,&m)) return False;
871 if (!check_msg(st,msgtype,&m,&err)) {
872 slog(st,LOG_SEC,"msg3: %s",err);
873 return False;
874 }
875 uint32_t capab_adv_late = m.remote_capabilities
876 & ~st->remote_capabilities & CAPAB_EARLY;
877 if (capab_adv_late) {
878 slog(st,LOG_SEC,"msg3 impermissibly adds early capability flag(s)"
879 " %#"PRIx32" (was %#"PRIx32", now %#"PRIx32")",
880 capab_adv_late, st->remote_capabilities, m.remote_capabilities);
881 return False;
882 }
883 st->remote_capabilities|=m.remote_capabilities;
884
885 struct transform_if *ti;
886 int i;
887 for (i=0; i<st->ntransforms; i++) {
888 ti=st->transforms[i];
889 if (ti->capab_transformnum == m.capab_transformnum)
890 goto transform_found;
891 }
892 slog(st,LOG_SEC,"peer chose unknown-to-us transform %d!",
893 m.capab_transformnum);
894 return False;
895 transform_found:
896 st->chosen_transform=ti;
897
898 if (!process_msg3_msg4(st,&m))
899 return False;
900
901 /* Terminate their DH public key with a '0' */
902 m.pk[m.pklen]=0;
903 /* Invent our DH secret key */
904 st->random->generate(st->random->st,st->dh->len,st->dhsecret);
905
906 /* Generate the shared key and set up the transform */
907 set_new_transform(st,m.pk);
908
909 return True;
910 }
911
912 static bool_t generate_msg4(struct site *st)
913 {
914 /* We have both nonces, their public key and our private key. Generate
915 our public key, sign it and send it to them. */
916 return generate_msg(st,LABEL_MSG4,"site:MSG4");
917 }
918
919 static bool_t process_msg4(struct site *st, struct buffer_if *msg4,
920 const struct comm_addr *src)
921 {
922 struct msg m;
923 cstring_t err;
924
925 if (!unpick_msg(st,LABEL_MSG4,msg4,&m)) return False;
926 if (!check_msg(st,LABEL_MSG4,&m,&err)) {
927 slog(st,LOG_SEC,"msg4: %s",err);
928 return False;
929 }
930
931 if (!process_msg3_msg4(st,&m))
932 return False;
933
934 /* Terminate their DH public key with a '0' */
935 m.pk[m.pklen]=0;
936
937 /* Generate the shared key and set up the transform */
938 set_new_transform(st,m.pk);
939
940 return True;
941 }
942
943 struct msg0 {
944 uint32_t dest;
945 uint32_t source;
946 uint32_t type;
947 };
948
949 static bool_t unpick_msg0(struct site *st, struct buffer_if *msg0,
950 struct msg0 *m)
951 {
952 CHECK_AVAIL(msg0,4);
953 m->dest=buf_unprepend_uint32(msg0);
954 CHECK_AVAIL(msg0,4);
955 m->source=buf_unprepend_uint32(msg0);
956 CHECK_AVAIL(msg0,4);
957 m->type=buf_unprepend_uint32(msg0);
958 return True;
959 /* Leaves transformed part of buffer untouched */
960 }
961
962 static bool_t generate_msg5(struct site *st)
963 {
964 cstring_t transform_err;
965
966 BUF_ALLOC(&st->buffer,"site:MSG5");
967 /* We are going to add four words to the message */
968 buffer_init(&st->buffer,calculate_max_start_pad());
969 /* Give the netlink code an opportunity to put its own stuff in the
970 message (configuration information, etc.) */
971 buf_prepend_uint32(&st->buffer,LABEL_MSG5);
972 if (call_transform_forwards(st,st->new_transform,
973 &st->buffer,&transform_err))
974 return False;
975 buf_prepend_uint32(&st->buffer,LABEL_MSG5);
976 buf_prepend_uint32(&st->buffer,st->index);
977 buf_prepend_uint32(&st->buffer,st->setup_session_id);
978
979 st->retries=st->setup_retries;
980 return True;
981 }
982
983 static bool_t process_msg5(struct site *st, struct buffer_if *msg5,
984 const struct comm_addr *src,
985 struct transform_inst_if *transform)
986 {
987 struct msg0 m;
988 cstring_t transform_err;
989
990 if (!unpick_msg0(st,msg5,&m)) return False;
991
992 if (call_transform_reverse(st,transform,msg5,&transform_err)) {
993 /* There's a problem */
994 slog(st,LOG_SEC,"process_msg5: transform: %s",transform_err);
995 return False;
996 }
997 /* Buffer should now contain untransformed PING packet data */
998 CHECK_AVAIL(msg5,4);
999 if (buf_unprepend_uint32(msg5)!=LABEL_MSG5) {
1000 slog(st,LOG_SEC,"MSG5/PING packet contained wrong label");
1001 return False;
1002 }
1003 /* Older versions of secnet used to write some config data here
1004 * which we ignore. So we don't CHECK_EMPTY */
1005 return True;
1006 }
1007
1008 static void create_msg6(struct site *st, struct transform_inst_if *transform,
1009 uint32_t session_id)
1010 {
1011 cstring_t transform_err;
1012
1013 BUF_ALLOC(&st->buffer,"site:MSG6");
1014 /* We are going to add four words to the message */
1015 buffer_init(&st->buffer,calculate_max_start_pad());
1016 /* Give the netlink code an opportunity to put its own stuff in the
1017 message (configuration information, etc.) */
1018 buf_prepend_uint32(&st->buffer,LABEL_MSG6);
1019 int problem = call_transform_forwards(st,transform,
1020 &st->buffer,&transform_err);
1021 assert(!problem);
1022 buf_prepend_uint32(&st->buffer,LABEL_MSG6);
1023 buf_prepend_uint32(&st->buffer,st->index);
1024 buf_prepend_uint32(&st->buffer,session_id);
1025 }
1026
1027 static bool_t generate_msg6(struct site *st)
1028 {
1029 if (!is_transform_valid(st->new_transform))
1030 return False;
1031 create_msg6(st,st->new_transform,st->setup_session_id);
1032 st->retries=1; /* Peer will retransmit MSG5 if this packet gets lost */
1033 return True;
1034 }
1035
1036 static bool_t process_msg6(struct site *st, struct buffer_if *msg6,
1037 const struct comm_addr *src)
1038 {
1039 struct msg0 m;
1040 cstring_t transform_err;
1041
1042 if (!unpick_msg0(st,msg6,&m)) return False;
1043
1044 if (call_transform_reverse(st,st->new_transform,msg6,&transform_err)) {
1045 /* There's a problem */
1046 slog(st,LOG_SEC,"process_msg6: transform: %s",transform_err);
1047 return False;
1048 }
1049 /* Buffer should now contain untransformed PING packet data */
1050 CHECK_AVAIL(msg6,4);
1051 if (buf_unprepend_uint32(msg6)!=LABEL_MSG6) {
1052 slog(st,LOG_SEC,"MSG6/PONG packet contained invalid data");
1053 return False;
1054 }
1055 /* Older versions of secnet used to write some config data here
1056 * which we ignore. So we don't CHECK_EMPTY */
1057 return True;
1058 }
1059
1060 static bool_t decrypt_msg0(struct site *st, struct buffer_if *msg0,
1061 const struct comm_addr *src)
1062 {
1063 cstring_t transform_err, auxkey_err, newkey_err="n/a";
1064 struct msg0 m;
1065 uint32_t problem;
1066
1067 if (!unpick_msg0(st,msg0,&m)) return False;
1068
1069 /* Keep a copy so we can try decrypting it with multiple keys */
1070 buffer_copy(&st->scratch, msg0);
1071
1072 problem = call_transform_reverse(st,st->current.transform,
1073 msg0,&transform_err);
1074 if (!problem) {
1075 if (!st->auxiliary_is_new)
1076 delete_one_key(st,&st->auxiliary_key,
1077 "peer has used new key","auxiliary key",LOG_SEC);
1078 return True;
1079 }
1080 if (problem==2)
1081 goto skew;
1082
1083 buffer_copy(msg0, &st->scratch);
1084 problem = call_transform_reverse(st,st->auxiliary_key.transform,
1085 msg0,&auxkey_err);
1086 if (problem==0) {
1087 slog(st,LOG_DROP,"processing packet which uses auxiliary key");
1088 if (st->auxiliary_is_new) {
1089 /* We previously timed out in state SENTMSG5 but it turns
1090 * out that our peer did in fact get our MSG5 and is
1091 * using the new key. So we should switch to it too. */
1092 /* This is a bit like activate_new_key. */
1093 struct data_key t;
1094 t=st->current;
1095 st->current=st->auxiliary_key;
1096 st->auxiliary_key=t;
1097
1098 delete_one_key(st,&st->auxiliary_key,"peer has used new key",
1099 "previous key",LOG_SEC);
1100 st->auxiliary_is_new=0;
1101 st->renegotiate_key_time=st->auxiliary_renegotiate_key_time;
1102 }
1103 return True;
1104 }
1105 if (problem==2)
1106 goto skew;
1107
1108 if (st->state==SITE_SENTMSG5) {
1109 buffer_copy(msg0, &st->scratch);
1110 problem = call_transform_reverse(st,st->new_transform,
1111 msg0,&newkey_err);
1112 if (!problem) {
1113 /* It looks like we didn't get the peer's MSG6 */
1114 /* This is like a cut-down enter_new_state(SITE_RUN) */
1115 slog(st,LOG_STATE,"will enter state RUN (MSG0 with new key)");
1116 BUF_FREE(&st->buffer);
1117 st->timeout=0;
1118 activate_new_key(st);
1119 return True; /* do process the data in this packet */
1120 }
1121 if (problem==2)
1122 goto skew;
1123 }
1124
1125 slog(st,LOG_SEC,"transform: %s (aux: %s, new: %s)",
1126 transform_err,auxkey_err,newkey_err);
1127 initiate_key_setup(st,"incoming message would not decrypt",0);
1128 send_nak(src,m.dest,m.source,m.type,msg0,"message would not decrypt");
1129 return False;
1130
1131 skew:
1132 slog(st,LOG_DROP,"transform: %s (merely skew)",transform_err);
1133 return False;
1134 }
1135
1136 static bool_t process_msg0(struct site *st, struct buffer_if *msg0,
1137 const struct comm_addr *src)
1138 {
1139 uint32_t type;
1140
1141 if (!decrypt_msg0(st,msg0,src))
1142 return False;
1143
1144 CHECK_AVAIL(msg0,4);
1145 type=buf_unprepend_uint32(msg0);
1146 switch(type) {
1147 case LABEL_MSG7:
1148 /* We must forget about the current session. */
1149 delete_keys(st,"request from peer",LOG_SEC);
1150 return True;
1151 case LABEL_MSG9:
1152 /* Deliver to netlink layer */
1153 st->netlink->deliver(st->netlink->st,msg0);
1154 transport_data_msgok(st,src);
1155 /* See whether we should start negotiating a new key */
1156 if (st->now > st->renegotiate_key_time)
1157 initiate_key_setup(st,"incoming packet in renegotiation window",0);
1158 return True;
1159 default:
1160 slog(st,LOG_SEC,"incoming encrypted message of type %08x "
1161 "(unknown)",type);
1162 break;
1163 }
1164 return False;
1165 }
1166
1167 static void dump_packet(struct site *st, struct buffer_if *buf,
1168 const struct comm_addr *addr, bool_t incoming,
1169 bool_t ok)
1170 {
1171 uint32_t dest=get_uint32(buf->start);
1172 uint32_t source=get_uint32(buf->start+4);
1173 uint32_t msgtype=get_uint32(buf->start+8);
1174
1175 if (st->log_events & LOG_DUMP)
1176 slilog(st->log,M_DEBUG,"%s: %s: %08x<-%08x: %08x: %s%s",
1177 st->tunname,incoming?"incoming":"outgoing",
1178 dest,source,msgtype,comm_addr_to_string(addr),
1179 ok?"":" - fail");
1180 }
1181
1182 static uint32_t site_status(void *st)
1183 {
1184 return 0;
1185 }
1186
1187 static bool_t send_msg(struct site *st)
1188 {
1189 if (st->retries>0) {
1190 transport_xmit(st, &st->setup_peers, &st->buffer, True);
1191 st->timeout=st->now+st->setup_retry_interval;
1192 st->retries--;
1193 return True;
1194 } else if (st->state==SITE_SENTMSG5) {
1195 logtimeout(st,"timed out sending MSG5, stashing new key");
1196 /* We stash the key we have produced, in case it turns out that
1197 * our peer did see our MSG5 after all and starts using it. */
1198 /* This is a bit like some of activate_new_key */
1199 struct transform_inst_if *t;
1200 t=st->auxiliary_key.transform;
1201 st->auxiliary_key.transform=st->new_transform;
1202 st->new_transform=t;
1203 dispose_transform(&st->new_transform);
1204
1205 st->auxiliary_is_new=1;
1206 st->auxiliary_key.key_timeout=st->now+st->key_lifetime;
1207 st->auxiliary_renegotiate_key_time=st->now+st->key_renegotiate_time;
1208 st->auxiliary_key.remote_session_id=st->setup_session_id;
1209
1210 enter_state_wait(st);
1211 return False;
1212 } else {
1213 logtimeout(st,"timed out sending key setup packet "
1214 "(in state %s)",state_name(st->state));
1215 enter_state_wait(st);
1216 return False;
1217 }
1218 }
1219
1220 static void site_resolve_callback(void *sst, const struct comm_addr *addrs,
1221 int stored_naddrs, int all_naddrs,
1222 const char *address, const char *failwhy)
1223 {
1224 struct site *st=sst;
1225
1226 if (!stored_naddrs) {
1227 slog(st,LOG_ERROR,"resolution of %s failed: %s",address,failwhy);
1228 } else {
1229 slog(st,LOG_PEER_ADDRS,"resolution of %s completed, %d addrs, eg: %s",
1230 address, all_naddrs, comm_addr_to_string(&addrs[0]));;
1231
1232 int space=st->transport_peers_max-st->resolving_n_results_stored;
1233 int n_tocopy=MIN(stored_naddrs,space);
1234 COPY_ARRAY(st->resolving_results + st->resolving_n_results_stored,
1235 addrs,
1236 n_tocopy);
1237 st->resolving_n_results_stored += n_tocopy;
1238 st->resolving_n_results_all += all_naddrs;
1239 }
1240
1241 decrement_resolving_count(st,1);
1242 }
1243
1244 static void decrement_resolving_count(struct site *st, int by)
1245 {
1246 assert(st->resolving_count>0);
1247 st->resolving_count-=by;
1248
1249 if (st->resolving_count)
1250 return;
1251
1252 /* OK, we are done with them all. Handle combined results. */
1253
1254 const struct comm_addr *addrs=st->resolving_results;
1255 int naddrs=st->resolving_n_results_stored;
1256 assert(naddrs<=st->transport_peers_max);
1257
1258 if (naddrs) {
1259 if (naddrs != st->resolving_n_results_all) {
1260 slog(st,LOG_SETUP_INIT,"resolution of supplied addresses/names"
1261 " yielded too many results (%d > %d), some ignored",
1262 st->resolving_n_results_all, naddrs);
1263 }
1264 slog(st,LOG_STATE,"resolution completed, %d addrs, eg: %s",
1265 naddrs, iaddr_to_string(&addrs[0].ia));;
1266 }
1267
1268 switch (st->state) {
1269 case SITE_RESOLVE:
1270 if (transport_compute_setupinit_peers(st,addrs,naddrs,0)) {
1271 enter_new_state(st,SITE_SENTMSG1);
1272 } else {
1273 /* Can't figure out who to try to to talk to */
1274 slog(st,LOG_SETUP_INIT,
1275 "key exchange failed: cannot find peer address");
1276 enter_state_run(st);
1277 }
1278 break;
1279 case SITE_SENTMSG1: case SITE_SENTMSG2:
1280 case SITE_SENTMSG3: case SITE_SENTMSG4:
1281 case SITE_SENTMSG5:
1282 if (naddrs) {
1283 /* We start using the address immediately for data too.
1284 * It's best to store it in st->peers now because we might
1285 * go via SENTMSG5, WAIT, and a MSG0, straight into using
1286 * the new key (without updating the data peer addrs). */
1287 transport_resolve_complete(st,addrs,naddrs);
1288 } else if (st->local_mobile) {
1289 /* We can't let this rest because we may have a peer
1290 * address which will break in the future. */
1291 slog(st,LOG_SETUP_INIT,"resolution failed: "
1292 "abandoning key exchange");
1293 enter_state_wait(st);
1294 } else {
1295 slog(st,LOG_SETUP_INIT,"resolution failed: "
1296 " continuing to use source address of peer's packets"
1297 " for key exchange and ultimately data");
1298 }
1299 break;
1300 case SITE_RUN:
1301 if (naddrs) {
1302 slog(st,LOG_SETUP_INIT,"resolution completed tardily,"
1303 " updating peer address(es)");
1304 transport_resolve_complete_tardy(st,addrs,naddrs);
1305 } else if (st->local_mobile) {
1306 /* Not very good. We should queue (another) renegotiation
1307 * so that we can update the peer address. */
1308 st->key_renegotiate_time=st->now+st->wait_timeout;
1309 } else {
1310 slog(st,LOG_SETUP_INIT,"resolution failed: "
1311 " continuing to use source address of peer's packets");
1312 }
1313 break;
1314 case SITE_WAIT:
1315 case SITE_STOP:
1316 /* oh well */
1317 break;
1318 }
1319 }
1320
1321 static bool_t initiate_key_setup(struct site *st, cstring_t reason,
1322 const struct comm_addr *prod_hint)
1323 {
1324 /* Reentrancy hazard: can call enter_new_state/enter_state_* */
1325 if (st->state!=SITE_RUN) return False;
1326 slog(st,LOG_SETUP_INIT,"initiating key exchange (%s)",reason);
1327 if (st->addresses) {
1328 slog(st,LOG_SETUP_INIT,"resolving peer address(es)");
1329 return enter_state_resolve(st);
1330 } else if (transport_compute_setupinit_peers(st,0,0,prod_hint)) {
1331 return enter_new_state(st,SITE_SENTMSG1);
1332 }
1333 slog(st,LOG_SETUP_INIT,"key exchange failed: no address for peer");
1334 return False;
1335 }
1336
1337 static void activate_new_key(struct site *st)
1338 {
1339 struct transform_inst_if *t;
1340
1341 /* We have three transform instances, which we swap between old,
1342 active and setup */
1343 t=st->auxiliary_key.transform;
1344 st->auxiliary_key.transform=st->current.transform;
1345 st->current.transform=st->new_transform;
1346 st->new_transform=t;
1347 dispose_transform(&st->new_transform);
1348
1349 st->timeout=0;
1350 st->auxiliary_is_new=0;
1351 st->auxiliary_key.key_timeout=st->current.key_timeout;
1352 st->current.key_timeout=st->now+st->key_lifetime;
1353 st->renegotiate_key_time=st->now+st->key_renegotiate_time;
1354 transport_peers_copy(st,&st->peers,&st->setup_peers);
1355 st->current.remote_session_id=st->setup_session_id;
1356
1357 /* Compute the inter-site MTU. This is min( our_mtu, their_mtu ).
1358 * But their mtu be unspecified, in which case we just use ours. */
1359 uint32_t intersite_mtu=
1360 MIN(st->mtu_target, st->remote_adv_mtu ?: ~(uint32_t)0);
1361 st->netlink->set_mtu(st->netlink->st,intersite_mtu);
1362
1363 slog(st,LOG_ACTIVATE_KEY,"new key activated"
1364 " (mtu ours=%"PRId32" theirs=%"PRId32" intersite=%"PRId32")",
1365 st->mtu_target, st->remote_adv_mtu, intersite_mtu);
1366 enter_state_run(st);
1367 }
1368
1369 static void delete_one_key(struct site *st, struct data_key *key,
1370 cstring_t reason, cstring_t which, uint32_t loglevel)
1371 {
1372 if (!is_transform_valid(key->transform)) return;
1373 if (reason) slog(st,loglevel,"%s deleted (%s)",which,reason);
1374 dispose_transform(&key->transform);
1375 key->key_timeout=0;
1376 }
1377
1378 static void delete_keys(struct site *st, cstring_t reason, uint32_t loglevel)
1379 {
1380 if (current_valid(st)) {
1381 slog(st,loglevel,"session closed (%s)",reason);
1382
1383 delete_one_key(st,&st->current,0,0,0);
1384 set_link_quality(st);
1385 }
1386 delete_one_key(st,&st->auxiliary_key,0,0,0);
1387 }
1388
1389 static void state_assert(struct site *st, bool_t ok)
1390 {
1391 if (!ok) fatal("site:state_assert");
1392 }
1393
1394 static void enter_state_stop(struct site *st)
1395 {
1396 st->state=SITE_STOP;
1397 st->timeout=0;
1398 delete_keys(st,"entering state STOP",LOG_TIMEOUT_KEY);
1399 dispose_transform(&st->new_transform);
1400 }
1401
1402 static void set_link_quality(struct site *st)
1403 {
1404 uint32_t quality;
1405 if (current_valid(st))
1406 quality=LINK_QUALITY_UP;
1407 else if (st->state==SITE_WAIT || st->state==SITE_STOP)
1408 quality=LINK_QUALITY_DOWN;
1409 else if (st->addresses)
1410 quality=LINK_QUALITY_DOWN_CURRENT_ADDRESS;
1411 else if (transport_peers_valid(&st->peers))
1412 quality=LINK_QUALITY_DOWN_STALE_ADDRESS;
1413 else
1414 quality=LINK_QUALITY_DOWN;
1415
1416 st->netlink->set_quality(st->netlink->st,quality);
1417 }
1418
1419 static void enter_state_run(struct site *st)
1420 {
1421 slog(st,LOG_STATE,"entering state RUN");
1422 st->state=SITE_RUN;
1423 st->timeout=0;
1424
1425 st->setup_session_id=0;
1426 transport_peers_clear(st,&st->setup_peers);
1427 FILLZERO(st->localN);
1428 FILLZERO(st->remoteN);
1429 dispose_transform(&st->new_transform);
1430 memset(st->dhsecret,0,st->dh->len);
1431 memset(st->sharedsecret,0,st->sharedsecretlen);
1432 set_link_quality(st);
1433
1434 if (st->keepalive && !current_valid(st))
1435 initiate_key_setup(st, "keepalive", 0);
1436 }
1437
1438 static bool_t ensure_resolving(struct site *st)
1439 {
1440 /* Reentrancy hazard: may call site_resolve_callback and hence
1441 * enter_new_state, enter_state_* and generate_msg*. */
1442 if (st->resolving_count)
1443 return True;
1444
1445 assert(st->addresses);
1446
1447 /* resolver->request might reentrantly call site_resolve_callback
1448 * which will decrement st->resolving, so we need to increment it
1449 * twice beforehand to prevent decrement from thinking we're
1450 * finished, and decrement it ourselves. Alternatively if
1451 * everything fails then there are no callbacks due and we simply
1452 * set it to 0 and return false.. */
1453 st->resolving_n_results_stored=0;
1454 st->resolving_n_results_all=0;
1455 st->resolving_count+=2;
1456 const char **addrp=st->addresses;
1457 const char *address;
1458 bool_t anyok=False;
1459 for (; (address=*addrp++); ) {
1460 bool_t ok = st->resolver->request(st->resolver->st,address,
1461 st->remoteport,st->comms[0],
1462 site_resolve_callback,st);
1463 if (ok)
1464 st->resolving_count++;
1465 anyok|=ok;
1466 }
1467 if (!anyok) {
1468 st->resolving_count=0;
1469 return False;
1470 }
1471 decrement_resolving_count(st,2);
1472 return True;
1473 }
1474
1475 static bool_t enter_state_resolve(struct site *st)
1476 {
1477 /* Reentrancy hazard! See ensure_resolving. */
1478 state_assert(st,st->state==SITE_RUN);
1479 slog(st,LOG_STATE,"entering state RESOLVE");
1480 st->state=SITE_RESOLVE;
1481 return ensure_resolving(st);
1482 }
1483
1484 static bool_t enter_new_state(struct site *st, uint32_t next)
1485 {
1486 bool_t (*gen)(struct site *st);
1487 int r;
1488
1489 slog(st,LOG_STATE,"entering state %s",state_name(next));
1490 switch(next) {
1491 case SITE_SENTMSG1:
1492 state_assert(st,st->state==SITE_RUN || st->state==SITE_RESOLVE);
1493 gen=generate_msg1;
1494 break;
1495 case SITE_SENTMSG2:
1496 state_assert(st,st->state==SITE_RUN || st->state==SITE_RESOLVE ||
1497 st->state==SITE_SENTMSG1 || st->state==SITE_WAIT);
1498 gen=generate_msg2;
1499 break;
1500 case SITE_SENTMSG3:
1501 state_assert(st,st->state==SITE_SENTMSG1);
1502 BUF_FREE(&st->buffer);
1503 gen=generate_msg3;
1504 break;
1505 case SITE_SENTMSG4:
1506 state_assert(st,st->state==SITE_SENTMSG2);
1507 BUF_FREE(&st->buffer);
1508 gen=generate_msg4;
1509 break;
1510 case SITE_SENTMSG5:
1511 state_assert(st,st->state==SITE_SENTMSG3);
1512 BUF_FREE(&st->buffer);
1513 gen=generate_msg5;
1514 break;
1515 case SITE_RUN:
1516 state_assert(st,st->state==SITE_SENTMSG4);
1517 BUF_FREE(&st->buffer);
1518 gen=generate_msg6;
1519 break;
1520 default:
1521 gen=NULL;
1522 fatal("enter_new_state(%s): invalid new state",state_name(next));
1523 break;
1524 }
1525
1526 if (hacky_par_start_failnow()) return False;
1527
1528 r= gen(st) && send_msg(st);
1529
1530 hacky_par_end(&r,
1531 st->setup_retries, st->setup_retry_interval,
1532 send_msg, st);
1533
1534 if (r) {
1535 st->state=next;
1536 if (next==SITE_RUN) {
1537 BUF_FREE(&st->buffer); /* Never reused */
1538 st->timeout=0; /* Never retransmit */
1539 activate_new_key(st);
1540 }
1541 return True;
1542 }
1543 slog(st,LOG_ERROR,"error entering state %s",state_name(next));
1544 st->buffer.free=False; /* Unconditionally use the buffer; it may be
1545 in either state, and enter_state_wait() will
1546 do a BUF_FREE() */
1547 enter_state_wait(st);
1548 return False;
1549 }
1550
1551 /* msg7 tells our peer that we're about to forget our key */
1552 static bool_t send_msg7(struct site *st, cstring_t reason)
1553 {
1554 cstring_t transform_err;
1555
1556 if (current_valid(st) && st->buffer.free
1557 && transport_peers_valid(&st->peers)) {
1558 BUF_ALLOC(&st->buffer,"site:MSG7");
1559 buffer_init(&st->buffer,calculate_max_start_pad());
1560 buf_append_uint32(&st->buffer,LABEL_MSG7);
1561 buf_append_string(&st->buffer,reason);
1562 if (call_transform_forwards(st, st->current.transform,
1563 &st->buffer, &transform_err))
1564 goto free_out;
1565 buf_prepend_uint32(&st->buffer,LABEL_MSG0);
1566 buf_prepend_uint32(&st->buffer,st->index);
1567 buf_prepend_uint32(&st->buffer,st->current.remote_session_id);
1568 transport_xmit(st,&st->peers,&st->buffer,True);
1569 BUF_FREE(&st->buffer);
1570 free_out:
1571 return True;
1572 }
1573 return False;
1574 }
1575
1576 /* We go into this state if our peer becomes uncommunicative. Similar to
1577 the "stop" state, we forget all session keys for a while, before
1578 re-entering the "run" state. */
1579 static void enter_state_wait(struct site *st)
1580 {
1581 slog(st,LOG_STATE,"entering state WAIT");
1582 st->timeout=st->now+st->wait_timeout;
1583 st->state=SITE_WAIT;
1584 set_link_quality(st);
1585 BUF_FREE(&st->buffer); /* will have had an outgoing packet in it */
1586 /* XXX Erase keys etc. */
1587 }
1588
1589 static void generate_prod(struct site *st, struct buffer_if *buf)
1590 {
1591 buffer_init(buf,0);
1592 buf_append_uint32(buf,0);
1593 buf_append_uint32(buf,0);
1594 buf_append_uint32(buf,LABEL_PROD);
1595 buf_append_string(buf,st->localname);
1596 buf_append_string(buf,st->remotename);
1597 }
1598
1599 static void generate_send_prod(struct site *st,
1600 const struct comm_addr *source)
1601 {
1602 if (!st->allow_send_prod) return; /* too soon */
1603 if (!(st->state==SITE_RUN || st->state==SITE_RESOLVE ||
1604 st->state==SITE_WAIT)) return; /* we'd ignore peer's MSG1 */
1605
1606 slog(st,LOG_SETUP_INIT,"prodding peer for key exchange");
1607 st->allow_send_prod=0;
1608 generate_prod(st,&st->scratch);
1609 bool_t ok = source->comm->sendmsg(source->comm->st, &st->scratch, source);
1610 dump_packet(st,&st->scratch,source,False,ok);
1611 }
1612
1613 static inline void site_settimeout(uint64_t timeout, int *timeout_io)
1614 {
1615 if (timeout) {
1616 int64_t offset=timeout-*now;
1617 if (offset<0) offset=0;
1618 if (offset>INT_MAX) offset=INT_MAX;
1619 if (*timeout_io<0 || offset<*timeout_io)
1620 *timeout_io=offset;
1621 }
1622 }
1623
1624 static int site_beforepoll(void *sst, struct pollfd *fds, int *nfds_io,
1625 int *timeout_io)
1626 {
1627 struct site *st=sst;
1628
1629 BEFOREPOLL_WANT_FDS(0); /* We don't use any file descriptors */
1630 st->now=*now;
1631
1632 /* Work out when our next timeout is. The earlier of 'timeout' or
1633 'current.key_timeout'. A stored value of '0' indicates no timeout
1634 active. */
1635 site_settimeout(st->timeout, timeout_io);
1636 site_settimeout(st->current.key_timeout, timeout_io);
1637 site_settimeout(st->auxiliary_key.key_timeout, timeout_io);
1638
1639 return 0; /* success */
1640 }
1641
1642 static void check_expiry(struct site *st, struct data_key *key,
1643 const char *which)
1644 {
1645 if (key->key_timeout && *now>key->key_timeout) {
1646 delete_one_key(st,key,"maximum life exceeded",which,LOG_TIMEOUT_KEY);
1647 }
1648 }
1649
1650 /* NB site_afterpoll will be called before site_beforepoll is ever called */
1651 static void site_afterpoll(void *sst, struct pollfd *fds, int nfds)
1652 {
1653 struct site *st=sst;
1654
1655 st->now=*now;
1656 if (st->timeout && *now>st->timeout) {
1657 st->timeout=0;
1658 if (st->state>=SITE_SENTMSG1 && st->state<=SITE_SENTMSG5) {
1659 if (!hacky_par_start_failnow())
1660 send_msg(st);
1661 } else if (st->state==SITE_WAIT) {
1662 enter_state_run(st);
1663 } else {
1664 slog(st,LOG_ERROR,"site_afterpoll: unexpected timeout, state=%d",
1665 st->state);
1666 }
1667 }
1668 check_expiry(st,&st->current,"current key");
1669 check_expiry(st,&st->auxiliary_key,"auxiliary key");
1670 }
1671
1672 /* This function is called by the netlink device to deliver packets
1673 intended for the remote network. The packet is in "raw" wire
1674 format, but is guaranteed to be word-aligned. */
1675 static void site_outgoing(void *sst, struct buffer_if *buf)
1676 {
1677 struct site *st=sst;
1678 cstring_t transform_err;
1679
1680 if (st->state==SITE_STOP) {
1681 BUF_FREE(buf);
1682 return;
1683 }
1684
1685 st->allow_send_prod=1;
1686
1687 /* In all other states we consider delivering the packet if we have
1688 a valid key and a valid address to send it to. */
1689 if (current_valid(st) && transport_peers_valid(&st->peers)) {
1690 /* Transform it and send it */
1691 if (buf->size>0) {
1692 buf_prepend_uint32(buf,LABEL_MSG9);
1693 if (call_transform_forwards(st, st->current.transform,
1694 buf, &transform_err))
1695 goto free_out;
1696 buf_prepend_uint32(buf,LABEL_MSG0);
1697 buf_prepend_uint32(buf,st->index);
1698 buf_prepend_uint32(buf,st->current.remote_session_id);
1699 transport_xmit(st,&st->peers,buf,False);
1700 }
1701 free_out:
1702 BUF_FREE(buf);
1703 return;
1704 }
1705
1706 slog(st,LOG_DROP,"discarding outgoing packet of size %d",buf->size);
1707 BUF_FREE(buf);
1708 initiate_key_setup(st,"outgoing packet",0);
1709 }
1710
1711 static bool_t named_for_us(struct site *st, const struct buffer_if *buf_in,
1712 uint32_t type, struct msg *m)
1713 /* For packets which are identified by the local and remote names.
1714 * If it has our name and our peer's name in it it's for us. */
1715 {
1716 struct buffer_if buf[1];
1717 buffer_readonly_clone(buf,buf_in);
1718 return unpick_msg(st,type,buf,m)
1719 && name_matches(&m->remote,st->remotename)
1720 && name_matches(&m->local,st->localname);
1721 }
1722
1723 /* This function is called by the communication device to deliver
1724 packets from our peers.
1725 It should return True if the packet is recognised as being for
1726 this current site instance (and should therefore not be processed
1727 by other sites), even if the packet was otherwise ignored. */
1728 static bool_t site_incoming(void *sst, struct buffer_if *buf,
1729 const struct comm_addr *source)
1730 {
1731 struct site *st=sst;
1732
1733 if (buf->size < 12) return False;
1734
1735 uint32_t dest=get_uint32(buf->start);
1736 uint32_t msgtype=get_uint32(buf->start+8);
1737 struct msg named_msg;
1738
1739 if (msgtype==LABEL_MSG1) {
1740 if (!named_for_us(st,buf,msgtype,&named_msg))
1741 return False;
1742 /* It's a MSG1 addressed to us. Decide what to do about it. */
1743 dump_packet(st,buf,source,True,True);
1744 if (st->state==SITE_RUN || st->state==SITE_RESOLVE ||
1745 st->state==SITE_WAIT) {
1746 /* We should definitely process it */
1747 transport_compute_setupinit_peers(st,0,0,source);
1748 if (process_msg1(st,buf,source,&named_msg)) {
1749 slog(st,LOG_SETUP_INIT,"key setup initiated by peer");
1750 bool_t entered=enter_new_state(st,SITE_SENTMSG2);
1751 if (entered && st->addresses && st->local_mobile)
1752 /* We must do this as the very last thing, because
1753 the resolver callback might reenter us. */
1754 ensure_resolving(st);
1755 } else {
1756 slog(st,LOG_ERROR,"failed to process incoming msg1");
1757 }
1758 BUF_FREE(buf);
1759 return True;
1760 } else if (st->state==SITE_SENTMSG1) {
1761 /* We've just sent a message 1! They may have crossed on
1762 the wire. If we have priority then we ignore the
1763 incoming one, otherwise we process it as usual. */
1764 if (st->setup_priority) {
1765 BUF_FREE(buf);
1766 slog(st,LOG_DUMP,"crossed msg1s; we are higher "
1767 "priority => ignore incoming msg1");
1768 return True;
1769 } else {
1770 slog(st,LOG_DUMP,"crossed msg1s; we are lower "
1771 "priority => use incoming msg1");
1772 if (process_msg1(st,buf,source,&named_msg)) {
1773 BUF_FREE(&st->buffer); /* Free our old message 1 */
1774 transport_setup_msgok(st,source);
1775 enter_new_state(st,SITE_SENTMSG2);
1776 } else {
1777 slog(st,LOG_ERROR,"failed to process an incoming "
1778 "crossed msg1 (we have low priority)");
1779 }
1780 BUF_FREE(buf);
1781 return True;
1782 }
1783 }
1784 /* The message 1 was received at an unexpected stage of the
1785 key setup. XXX POLICY - what do we do? */
1786 slog(st,LOG_UNEXPECTED,"unexpected incoming message 1");
1787 BUF_FREE(buf);
1788 return True;
1789 }
1790 if (msgtype==LABEL_PROD) {
1791 if (!named_for_us(st,buf,msgtype,&named_msg))
1792 return False;
1793 dump_packet(st,buf,source,True,True);
1794 if (st->state!=SITE_RUN) {
1795 slog(st,LOG_DROP,"ignoring PROD when not in state RUN");
1796 } else if (current_valid(st)) {
1797 slog(st,LOG_DROP,"ignoring PROD when we think we have a key");
1798 } else {
1799 initiate_key_setup(st,"peer sent PROD packet",source);
1800 }
1801 BUF_FREE(buf);
1802 return True;
1803 }
1804 if (dest==st->index) {
1805 /* Explicitly addressed to us */
1806 if (msgtype!=LABEL_MSG0) dump_packet(st,buf,source,True,True);
1807 switch (msgtype) {
1808 case LABEL_NAK:
1809 /* If the source is our current peer then initiate a key setup,
1810 because our peer's forgotten the key */
1811 if (get_uint32(buf->start+4)==st->current.remote_session_id) {
1812 bool_t initiated;
1813 initiated = initiate_key_setup(st,"received a NAK",source);
1814 if (!initiated) generate_send_prod(st,source);
1815 } else {
1816 slog(st,LOG_SEC,"bad incoming NAK");
1817 }
1818 break;
1819 case LABEL_MSG0:
1820 process_msg0(st,buf,source);
1821 break;
1822 case LABEL_MSG1:
1823 /* Setup packet: should not have been explicitly addressed
1824 to us */
1825 slog(st,LOG_SEC,"incoming explicitly addressed msg1");
1826 break;
1827 case LABEL_MSG2:
1828 /* Setup packet: expected only in state SENTMSG1 */
1829 if (st->state!=SITE_SENTMSG1) {
1830 slog(st,LOG_UNEXPECTED,"unexpected MSG2");
1831 } else if (process_msg2(st,buf,source)) {
1832 transport_setup_msgok(st,source);
1833 enter_new_state(st,SITE_SENTMSG3);
1834 } else {
1835 slog(st,LOG_SEC,"invalid MSG2");
1836 }
1837 break;
1838 case LABEL_MSG3:
1839 case LABEL_MSG3BIS:
1840 /* Setup packet: expected only in state SENTMSG2 */
1841 if (st->state!=SITE_SENTMSG2) {
1842 slog(st,LOG_UNEXPECTED,"unexpected MSG3");
1843 } else if (process_msg3(st,buf,source,msgtype)) {
1844 transport_setup_msgok(st,source);
1845 enter_new_state(st,SITE_SENTMSG4);
1846 } else {
1847 slog(st,LOG_SEC,"invalid MSG3");
1848 }
1849 break;
1850 case LABEL_MSG4:
1851 /* Setup packet: expected only in state SENTMSG3 */
1852 if (st->state!=SITE_SENTMSG3) {
1853 slog(st,LOG_UNEXPECTED,"unexpected MSG4");
1854 } else if (process_msg4(st,buf,source)) {
1855 transport_setup_msgok(st,source);
1856 enter_new_state(st,SITE_SENTMSG5);
1857 } else {
1858 slog(st,LOG_SEC,"invalid MSG4");
1859 }
1860 break;
1861 case LABEL_MSG5:
1862 /* Setup packet: expected only in state SENTMSG4 */
1863 /* (may turn up in state RUN if our return MSG6 was lost
1864 and the new key has already been activated. In that
1865 case we discard it. The peer will realise that we
1866 are using the new key when they see our data packets.
1867 Until then the peer's data packets to us get discarded. */
1868 if (st->state==SITE_SENTMSG4) {
1869 if (process_msg5(st,buf,source,st->new_transform)) {
1870 transport_setup_msgok(st,source);
1871 enter_new_state(st,SITE_RUN);
1872 } else {
1873 slog(st,LOG_SEC,"invalid MSG5");
1874 }
1875 } else if (st->state==SITE_RUN) {
1876 if (process_msg5(st,buf,source,st->current.transform)) {
1877 slog(st,LOG_DROP,"got MSG5, retransmitting MSG6");
1878 transport_setup_msgok(st,source);
1879 create_msg6(st,st->current.transform,
1880 st->current.remote_session_id);
1881 transport_xmit(st,&st->peers,&st->buffer,True);
1882 BUF_FREE(&st->buffer);
1883 } else {
1884 slog(st,LOG_SEC,"invalid MSG5 (in state RUN)");
1885 }
1886 } else {
1887 slog(st,LOG_UNEXPECTED,"unexpected MSG5");
1888 }
1889 break;
1890 case LABEL_MSG6:
1891 /* Setup packet: expected only in state SENTMSG5 */
1892 if (st->state!=SITE_SENTMSG5) {
1893 slog(st,LOG_UNEXPECTED,"unexpected MSG6");
1894 } else if (process_msg6(st,buf,source)) {
1895 BUF_FREE(&st->buffer); /* Free message 5 */
1896 transport_setup_msgok(st,source);
1897 activate_new_key(st);
1898 } else {
1899 slog(st,LOG_SEC,"invalid MSG6");
1900 }
1901 break;
1902 default:
1903 slog(st,LOG_SEC,"received message of unknown type 0x%08x",
1904 msgtype);
1905 break;
1906 }
1907 BUF_FREE(buf);
1908 return True;
1909 }
1910
1911 return False;
1912 }
1913
1914 static void site_control(void *vst, bool_t run)
1915 {
1916 struct site *st=vst;
1917 if (run) enter_state_run(st);
1918 else enter_state_stop(st);
1919 }
1920
1921 static void site_phase_hook(void *sst, uint32_t newphase)
1922 {
1923 struct site *st=sst;
1924
1925 /* The program is shutting down; tell our peer */
1926 send_msg7(st,"shutting down");
1927 }
1928
1929 static void site_childpersist_clearkeys(void *sst, uint32_t newphase)
1930 {
1931 struct site *st=sst;
1932 dispose_transform(&st->current.transform);
1933 dispose_transform(&st->auxiliary_key.transform);
1934 dispose_transform(&st->new_transform);
1935 /* Not much point overwiting the signing key, since we loaded it
1936 from disk, and it is only valid prospectively if at all,
1937 anyway. */
1938 /* XXX it would be best to overwrite the DH state, because that
1939 _is_ relevant to forward secrecy. However we have no
1940 convenient interface for doing that and in practice gmp has
1941 probably dribbled droppings all over the malloc arena. A good
1942 way to fix this would be to have a privsep child for asymmetric
1943 crypto operations, but that's a task for another day. */
1944 }
1945
1946 static list_t *site_apply(closure_t *self, struct cloc loc, dict_t *context,
1947 list_t *args)
1948 {
1949 static uint32_t index_sequence;
1950 struct site *st;
1951 item_t *item;
1952 dict_t *dict;
1953 int i;
1954
1955 NEW(st);
1956
1957 st->cl.description="site";
1958 st->cl.type=CL_SITE;
1959 st->cl.apply=NULL;
1960 st->cl.interface=&st->ops;
1961 st->ops.st=st;
1962 st->ops.control=site_control;
1963 st->ops.status=site_status;
1964
1965 /* First parameter must be a dict */
1966 item=list_elem(args,0);
1967 if (!item || item->type!=t_dict)
1968 cfgfatal(loc,"site","parameter must be a dictionary\n");
1969
1970 dict=item->data.dict;
1971 st->localname=dict_read_string(dict, "local-name", True, "site", loc);
1972 st->remotename=dict_read_string(dict, "name", True, "site", loc);
1973
1974 st->keepalive=dict_read_bool(dict,"keepalive",False,"site",loc,False);
1975
1976 st->peer_mobile=dict_read_bool(dict,"mobile",False,"site",loc,False);
1977 st->local_mobile=
1978 dict_read_bool(dict,"local-mobile",False,"site",loc,False);
1979
1980 /* Sanity check (which also allows the 'sites' file to include
1981 site() closures for all sites including our own): refuse to
1982 talk to ourselves */
1983 if (strcmp(st->localname,st->remotename)==0) {
1984 Message(M_DEBUG,"site %s: local-name==name -> ignoring this site\n",
1985 st->localname);
1986 if (st->peer_mobile != st->local_mobile)
1987 cfgfatal(loc,"site","site %s's peer-mobile=%d"
1988 " but our local-mobile=%d\n",
1989 st->localname, st->peer_mobile, st->local_mobile);
1990 free(st);
1991 return NULL;
1992 }
1993 if (st->peer_mobile && st->local_mobile) {
1994 Message(M_WARNING,"site %s: site is mobile but so are we"
1995 " -> ignoring this site\n", st->remotename);
1996 free(st);
1997 return NULL;
1998 }
1999
2000 assert(index_sequence < 0xffffffffUL);
2001 st->index = ++index_sequence;
2002 st->local_capabilities = 0;
2003 st->netlink=find_cl_if(dict,"link",CL_NETLINK,True,"site",loc);
2004
2005 #define GET_CLOSURE_LIST(dictkey,things,nthings,CL_TYPE) do{ \
2006 list_t *things##_cfg=dict_lookup(dict,dictkey); \
2007 if (!things##_cfg) \
2008 cfgfatal(loc,"site","closure list \"%s\" not found\n",dictkey); \
2009 st->nthings=list_length(things##_cfg); \
2010 NEW_ARY(st->things,st->nthings); \
2011 assert(st->nthings); \
2012 for (i=0; i<st->nthings; i++) { \
2013 item_t *item=list_elem(things##_cfg,i); \
2014 if (item->type!=t_closure) \
2015 cfgfatal(loc,"site","%s is not a closure\n",dictkey); \
2016 closure_t *cl=item->data.closure; \
2017 if (cl->type!=CL_TYPE) \
2018 cfgfatal(loc,"site","%s closure wrong type\n",dictkey); \
2019 st->things[i]=cl->interface; \
2020 } \
2021 }while(0)
2022
2023 GET_CLOSURE_LIST("comm",comms,ncomms,CL_COMM);
2024
2025 st->resolver=find_cl_if(dict,"resolver",CL_RESOLVER,True,"site",loc);
2026 st->log=find_cl_if(dict,"log",CL_LOG,True,"site",loc);
2027 st->random=find_cl_if(dict,"random",CL_RANDOMSRC,True,"site",loc);
2028
2029 st->privkey=find_cl_if(dict,"local-key",CL_RSAPRIVKEY,True,"site",loc);
2030 st->addresses=dict_read_string_array(dict,"address",False,"site",loc,0);
2031 if (st->addresses)
2032 st->remoteport=dict_read_number(dict,"port",True,"site",loc,0);
2033 else st->remoteport=0;
2034 st->pubkey=find_cl_if(dict,"key",CL_RSAPUBKEY,True,"site",loc);
2035
2036 GET_CLOSURE_LIST("transform",transforms,ntransforms,CL_TRANSFORM);
2037
2038 st->dh=find_cl_if(dict,"dh",CL_DH,True,"site",loc);
2039 st->hash=find_cl_if(dict,"hash",CL_HASH,True,"site",loc);
2040
2041 #define DEFAULT(D) (st->peer_mobile || st->local_mobile \
2042 ? DEFAULT_MOBILE_##D : DEFAULT_##D)
2043 #define CFG_NUMBER(k,D) dict_read_number(dict,(k),False,"site",loc,DEFAULT(D));
2044
2045 st->key_lifetime= CFG_NUMBER("key-lifetime", KEY_LIFETIME);
2046 st->setup_retries= CFG_NUMBER("setup-retries", SETUP_RETRIES);
2047 st->setup_retry_interval= CFG_NUMBER("setup-timeout", SETUP_RETRY_INTERVAL);
2048 st->wait_timeout= CFG_NUMBER("wait-time", WAIT_TIME);
2049 st->mtu_target= dict_read_number(dict,"mtu-target",False,"site",loc,0);
2050
2051 st->mobile_peer_expiry= dict_read_number(
2052 dict,"mobile-peer-expiry",False,"site",loc,DEFAULT_MOBILE_PEER_EXPIRY);
2053
2054 const char *peerskey= st->peer_mobile
2055 ? "mobile-peers-max" : "static-peers-max";
2056 st->transport_peers_max= dict_read_number(
2057 dict,peerskey,False,"site",loc, st->addresses ? 4 : 3);
2058 if (st->transport_peers_max<1 ||
2059 st->transport_peers_max>MAX_PEER_ADDRS) {
2060 cfgfatal(loc,"site", "%s must be in range 1.."
2061 STRING(MAX_PEER_ADDRS) "\n", peerskey);
2062 }
2063
2064 if (st->key_lifetime < DEFAULT(KEY_RENEGOTIATE_GAP)*2)
2065 st->key_renegotiate_time=st->key_lifetime/2;
2066 else
2067 st->key_renegotiate_time=st->key_lifetime-DEFAULT(KEY_RENEGOTIATE_GAP);
2068 st->key_renegotiate_time=dict_read_number(
2069 dict,"renegotiate-time",False,"site",loc,st->key_renegotiate_time);
2070 if (st->key_renegotiate_time > st->key_lifetime) {
2071 cfgfatal(loc,"site",
2072 "renegotiate-time must be less than key-lifetime\n");
2073 }
2074
2075 st->log_events=string_list_to_word(dict_lookup(dict,"log-events"),
2076 log_event_table,"site");
2077
2078 st->resolving_count=0;
2079 st->allow_send_prod=0;
2080
2081 st->tunname=safe_malloc(strlen(st->localname)+strlen(st->remotename)+5,
2082 "site_apply");
2083 sprintf(st->tunname,"%s<->%s",st->localname,st->remotename);
2084
2085 /* The information we expect to see in incoming messages of type 1 */
2086 /* fixme: lots of unchecked overflows here, but the results are only
2087 corrupted packets rather than undefined behaviour */
2088 st->setup_priority=(strcmp(st->localname,st->remotename)>0);
2089
2090 buffer_new(&st->buffer,SETUP_BUFFER_LEN);
2091
2092 buffer_new(&st->scratch,SETUP_BUFFER_LEN);
2093 BUF_ALLOC(&st->scratch,"site:scratch");
2094
2095 /* We are interested in poll(), but only for timeouts. We don't have
2096 any fds of our own. */
2097 register_for_poll(st, site_beforepoll, site_afterpoll, "site");
2098 st->timeout=0;
2099
2100 st->remote_capabilities=0;
2101 st->chosen_transform=0;
2102 st->current.key_timeout=0;
2103 st->auxiliary_key.key_timeout=0;
2104 transport_peers_clear(st,&st->peers);
2105 transport_peers_clear(st,&st->setup_peers);
2106 /* XXX mlock these */
2107 st->dhsecret=safe_malloc(st->dh->len,"site:dhsecret");
2108 st->sharedsecretlen=st->sharedsecretallocd=0;
2109 st->sharedsecret=0;
2110
2111 for (i=0; i<st->ntransforms; i++) {
2112 struct transform_if *ti=st->transforms[i];
2113 uint32_t capbit = 1UL << ti->capab_transformnum;
2114 if (st->local_capabilities & capbit)
2115 slog(st,LOG_ERROR,"transformnum capability bit"
2116 " %d (%#"PRIx32") reused", ti->capab_transformnum, capbit);
2117 st->local_capabilities |= capbit;
2118 }
2119
2120 /* We need to register the remote networks with the netlink device */
2121 uint32_t netlink_mtu; /* local virtual interface mtu */
2122 st->netlink->reg(st->netlink->st, site_outgoing, st, &netlink_mtu);
2123 if (!st->mtu_target)
2124 st->mtu_target=netlink_mtu;
2125
2126 for (i=0; i<st->ncomms; i++)
2127 st->comms[i]->request_notify(st->comms[i]->st, st, site_incoming);
2128
2129 st->current.transform=0;
2130 st->auxiliary_key.transform=0;
2131 st->new_transform=0;
2132 st->auxiliary_is_new=0;
2133
2134 enter_state_stop(st);
2135
2136 add_hook(PHASE_SHUTDOWN,site_phase_hook,st);
2137 add_hook(PHASE_CHILDPERSIST,site_childpersist_clearkeys,st);
2138
2139 return new_closure(&st->cl);
2140 }
2141
2142 void site_module(dict_t *dict)
2143 {
2144 add_closure(dict,"site",site_apply);
2145 }
2146
2147
2148 /***** TRANSPORT PEERS definitions *****/
2149
2150 static void transport_peers_debug(struct site *st, transport_peers *dst,
2151 const char *didwhat,
2152 int nargs, const struct comm_addr *args,
2153 size_t stride) {
2154 int i;
2155 char *argp;
2156
2157 if (!(st->log_events & LOG_PEER_ADDRS))
2158 return; /* an optimisation */
2159
2160 slog(st, LOG_PEER_ADDRS, "peers (%s) %s nargs=%d => npeers=%d",
2161 (dst==&st->peers ? "data" :
2162 dst==&st->setup_peers ? "setup" : "UNKNOWN"),
2163 didwhat, nargs, dst->npeers);
2164
2165 for (i=0, argp=(void*)args;
2166 i<nargs;
2167 i++, (argp+=stride?stride:sizeof(*args))) {
2168 const struct comm_addr *ca=(void*)argp;
2169 slog(st, LOG_PEER_ADDRS, " args: addrs[%d]=%s",
2170 i, comm_addr_to_string(ca));
2171 }
2172 for (i=0; i<dst->npeers; i++) {
2173 struct timeval diff;
2174 timersub(tv_now,&dst->peers[i].last,&diff);
2175 const struct comm_addr *ca=&dst->peers[i].addr;
2176 slog(st, LOG_PEER_ADDRS, " peers: addrs[%d]=%s T-%ld.%06ld",
2177 i, comm_addr_to_string(ca),
2178 (unsigned long)diff.tv_sec, (unsigned long)diff.tv_usec);
2179 }
2180 }
2181
2182 static void transport_peers_expire(struct site *st, transport_peers *peers) {
2183 /* peers must be sorted first */
2184 int previous_peers=peers->npeers;
2185 struct timeval oldest;
2186 oldest.tv_sec = tv_now->tv_sec - st->mobile_peer_expiry;
2187 oldest.tv_usec = tv_now->tv_usec;
2188 while (peers->npeers>1 &&
2189 timercmp(&peers->peers[peers->npeers-1].last, &oldest, <))
2190 peers->npeers--;
2191 if (peers->npeers != previous_peers)
2192 transport_peers_debug(st,peers,"expire", 0,0,0);
2193 }
2194
2195 static bool_t transport_peer_record_one(struct site *st, transport_peers *peers,
2196 const struct comm_addr *ca,
2197 const struct timeval *tv) {
2198 /* returns false if output is full */
2199 int search;
2200
2201 if (peers->npeers >= st->transport_peers_max)
2202 return 0;
2203
2204 for (search=0; search<peers->npeers; search++)
2205 if (comm_addr_equal(&peers->peers[search].addr, ca))
2206 return 1;
2207
2208 peers->peers[peers->npeers].addr = *ca;
2209 peers->peers[peers->npeers].last = *tv;
2210 peers->npeers++;
2211 return 1;
2212 }
2213
2214 static void transport_record_peers(struct site *st, transport_peers *peers,
2215 const struct comm_addr *addrs, int naddrs,
2216 const char *m) {
2217 /* We add addrs into peers. The new entries end up at the front
2218 * and displace entries towards the end (perhaps even off the
2219 * end). Any existing matching entries are moved up to the front.
2220 *
2221 * Caller must first call transport_peers_expire. */
2222
2223 if (naddrs==1 && peers->npeers>=1 &&
2224 comm_addr_equal(&addrs[0], &peers->peers[0].addr)) {
2225 /* optimisation, also avoids debug for trivial updates */
2226 peers->peers[0].last = *tv_now;
2227 return;
2228 }
2229
2230 int old_npeers=peers->npeers;
2231 transport_peer old_peers[old_npeers];
2232 COPY_ARRAY(old_peers,peers->peers,old_npeers);
2233
2234 peers->npeers=0;
2235 int i;
2236 for (i=0; i<naddrs; i++) {
2237 if (!transport_peer_record_one(st,peers, &addrs[i], tv_now))
2238 break;
2239 }
2240 for (i=0; i<old_npeers; i++) {
2241 const transport_peer *old=&old_peers[i];
2242 if (!transport_peer_record_one(st,peers, &old->addr, &old->last))
2243 break;
2244 }
2245
2246 transport_peers_debug(st,peers,m, naddrs,addrs,0);
2247 }
2248
2249 static void transport_expire_record_peers(struct site *st,
2250 transport_peers *peers,
2251 const struct comm_addr *addrs,
2252 int naddrs, const char *m) {
2253 /* Convenience function */
2254 transport_peers_expire(st,peers);
2255 transport_record_peers(st,peers,addrs,naddrs,m);
2256 }
2257
2258 static bool_t transport_compute_setupinit_peers(struct site *st,
2259 const struct comm_addr *configured_addrs /* 0 if none or not found */,
2260 int n_configured_addrs /* 0 if none or not found */,
2261 const struct comm_addr *incoming_packet_addr /* 0 if none */) {
2262 if (!n_configured_addrs && !incoming_packet_addr &&
2263 !transport_peers_valid(&st->peers))
2264 return False;
2265
2266 slog(st,LOG_SETUP_INIT,
2267 "using: %d configured addr(s);%s %d old peer addrs(es)",
2268 n_configured_addrs,
2269 incoming_packet_addr ? " incoming packet address;" : "",
2270 st->peers.npeers);
2271
2272 /* Non-mobile peers try addresses until one is plausible. The
2273 * effect is that this code always tries first the configured
2274 * address if supplied, or otherwise the address of the incoming
2275 * PROD, or finally the existing data peer if one exists; this is
2276 * as desired. */
2277
2278 transport_peers_copy(st,&st->setup_peers,&st->peers);
2279 transport_peers_expire(st,&st->setup_peers);
2280
2281 if (incoming_packet_addr)
2282 transport_record_peers(st,&st->setup_peers,
2283 incoming_packet_addr,1, "incoming");
2284
2285 if (n_configured_addrs)
2286 transport_record_peers(st,&st->setup_peers,
2287 configured_addrs,n_configured_addrs, "setupinit");
2288
2289 assert(transport_peers_valid(&st->setup_peers));
2290 return True;
2291 }
2292
2293 static void transport_setup_msgok(struct site *st, const struct comm_addr *a) {
2294 if (st->peer_mobile)
2295 transport_expire_record_peers(st,&st->setup_peers,a,1,"setupmsg");
2296 }
2297 static void transport_data_msgok(struct site *st, const struct comm_addr *a) {
2298 if (st->peer_mobile)
2299 transport_expire_record_peers(st,&st->peers,a,1,"datamsg");
2300 }
2301
2302 static int transport_peers_valid(transport_peers *peers) {
2303 return peers->npeers;
2304 }
2305 static void transport_peers_clear(struct site *st, transport_peers *peers) {
2306 peers->npeers= 0;
2307 transport_peers_debug(st,peers,"clear",0,0,0);
2308 }
2309 static void transport_peers_copy(struct site *st, transport_peers *dst,
2310 const transport_peers *src) {
2311 dst->npeers=src->npeers;
2312 COPY_ARRAY(dst->peers, src->peers, dst->npeers);
2313 transport_peers_debug(st,dst,"copy",
2314 src->npeers, &src->peers->addr, sizeof(*src->peers));
2315 }
2316
2317 static void transport_resolve_complete(struct site *st,
2318 const struct comm_addr *addrs,
2319 int naddrs) {
2320 transport_expire_record_peers(st,&st->peers,addrs,naddrs,
2321 "resolved data");
2322 transport_expire_record_peers(st,&st->setup_peers,addrs,naddrs,
2323 "resolved setup");
2324 }
2325
2326 static void transport_resolve_complete_tardy(struct site *st,
2327 const struct comm_addr *addrs,
2328 int naddrs) {
2329 transport_expire_record_peers(st,&st->peers,addrs,naddrs,
2330 "resolved tardily");
2331 }
2332
2333 static void transport_peers__copy_by_mask(transport_peer *out, int *nout_io,
2334 unsigned mask,
2335 const transport_peers *inp) {
2336 /* out and in->peers may be the same region, or nonoverlapping */
2337 const transport_peer *in=inp->peers;
2338 int slot;
2339 for (slot=0; slot<inp->npeers; slot++) {
2340 if (!(mask & (1U << slot)))
2341 continue;
2342 if (!(out==in && slot==*nout_io))
2343 COPY_OBJ(out[*nout_io], in[slot]);
2344 (*nout_io)++;
2345 }
2346 }
2347
2348 void transport_xmit(struct site *st, transport_peers *peers,
2349 struct buffer_if *buf, bool_t candebug) {
2350 int slot;
2351 transport_peers_expire(st, peers);
2352 unsigned failed=0; /* bitmask */
2353 assert(MAX_PEER_ADDRS < sizeof(unsigned)*CHAR_BIT);
2354
2355 int nfailed=0;
2356 for (slot=0; slot<peers->npeers; slot++) {
2357 transport_peer *peer=&peers->peers[slot];
2358 bool_t ok =
2359 peer->addr.comm->sendmsg(peer->addr.comm->st, buf, &peer->addr);
2360 if (candebug)
2361 dump_packet(st, buf, &peer->addr, False, ok);
2362 if (!ok) {
2363 failed |= 1U << slot;
2364 nfailed++;
2365 }
2366 if (ok && !st->peer_mobile)
2367 break;
2368 }
2369 /* Now we need to demote/delete failing addrs: if we are mobile we
2370 * merely demote them; otherwise we delete them. */
2371 if (st->local_mobile) {
2372 unsigned expected = ((1U << nfailed)-1) << (peers->npeers-nfailed);
2373 /* `expected' has all the failures at the end already */
2374 if (failed != expected) {
2375 int fslot=0;
2376 transport_peer failedpeers[nfailed];
2377 transport_peers__copy_by_mask(failedpeers, &fslot, failed,peers);
2378 assert(fslot == nfailed);
2379 int wslot=0;
2380 transport_peers__copy_by_mask(peers->peers,&wslot,~failed,peers);
2381 assert(wslot+nfailed == peers->npeers);
2382 COPY_ARRAY(peers->peers+wslot, failedpeers, nfailed);
2383 transport_peers_debug(st,peers,"mobile failure reorder",0,0,0);
2384 }
2385 } else {
2386 if (failed && peers->npeers > 1) {
2387 int wslot=0;
2388 transport_peers__copy_by_mask(peers->peers,&wslot,~failed,peers);
2389 peers->npeers=wslot;
2390 transport_peers_debug(st,peers,"non-mobile failure cleanup",0,0,0);
2391 }
2392 }
2393 }
2394
2395 /***** END of transport peers declarations *****/