blob: 14461ad2cdd60bb62d0d5ca7c396c8355c620225 [file] [log] [blame]
Neale Ranns999c8ee2019-02-01 03:31:24 -08001/*
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 */
15#ifndef __IPSEC_SPD_SA_H__
16#define __IPSEC_SPD_SA_H__
17
18#include <vlib/vlib.h>
Filip Tehlare5d34912020-03-02 15:17:37 +000019#include <vnet/crypto/crypto.h>
Neale Ranns999c8ee2019-02-01 03:31:24 -080020#include <vnet/ip/ip.h>
Neale Ranns8d7c5022019-02-06 01:41:05 -080021#include <vnet/fib/fib_node.h>
Neale Ranns041add72020-01-02 04:06:10 +000022#include <vnet/tunnel/tunnel.h>
Neale Ranns999c8ee2019-02-01 03:31:24 -080023
24#define foreach_ipsec_crypto_alg \
25 _ (0, NONE, "none") \
26 _ (1, AES_CBC_128, "aes-cbc-128") \
27 _ (2, AES_CBC_192, "aes-cbc-192") \
28 _ (3, AES_CBC_256, "aes-cbc-256") \
29 _ (4, AES_CTR_128, "aes-ctr-128") \
30 _ (5, AES_CTR_192, "aes-ctr-192") \
31 _ (6, AES_CTR_256, "aes-ctr-256") \
32 _ (7, AES_GCM_128, "aes-gcm-128") \
33 _ (8, AES_GCM_192, "aes-gcm-192") \
34 _ (9, AES_GCM_256, "aes-gcm-256") \
35 _ (10, DES_CBC, "des-cbc") \
36 _ (11, 3DES_CBC, "3des-cbc")
37
38typedef enum
39{
40#define _(v, f, s) IPSEC_CRYPTO_ALG_##f = v,
41 foreach_ipsec_crypto_alg
42#undef _
43 IPSEC_CRYPTO_N_ALG,
Neale Ranns123b5eb2020-10-16 14:03:55 +000044} __clib_packed ipsec_crypto_alg_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080045
Neale Ranns47feb112019-04-11 15:14:07 +000046#define IPSEC_CRYPTO_ALG_IS_GCM(_alg) \
47 (((_alg == IPSEC_CRYPTO_ALG_AES_GCM_128) || \
48 (_alg == IPSEC_CRYPTO_ALG_AES_GCM_192) || \
49 (_alg == IPSEC_CRYPTO_ALG_AES_GCM_256)))
50
Benoît Ganne490b9272021-01-22 18:03:09 +010051#define IPSEC_CRYPTO_ALG_IS_CTR(_alg) \
52 (((_alg == IPSEC_CRYPTO_ALG_AES_CTR_128) || \
53 (_alg == IPSEC_CRYPTO_ALG_AES_CTR_192) || \
54 (_alg == IPSEC_CRYPTO_ALG_AES_CTR_256)))
55
Neale Ranns999c8ee2019-02-01 03:31:24 -080056#define foreach_ipsec_integ_alg \
57 _ (0, NONE, "none") \
58 _ (1, MD5_96, "md5-96") /* RFC2403 */ \
59 _ (2, SHA1_96, "sha1-96") /* RFC2404 */ \
60 _ (3, SHA_256_96, "sha-256-96") /* draft-ietf-ipsec-ciph-sha-256-00 */ \
61 _ (4, SHA_256_128, "sha-256-128") /* RFC4868 */ \
62 _ (5, SHA_384_192, "sha-384-192") /* RFC4868 */ \
63 _ (6, SHA_512_256, "sha-512-256") /* RFC4868 */
64
65typedef enum
66{
67#define _(v, f, s) IPSEC_INTEG_ALG_##f = v,
68 foreach_ipsec_integ_alg
69#undef _
70 IPSEC_INTEG_N_ALG,
Neale Ranns123b5eb2020-10-16 14:03:55 +000071} __clib_packed ipsec_integ_alg_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080072
73typedef enum
74{
75 IPSEC_PROTOCOL_AH = 0,
76 IPSEC_PROTOCOL_ESP = 1
Neale Ranns123b5eb2020-10-16 14:03:55 +000077} __clib_packed ipsec_protocol_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080078
Neale Ranns8d7c5022019-02-06 01:41:05 -080079#define IPSEC_KEY_MAX_LEN 128
80typedef struct ipsec_key_t_
81{
82 u8 len;
83 u8 data[IPSEC_KEY_MAX_LEN];
84} ipsec_key_t;
85
86/*
87 * Enable extended sequence numbers
88 * Enable Anti-replay
89 * IPsec tunnel mode if non-zero, else transport mode
90 * IPsec tunnel mode is IPv6 if non-zero,
91 * else IPv4 tunnel only valid if is_tunnel is non-zero
92 * enable UDP encapsulation for NAT traversal
93 */
Benoît Ganne490b9272021-01-22 18:03:09 +010094#define foreach_ipsec_sa_flags \
95 _ (0, NONE, "none") \
96 _ (1, USE_ESN, "esn") \
97 _ (2, USE_ANTI_REPLAY, "anti-replay") \
98 _ (4, IS_TUNNEL, "tunnel") \
99 _ (8, IS_TUNNEL_V6, "tunnel-v6") \
100 _ (16, UDP_ENCAP, "udp-encap") \
101 _ (32, IS_PROTECT, "Protect") \
102 _ (64, IS_INBOUND, "inbound") \
103 _ (128, IS_AEAD, "aead") \
Neale Rannsf16e9a52021-02-25 19:09:24 +0000104 _ (256, IS_CTR, "ctr") \
105 _ (512, IS_ASYNC, "async")
Neale Ranns8d7c5022019-02-06 01:41:05 -0800106
107typedef enum ipsec_sad_flags_t_
108{
109#define _(v, f, s) IPSEC_SA_FLAG_##f = v,
110 foreach_ipsec_sa_flags
111#undef _
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100112} __clib_packed ipsec_sa_flags_t;
Damjan Mariond709cbc2019-03-26 13:16:42 +0100113
Benoît Ganne490b9272021-01-22 18:03:09 +0100114STATIC_ASSERT (sizeof (ipsec_sa_flags_t) == 2, "IPSEC SA flags != 2 byte");
Neale Ranns8d7c5022019-02-06 01:41:05 -0800115
Neale Ranns999c8ee2019-02-01 03:31:24 -0800116typedef struct
117{
Damjan Mariond709cbc2019-03-26 13:16:42 +0100118 CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800119
Damjan Mariond709cbc2019-03-26 13:16:42 +0100120 /* flags */
121 ipsec_sa_flags_t flags;
122
Damjan Marionb966e8b2019-03-20 16:07:09 +0100123 u8 crypto_iv_size;
Christian Hoppsfb7e7ed2019-11-03 07:02:15 -0500124 u8 esp_block_align;
Damjan Marion7c22ff72019-04-04 12:25:44 +0200125 u8 integ_icv_size;
Benoît Ganne490b9272021-01-22 18:03:09 +0100126
127 u8 __pad1[3];
128
Neale Ranns1a52d372021-02-04 11:33:32 +0000129 u32 thread_index;
Benoît Ganne490b9272021-01-22 18:03:09 +0100130
Damjan Mariond709cbc2019-03-26 13:16:42 +0100131 u32 spi;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800132 u32 seq;
133 u32 seq_hi;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800134 u64 replay_window;
Neale Ranns5b891102021-06-28 13:31:28 +0000135 u64 ctr_iv_counter;
Neale Ranns72f2a3a2019-06-17 15:43:38 +0000136 dpo_id_t dpo;
Damjan Mariond709cbc2019-03-26 13:16:42 +0100137
Damjan Mariond1bed682019-04-24 15:20:35 +0200138 vnet_crypto_key_index_t crypto_key_index;
139 vnet_crypto_key_index_t integ_key_index;
Fan Zhangf5395782020-04-29 14:00:03 +0100140
141 /* Union data shared by sync and async ops, updated when mode is
142 * changed. */
143 union
144 {
145 struct
146 {
147 vnet_crypto_op_id_t crypto_enc_op_id:16;
148 vnet_crypto_op_id_t crypto_dec_op_id:16;
149 vnet_crypto_op_id_t integ_op_id:16;
150 };
151
152 struct
153 {
154 vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
155 vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
156 vnet_crypto_key_index_t linked_key_index;
157 };
158
159 u64 crypto_op_data;
160 };
Damjan Mariond709cbc2019-03-26 13:16:42 +0100161
Benoît Ganne490b9272021-01-22 18:03:09 +0100162 CLIB_CACHE_LINE_ALIGN_MARK (cacheline1);
Damjan Mariond709cbc2019-03-26 13:16:42 +0100163
164 union
165 {
166 ip4_header_t ip4_hdr;
167 ip6_header_t ip6_hdr;
168 };
169 udp_header_t udp_hdr;
170
Benoît Ganne490b9272021-01-22 18:03:09 +0100171 /* Salt used in CTR modes (incl. GCM) - stored in network byte order */
Neale Ranns80f6fd52019-04-16 02:41:34 +0000172 u32 salt;
Fan Zhangf5395782020-04-29 14:00:03 +0100173
Neale Ranns123b5eb2020-10-16 14:03:55 +0000174 ipsec_protocol_t protocol;
Neale Ranns041add72020-01-02 04:06:10 +0000175 tunnel_encap_decap_flags_t tunnel_flags;
Neale Ranns9ec846c2021-02-09 14:04:02 +0000176 u8 __pad[2];
Neale Ranns123b5eb2020-10-16 14:03:55 +0000177
178 /* data accessed by dataplane code should be above this comment */
179 CLIB_CACHE_LINE_ALIGN_MARK (cacheline2);
180
181 /* Elements with u64 size multiples */
Fan Zhangf5395782020-04-29 14:00:03 +0100182 union
183 {
184 struct
185 {
186 vnet_crypto_op_id_t crypto_enc_op_id:16;
187 vnet_crypto_op_id_t crypto_dec_op_id:16;
188 vnet_crypto_op_id_t integ_op_id:16;
189 };
190 u64 data;
191 } sync_op_data;
192
193 union
194 {
195 struct
196 {
197 vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
198 vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
199 vnet_crypto_key_index_t linked_key_index;
200 };
201 u64 data;
202 } async_op_data;
Neale Ranns123b5eb2020-10-16 14:03:55 +0000203
Neale Ranns9ec846c2021-02-09 14:04:02 +0000204 tunnel_t tunnel;
Neale Ranns123b5eb2020-10-16 14:03:55 +0000205
206 fib_node_t node;
207
208 /* elements with u32 size */
209 u32 id;
210 u32 stat_index;
211 vnet_crypto_alg_t integ_calg;
212 vnet_crypto_alg_t crypto_calg;
213
Neale Ranns123b5eb2020-10-16 14:03:55 +0000214 /* else u8 packed */
215 ipsec_crypto_alg_t crypto_alg;
216 ipsec_integ_alg_t integ_alg;
217
218 ipsec_key_t integ_key;
219 ipsec_key_t crypto_key;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800220} ipsec_sa_t;
221
Damjan Mariond709cbc2019-03-26 13:16:42 +0100222STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline1, CLIB_CACHE_LINE_BYTES);
Neale Ranns123b5eb2020-10-16 14:03:55 +0000223STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline2, 2 * CLIB_CACHE_LINE_BYTES);
Damjan Mariond709cbc2019-03-26 13:16:42 +0100224
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000225/**
226 * Pool of IPSec SAs
227 */
228extern ipsec_sa_t *ipsec_sa_pool;
229
Neale Rannsaa7d7662021-02-10 08:42:49 +0000230/*
231 * Ensure that the IPsec data does not overlap with the IP data in
232 * the buffer meta data
233 */
234STATIC_ASSERT (STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ipsec.sad_index) ==
235 STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ip.save_protocol),
236 "IPSec data is overlapping with IP data");
237
Damjan Mariond709cbc2019-03-26 13:16:42 +0100238#define _(a,v,s) \
239 always_inline int \
240 ipsec_sa_is_set_##v (const ipsec_sa_t *sa) { \
241 return (sa->flags & IPSEC_SA_FLAG_##v); \
242 }
243foreach_ipsec_sa_flags
244#undef _
245#define _(a,v,s) \
246 always_inline int \
247 ipsec_sa_set_##v (ipsec_sa_t *sa) { \
248 return (sa->flags |= IPSEC_SA_FLAG_##v); \
249 }
250 foreach_ipsec_sa_flags
251#undef _
Neale Rannsc87b66c2019-02-07 07:26:12 -0800252#define _(a,v,s) \
253 always_inline int \
254 ipsec_sa_unset_##v (ipsec_sa_t *sa) { \
255 return (sa->flags &= ~IPSEC_SA_FLAG_##v); \
256 }
257 foreach_ipsec_sa_flags
258#undef _
Neale Rannseba31ec2019-02-17 18:04:27 +0000259/**
260 * @brief
261 * SA packet & bytes counters
262 */
263extern vlib_combined_counter_main_t ipsec_sa_counters;
264
Neale Ranns8d7c5022019-02-06 01:41:05 -0800265extern void ipsec_mk_key (ipsec_key_t * key, const u8 * data, u8 len);
266
Neale Ranns9ec846c2021-02-09 14:04:02 +0000267extern int
268ipsec_sa_add_and_lock (u32 id, u32 spi, ipsec_protocol_t proto,
269 ipsec_crypto_alg_t crypto_alg, const ipsec_key_t *ck,
270 ipsec_integ_alg_t integ_alg, const ipsec_key_t *ik,
271 ipsec_sa_flags_t flags, u32 salt, u16 src_port,
272 u16 dst_port, const tunnel_t *tun, u32 *sa_out_index);
Neale Ranns495d7ff2019-07-12 09:15:26 +0000273extern index_t ipsec_sa_find_and_lock (u32 id);
274extern int ipsec_sa_unlock_id (u32 id);
275extern void ipsec_sa_unlock (index_t sai);
Neale Ranns12989b52019-09-26 16:20:19 +0000276extern void ipsec_sa_lock (index_t sai);
Neale Rannsc87b66c2019-02-07 07:26:12 -0800277extern void ipsec_sa_clear (index_t sai);
Damjan Marionb966e8b2019-03-20 16:07:09 +0100278extern void ipsec_sa_set_crypto_alg (ipsec_sa_t * sa,
279 ipsec_crypto_alg_t crypto_alg);
280extern void ipsec_sa_set_integ_alg (ipsec_sa_t * sa,
281 ipsec_integ_alg_t integ_alg);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800282
Neale Rannsb4cfd552019-02-13 02:08:06 -0800283typedef walk_rc_t (*ipsec_sa_walk_cb_t) (ipsec_sa_t * sa, void *ctx);
284extern void ipsec_sa_walk (ipsec_sa_walk_cb_t cd, void *ctx);
285
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000286extern u8 *format_ipsec_replay_window (u8 *s, va_list *args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800287extern u8 *format_ipsec_crypto_alg (u8 * s, va_list * args);
288extern u8 *format_ipsec_integ_alg (u8 * s, va_list * args);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800289extern u8 *format_ipsec_sa (u8 * s, va_list * args);
290extern u8 *format_ipsec_key (u8 * s, va_list * args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800291extern uword unformat_ipsec_crypto_alg (unformat_input_t * input,
292 va_list * args);
293extern uword unformat_ipsec_integ_alg (unformat_input_t * input,
294 va_list * args);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800295extern uword unformat_ipsec_key (unformat_input_t * input, va_list * args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800296
Filip Tehlare5d34912020-03-02 15:17:37 +0000297#define IPSEC_UDP_PORT_NONE ((u16)~0)
298
Neale Ranns6afaae12019-07-17 15:07:14 +0000299/*
300 * Anti Replay definitions
301 */
302
303#define IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE (64)
304#define IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE-1)
305
306/*
307 * sequence number less than the lower bound are outside of the window
308 * From RFC4303 Appendix A:
309 * Bl = Tl - W + 1
310 */
311#define IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND(_tl) (_tl - IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE + 1)
312
Neale Ranns5b891102021-06-28 13:31:28 +0000313always_inline int
314ipsec_sa_anti_replay_check (const ipsec_sa_t *sa, u32 seq)
315{
316 if (ipsec_sa_is_set_USE_ANTI_REPLAY (sa) &&
317 sa->replay_window & (1ULL << (sa->seq - seq)))
318 return 1;
319 else
320 return 0;
321}
322
Neale Ranns6afaae12019-07-17 15:07:14 +0000323/*
324 * Anti replay check.
325 * inputs need to be in host byte order.
Neale Ranns5b891102021-06-28 13:31:28 +0000326 *
327 * The function runs in two contexts. pre and post decrypt.
328 * Pre-decrypt it:
329 * 1 - determines if a packet is a replay - a simple check in the window
330 * 2 - returns the hi-seq number that should be used to decrypt.
331 * post-decrypt:
332 * Checks whether the packet is a replay or falls out of window
333 *
334 * This funcion should be called even without anti-replay enabled to ensure
335 * the high sequence number is set.
Neale Ranns6afaae12019-07-17 15:07:14 +0000336 */
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100337always_inline int
Neale Ranns5b891102021-06-28 13:31:28 +0000338ipsec_sa_anti_replay_and_sn_advance (const ipsec_sa_t *sa, u32 seq,
339 u32 hi_seq_used, bool post_decrypt,
340 u32 *hi_seq_req)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100341{
Neale Ranns5b891102021-06-28 13:31:28 +0000342 ASSERT ((post_decrypt == false) == (hi_seq_req != 0));
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100343
Neale Ranns6afaae12019-07-17 15:07:14 +0000344 if (!ipsec_sa_is_set_USE_ESN (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100345 {
Neale Ranns5b891102021-06-28 13:31:28 +0000346 if (hi_seq_req)
347 /* no ESN, therefore the hi-seq is always 0 */
348 *hi_seq_req = 0;
349
350 if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100351 return 0;
352
Neale Ranns5b891102021-06-28 13:31:28 +0000353 if (PREDICT_TRUE (seq > sa->seq))
354 return 0;
355
356 u32 diff = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100357
358 if (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE > diff)
Neale Ranns5b891102021-06-28 13:31:28 +0000359 return ((sa->replay_window & (1ULL << diff)) ? 1 : 0);
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100360 else
361 return 1;
362
363 return 0;
364 }
365
Neale Ranns5b891102021-06-28 13:31:28 +0000366 if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
367 {
368 /* there's no AR configured for this SA, but in order
369 * to know whether a packet has wrapped the hi ESN we need
370 * to know whether it is out of window. if we use the default
371 * lower bound then we are effectively forcing AR because
372 * out of window packets will get the increased hi seq number
373 * and will thus fail to decrypt. IOW we need a window to know
374 * if the SN has wrapped, but we don't want a window to check for
375 * anti replay. to resolve the contradiction we use a huge window.
376 * if the packet is not within 2^30 of the current SN, we'll consider
377 * it a wrap.
378 */
379 if (hi_seq_req)
380 {
381 if (seq >= sa->seq)
382 /* The packet's sequence number is larger that the SA's.
383 * that can't be a warp - unless we lost more than
384 * 2^32 packets ... how could we know? */
385 *hi_seq_req = sa->seq_hi;
386 else
387 {
388 /* The packet's SN is less than the SAs, so either the SN has
389 * wrapped or the SN is just old. */
390 if (sa->seq - seq > (1 << 30))
391 /* It's really really really old => it wrapped */
392 *hi_seq_req = sa->seq_hi + 1;
393 else
394 *hi_seq_req = sa->seq_hi;
395 }
396 }
397 /*
398 * else
399 * this is post-decrpyt and since it decrypted we accept it
400 */
401 return 0;
402 }
403 if (PREDICT_TRUE (sa->seq >= (IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX)))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100404 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000405 /*
406 * the last sequence number VPP recieved is more than one
407 * window size greater than zero.
408 * Case A from RFC4303 Appendix A.
409 */
Neale Ranns5b891102021-06-28 13:31:28 +0000410 if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100411 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000412 /*
413 * the received sequence number is lower than the lower bound
414 * of the window, this could mean either a replay packet or that
415 * the high sequence number has wrapped. if it decrypts corrently
416 * then it's the latter.
417 */
Neale Ranns5b891102021-06-28 13:31:28 +0000418 if (post_decrypt)
419 {
420 if (hi_seq_used == sa->seq_hi)
421 /* the high sequence number used to succesfully decrypt this
422 * packet is the same as the last-sequnence number of the SA.
423 * that means this packet did not cause a wrap.
424 * this packet is thus out of window and should be dropped */
425 return 1;
426 else
427 /* The packet decrypted with a different high sequence number
428 * to the SA, that means it is the wrap packet and should be
429 * accepted */
430 return 0;
431 }
432 else
433 {
434 /* pre-decrypt it might be the might that casues a wrap, we
435 * need to decrpyt to find out */
436 if (hi_seq_req)
437 *hi_seq_req = sa->seq_hi + 1;
438 return 0;
439 }
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100440 }
441 else
442 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000443 /*
444 * the recieved sequence number greater than the low
445 * end of the window.
446 */
Neale Ranns5b891102021-06-28 13:31:28 +0000447 if (hi_seq_req)
448 *hi_seq_req = sa->seq_hi;
449 if (seq <= sa->seq)
Neale Ranns6afaae12019-07-17 15:07:14 +0000450 /*
451 * The recieved seq number is within bounds of the window
452 * check if it's a duplicate
453 */
Neale Ranns5b891102021-06-28 13:31:28 +0000454 return (ipsec_sa_anti_replay_check (sa, seq));
Neale Ranns6afaae12019-07-17 15:07:14 +0000455 else
456 /*
457 * The received sequence number is greater than the window
458 * upper bound. this packet will move the window along, assuming
459 * it decrypts correctly.
460 */
461 return 0;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100462 }
463 }
464 else
465 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000466 /*
467 * the last sequence number VPP recieved is within one window
468 * size of zero, i.e. 0 < TL < WINDOW_SIZE, the lower bound is thus a
469 * large sequence number.
470 * Note that the check below uses unsiged integer arthimetic, so the
471 * RHS will be a larger number.
472 * Case B from RFC4303 Appendix A.
473 */
Neale Ranns5b891102021-06-28 13:31:28 +0000474 if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100475 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000476 /*
477 * the sequence number is less than the lower bound.
478 */
Neale Ranns5b891102021-06-28 13:31:28 +0000479 if (seq <= sa->seq)
Neale Ranns6afaae12019-07-17 15:07:14 +0000480 {
481 /*
482 * the packet is within the window upper bound.
483 * check for duplicates.
484 */
Neale Ranns5b891102021-06-28 13:31:28 +0000485 if (hi_seq_req)
486 *hi_seq_req = sa->seq_hi;
487 return (ipsec_sa_anti_replay_check (sa, seq));
Neale Ranns6afaae12019-07-17 15:07:14 +0000488 }
489 else
490 {
491 /*
492 * the packet is less the window lower bound or greater than
493 * the higher bound, depending on how you look at it...
494 * We're assuming, given that the last sequence number received,
495 * TL < WINDOW_SIZE, that a largeer seq num is more likely to be
496 * a packet that moves the window forward, than a packet that has
497 * wrapped the high sequence again. If it were the latter then
498 * we've lost close to 2^32 packets.
499 */
Neale Ranns5b891102021-06-28 13:31:28 +0000500 if (hi_seq_req)
501 *hi_seq_req = sa->seq_hi;
Neale Ranns6afaae12019-07-17 15:07:14 +0000502 return 0;
503 }
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100504 }
505 else
506 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000507 /*
508 * the packet seq number is between the lower bound (a large nubmer)
509 * and MAX_SEQ_NUM. This is in the window since the window upper bound
510 * tl > 0.
511 * However, since TL is the other side of 0 to the received
512 * packet, the SA has moved on to a higher sequence number.
513 */
Neale Ranns5b891102021-06-28 13:31:28 +0000514 if (hi_seq_req)
515 *hi_seq_req = sa->seq_hi - 1;
516 return (ipsec_sa_anti_replay_check (sa, seq));
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100517 }
518 }
519
Neale Ranns5b891102021-06-28 13:31:28 +0000520 /* unhandled case */
521 ASSERT (0);
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100522 return 0;
523}
524
Neale Ranns6afaae12019-07-17 15:07:14 +0000525/*
526 * Anti replay window advance
527 * inputs need to be in host byte order.
Neale Ranns5b891102021-06-28 13:31:28 +0000528 * This function both advances the anti-replay window and the sequence number
529 * We always need to move on the SN but the window updates are only needed
530 * if AR is on.
531 * However, updating the window is trivial, so we do it anyway to save
532 * the branch cost.
Neale Ranns6afaae12019-07-17 15:07:14 +0000533 */
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100534always_inline void
Neale Ranns5b891102021-06-28 13:31:28 +0000535ipsec_sa_anti_replay_advance (ipsec_sa_t *sa, u32 seq, u32 hi_seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100536{
Neale Ranns6afaae12019-07-17 15:07:14 +0000537 u32 pos;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100538
Neale Ranns5b891102021-06-28 13:31:28 +0000539 if (ipsec_sa_is_set_USE_ESN (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100540 {
Neale Ranns5b891102021-06-28 13:31:28 +0000541 int wrap = hi_seq - sa->seq_hi;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100542
Neale Ranns5b891102021-06-28 13:31:28 +0000543 if (wrap == 0 && seq > sa->seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100544 {
Neale Ranns5b891102021-06-28 13:31:28 +0000545 pos = seq - sa->seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100546 if (pos < IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
547 sa->replay_window = ((sa->replay_window) << pos) | 1;
548 else
549 sa->replay_window = 1;
Neale Ranns5b891102021-06-28 13:31:28 +0000550 sa->seq = seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100551 }
552 else if (wrap > 0)
553 {
Neale Ranns5b891102021-06-28 13:31:28 +0000554 pos = ~seq + sa->seq + 1;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100555 if (pos < IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
556 sa->replay_window = ((sa->replay_window) << pos) | 1;
557 else
558 sa->replay_window = 1;
Neale Ranns5b891102021-06-28 13:31:28 +0000559 sa->seq = seq;
560 sa->seq_hi = hi_seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100561 }
562 else if (wrap < 0)
563 {
Neale Ranns5b891102021-06-28 13:31:28 +0000564 pos = ~seq + sa->seq + 1;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100565 sa->replay_window |= (1ULL << pos);
566 }
567 else
568 {
Neale Ranns5b891102021-06-28 13:31:28 +0000569 pos = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100570 sa->replay_window |= (1ULL << pos);
571 }
572 }
573 else
574 {
Neale Ranns5b891102021-06-28 13:31:28 +0000575 if (seq > sa->seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100576 {
Neale Ranns5b891102021-06-28 13:31:28 +0000577 pos = seq - sa->seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100578 if (pos < IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
579 sa->replay_window = ((sa->replay_window) << pos) | 1;
580 else
581 sa->replay_window = 1;
Neale Ranns5b891102021-06-28 13:31:28 +0000582 sa->seq = seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100583 }
584 else
585 {
Neale Ranns5b891102021-06-28 13:31:28 +0000586 pos = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100587 sa->replay_window |= (1ULL << pos);
588 }
589 }
590}
591
Neale Rannsf62a8c02019-04-02 08:13:33 +0000592
593/*
594 * Makes choice for thread_id should be assigned.
595 * if input ~0, gets random worker_id based on unix_time_now_nsec
596*/
597always_inline u32
598ipsec_sa_assign_thread (u32 thread_id)
599{
600 return ((thread_id) ? thread_id
601 : (unix_time_now_nsec () % vlib_num_workers ()) + 1);
602}
603
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000604always_inline ipsec_sa_t *
605ipsec_sa_get (u32 sa_index)
606{
607 return (pool_elt_at_index (ipsec_sa_pool, sa_index));
608}
609
Neale Ranns999c8ee2019-02-01 03:31:24 -0800610#endif /* __IPSEC_SPD_SA_H__ */
611
612/*
613 * fd.io coding-style-patch-verification: ON
614 *
615 * Local Variables:
616 * eval: (c-set-style "gnu")
617 * End:
618 */