reintegrated bus-refactoring branch
[strongswan.git] / src / charon / sa / tasks / ike_rekey.c
1 /*
2 * Copyright (C) 2005-2007 Martin Willi
3 * Copyright (C) 2005 Jan Hutter
4 * Hochschule fuer Technik Rapperswil
5 *
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License as published by the
8 * Free Software Foundation; either version 2 of the License, or (at your
9 * option) any later version. See <http://www.fsf.org/copyleft/gpl.txt>.
10 *
11 * This program is distributed in the hope that it will be useful, but
12 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * for more details.
15 *
16 * $Id$
17 */
18
19 #include "ike_rekey.h"
20
21 #include <daemon.h>
22 #include <encoding/payloads/notify_payload.h>
23 #include <sa/tasks/ike_init.h>
24 #include <processing/jobs/delete_ike_sa_job.h>
25 #include <processing/jobs/rekey_ike_sa_job.h>
26
27
28 typedef struct private_ike_rekey_t private_ike_rekey_t;
29
30 /**
31 * Private members of a ike_rekey_t task.
32 */
33 struct private_ike_rekey_t {
34
35 /**
36 * Public methods and task_t interface.
37 */
38 ike_rekey_t public;
39
40 /**
41 * Assigned IKE_SA.
42 */
43 ike_sa_t *ike_sa;
44
45 /**
46 * New IKE_SA which replaces the current one
47 */
48 ike_sa_t *new_sa;
49
50 /**
51 * Are we the initiator?
52 */
53 bool initiator;
54
55 /**
56 * the IKE_INIT task which is reused to simplify rekeying
57 */
58 ike_init_t *ike_init;
59
60 /**
61 * colliding task detected by the task manager
62 */
63 task_t *collision;
64 };
65
66 /**
67 * Implementation of task_t.build for initiator
68 */
69 static status_t build_i(private_ike_rekey_t *this, message_t *message)
70 {
71 peer_cfg_t *peer_cfg;
72 host_t *other_host;
73
74 /* create new SA only on first try */
75 if (this->new_sa == NULL)
76 {
77 this->new_sa = charon->ike_sa_manager->checkout_new(charon->ike_sa_manager,
78 TRUE);
79
80 peer_cfg = this->ike_sa->get_peer_cfg(this->ike_sa);
81 other_host = this->ike_sa->get_other_host(this->ike_sa);
82 this->new_sa->set_peer_cfg(this->new_sa, peer_cfg);
83 this->new_sa->set_other_host(this->new_sa, other_host->clone(other_host));
84 this->ike_init = ike_init_create(this->new_sa, TRUE, this->ike_sa);
85 this->ike_sa->set_state(this->ike_sa, IKE_REKEYING);
86 }
87 this->ike_init->task.build(&this->ike_init->task, message);
88
89 return NEED_MORE;
90 }
91
92 /**
93 * Implementation of task_t.process for responder
94 */
95 static status_t process_r(private_ike_rekey_t *this, message_t *message)
96 {
97 peer_cfg_t *peer_cfg;
98 iterator_t *iterator;
99 child_sa_t *child_sa;
100
101 if (this->ike_sa->get_state(this->ike_sa) == IKE_DELETING)
102 {
103 DBG1(DBG_IKE, "peer initiated rekeying, but we are deleting");
104 return NEED_MORE;
105 }
106
107 iterator = this->ike_sa->create_child_sa_iterator(this->ike_sa);
108 while (iterator->iterate(iterator, (void**)&child_sa))
109 {
110 switch (child_sa->get_state(child_sa))
111 {
112 case CHILD_CREATED:
113 case CHILD_REKEYING:
114 case CHILD_DELETING:
115 /* we do not allow rekeying while we have children in-progress */
116 DBG1(DBG_IKE, "peer initiated rekeying, but a child is half-open");
117 iterator->destroy(iterator);
118 return NEED_MORE;
119 default:
120 break;
121 }
122 }
123 iterator->destroy(iterator);
124
125 this->new_sa = charon->ike_sa_manager->checkout_new(charon->ike_sa_manager,
126 FALSE);
127
128 peer_cfg = this->ike_sa->get_peer_cfg(this->ike_sa);
129 this->new_sa->set_peer_cfg(this->new_sa, peer_cfg);
130 this->ike_init = ike_init_create(this->new_sa, FALSE, this->ike_sa);
131 this->ike_init->task.process(&this->ike_init->task, message);
132
133 return NEED_MORE;
134 }
135
136 /**
137 * Implementation of task_t.build for responder
138 */
139 static status_t build_r(private_ike_rekey_t *this, message_t *message)
140 {
141 if (this->new_sa == NULL)
142 {
143 /* IKE_SA/a CHILD_SA is in an inacceptable state, deny rekeying */
144 message->add_notify(message, TRUE, NO_PROPOSAL_CHOSEN, chunk_empty);
145 return SUCCESS;
146 }
147
148 if (this->ike_init->task.build(&this->ike_init->task, message) == FAILED)
149 {
150 return SUCCESS;
151 }
152
153 this->ike_sa->set_state(this->ike_sa, IKE_REKEYING);
154 this->new_sa->set_state(this->new_sa, IKE_ESTABLISHED);
155 DBG0(DBG_IKE, "IKE_SA %s[%d] established between %H[%D]...%H[%D]",
156 this->new_sa->get_name(this->new_sa),
157 this->new_sa->get_unique_id(this->new_sa),
158 this->ike_sa->get_my_host(this->ike_sa),
159 this->ike_sa->get_my_id(this->ike_sa),
160 this->ike_sa->get_other_host(this->ike_sa),
161 this->ike_sa->get_other_id(this->ike_sa));
162
163 return SUCCESS;
164 }
165
166 /**
167 * Implementation of task_t.process for initiator
168 */
169 static status_t process_i(private_ike_rekey_t *this, message_t *message)
170 {
171 job_t *job;
172 ike_sa_id_t *to_delete;
173
174 switch (this->ike_init->task.process(&this->ike_init->task, message))
175 {
176 case FAILED:
177 /* rekeying failed, fallback to old SA */
178 if (!(this->collision && (
179 this->collision->get_type(this->collision) == IKE_DELETE ||
180 this->collision->get_type(this->collision) == IKE_REAUTH)))
181 {
182 job_t *job;
183 u_int32_t retry = RETRY_INTERVAL - (random() % RETRY_JITTER);
184 job = (job_t*)rekey_ike_sa_job_create(
185 this->ike_sa->get_id(this->ike_sa), FALSE);
186 DBG1(DBG_IKE, "IKE_SA rekeying failed, "
187 "trying again in %d seconds", retry);
188 this->ike_sa->set_state(this->ike_sa, IKE_ESTABLISHED);
189 charon->scheduler->schedule_job(charon->scheduler, job, retry * 1000);
190 }
191 return SUCCESS;
192 case NEED_MORE:
193 /* bad dh group, try again */
194 this->ike_init->task.migrate(&this->ike_init->task, this->new_sa);
195 return NEED_MORE;
196 default:
197 break;
198 }
199
200 this->new_sa->set_state(this->new_sa, IKE_ESTABLISHED);
201 DBG0(DBG_IKE, "IKE_SA %s[%d] established between %H[%D]...%H[%D]",
202 this->new_sa->get_name(this->new_sa),
203 this->new_sa->get_unique_id(this->new_sa),
204 this->ike_sa->get_my_host(this->ike_sa),
205 this->ike_sa->get_my_id(this->ike_sa),
206 this->ike_sa->get_other_host(this->ike_sa),
207 this->ike_sa->get_other_id(this->ike_sa));
208
209 to_delete = this->ike_sa->get_id(this->ike_sa);
210
211 /* check for collisions */
212 if (this->collision &&
213 this->collision->get_type(this->collision) == IKE_REKEY)
214 {
215 chunk_t this_nonce, other_nonce;
216 host_t *host;
217 private_ike_rekey_t *other = (private_ike_rekey_t*)this->collision;
218
219 this_nonce = this->ike_init->get_lower_nonce(this->ike_init);
220 other_nonce = other->ike_init->get_lower_nonce(other->ike_init);
221
222 /* if we have the lower nonce, delete rekeyed SA. If not, delete
223 * the redundant. */
224 if (memcmp(this_nonce.ptr, other_nonce.ptr,
225 min(this_nonce.len, other_nonce.len)) < 0)
226 {
227 DBG1(DBG_IKE, "IKE_SA rekey collision won, deleting rekeyed IKE_SA");
228 charon->ike_sa_manager->checkin(charon->ike_sa_manager, other->new_sa);
229 }
230 else
231 {
232 DBG1(DBG_IKE, "IKE_SA rekey collision lost, deleting redundant IKE_SA");
233 /* apply host for a proper delete */
234 host = this->ike_sa->get_my_host(this->ike_sa);
235 this->new_sa->set_my_host(this->new_sa, host->clone(host));
236 host = this->ike_sa->get_other_host(this->ike_sa);
237 this->new_sa->set_other_host(this->new_sa, host->clone(host));
238 this->ike_sa->set_state(this->ike_sa, IKE_ESTABLISHED);
239 to_delete = this->new_sa->get_id(this->new_sa);
240 charon->ike_sa_manager->checkin(charon->ike_sa_manager, this->new_sa);
241 /* inherit to other->new_sa in destroy() */
242 this->new_sa = other->new_sa;
243 other->new_sa = NULL;
244 }
245 }
246
247 job = (job_t*)delete_ike_sa_job_create(to_delete, TRUE);
248 charon->processor->queue_job(charon->processor, job);
249
250 return SUCCESS;
251 }
252
253 /**
254 * Implementation of task_t.get_type
255 */
256 static task_type_t get_type(private_ike_rekey_t *this)
257 {
258 return IKE_REKEY;
259 }
260
261 static void collide(private_ike_rekey_t* this, task_t *other)
262 {
263 DESTROY_IF(this->collision);
264 this->collision = other;
265 }
266
267 /**
268 * Implementation of task_t.migrate
269 */
270 static void migrate(private_ike_rekey_t *this, ike_sa_t *ike_sa)
271 {
272 if (this->ike_init)
273 {
274 this->ike_init->task.destroy(&this->ike_init->task);
275 }
276 if (this->new_sa)
277 {
278 charon->ike_sa_manager->checkin_and_destroy(charon->ike_sa_manager,
279 this->new_sa);
280 }
281 DESTROY_IF(this->collision);
282
283 this->collision = NULL;
284 this->ike_sa = ike_sa;
285 this->new_sa = NULL;
286 this->ike_init = NULL;
287 }
288
289 /**
290 * Implementation of task_t.destroy
291 */
292 static void destroy(private_ike_rekey_t *this)
293 {
294 if (this->new_sa)
295 {
296 if (this->new_sa->get_state(this->new_sa) == IKE_ESTABLISHED &&
297 this->new_sa->inherit(this->new_sa, this->ike_sa) != DESTROY_ME)
298 {
299 charon->ike_sa_manager->checkin(charon->ike_sa_manager, this->new_sa);
300 }
301 else
302 {
303 charon->ike_sa_manager->checkin_and_destroy(charon->ike_sa_manager,
304 this->new_sa);
305 }
306 }
307 if (this->ike_init)
308 {
309 this->ike_init->task.destroy(&this->ike_init->task);
310 }
311 DESTROY_IF(this->collision);
312 free(this);
313 }
314
315 /*
316 * Described in header.
317 */
318 ike_rekey_t *ike_rekey_create(ike_sa_t *ike_sa, bool initiator)
319 {
320 private_ike_rekey_t *this = malloc_thing(private_ike_rekey_t);
321
322 this->public.collide = (void(*)(ike_rekey_t*,task_t*))collide;
323 this->public.task.get_type = (task_type_t(*)(task_t*))get_type;
324 this->public.task.migrate = (void(*)(task_t*,ike_sa_t*))migrate;
325 this->public.task.destroy = (void(*)(task_t*))destroy;
326 if (initiator)
327 {
328 this->public.task.build = (status_t(*)(task_t*,message_t*))build_i;
329 this->public.task.process = (status_t(*)(task_t*,message_t*))process_i;
330 }
331 else
332 {
333 this->public.task.build = (status_t(*)(task_t*,message_t*))build_r;
334 this->public.task.process = (status_t(*)(task_t*,message_t*))process_r;
335 }
336
337 this->ike_sa = ike_sa;
338 this->new_sa = NULL;
339 this->ike_init = NULL;
340 this->initiator = initiator;
341 this->collision = NULL;
342
343 return &this->public;
344 }