Annotation of embedaddon/strongswan/src/libcharon/sa/ikev2/tasks/ike_rekey.c, revision 1.1.1.1

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: 
                    129:                this->new_sa->inherit_post(this->new_sa, this->ike_sa);
                    130:                charon->bus->ike_rekey(charon->bus, this->ike_sa, this->new_sa);
                    131:                job = check_queued_tasks(this->new_sa);
                    132:                /* don't queue job before checkin(), as the IKE_SA is not yet
                    133:                 * registered at the manager */
                    134:                charon->ike_sa_manager->checkin(charon->ike_sa_manager, this->new_sa);
                    135:                if (job)
                    136:                {
                    137:                        lib->processor->queue_job(lib->processor, job);
                    138:                }
                    139:                this->new_sa = NULL;
                    140:                charon->bus->set_sa(charon->bus, this->ike_sa);
                    141: 
                    142:                this->ike_sa->set_state(this->ike_sa, IKE_REKEYED);
                    143:        }
                    144: }
                    145: 
                    146: METHOD(task_t, build_i_delete, status_t,
                    147:        private_ike_rekey_t *this, message_t *message)
                    148: {
                    149:        /* update exchange type to INFORMATIONAL for the delete */
                    150:        message->set_exchange_type(message, INFORMATIONAL);
                    151: 
                    152:        return this->ike_delete->task.build(&this->ike_delete->task, message);
                    153: }
                    154: 
                    155: METHOD(task_t, process_i_delete, status_t,
                    156:        private_ike_rekey_t *this, message_t *message)
                    157: {
                    158:        return this->ike_delete->task.process(&this->ike_delete->task, message);
                    159: }
                    160: 
                    161: METHOD(task_t, build_i, status_t,
                    162:        private_ike_rekey_t *this, message_t *message)
                    163: {
                    164:        ike_version_t version;
                    165: 
                    166:        /* create new SA only on first try */
                    167:        if (this->new_sa == NULL)
                    168:        {
                    169:                version = this->ike_sa->get_version(this->ike_sa);
                    170:                this->new_sa = charon->ike_sa_manager->checkout_new(
                    171:                                                                                charon->ike_sa_manager, version, TRUE);
                    172:                if (!this->new_sa)
                    173:                {       /* shouldn't happen */
                    174:                        return FAILED;
                    175:                }
                    176:                this->new_sa->inherit_pre(this->new_sa, this->ike_sa);
                    177:                this->ike_init = ike_init_create(this->new_sa, TRUE, this->ike_sa);
                    178:                this->ike_sa->set_state(this->ike_sa, IKE_REKEYING);
                    179:        }
                    180:        this->ike_init->task.build(&this->ike_init->task, message);
                    181: 
                    182:        return NEED_MORE;
                    183: }
                    184: 
                    185: /**
                    186:  * Check if there are any half-open children
                    187:  */
                    188: static bool have_half_open_children(private_ike_rekey_t *this)
                    189: {
                    190:        enumerator_t *enumerator;
                    191:        child_sa_t *child_sa;
                    192:        task_t *task;
                    193: 
                    194:        enumerator = this->ike_sa->create_child_sa_enumerator(this->ike_sa);
                    195:        while (enumerator->enumerate(enumerator, (void**)&child_sa))
                    196:        {
                    197:                switch (child_sa->get_state(child_sa))
                    198:                {
                    199:                        case CHILD_REKEYING:
                    200:                        case CHILD_RETRYING:
                    201:                        case CHILD_DELETING:
                    202:                                enumerator->destroy(enumerator);
                    203:                                return TRUE;
                    204:                        default:
                    205:                                break;
                    206:                }
                    207:        }
                    208:        enumerator->destroy(enumerator);
                    209:        enumerator = this->ike_sa->create_task_enumerator(this->ike_sa,
                    210:                                                                                                          TASK_QUEUE_ACTIVE);
                    211:        while (enumerator->enumerate(enumerator, (void**)&task))
                    212:        {
                    213:                if (task->get_type(task) == TASK_CHILD_CREATE)
                    214:                {
                    215:                        enumerator->destroy(enumerator);
                    216:                        return TRUE;
                    217:                }
                    218:        }
                    219:        enumerator->destroy(enumerator);
                    220:        return FALSE;
                    221: }
                    222: 
                    223: METHOD(task_t, process_r, status_t,
                    224:        private_ike_rekey_t *this, message_t *message)
                    225: {
                    226:        if (this->ike_sa->get_state(this->ike_sa) == IKE_DELETING)
                    227:        {
                    228:                DBG1(DBG_IKE, "peer initiated rekeying, but we are deleting");
                    229:                this->failed_temporarily = TRUE;
                    230:                return NEED_MORE;
                    231:        }
                    232:        if (have_half_open_children(this))
                    233:        {
                    234:                DBG1(DBG_IKE, "peer initiated rekeying, but a child is half-open");
                    235:                this->failed_temporarily = TRUE;
                    236:                return NEED_MORE;
                    237:        }
                    238: 
                    239:        this->new_sa = charon->ike_sa_manager->checkout_new(charon->ike_sa_manager,
                    240:                                                        this->ike_sa->get_version(this->ike_sa), FALSE);
                    241:        if (!this->new_sa)
                    242:        {       /* shouldn't happen */
                    243:                return FAILED;
                    244:        }
                    245:        this->new_sa->inherit_pre(this->new_sa, this->ike_sa);
                    246:        this->ike_init = ike_init_create(this->new_sa, FALSE, this->ike_sa);
                    247:        this->ike_init->task.process(&this->ike_init->task, message);
                    248: 
                    249:        return NEED_MORE;
                    250: }
                    251: 
                    252: METHOD(task_t, build_r, status_t,
                    253:        private_ike_rekey_t *this, message_t *message)
                    254: {
                    255:        if (this->failed_temporarily)
                    256:        {
                    257:                message->add_notify(message, TRUE, TEMPORARY_FAILURE, chunk_empty);
                    258:                return SUCCESS;
                    259:        }
                    260:        if (this->new_sa == NULL)
                    261:        {
                    262:                /* IKE_SA/a CHILD_SA is in an unacceptable state, deny rekeying */
                    263:                message->add_notify(message, TRUE, NO_PROPOSAL_CHOSEN, chunk_empty);
                    264:                return SUCCESS;
                    265:        }
                    266:        if (this->ike_init->task.build(&this->ike_init->task, message) == FAILED)
                    267:        {
                    268:                this->ike_init->task.destroy(&this->ike_init->task);
                    269:                this->ike_init = NULL;
                    270:                charon->bus->set_sa(charon->bus, this->ike_sa);
                    271:                return SUCCESS;
                    272:        }
                    273:        charon->bus->set_sa(charon->bus, this->ike_sa);
                    274: 
                    275:        if (this->ike_sa->get_state(this->ike_sa) != IKE_REKEYING)
                    276:        {       /* in case of a collision we let the initiating task handle this */
                    277:                establish_new(this);
                    278:                /* make sure the IKE_SA is gone in case the peer fails to delete it */
                    279:                lib->scheduler->schedule_job(lib->scheduler, (job_t*)
                    280:                        delete_ike_sa_job_create(this->ike_sa->get_id(this->ike_sa), TRUE),
                    281:                                                                         90);
                    282:        }
                    283:        return SUCCESS;
                    284: }
                    285: 
                    286: /**
                    287:  * Conclude any undetected rekey collision.
                    288:  *
                    289:  * If the peer does not detect the collision it will delete this IKE_SA.
                    290:  * Depending on when our request reaches the peer and we receive the delete
                    291:  * this may get called at different times.
                    292:  *
                    293:  * Returns TRUE if there was a collision, FALSE otherwise.
                    294:  */
                    295: static bool conclude_undetected_collision(private_ike_rekey_t *this)
                    296: {
                    297:        if (this->collision &&
                    298:                this->collision->get_type(this->collision) == TASK_IKE_REKEY)
                    299:        {
                    300:                DBG1(DBG_IKE, "peer did not notice IKE_SA rekey collision, abort "
                    301:                         "active rekeying");
                    302:                establish_new((private_ike_rekey_t*)this->collision);
                    303:                return TRUE;
                    304:        }
                    305:        return FALSE;
                    306: }
                    307: 
                    308: METHOD(task_t, process_i, status_t,
                    309:        private_ike_rekey_t *this, message_t *message)
                    310: {
                    311:        if (message->get_notify(message, NO_ADDITIONAL_SAS))
                    312:        {
                    313:                DBG1(DBG_IKE, "peer seems to not support IKE rekeying, "
                    314:                         "starting reauthentication");
                    315:                this->ike_sa->set_state(this->ike_sa, IKE_ESTABLISHED);
                    316:                lib->processor->queue_job(lib->processor,
                    317:                                (job_t*)rekey_ike_sa_job_create(
                    318:                                                        this->ike_sa->get_id(this->ike_sa), TRUE));
                    319:                return SUCCESS;
                    320:        }
                    321: 
                    322:        switch (this->ike_init->task.process(&this->ike_init->task, message))
                    323:        {
                    324:                case FAILED:
                    325:                        /* rekeying failed, fallback to old SA */
                    326:                        if (!conclude_undetected_collision(this))
                    327:                        {
                    328:                                schedule_delayed_rekey(this);
                    329:                        }
                    330:                        return SUCCESS;
                    331:                case NEED_MORE:
                    332:                        /* bad dh group, try again */
                    333:                        this->ike_init->task.migrate(&this->ike_init->task, this->new_sa);
                    334:                        return NEED_MORE;
                    335:                default:
                    336:                        break;
                    337:        }
                    338: 
                    339:        /* check for collisions */
                    340:        if (this->collision &&
                    341:                this->collision->get_type(this->collision) == TASK_IKE_REKEY)
                    342:        {
                    343:                private_ike_rekey_t *other = (private_ike_rekey_t*)this->collision;
                    344:                host_t *host;
                    345:                chunk_t this_nonce, other_nonce;
                    346: 
                    347:                this_nonce = this->ike_init->get_lower_nonce(this->ike_init);
                    348:                other_nonce = other->ike_init->get_lower_nonce(other->ike_init);
                    349: 
                    350:                /* if we have the lower nonce, delete rekeyed SA. If not, delete
                    351:                 * the redundant. */
                    352:                if (memcmp(this_nonce.ptr, other_nonce.ptr,
                    353:                                   min(this_nonce.len, other_nonce.len)) < 0)
                    354:                {
                    355:                        DBG1(DBG_IKE, "IKE_SA rekey collision lost, deleting redundant "
                    356:                                 "IKE_SA %s[%d]", this->new_sa->get_name(this->new_sa),
                    357:                                 this->new_sa->get_unique_id(this->new_sa));
                    358:                        /* apply host for a proper delete */
                    359:                        host = this->ike_sa->get_my_host(this->ike_sa);
                    360:                        this->new_sa->set_my_host(this->new_sa, host->clone(host));
                    361:                        host = this->ike_sa->get_other_host(this->ike_sa);
                    362:                        this->new_sa->set_other_host(this->new_sa, host->clone(host));
                    363:                        /* IKE_SAs in state IKE_REKEYED are silently deleted, so we use
                    364:                         * IKE_REKEYING */
                    365:                        this->new_sa->set_state(this->new_sa, IKE_REKEYING);
                    366:                        if (this->new_sa->delete(this->new_sa, FALSE) == DESTROY_ME)
                    367:                        {
                    368:                                this->new_sa->destroy(this->new_sa);
                    369:                        }
                    370:                        else
                    371:                        {
                    372:                                charon->ike_sa_manager->checkin(charon->ike_sa_manager,
                    373:                                                                                                this->new_sa);
                    374:                        }
                    375:                        charon->bus->set_sa(charon->bus, this->ike_sa);
                    376:                        this->new_sa = NULL;
                    377:                        establish_new(other);
                    378:                        return SUCCESS;
                    379:                }
                    380:                /* peer should delete this SA. Add a timeout just in case. */
                    381:                job_t *job = (job_t*)delete_ike_sa_job_create(
                    382:                                                                        other->new_sa->get_id(other->new_sa), TRUE);
                    383:                lib->scheduler->schedule_job(lib->scheduler, job,
                    384:                                                                         HALF_OPEN_IKE_SA_TIMEOUT);
                    385:                DBG1(DBG_IKE, "IKE_SA rekey collision won, waiting for delete for "
                    386:                         "redundant IKE_SA %s[%d]", other->new_sa->get_name(other->new_sa),
                    387:                         other->new_sa->get_unique_id(other->new_sa));
                    388:                other->new_sa->set_state(other->new_sa, IKE_REKEYED);
                    389:                charon->ike_sa_manager->checkin(charon->ike_sa_manager, other->new_sa);
                    390:                other->new_sa = NULL;
                    391:                charon->bus->set_sa(charon->bus, this->ike_sa);
                    392:        }
                    393: 
                    394:        establish_new(this);
                    395: 
                    396:        /* rekeying successful, delete the IKE_SA using a subtask */
                    397:        this->ike_delete = ike_delete_create(this->ike_sa, TRUE);
                    398:        this->public.task.build = _build_i_delete;
                    399:        this->public.task.process = _process_i_delete;
                    400: 
                    401:        return NEED_MORE;
                    402: }
                    403: 
                    404: METHOD(task_t, get_type, task_type_t,
                    405:        private_ike_rekey_t *this)
                    406: {
                    407:        return TASK_IKE_REKEY;
                    408: }
                    409: 
                    410: METHOD(ike_rekey_t, did_collide, bool,
                    411:        private_ike_rekey_t *this)
                    412: {
                    413:        return this->collision &&
                    414:                   this->collision->get_type(this->collision) == TASK_IKE_REKEY;
                    415: }
                    416: 
                    417: METHOD(ike_rekey_t, collide, void,
                    418:        private_ike_rekey_t* this, task_t *other)
                    419: {
                    420:        DBG1(DBG_IKE, "detected %N collision with %N", task_type_names,
                    421:                 TASK_IKE_REKEY, task_type_names, other->get_type(other));
                    422: 
                    423:        switch (other->get_type(other))
                    424:        {
                    425:                case TASK_IKE_DELETE:
                    426:                        conclude_undetected_collision(this);
                    427:                        other->destroy(other);
                    428:                        return;
                    429:                case TASK_IKE_REKEY:
                    430:                {
                    431:                        private_ike_rekey_t *rekey = (private_ike_rekey_t*)other;
                    432: 
                    433:                        if (!rekey->ike_init)
                    434:                        {
                    435:                                DBG1(DBG_IKE, "colliding exchange did not result in an IKE_SA, "
                    436:                                         "ignore");
                    437:                                other->destroy(other);
                    438:                                return;
                    439:                        }
                    440:                        break;
                    441:                }
                    442:                default:
                    443:                        break;
                    444:        }
                    445:        DESTROY_IF(this->collision);
                    446:        this->collision = other;
                    447: }
                    448: 
                    449: /**
                    450:  * Cleanup the task
                    451:  */
                    452: static void cleanup(private_ike_rekey_t *this)
                    453: {
                    454:        ike_sa_t *cur_sa;
                    455: 
                    456:        if (this->ike_init)
                    457:        {
                    458:                this->ike_init->task.destroy(&this->ike_init->task);
                    459:        }
                    460:        if (this->ike_delete)
                    461:        {
                    462:                this->ike_delete->task.destroy(&this->ike_delete->task);
                    463:        }
                    464:        cur_sa = charon->bus->get_sa(charon->bus);
                    465:        DESTROY_IF(this->new_sa);
                    466:        charon->bus->set_sa(charon->bus, cur_sa);
                    467:        DESTROY_IF(this->collision);
                    468: }
                    469: 
                    470: METHOD(task_t, migrate, void,
                    471:        private_ike_rekey_t *this, ike_sa_t *ike_sa)
                    472: {
                    473:        cleanup(this);
                    474:        this->collision = NULL;
                    475:        this->ike_sa = ike_sa;
                    476:        this->new_sa = NULL;
                    477:        this->ike_init = NULL;
                    478:        this->ike_delete = NULL;
                    479: }
                    480: 
                    481: METHOD(task_t, destroy, void,
                    482:        private_ike_rekey_t *this)
                    483: {
                    484:        cleanup(this);
                    485:        free(this);
                    486: }
                    487: 
                    488: /*
                    489:  * Described in header.
                    490:  */
                    491: ike_rekey_t *ike_rekey_create(ike_sa_t *ike_sa, bool initiator)
                    492: {
                    493:        private_ike_rekey_t *this;
                    494: 
                    495:        INIT(this,
                    496:                .public = {
                    497:                        .task = {
                    498:                                .get_type = _get_type,
                    499:                                .build = _build_r,
                    500:                                .process = _process_r,
                    501:                                .migrate = _migrate,
                    502:                                .destroy = _destroy,
                    503:                        },
                    504:                        .did_collide = _did_collide,
                    505:                        .collide = _collide,
                    506:                },
                    507:                .ike_sa = ike_sa,
                    508:                .initiator = initiator,
                    509:        );
                    510:        if (initiator)
                    511:        {
                    512:                this->public.task.build = _build_i;
                    513:                this->public.task.process = _process_i;
                    514:        }
                    515: 
                    516:        return &this->public;
                    517: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>