Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015 Cisco and/or its affiliates. |
| 3 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | * you may not use this file except in compliance with the License. |
| 5 | * You may obtain a copy of the License at: |
| 6 | * |
| 7 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | * |
| 9 | * Unless required by applicable law or agreed to in writing, software |
| 10 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | * See the License for the specific language governing permissions and |
| 13 | * limitations under the License. |
| 14 | */ |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 15 | #ifndef __ESP_H__ |
| 16 | #define __ESP_H__ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 17 | |
Sergio Gonzalez Monroy | db93cd9 | 2017-08-26 15:22:05 +0100 | [diff] [blame] | 18 | #include <vnet/ip/ip.h> |
Damjan Marion | 91f17dc | 2019-03-18 18:59:25 +0100 | [diff] [blame] | 19 | #include <vnet/crypto/crypto.h> |
Sergio Gonzalez Monroy | db93cd9 | 2017-08-26 15:22:05 +0100 | [diff] [blame] | 20 | #include <vnet/ipsec/ipsec.h> |
| 21 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 22 | typedef struct |
| 23 | { |
Neale Ranns | 41afb33 | 2019-07-16 06:19:35 -0700 | [diff] [blame] | 24 | union |
| 25 | { |
| 26 | u32 spi; |
| 27 | u8 spi_bytes[4]; |
| 28 | }; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 29 | u32 seq; |
| 30 | u8 data[0]; |
| 31 | } esp_header_t; |
| 32 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 33 | typedef struct |
| 34 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 35 | u8 pad_length; |
| 36 | u8 next_header; |
| 37 | } esp_footer_t; |
| 38 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 39 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 40 | typedef CLIB_PACKED (struct { |
| 41 | ip4_header_t ip4; |
| 42 | esp_header_t esp; |
| 43 | }) ip4_and_esp_header_t; |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 44 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 45 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 46 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 47 | typedef CLIB_PACKED (struct { |
Klement Sekera | 4b089f2 | 2018-04-17 18:04:57 +0200 | [diff] [blame] | 48 | ip4_header_t ip4; |
| 49 | udp_header_t udp; |
| 50 | esp_header_t esp; |
| 51 | }) ip4_and_udp_and_esp_header_t; |
| 52 | /* *INDENT-ON* */ |
| 53 | |
| 54 | /* *INDENT-OFF* */ |
| 55 | typedef CLIB_PACKED (struct { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 56 | ip6_header_t ip6; |
| 57 | esp_header_t esp; |
| 58 | }) ip6_and_esp_header_t; |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 59 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 60 | |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 61 | /** |
| 62 | * AES GCM Additional Authentication data |
| 63 | */ |
| 64 | typedef struct esp_aead_t_ |
| 65 | { |
| 66 | /** |
| 67 | * for GCM: when using ESN it's: |
| 68 | * SPI, seq-hi, seg-low |
| 69 | * else |
| 70 | * SPI, seq-low |
| 71 | */ |
| 72 | u32 data[3]; |
| 73 | } __clib_packed esp_aead_t; |
| 74 | |
Damjan Marion | c59b9a2 | 2019-03-19 15:38:40 +0100 | [diff] [blame] | 75 | #define ESP_SEQ_MAX (4294967295UL) |
| 76 | #define ESP_MAX_BLOCK_SIZE (16) |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 77 | #define ESP_MAX_IV_SIZE (16) |
Neale Ranns | 1091c4a | 2019-04-08 14:48:23 +0000 | [diff] [blame] | 78 | #define ESP_MAX_ICV_SIZE (32) |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 79 | |
Sergio Gonzalez Monroy | db93cd9 | 2017-08-26 15:22:05 +0100 | [diff] [blame] | 80 | u8 *format_esp_header (u8 * s, va_list * args); |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 81 | |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 82 | /* TODO seq increment should be atomic to be accessed by multiple workers */ |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 83 | always_inline int |
| 84 | esp_seq_advance (ipsec_sa_t * sa) |
| 85 | { |
Damjan Marion | 1e3aa5e | 2019-03-28 10:58:59 +0100 | [diff] [blame] | 86 | if (PREDICT_TRUE (ipsec_sa_is_set_USE_ESN (sa))) |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 87 | { |
| 88 | if (PREDICT_FALSE (sa->seq == ESP_SEQ_MAX)) |
| 89 | { |
Damjan Marion | d709cbc | 2019-03-26 13:16:42 +0100 | [diff] [blame] | 90 | if (PREDICT_FALSE (ipsec_sa_is_set_USE_ANTI_REPLAY (sa) && |
| 91 | sa->seq_hi == ESP_SEQ_MAX)) |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 92 | return 1; |
| 93 | sa->seq_hi++; |
| 94 | } |
| 95 | sa->seq++; |
| 96 | } |
| 97 | else |
| 98 | { |
Damjan Marion | d709cbc | 2019-03-26 13:16:42 +0100 | [diff] [blame] | 99 | if (PREDICT_FALSE (ipsec_sa_is_set_USE_ANTI_REPLAY (sa) && |
| 100 | sa->seq == ESP_SEQ_MAX)) |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 101 | return 1; |
| 102 | sa->seq++; |
| 103 | } |
| 104 | |
| 105 | return 0; |
| 106 | } |
| 107 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 108 | |
| 109 | always_inline unsigned int |
Damjan Marion | b966e8b | 2019-03-20 16:07:09 +0100 | [diff] [blame] | 110 | hmac_calc (vlib_main_t * vm, ipsec_sa_t * sa, u8 * data, int data_len, |
| 111 | u8 * signature) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 112 | { |
Damjan Marion | 91f17dc | 2019-03-18 18:59:25 +0100 | [diff] [blame] | 113 | vnet_crypto_op_t _op, *op = &_op; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 114 | |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 115 | if (PREDICT_FALSE (sa->integ_op_id == 0)) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 116 | return 0; |
| 117 | |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 118 | vnet_crypto_op_init (op, sa->integ_op_id); |
Damjan Marion | d1bed68 | 2019-04-24 15:20:35 +0200 | [diff] [blame] | 119 | op->key_index = sa->integ_key_index; |
Damjan Marion | 91f17dc | 2019-03-18 18:59:25 +0100 | [diff] [blame] | 120 | op->src = data; |
| 121 | op->len = data_len; |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 122 | op->digest = signature; |
| 123 | op->digest_len = sa->integ_icv_size; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 124 | |
Damjan Marion | 1e3aa5e | 2019-03-28 10:58:59 +0100 | [diff] [blame] | 125 | if (ipsec_sa_is_set_USE_ESN (sa)) |
Damjan Marion | af73eda | 2019-03-20 16:30:54 +0100 | [diff] [blame] | 126 | { |
Neale Ranns | 3833ffd | 2019-03-21 14:34:09 +0000 | [diff] [blame] | 127 | u32 seq_hi = clib_host_to_net_u32 (sa->seq_hi); |
| 128 | |
Damjan Marion | af73eda | 2019-03-20 16:30:54 +0100 | [diff] [blame] | 129 | op->len += 4; |
Neale Ranns | 3833ffd | 2019-03-21 14:34:09 +0000 | [diff] [blame] | 130 | clib_memcpy (data + data_len, &seq_hi, 4); |
Damjan Marion | af73eda | 2019-03-20 16:30:54 +0100 | [diff] [blame] | 131 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 132 | |
Damjan Marion | 91f17dc | 2019-03-18 18:59:25 +0100 | [diff] [blame] | 133 | vnet_crypto_process_ops (vm, op, 1); |
Damjan Marion | 7c22ff7 | 2019-04-04 12:25:44 +0200 | [diff] [blame] | 134 | return sa->integ_icv_size; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 135 | } |
| 136 | |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 137 | always_inline void |
| 138 | esp_aad_fill (vnet_crypto_op_t * op, |
| 139 | const esp_header_t * esp, const ipsec_sa_t * sa) |
| 140 | { |
| 141 | esp_aead_t *aad; |
| 142 | |
| 143 | aad = (esp_aead_t *) op->aad; |
Damjan Marion | 30b8b4a | 2019-05-29 18:49:25 +0200 | [diff] [blame] | 144 | aad->data[0] = esp->spi; |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 145 | |
| 146 | if (ipsec_sa_is_set_USE_ESN (sa)) |
| 147 | { |
| 148 | /* SPI, seq-hi, seq-low */ |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 149 | aad->data[1] = clib_host_to_net_u32 (sa->seq_hi); |
Damjan Marion | 30b8b4a | 2019-05-29 18:49:25 +0200 | [diff] [blame] | 150 | aad->data[2] = esp->seq; |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 151 | op->aad_len = 12; |
| 152 | } |
| 153 | else |
Damjan Marion | 30b8b4a | 2019-05-29 18:49:25 +0200 | [diff] [blame] | 154 | { |
| 155 | /* SPI, seq-low */ |
| 156 | aad->data[1] = esp->seq; |
| 157 | op->aad_len = 8; |
| 158 | } |
Neale Ranns | 47feb11 | 2019-04-11 15:14:07 +0000 | [diff] [blame] | 159 | } |
Sergio Gonzalez Monroy | a10f62b | 2016-11-25 13:36:12 +0000 | [diff] [blame] | 160 | #endif /* __ESP_H__ */ |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 161 | |
| 162 | /* |
| 163 | * fd.io coding-style-patch-verification: ON |
| 164 | * |
| 165 | * Local Variables: |
| 166 | * eval: (c-set-style "gnu") |
| 167 | * End: |
| 168 | */ |