Annotation of embedaddon/strongswan/src/libcharon/sa/ikev2/tasks/ike_rekey.c, revision 1.1.1.2
1.1 misho 1: /*
2: * Copyright (C) 2015-2016 Tobias Brunner
3: * Copyright (C) 2005-2008 Martin Willi
4: * Copyright (C) 2005 Jan Hutter
5: * HSR Hochschule fuer Technik Rapperswil
6: *
7: * This program is free software; you can redistribute it and/or modify it
8: * under the terms of the GNU General Public License as published by the
9: * Free Software Foundation; either version 2 of the License, or (at your
10: * option) any later version. See <http://www.fsf.org/copyleft/gpl.txt>.
11: *
12: * This program is distributed in the hope that it will be useful, but
13: * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14: * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15: * for more details.
16: */
17:
18: #include "ike_rekey.h"
19:
20: #include <daemon.h>
21: #include <encoding/payloads/notify_payload.h>
22: #include <sa/ikev2/tasks/ike_init.h>
23: #include <sa/ikev2/tasks/ike_delete.h>
24: #include <processing/jobs/delete_ike_sa_job.h>
25: #include <processing/jobs/rekey_ike_sa_job.h>
26: #include <processing/jobs/initiate_tasks_job.h>
27:
28:
29: typedef struct private_ike_rekey_t private_ike_rekey_t;
30:
31: /**
32: * Private members of a ike_rekey_t task.
33: */
34: struct private_ike_rekey_t {
35:
36: /**
37: * Public methods and task_t interface.
38: */
39: ike_rekey_t public;
40:
41: /**
42: * Assigned IKE_SA.
43: */
44: ike_sa_t *ike_sa;
45:
46: /**
47: * New IKE_SA which replaces the current one
48: */
49: ike_sa_t *new_sa;
50:
51: /**
52: * Are we the initiator?
53: */
54: bool initiator;
55:
56: /**
57: * the TASK_IKE_INIT task which is reused to simplify rekeying
58: */
59: ike_init_t *ike_init;
60:
61: /**
62: * IKE_DELETE task to delete the old IKE_SA after rekeying was successful
63: */
64: ike_delete_t *ike_delete;
65:
66: /**
67: * colliding task detected by the task manager
68: */
69: task_t *collision;
70:
71: /**
72: * TRUE if rekeying can't be handled temporarily
73: */
74: bool failed_temporarily;
75: };
76:
77: /**
78: * Schedule a retry if rekeying temporary failed
79: */
80: static void schedule_delayed_rekey(private_ike_rekey_t *this)
81: {
82: uint32_t retry;
83: job_t *job;
84:
85: retry = RETRY_INTERVAL - (random() % RETRY_JITTER);
86: job = (job_t*)rekey_ike_sa_job_create(
87: this->ike_sa->get_id(this->ike_sa), FALSE);
88: DBG1(DBG_IKE, "IKE_SA rekeying failed, trying again in %d seconds", retry);
89: this->ike_sa->set_state(this->ike_sa, IKE_ESTABLISHED);
90: lib->scheduler->schedule_job(lib->scheduler, job, retry);
91: }
92:
93: /**
94: * Check if an IKE_SA has any queued tasks, return initiation job
95: */
96: static job_t* check_queued_tasks(ike_sa_t *ike_sa)
97: {
98: enumerator_t *enumerator;
99: task_t *task;
100: job_t *job = NULL;
101:
102: enumerator = ike_sa->create_task_enumerator(ike_sa, TASK_QUEUE_QUEUED);
103: if (enumerator->enumerate(enumerator, &task))
104: {
105: job = (job_t*)initiate_tasks_job_create(ike_sa->get_id(ike_sa));
106: }
107: enumerator->destroy(enumerator);
108: return job;
109: }
110:
111: /**
112: * Establish the new replacement IKE_SA
113: */
114: static void establish_new(private_ike_rekey_t *this)
115: {
116: if (this->new_sa)
117: {
118: job_t *job;
119:
120: this->new_sa->set_state(this->new_sa, IKE_ESTABLISHED);
121: DBG0(DBG_IKE, "IKE_SA %s[%d] rekeyed between %H[%Y]...%H[%Y]",
122: this->new_sa->get_name(this->new_sa),
123: this->new_sa->get_unique_id(this->new_sa),
124: this->ike_sa->get_my_host(this->ike_sa),
125: this->ike_sa->get_my_id(this->ike_sa),
126: this->ike_sa->get_other_host(this->ike_sa),
127: this->ike_sa->get_other_id(this->ike_sa));
128:
1.1.1.2 ! misho 129: /* register the new IKE_SA before calling inherit_post() as that may
! 130: * schedule jobs, as may listeners for ike_rekey() */
! 131: charon->ike_sa_manager->checkout_new(charon->ike_sa_manager,
! 132: this->new_sa);
1.1 misho 133: this->new_sa->inherit_post(this->new_sa, this->ike_sa);
134: charon->bus->ike_rekey(charon->bus, this->ike_sa, this->new_sa);
135: job = check_queued_tasks(this->new_sa);
136: if (job)
137: {
138: lib->processor->queue_job(lib->processor, job);
139: }
1.1.1.2 ! misho 140: charon->ike_sa_manager->checkin(charon->ike_sa_manager, this->new_sa);
1.1 misho 141: this->new_sa = NULL;
142: charon->bus->set_sa(charon->bus, this->ike_sa);
143:
144: this->ike_sa->set_state(this->ike_sa, IKE_REKEYED);
145: }
146: }
147:
148: METHOD(task_t, build_i_delete, status_t,
149: private_ike_rekey_t *this, message_t *message)
150: {
151: /* update exchange type to INFORMATIONAL for the delete */
152: message->set_exchange_type(message, INFORMATIONAL);
153:
154: return this->ike_delete->task.build(&this->ike_delete->task, message);
155: }
156:
157: METHOD(task_t, process_i_delete, status_t,
158: private_ike_rekey_t *this, message_t *message)
159: {
160: return this->ike_delete->task.process(&this->ike_delete->task, message);
161: }
162:
163: METHOD(task_t, build_i, status_t,
164: private_ike_rekey_t *this, message_t *message)
165: {
166: ike_version_t version;
167:
168: /* create new SA only on first try */
169: if (this->new_sa == NULL)
170: {
171: version = this->ike_sa->get_version(this->ike_sa);
1.1.1.2 ! misho 172: this->new_sa = charon->ike_sa_manager->create_new(
1.1 misho 173: charon->ike_sa_manager, version, TRUE);
174: if (!this->new_sa)
175: { /* shouldn't happen */
176: return FAILED;
177: }
178: this->new_sa->inherit_pre(this->new_sa, this->ike_sa);
179: this->ike_init = ike_init_create(this->new_sa, TRUE, this->ike_sa);
180: this->ike_sa->set_state(this->ike_sa, IKE_REKEYING);
181: }
182: this->ike_init->task.build(&this->ike_init->task, message);
183:
184: return NEED_MORE;
185: }
186:
187: /**
188: * Check if there are any half-open children
189: */
190: static bool have_half_open_children(private_ike_rekey_t *this)
191: {
192: enumerator_t *enumerator;
193: child_sa_t *child_sa;
194: task_t *task;
195:
196: enumerator = this->ike_sa->create_child_sa_enumerator(this->ike_sa);
197: while (enumerator->enumerate(enumerator, (void**)&child_sa))
198: {
199: switch (child_sa->get_state(child_sa))
200: {
201: case CHILD_REKEYING:
202: case CHILD_RETRYING:
203: case CHILD_DELETING:
204: enumerator->destroy(enumerator);
205: return TRUE;
206: default:
207: break;
208: }
209: }
210: enumerator->destroy(enumerator);
211: enumerator = this->ike_sa->create_task_enumerator(this->ike_sa,
212: TASK_QUEUE_ACTIVE);
213: while (enumerator->enumerate(enumerator, (void**)&task))
214: {
215: if (task->get_type(task) == TASK_CHILD_CREATE)
216: {
217: enumerator->destroy(enumerator);
218: return TRUE;
219: }
220: }
221: enumerator->destroy(enumerator);
222: return FALSE;
223: }
224:
225: METHOD(task_t, process_r, status_t,
226: private_ike_rekey_t *this, message_t *message)
227: {
228: if (this->ike_sa->get_state(this->ike_sa) == IKE_DELETING)
229: {
230: DBG1(DBG_IKE, "peer initiated rekeying, but we are deleting");
231: this->failed_temporarily = TRUE;
232: return NEED_MORE;
233: }
234: if (have_half_open_children(this))
235: {
236: DBG1(DBG_IKE, "peer initiated rekeying, but a child is half-open");
237: this->failed_temporarily = TRUE;
238: return NEED_MORE;
239: }
240:
1.1.1.2 ! misho 241: this->new_sa = charon->ike_sa_manager->create_new(charon->ike_sa_manager,
1.1 misho 242: this->ike_sa->get_version(this->ike_sa), FALSE);
243: if (!this->new_sa)
244: { /* shouldn't happen */
245: return FAILED;
246: }
247: this->new_sa->inherit_pre(this->new_sa, this->ike_sa);
248: this->ike_init = ike_init_create(this->new_sa, FALSE, this->ike_sa);
249: this->ike_init->task.process(&this->ike_init->task, message);
250:
251: return NEED_MORE;
252: }
253:
254: METHOD(task_t, build_r, status_t,
255: private_ike_rekey_t *this, message_t *message)
256: {
257: if (this->failed_temporarily)
258: {
259: message->add_notify(message, TRUE, TEMPORARY_FAILURE, chunk_empty);
260: return SUCCESS;
261: }
262: if (this->new_sa == NULL)
263: {
264: /* IKE_SA/a CHILD_SA is in an unacceptable state, deny rekeying */
265: message->add_notify(message, TRUE, NO_PROPOSAL_CHOSEN, chunk_empty);
266: return SUCCESS;
267: }
268: if (this->ike_init->task.build(&this->ike_init->task, message) == FAILED)
269: {
270: this->ike_init->task.destroy(&this->ike_init->task);
271: this->ike_init = NULL;
272: charon->bus->set_sa(charon->bus, this->ike_sa);
273: return SUCCESS;
274: }
275: charon->bus->set_sa(charon->bus, this->ike_sa);
276:
277: if (this->ike_sa->get_state(this->ike_sa) != IKE_REKEYING)
278: { /* in case of a collision we let the initiating task handle this */
279: establish_new(this);
280: /* make sure the IKE_SA is gone in case the peer fails to delete it */
281: lib->scheduler->schedule_job(lib->scheduler, (job_t*)
282: delete_ike_sa_job_create(this->ike_sa->get_id(this->ike_sa), TRUE),
283: 90);
284: }
285: return SUCCESS;
286: }
287:
288: /**
289: * Conclude any undetected rekey collision.
290: *
291: * If the peer does not detect the collision it will delete this IKE_SA.
292: * Depending on when our request reaches the peer and we receive the delete
293: * this may get called at different times.
294: *
295: * Returns TRUE if there was a collision, FALSE otherwise.
296: */
297: static bool conclude_undetected_collision(private_ike_rekey_t *this)
298: {
299: if (this->collision &&
300: this->collision->get_type(this->collision) == TASK_IKE_REKEY)
301: {
302: DBG1(DBG_IKE, "peer did not notice IKE_SA rekey collision, abort "
303: "active rekeying");
304: establish_new((private_ike_rekey_t*)this->collision);
305: return TRUE;
306: }
307: return FALSE;
308: }
309:
310: METHOD(task_t, process_i, status_t,
311: private_ike_rekey_t *this, message_t *message)
312: {
313: if (message->get_notify(message, NO_ADDITIONAL_SAS))
314: {
315: DBG1(DBG_IKE, "peer seems to not support IKE rekeying, "
316: "starting reauthentication");
317: this->ike_sa->set_state(this->ike_sa, IKE_ESTABLISHED);
318: lib->processor->queue_job(lib->processor,
319: (job_t*)rekey_ike_sa_job_create(
320: this->ike_sa->get_id(this->ike_sa), TRUE));
321: return SUCCESS;
322: }
323:
324: switch (this->ike_init->task.process(&this->ike_init->task, message))
325: {
326: case FAILED:
327: /* rekeying failed, fallback to old SA */
328: if (!conclude_undetected_collision(this))
329: {
330: schedule_delayed_rekey(this);
331: }
332: return SUCCESS;
333: case NEED_MORE:
334: /* bad dh group, try again */
335: this->ike_init->task.migrate(&this->ike_init->task, this->new_sa);
336: return NEED_MORE;
337: default:
338: break;
339: }
340:
341: /* check for collisions */
342: if (this->collision &&
343: this->collision->get_type(this->collision) == TASK_IKE_REKEY)
344: {
345: private_ike_rekey_t *other = (private_ike_rekey_t*)this->collision;
346: host_t *host;
347: chunk_t this_nonce, other_nonce;
348:
349: this_nonce = this->ike_init->get_lower_nonce(this->ike_init);
350: other_nonce = other->ike_init->get_lower_nonce(other->ike_init);
351:
352: /* if we have the lower nonce, delete rekeyed SA. If not, delete
353: * the redundant. */
354: if (memcmp(this_nonce.ptr, other_nonce.ptr,
355: min(this_nonce.len, other_nonce.len)) < 0)
356: {
357: DBG1(DBG_IKE, "IKE_SA rekey collision lost, deleting redundant "
358: "IKE_SA %s[%d]", this->new_sa->get_name(this->new_sa),
359: this->new_sa->get_unique_id(this->new_sa));
360: /* apply host for a proper delete */
361: host = this->ike_sa->get_my_host(this->ike_sa);
362: this->new_sa->set_my_host(this->new_sa, host->clone(host));
363: host = this->ike_sa->get_other_host(this->ike_sa);
364: this->new_sa->set_other_host(this->new_sa, host->clone(host));
365: /* IKE_SAs in state IKE_REKEYED are silently deleted, so we use
366: * IKE_REKEYING */
367: this->new_sa->set_state(this->new_sa, IKE_REKEYING);
368: if (this->new_sa->delete(this->new_sa, FALSE) == DESTROY_ME)
369: {
370: this->new_sa->destroy(this->new_sa);
371: }
372: else
373: {
374: charon->ike_sa_manager->checkin(charon->ike_sa_manager,
375: this->new_sa);
376: }
377: charon->bus->set_sa(charon->bus, this->ike_sa);
378: this->new_sa = NULL;
379: establish_new(other);
380: return SUCCESS;
381: }
382: /* peer should delete this SA. Add a timeout just in case. */
383: job_t *job = (job_t*)delete_ike_sa_job_create(
384: other->new_sa->get_id(other->new_sa), TRUE);
385: lib->scheduler->schedule_job(lib->scheduler, job,
386: HALF_OPEN_IKE_SA_TIMEOUT);
387: DBG1(DBG_IKE, "IKE_SA rekey collision won, waiting for delete for "
388: "redundant IKE_SA %s[%d]", other->new_sa->get_name(other->new_sa),
389: other->new_sa->get_unique_id(other->new_sa));
390: other->new_sa->set_state(other->new_sa, IKE_REKEYED);
391: charon->ike_sa_manager->checkin(charon->ike_sa_manager, other->new_sa);
392: other->new_sa = NULL;
393: charon->bus->set_sa(charon->bus, this->ike_sa);
394: }
395:
396: establish_new(this);
397:
398: /* rekeying successful, delete the IKE_SA using a subtask */
399: this->ike_delete = ike_delete_create(this->ike_sa, TRUE);
400: this->public.task.build = _build_i_delete;
401: this->public.task.process = _process_i_delete;
402:
403: return NEED_MORE;
404: }
405:
406: METHOD(task_t, get_type, task_type_t,
407: private_ike_rekey_t *this)
408: {
409: return TASK_IKE_REKEY;
410: }
411:
412: METHOD(ike_rekey_t, did_collide, bool,
413: private_ike_rekey_t *this)
414: {
415: return this->collision &&
416: this->collision->get_type(this->collision) == TASK_IKE_REKEY;
417: }
418:
419: METHOD(ike_rekey_t, collide, void,
420: private_ike_rekey_t* this, task_t *other)
421: {
422: DBG1(DBG_IKE, "detected %N collision with %N", task_type_names,
423: TASK_IKE_REKEY, task_type_names, other->get_type(other));
424:
425: switch (other->get_type(other))
426: {
427: case TASK_IKE_DELETE:
428: conclude_undetected_collision(this);
429: other->destroy(other);
430: return;
431: case TASK_IKE_REKEY:
432: {
433: private_ike_rekey_t *rekey = (private_ike_rekey_t*)other;
434:
435: if (!rekey->ike_init)
436: {
437: DBG1(DBG_IKE, "colliding exchange did not result in an IKE_SA, "
438: "ignore");
439: other->destroy(other);
440: return;
441: }
442: break;
443: }
444: default:
445: break;
446: }
447: DESTROY_IF(this->collision);
448: this->collision = other;
449: }
450:
451: /**
452: * Cleanup the task
453: */
454: static void cleanup(private_ike_rekey_t *this)
455: {
456: ike_sa_t *cur_sa;
457:
458: if (this->ike_init)
459: {
460: this->ike_init->task.destroy(&this->ike_init->task);
461: }
462: if (this->ike_delete)
463: {
464: this->ike_delete->task.destroy(&this->ike_delete->task);
465: }
466: cur_sa = charon->bus->get_sa(charon->bus);
467: DESTROY_IF(this->new_sa);
468: charon->bus->set_sa(charon->bus, cur_sa);
469: DESTROY_IF(this->collision);
470: }
471:
472: METHOD(task_t, migrate, void,
473: private_ike_rekey_t *this, ike_sa_t *ike_sa)
474: {
475: cleanup(this);
476: this->collision = NULL;
477: this->ike_sa = ike_sa;
478: this->new_sa = NULL;
479: this->ike_init = NULL;
480: this->ike_delete = NULL;
481: }
482:
483: METHOD(task_t, destroy, void,
484: private_ike_rekey_t *this)
485: {
486: cleanup(this);
487: free(this);
488: }
489:
490: /*
491: * Described in header.
492: */
493: ike_rekey_t *ike_rekey_create(ike_sa_t *ike_sa, bool initiator)
494: {
495: private_ike_rekey_t *this;
496:
497: INIT(this,
498: .public = {
499: .task = {
500: .get_type = _get_type,
501: .build = _build_r,
502: .process = _process_r,
503: .migrate = _migrate,
504: .destroy = _destroy,
505: },
506: .did_collide = _did_collide,
507: .collide = _collide,
508: },
509: .ike_sa = ike_sa,
510: .initiator = initiator,
511: );
512: if (initiator)
513: {
514: this->public.task.build = _build_i;
515: this->public.task.process = _process_i;
516: }
517:
518: return &this->public;
519: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>