Source/charon/sa/states/responder_init.c

   1 /**
   2  * @file responder_init.c
   3  *
   4  * @brief Implementation of responder_init_t.
   5  *
   6  */
   7
   8 /*
   9  * Copyright (C) 2005 Jan Hutter, Martin Willi
  10  * Hochschule fuer Technik Rapperswil
  11  *
  12  * This program is free software; you can redistribute it and/or modify it
  13  * under the terms of the GNU General Public License as published by the
  14  * Free Software Foundation; either version 2 of the License, or (at your
  15  * option) any later version.  See <http://www.fsf.org/copyleft/gpl.txt>.
  16  *
  17  * This program is distributed in the hope that it will be useful, but
  18  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  19  * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  20  * for more details.
  21  */
  22
  23 #include "responder_init.h"
  24
  25 #include <globals.h>
  26 #include <sa/states/state.h>
  27 #include <sa/states/ike_sa_init_responded.h>
  28 #include <utils/allocator.h>
  29 #include <encoding/payloads/sa_payload.h>
  30 #include <encoding/payloads/ke_payload.h>
  31 #include <encoding/payloads/nonce_payload.h>
  32 #include <transforms/diffie_hellman.h>
  33
  34
  35 typedef struct private_responder_init_t private_responder_init_t;
  36
  37 /**
  38  * Private data of a responder_init_t object.
  39  *
  40  */
  41 struct private_responder_init_t {
  42         /**
  43          * Methods of the state_t interface.
  44          */
  45         responder_init_t public;
  46
  47         /**
  48          * Assigned IKE_SA.
  49          */
  50         protected_ike_sa_t *ike_sa;
  51
  52         /**
  53          * Diffie Hellman object used to compute shared secret.
  54          *
  55          * After processing of incoming IKE_SA_INIT-Request the shared key is
  56          * passed to the next state of type ike_sa_init_responded_t.
  57          */
  58         diffie_hellman_t *diffie_hellman;
  59
  60         /**
  61          * Diffie Hellman group number.
  62          */
  63         u_int16_t dh_group_number;
  64
  65         /**
  66          * Priority used to get matching dh_group number.
  67          */
  68         u_int16_t dh_group_priority;
  69
  70         /**
  71          * Sent nonce value.
  72          *
  73          * This value is passed to the next state of type ike_sa_init_responded_t.
  74          */
  75         chunk_t sent_nonce;
  76
  77         /**
  78          * Received nonce value
  79          *
  80          * This value is passed to the next state of type ike_sa_init_responded_t.
  81          */
  82         chunk_t received_nonce;
  83
  84         /**
  85          * Logger used to log data
  86          *
  87          * Is logger of ike_sa!
  88          */
  89         logger_t *logger;
  90
  91         /**
  92          * Proposals used to initiate connection
  93          */
  94         linked_list_t *proposals;
  95
  96         /**
  97          * Builds the SA payload for this state.
  98          *
  99          * @param this          calling object
 100          * @param payload       The generated SA payload object of type ke_payload_t is
 101          *                                      stored at this location.
 102          */
 103         void (*build_sa_payload) (private_responder_init_t *this, payload_t **payload);
 104
 105         /**
 106          * Builds the KE payload for this state.
 107          *
 108          * @param this          calling object
 109          * @param payload       The generated KE payload object of type ke_payload_t is
 110          *                                      stored at this location.
 111          */
 112         void (*build_ke_payload) (private_responder_init_t *this, payload_t **payload);
 113
 114         /**
 115          * Builds the NONCE payload for this state.
 116          *
 117          * @param this          calling object
 118          * @param payload       The generated NONCE payload object of type ke_payload_t is
 119          *                                      stored at this location.
 120          */
 121         void (*build_nonce_payload) (private_responder_init_t *this, payload_t **payload);
 122
 123         /**
 124          * Destroy function called internally of this class after state change succeeded.
 125          *
 126          * This destroy function does not destroy objects which were passed to the new state.
 127          *
 128          * @param this          calling object
 129          */
 130         void (*destroy_after_state_change) (private_responder_init_t *this);
 131 };
 132
 133 /**
 134  * Implements state_t.get_state
 135  */
 136 static status_t process_message(private_responder_init_t *this, message_t *message)
 137 {
 138         iterator_t *payloads;
 139         host_t *source, *destination;
 140         status_t status;
 141         message_t *response;
 142         payload_t *payload;
 143         packet_t *packet;
 144         chunk_t shared_secret;
 145         exchange_type_t exchange_type;
 146         ike_sa_init_responded_t *next_state;
 147         host_t *my_host;
 148         host_t *other_host;
 149         randomizer_t *randomizer;
 150
 151         exchange_type = message->get_exchange_type(message);
 152         if (exchange_type != IKE_SA_INIT)
 153         {
 154                 this->logger->log(this->logger, ERROR | MORE, "Message of type %s not supported in state responder_init",mapping_find(exchange_type_m,exchange_type));
 155                 return FAILED;
 156         }
 157
 158         if (!message->get_request(message))
 159         {
 160                 this->logger->log(this->logger, ERROR | MORE, "Only requests of type IKE_SA_INIT supported in state responder_init");
 161                 return FAILED;
 162         }
 163
 164         /* this is the first message we process, so copy host infos */
 165         message->get_source(message, &source);
 166         message->get_destination(message, &destination);
 167
 168         /* we need to clone them, since we destroy the message later */
 169         my_host = destination->clone(destination);
 170         other_host = source->clone(source);
 171
 172         this->ike_sa->set_my_host(this->ike_sa, my_host);
 173         this->ike_sa->set_other_host(this->ike_sa, other_host);
 174
 175         /* parse incoming message */
 176         status = message->parse_body(message, NULL, NULL);
 177         if (status != SUCCESS)
 178         {
 179                 this->logger->log(this->logger, ERROR | MORE, "Could not parse body of request message");
 180                 return status;
 181         }
 182         /* iterate over incoming payloads. We can be sure, the message contains only accepted payloads! */
 183         payloads = message->get_payload_iterator(message);
 184
 185         while (payloads->has_next(payloads))
 186         {
 187                 payload_t *payload;
 188
 189                 /* get current payload */
 190                 payloads->current(payloads, (void**)&payload);
 191
 192                 this->logger->log(this->logger, CONTROL|MORE, "Processing payload of type %s", mapping_find(payload_type_m, payload->get_type(payload)));
 193                 switch (payload->get_type(payload))
 194                 {
 195                         case SECURITY_ASSOCIATION:
 196                         {
 197                                 sa_payload_t *sa_payload = (sa_payload_t*)payload;
 198                                 iterator_t *suggested_proposals, *accepted_proposals;
 199                                 proposal_substructure_t *accepted_proposal;
 200
 201                                 accepted_proposals = this->proposals->create_iterator(this->proposals, FALSE);
 202
 203                                 /* get the list of suggested proposals */
 204                                 suggested_proposals = sa_payload->create_proposal_substructure_iterator(sa_payload, TRUE);
 205
 206                                 /* now let the configuration-manager select a subset of the proposals */
 207                                 status = global_configuration_manager->select_proposals_for_host(global_configuration_manager,
 208                                                                         this->ike_sa->get_other_host(this->ike_sa), suggested_proposals, accepted_proposals);
 209                                 if (status != SUCCESS)
 210                                 {
 211                                         this->logger->log(this->logger, CONTROL | MORE, "No proposal of suggested proposals selected");
 212                                         suggested_proposals->destroy(suggested_proposals);
 213                                         accepted_proposals->destroy(accepted_proposals);
 214                                         payloads->destroy(payloads);
 215                                         return status;
 216                                 }
 217
 218                                 /* iterators are not needed anymore */
 219                                 suggested_proposals->destroy(suggested_proposals);
 220
 221                                 /* let the ike_sa create their own transforms from proposal informations */
 222                                 accepted_proposals->reset(accepted_proposals);
 223                                 /* TODO check for true*/
 224                                 accepted_proposals->has_next(accepted_proposals);
 225                                 status = accepted_proposals->current(accepted_proposals,(void **)&accepted_proposal);
 226                                 if (status != SUCCESS)
 227                                 {
 228                                         this->logger->log(this->logger, ERROR | MORE, "Accepted proposals not supported?!");
 229                                         accepted_proposals->destroy(accepted_proposals);
 230                                         payloads->destroy(payloads);
 231                                         return status;
 232                                 }
 233
 234                                 status = this->ike_sa->create_transforms_from_proposal(this->ike_sa,accepted_proposal);
 235                                 accepted_proposals->destroy(accepted_proposals);
 236                                 if (status != SUCCESS)
 237                                 {
 238                                         this->logger->log(this->logger, ERROR | MORE, "Transform objects could not be created from selected proposal");
 239                                         payloads->destroy(payloads);
 240                                         return status;
 241                                 }
 242
 243                                 this->logger->log(this->logger, CONTROL | MORE, "SA Payload processed");
 244                                 /* ok, we have what we need for sa_payload (proposals are stored in this->proposals)*/
 245                                 break;
 246                         }
 247                         case KEY_EXCHANGE:
 248                         {
 249                                 ke_payload_t *ke_payload = (ke_payload_t*)payload;
 250                                 diffie_hellman_group_t group;
 251                                 diffie_hellman_t *dh;
 252                                 bool allowed_group;
 253
 254                                 group = ke_payload->get_dh_group_number(ke_payload);
 255
 256                                 status = global_configuration_manager->is_dh_group_allowed_for_host(global_configuration_manager,
 257                                                                 this->ike_sa->get_other_host(this->ike_sa), group, &allowed_group);
 258
 259                                 if (status != SUCCESS)
 260                                 {
 261                                         this->logger->log(this->logger, ERROR | MORE, "Could not get informations about DH group");
 262                                         payloads->destroy(payloads);
 263                                         return status;
 264                                 }
 265                                 if (!allowed_group)
 266                                 {
 267                                         /** @todo Send info reply */
 268                                 }
 269
 270                                 /* create diffie hellman object to handle DH exchange */
 271                                 dh = diffie_hellman_create(group);
 272                                 if (dh == NULL)
 273                                 {
 274                                         this->logger->log(this->logger, ERROR, "Could not generate DH object");
 275                                         payloads->destroy(payloads);
 276                                         return NOT_SUPPORTED;
 277                                 }
 278
 279                                 this->logger->log(this->logger, CONTROL | MORE, "Set other DH public value");
 280
 281                                 dh->set_other_public_value(dh, ke_payload->get_key_exchange_data(ke_payload));
 282
 283                                 this->diffie_hellman = dh;
 284
 285                                 this->logger->log(this->logger, CONTROL | MORE, "KE Payload processed");
 286                                 break;
 287                         }
 288                         case NONCE:
 289                         {
 290                                 nonce_payload_t *nonce_payload = (nonce_payload_t*)payload;
 291
 292                                 allocator_free(this->received_nonce.ptr);
 293                                 this->received_nonce = CHUNK_INITIALIZER;
 294
 295                                 this->logger->log(this->logger, CONTROL | MORE, "Get nonce value and store it");
 296                                 nonce_payload->get_nonce(nonce_payload, &(this->received_nonce));
 297
 298                                 this->logger->log(this->logger, CONTROL | MORE, "Nonce Payload processed");
 299                                 break;
 300                         }
 301                         default:
 302                         {
 303                                 this->logger->log(this->logger, ERROR | MORE, "Payload type not supported!");
 304                                 payloads->destroy(payloads);
 305                                 return NOT_SUPPORTED;
 306                         }
 307                 }
 308         }
 309         /* iterator can be destroyed */
 310         payloads->destroy(payloads);
 311
 312         this->logger->log(this->logger, CONTROL | MORE, "Request successfully handled. Going to create reply.");
 313
 314         this->logger->log(this->logger, CONTROL | MOST, "Going to create nonce.");
 315
 316         randomizer = this->ike_sa->get_randomizer(this->ike_sa);
 317
 318         randomizer->allocate_pseudo_random_bytes(randomizer, NONCE_SIZE, &(this->sent_nonce));
 319
 320         /* store shared secret  */
 321         this->logger->log(this->logger, CONTROL | MOST, "Retrieve shared secret and store it");
 322         status = this->diffie_hellman->get_shared_secret(this->diffie_hellman, &shared_secret);
 323         this->logger->log_chunk(this->logger, PRIVATE, "Shared secret", &shared_secret);
 324
 325         this->ike_sa->compute_secrets(this->ike_sa,shared_secret,this->received_nonce, this->sent_nonce);
 326
 327         /* set up the reply */
 328         this->ike_sa->build_message(this->ike_sa, IKE_SA_INIT, FALSE, &response);
 329
 330
 331         /* build SA payload */
 332         this->build_sa_payload(this, &payload);
 333         this->logger->log(this->logger, CONTROL|MOST, "add SA payload to message");
 334         response->add_payload(response, payload);
 335
 336         /* build KE payload */
 337         this->build_ke_payload(this,&payload);
 338         this->logger->log(this->logger, CONTROL|MOST, "add KE payload to message");
 339         response->add_payload(response, payload);
 340
 341         /* build Nonce payload */
 342         this->build_nonce_payload(this, &payload);
 343         this->logger->log(this->logger, CONTROL|MOST, "add nonce payload to message");
 344         response->add_payload(response, payload);
 345
 346         /* generate packet */
 347         this->logger->log(this->logger, CONTROL|MOST, "generate packet from message");
 348         status = response->generate(response, NULL, NULL, &packet);
 349         if (status != SUCCESS)
 350         {
 351                 this->logger->log(this->logger, ERROR, "could not generate packet from message");
 352                 return status;
 353         }
 354
 355         this->logger->log(this->logger, CONTROL|MOST, "Add packet to global send queue");
 356          global_send_queue->add(global_send_queue, packet);
 357
 358         /* state can now be changed */
 359         this->logger->log(this->logger, CONTROL|MOST, "Create next state object");
 360
 361         next_state = ike_sa_init_responded_create(this->ike_sa, shared_secret, this->received_nonce, this->sent_nonce);
 362
 363         /* last message can now be set */
 364         status = this->ike_sa->set_last_responded_message(this->ike_sa, response);
 365
 366         if (status != SUCCESS)
 367         {
 368                 this->logger->log(this->logger, ERROR, "Could not set last responded message");
 369                 response->destroy(response);
 370                 (next_state->state_interface).destroy(&(next_state->state_interface));
 371                 return status;
 372         }
 373
 374         /* state can now be changed */
 375         this->ike_sa->set_new_state(this->ike_sa, (state_t *) next_state);
 376         /* state has NOW changed :-) */
 377         this->logger->log(this->logger, CONTROL|MORE, "Changed state of IKE_SA from %s to %s",mapping_find(ike_sa_state_m,RESPONDER_INIT),mapping_find(ike_sa_state_m,IKE_SA_INIT_RESPONDED) );
 378
 379         this->logger->log(this->logger, CONTROL|MOST, "Destroy old sate object");
 380         this->destroy_after_state_change(this);
 381
 382         return SUCCESS;
 383 }
 384
 385 /**
 386  * implements private_initiator_init_t.build_sa_payload
 387  */
 388 static void build_sa_payload(private_responder_init_t *this, payload_t **payload)
 389 {
 390         sa_payload_t* sa_payload;
 391         iterator_t *proposal_iterator;
 392
 393         /* SA payload takes proposals from this->ike_sa_init_data.proposals and writes them to the created sa_payload */
 394
 395         this->logger->log(this->logger, CONTROL|MORE, "building sa payload");
 396
 397         proposal_iterator = this->proposals->create_iterator(this->proposals, FALSE);
 398
 399         sa_payload = sa_payload_create();
 400
 401         while (proposal_iterator->has_next(proposal_iterator))
 402         {
 403                 proposal_substructure_t *current_proposal;
 404                 proposal_substructure_t *current_proposal_clone;
 405
 406                 proposal_iterator->current(proposal_iterator,(void **) &current_proposal);
 407                 current_proposal_clone = current_proposal->clone(current_proposal);
 408                 sa_payload->add_proposal_substructure(sa_payload,current_proposal_clone);
 409         }
 410
 411         proposal_iterator->destroy(proposal_iterator);
 412
 413         *payload = (payload_t *) sa_payload;
 414 }
 415
 416 /**
 417  * implements private_initiator_init_t.build_ke_payload
 418  */
 419 static void build_ke_payload(private_responder_init_t *this, payload_t **payload)
 420 {
 421         ke_payload_t *ke_payload;
 422         chunk_t key_data;
 423
 424         this->logger->log(this->logger, CONTROL|MORE, "building ke payload");
 425         this->diffie_hellman->get_my_public_value(this->diffie_hellman,&key_data);
 426
 427         ke_payload = ke_payload_create();
 428         ke_payload->set_dh_group_number(ke_payload, MODP_1024_BIT);
 429
 430         allocator_free_chunk(&key_data);
 431         *payload = (payload_t *) ke_payload;
 432 }
 433
 434 /**
 435  * implements private_initiator_init_t.build_nonce_payload
 436  */
 437 static void build_nonce_payload(private_responder_init_t *this, payload_t **payload)
 438 {
 439         nonce_payload_t *nonce_payload;
 440         status_t status;
 441
 442         this->logger->log(this->logger, CONTROL|MORE, "building nonce payload");
 443
 444         nonce_payload = nonce_payload_create();
 445
 446         status = nonce_payload->set_nonce(nonce_payload, this->sent_nonce);
 447
 448         *payload = (payload_t *) nonce_payload;
 449 }
 450
 451
 452 /**
 453  * Implements state_t.get_state
 454  */
 455 static ike_sa_state_t get_state(private_responder_init_t *this)
 456 {
 457         return RESPONDER_INIT;
 458 }
 459
 460 /**
 461  * Implements state_t.get_state
 462  */
 463 static void destroy(private_responder_init_t *this)
 464 {
 465         this->logger->log(this->logger, CONTROL | MORE, "Going to destroy responder init state object");
 466
 467         /* destroy stored proposal */
 468         this->logger->log(this->logger, CONTROL | MOST, "Destroy stored proposals");
 469         while (this->proposals->get_count(this->proposals) > 0)
 470         {
 471                 proposal_substructure_t *current_proposal;
 472                 this->proposals->remove_first(this->proposals,(void **)&current_proposal);
 473                 current_proposal->destroy(current_proposal);
 474         }
 475         this->proposals->destroy(this->proposals);
 476
 477         allocator_free(this->sent_nonce.ptr);
 478         allocator_free(this->received_nonce.ptr);
 479
 480         if (this->diffie_hellman != NULL)
 481         {
 482                 this->diffie_hellman->destroy(this->diffie_hellman);
 483         }
 484         allocator_free(this);
 485 }
 486
 487 /**
 488  * Implements private_responder_init_t.destroy_after_state_change
 489  */
 490 static void destroy_after_state_change (private_responder_init_t *this)
 491 {
 492         this->logger->log(this->logger, CONTROL | MORE, "Going to destroy responder_init_t state object");
 493
 494         /* destroy stored proposal */
 495         this->logger->log(this->logger, CONTROL | MOST, "Destroy stored proposals");
 496         while (this->proposals->get_count(this->proposals) > 0)
 497         {
 498                 proposal_substructure_t *current_proposal;
 499                 this->proposals->remove_first(this->proposals,(void **)&current_proposal);
 500                 current_proposal->destroy(current_proposal);
 501         }
 502         this->proposals->destroy(this->proposals);
 503
 504         /* destroy diffie hellman object */
 505         if (this->diffie_hellman != NULL)
 506         {
 507                 this->logger->log(this->logger, CONTROL | MOST, "Destroy diffie_hellman_t object");
 508                 this->diffie_hellman->destroy(this->diffie_hellman);
 509         }
 510
 511         allocator_free(this);
 512 }
 513
 514 /*
 515  * Described in header.
 516  */
 517 responder_init_t *responder_init_create(protected_ike_sa_t *ike_sa)
 518 {
 519         private_responder_init_t *this = allocator_alloc_thing(private_responder_init_t);
 520
 521         /* interface functions */
 522         this->public.state_interface.process_message = (status_t (*) (state_t *,message_t *)) process_message;
 523         this->public.state_interface.get_state = (ike_sa_state_t (*) (state_t *)) get_state;
 524         this->public.state_interface.destroy  = (void (*) (state_t *)) destroy;
 525
 526         /* private functions */
 527         this->build_sa_payload = build_sa_payload;
 528         this->build_ke_payload = build_ke_payload;
 529         this->build_nonce_payload = build_nonce_payload;
 530         this->destroy_after_state_change = destroy_after_state_change;
 531
 532         /* private data */
 533         this->ike_sa = ike_sa;
 534         this->logger = this->ike_sa->get_logger(this->ike_sa);
 535         this->sent_nonce = CHUNK_INITIALIZER;
 536         this->received_nonce = CHUNK_INITIALIZER;
 537         this->proposals = linked_list_create();
 538
 539         return &(this->public);
 540 }