blob: 88d5c42c31b116716eefd9b8c7f306432edfb0c9 [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
Vladimir Ratnikovd7c030d2022-09-13 13:09:53 +000024#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 _ (12, CHACHA20_POLY1305, "chacha20-poly1305")
Neale Ranns999c8ee2019-02-01 03:31:24 -080038
39typedef enum
40{
41#define _(v, f, s) IPSEC_CRYPTO_ALG_##f = v,
42 foreach_ipsec_crypto_alg
43#undef _
44 IPSEC_CRYPTO_N_ALG,
Neale Ranns123b5eb2020-10-16 14:03:55 +000045} __clib_packed ipsec_crypto_alg_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080046
Neale Ranns47feb112019-04-11 15:14:07 +000047#define IPSEC_CRYPTO_ALG_IS_GCM(_alg) \
48 (((_alg == IPSEC_CRYPTO_ALG_AES_GCM_128) || \
49 (_alg == IPSEC_CRYPTO_ALG_AES_GCM_192) || \
50 (_alg == IPSEC_CRYPTO_ALG_AES_GCM_256)))
51
Benoît Ganne490b9272021-01-22 18:03:09 +010052#define IPSEC_CRYPTO_ALG_IS_CTR(_alg) \
53 (((_alg == IPSEC_CRYPTO_ALG_AES_CTR_128) || \
54 (_alg == IPSEC_CRYPTO_ALG_AES_CTR_192) || \
55 (_alg == IPSEC_CRYPTO_ALG_AES_CTR_256)))
56
Vladimir Ratnikovd7c030d2022-09-13 13:09:53 +000057#define IPSEC_CRYPTO_ALG_CTR_AEAD_OTHERS(_alg) \
58 (_alg == IPSEC_CRYPTO_ALG_CHACHA20_POLY1305)
59
Neale Ranns999c8ee2019-02-01 03:31:24 -080060#define foreach_ipsec_integ_alg \
61 _ (0, NONE, "none") \
62 _ (1, MD5_96, "md5-96") /* RFC2403 */ \
63 _ (2, SHA1_96, "sha1-96") /* RFC2404 */ \
64 _ (3, SHA_256_96, "sha-256-96") /* draft-ietf-ipsec-ciph-sha-256-00 */ \
65 _ (4, SHA_256_128, "sha-256-128") /* RFC4868 */ \
66 _ (5, SHA_384_192, "sha-384-192") /* RFC4868 */ \
67 _ (6, SHA_512_256, "sha-512-256") /* RFC4868 */
68
69typedef enum
70{
71#define _(v, f, s) IPSEC_INTEG_ALG_##f = v,
72 foreach_ipsec_integ_alg
73#undef _
74 IPSEC_INTEG_N_ALG,
Neale Ranns123b5eb2020-10-16 14:03:55 +000075} __clib_packed ipsec_integ_alg_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080076
77typedef enum
78{
79 IPSEC_PROTOCOL_AH = 0,
80 IPSEC_PROTOCOL_ESP = 1
Neale Ranns123b5eb2020-10-16 14:03:55 +000081} __clib_packed ipsec_protocol_t;
Neale Ranns999c8ee2019-02-01 03:31:24 -080082
Neale Ranns8d7c5022019-02-06 01:41:05 -080083#define IPSEC_KEY_MAX_LEN 128
84typedef struct ipsec_key_t_
85{
86 u8 len;
87 u8 data[IPSEC_KEY_MAX_LEN];
88} ipsec_key_t;
89
90/*
91 * Enable extended sequence numbers
92 * Enable Anti-replay
93 * IPsec tunnel mode if non-zero, else transport mode
94 * IPsec tunnel mode is IPv6 if non-zero,
95 * else IPv4 tunnel only valid if is_tunnel is non-zero
96 * enable UDP encapsulation for NAT traversal
97 */
Benoît Ganne490b9272021-01-22 18:03:09 +010098#define foreach_ipsec_sa_flags \
99 _ (0, NONE, "none") \
100 _ (1, USE_ESN, "esn") \
101 _ (2, USE_ANTI_REPLAY, "anti-replay") \
102 _ (4, IS_TUNNEL, "tunnel") \
103 _ (8, IS_TUNNEL_V6, "tunnel-v6") \
104 _ (16, UDP_ENCAP, "udp-encap") \
105 _ (32, IS_PROTECT, "Protect") \
106 _ (64, IS_INBOUND, "inbound") \
107 _ (128, IS_AEAD, "aead") \
Neale Rannsf16e9a52021-02-25 19:09:24 +0000108 _ (256, IS_CTR, "ctr") \
Neale Ranns6fdcc3d2021-10-08 07:30:47 +0000109 _ (512, IS_ASYNC, "async") \
110 _ (1024, NO_ALGO_NO_DROP, "no-algo-no-drop")
Neale Ranns8d7c5022019-02-06 01:41:05 -0800111
112typedef enum ipsec_sad_flags_t_
113{
114#define _(v, f, s) IPSEC_SA_FLAG_##f = v,
115 foreach_ipsec_sa_flags
116#undef _
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100117} __clib_packed ipsec_sa_flags_t;
Damjan Mariond709cbc2019-03-26 13:16:42 +0100118
Benoît Ganne490b9272021-01-22 18:03:09 +0100119STATIC_ASSERT (sizeof (ipsec_sa_flags_t) == 2, "IPSEC SA flags != 2 byte");
Neale Ranns8d7c5022019-02-06 01:41:05 -0800120
Neale Ranns999c8ee2019-02-01 03:31:24 -0800121typedef struct
122{
Damjan Mariond709cbc2019-03-26 13:16:42 +0100123 CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800124
Damjan Mariond709cbc2019-03-26 13:16:42 +0100125 /* flags */
126 ipsec_sa_flags_t flags;
127
Damjan Marionb966e8b2019-03-20 16:07:09 +0100128 u8 crypto_iv_size;
Christian Hoppsfb7e7ed2019-11-03 07:02:15 -0500129 u8 esp_block_align;
Damjan Marion7c22ff72019-04-04 12:25:44 +0200130 u8 integ_icv_size;
Benoît Ganne490b9272021-01-22 18:03:09 +0100131
132 u8 __pad1[3];
133
Neale Ranns1a52d372021-02-04 11:33:32 +0000134 u32 thread_index;
Benoît Ganne490b9272021-01-22 18:03:09 +0100135
Damjan Mariond709cbc2019-03-26 13:16:42 +0100136 u32 spi;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800137 u32 seq;
138 u32 seq_hi;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800139 u64 replay_window;
Benoît Ganne02dfd292022-01-18 15:56:41 +0100140 u64 iv_counter;
Neale Ranns72f2a3a2019-06-17 15:43:38 +0000141 dpo_id_t dpo;
Damjan Mariond709cbc2019-03-26 13:16:42 +0100142
Damjan Mariond1bed682019-04-24 15:20:35 +0200143 vnet_crypto_key_index_t crypto_key_index;
144 vnet_crypto_key_index_t integ_key_index;
Fan Zhangf5395782020-04-29 14:00:03 +0100145
146 /* Union data shared by sync and async ops, updated when mode is
147 * changed. */
148 union
149 {
150 struct
151 {
152 vnet_crypto_op_id_t crypto_enc_op_id:16;
153 vnet_crypto_op_id_t crypto_dec_op_id:16;
154 vnet_crypto_op_id_t integ_op_id:16;
155 };
156
157 struct
158 {
159 vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
160 vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
161 vnet_crypto_key_index_t linked_key_index;
162 };
163
164 u64 crypto_op_data;
165 };
Damjan Mariond709cbc2019-03-26 13:16:42 +0100166
Benoît Ganne490b9272021-01-22 18:03:09 +0100167 CLIB_CACHE_LINE_ALIGN_MARK (cacheline1);
Damjan Mariond709cbc2019-03-26 13:16:42 +0100168
169 union
170 {
171 ip4_header_t ip4_hdr;
172 ip6_header_t ip6_hdr;
173 };
174 udp_header_t udp_hdr;
175
Benoît Ganne490b9272021-01-22 18:03:09 +0100176 /* Salt used in CTR modes (incl. GCM) - stored in network byte order */
Neale Ranns80f6fd52019-04-16 02:41:34 +0000177 u32 salt;
Fan Zhangf5395782020-04-29 14:00:03 +0100178
Neale Ranns123b5eb2020-10-16 14:03:55 +0000179 ipsec_protocol_t protocol;
Neale Ranns041add72020-01-02 04:06:10 +0000180 tunnel_encap_decap_flags_t tunnel_flags;
Neale Ranns9ec846c2021-02-09 14:04:02 +0000181 u8 __pad[2];
Neale Ranns123b5eb2020-10-16 14:03:55 +0000182
183 /* data accessed by dataplane code should be above this comment */
184 CLIB_CACHE_LINE_ALIGN_MARK (cacheline2);
185
186 /* Elements with u64 size multiples */
Fan Zhangf5395782020-04-29 14:00:03 +0100187 union
188 {
189 struct
190 {
191 vnet_crypto_op_id_t crypto_enc_op_id:16;
192 vnet_crypto_op_id_t crypto_dec_op_id:16;
193 vnet_crypto_op_id_t integ_op_id:16;
194 };
195 u64 data;
196 } sync_op_data;
197
198 union
199 {
200 struct
201 {
202 vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
203 vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
204 vnet_crypto_key_index_t linked_key_index;
205 };
206 u64 data;
207 } async_op_data;
Neale Ranns123b5eb2020-10-16 14:03:55 +0000208
Neale Ranns9ec846c2021-02-09 14:04:02 +0000209 tunnel_t tunnel;
Neale Ranns123b5eb2020-10-16 14:03:55 +0000210
211 fib_node_t node;
212
213 /* elements with u32 size */
214 u32 id;
215 u32 stat_index;
216 vnet_crypto_alg_t integ_calg;
217 vnet_crypto_alg_t crypto_calg;
218
Neale Ranns123b5eb2020-10-16 14:03:55 +0000219 /* else u8 packed */
220 ipsec_crypto_alg_t crypto_alg;
221 ipsec_integ_alg_t integ_alg;
222
223 ipsec_key_t integ_key;
224 ipsec_key_t crypto_key;
Neale Ranns999c8ee2019-02-01 03:31:24 -0800225} ipsec_sa_t;
226
Damjan Mariond709cbc2019-03-26 13:16:42 +0100227STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline1, CLIB_CACHE_LINE_BYTES);
Neale Ranns123b5eb2020-10-16 14:03:55 +0000228STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline2, 2 * CLIB_CACHE_LINE_BYTES);
Damjan Mariond709cbc2019-03-26 13:16:42 +0100229
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000230/**
231 * Pool of IPSec SAs
232 */
233extern ipsec_sa_t *ipsec_sa_pool;
234
Neale Rannsaa7d7662021-02-10 08:42:49 +0000235/*
236 * Ensure that the IPsec data does not overlap with the IP data in
237 * the buffer meta data
238 */
239STATIC_ASSERT (STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ipsec.sad_index) ==
240 STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ip.save_protocol),
241 "IPSec data is overlapping with IP data");
242
Damjan Mariond709cbc2019-03-26 13:16:42 +0100243#define _(a,v,s) \
244 always_inline int \
245 ipsec_sa_is_set_##v (const ipsec_sa_t *sa) { \
246 return (sa->flags & IPSEC_SA_FLAG_##v); \
247 }
248foreach_ipsec_sa_flags
249#undef _
250#define _(a,v,s) \
251 always_inline int \
252 ipsec_sa_set_##v (ipsec_sa_t *sa) { \
253 return (sa->flags |= IPSEC_SA_FLAG_##v); \
254 }
255 foreach_ipsec_sa_flags
256#undef _
Neale Rannsc87b66c2019-02-07 07:26:12 -0800257#define _(a,v,s) \
258 always_inline int \
259 ipsec_sa_unset_##v (ipsec_sa_t *sa) { \
260 return (sa->flags &= ~IPSEC_SA_FLAG_##v); \
261 }
262 foreach_ipsec_sa_flags
263#undef _
Neale Rannseba31ec2019-02-17 18:04:27 +0000264/**
265 * @brief
266 * SA packet & bytes counters
267 */
268extern vlib_combined_counter_main_t ipsec_sa_counters;
Neale Rannse11203e2021-09-21 12:34:19 +0000269extern vlib_simple_counter_main_t ipsec_sa_lost_counters;
Neale Rannseba31ec2019-02-17 18:04:27 +0000270
Neale Ranns8d7c5022019-02-06 01:41:05 -0800271extern void ipsec_mk_key (ipsec_key_t * key, const u8 * data, u8 len);
272
Arthur de Kerhor4117b242022-08-31 19:13:03 +0200273extern int ipsec_sa_update (u32 id, u16 src_port, u16 dst_port,
274 const tunnel_t *tun, bool is_tun);
Neale Ranns9ec846c2021-02-09 14:04:02 +0000275extern int
276ipsec_sa_add_and_lock (u32 id, u32 spi, ipsec_protocol_t proto,
277 ipsec_crypto_alg_t crypto_alg, const ipsec_key_t *ck,
278 ipsec_integ_alg_t integ_alg, const ipsec_key_t *ik,
279 ipsec_sa_flags_t flags, u32 salt, u16 src_port,
280 u16 dst_port, const tunnel_t *tun, u32 *sa_out_index);
Neale Ranns495d7ff2019-07-12 09:15:26 +0000281extern index_t ipsec_sa_find_and_lock (u32 id);
282extern int ipsec_sa_unlock_id (u32 id);
283extern void ipsec_sa_unlock (index_t sai);
Neale Ranns12989b52019-09-26 16:20:19 +0000284extern void ipsec_sa_lock (index_t sai);
Neale Rannsc87b66c2019-02-07 07:26:12 -0800285extern void ipsec_sa_clear (index_t sai);
Damjan Marionb966e8b2019-03-20 16:07:09 +0100286extern void ipsec_sa_set_crypto_alg (ipsec_sa_t * sa,
287 ipsec_crypto_alg_t crypto_alg);
288extern void ipsec_sa_set_integ_alg (ipsec_sa_t * sa,
289 ipsec_integ_alg_t integ_alg);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800290
Neale Rannsb4cfd552019-02-13 02:08:06 -0800291typedef walk_rc_t (*ipsec_sa_walk_cb_t) (ipsec_sa_t * sa, void *ctx);
292extern void ipsec_sa_walk (ipsec_sa_walk_cb_t cd, void *ctx);
293
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000294extern u8 *format_ipsec_replay_window (u8 *s, va_list *args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800295extern u8 *format_ipsec_crypto_alg (u8 * s, va_list * args);
296extern u8 *format_ipsec_integ_alg (u8 * s, va_list * args);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800297extern u8 *format_ipsec_sa (u8 * s, va_list * args);
298extern u8 *format_ipsec_key (u8 * s, va_list * args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800299extern uword unformat_ipsec_crypto_alg (unformat_input_t * input,
300 va_list * args);
301extern uword unformat_ipsec_integ_alg (unformat_input_t * input,
302 va_list * args);
Neale Ranns8d7c5022019-02-06 01:41:05 -0800303extern uword unformat_ipsec_key (unformat_input_t * input, va_list * args);
Neale Ranns999c8ee2019-02-01 03:31:24 -0800304
Filip Tehlare5d34912020-03-02 15:17:37 +0000305#define IPSEC_UDP_PORT_NONE ((u16)~0)
306
Neale Ranns6afaae12019-07-17 15:07:14 +0000307/*
308 * Anti Replay definitions
309 */
310
311#define IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE (64)
312#define IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE-1)
313
314/*
315 * sequence number less than the lower bound are outside of the window
316 * From RFC4303 Appendix A:
317 * Bl = Tl - W + 1
318 */
319#define IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND(_tl) (_tl - IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE + 1)
320
Neale Ranns5b891102021-06-28 13:31:28 +0000321always_inline int
322ipsec_sa_anti_replay_check (const ipsec_sa_t *sa, u32 seq)
323{
324 if (ipsec_sa_is_set_USE_ANTI_REPLAY (sa) &&
325 sa->replay_window & (1ULL << (sa->seq - seq)))
326 return 1;
327 else
328 return 0;
329}
330
Neale Ranns6afaae12019-07-17 15:07:14 +0000331/*
332 * Anti replay check.
333 * inputs need to be in host byte order.
Neale Ranns5b891102021-06-28 13:31:28 +0000334 *
335 * The function runs in two contexts. pre and post decrypt.
336 * Pre-decrypt it:
337 * 1 - determines if a packet is a replay - a simple check in the window
338 * 2 - returns the hi-seq number that should be used to decrypt.
339 * post-decrypt:
340 * Checks whether the packet is a replay or falls out of window
341 *
342 * This funcion should be called even without anti-replay enabled to ensure
343 * the high sequence number is set.
Neale Ranns6afaae12019-07-17 15:07:14 +0000344 */
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100345always_inline int
Neale Ranns5b891102021-06-28 13:31:28 +0000346ipsec_sa_anti_replay_and_sn_advance (const ipsec_sa_t *sa, u32 seq,
347 u32 hi_seq_used, bool post_decrypt,
348 u32 *hi_seq_req)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100349{
Neale Ranns5b891102021-06-28 13:31:28 +0000350 ASSERT ((post_decrypt == false) == (hi_seq_req != 0));
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100351
Neale Ranns6afaae12019-07-17 15:07:14 +0000352 if (!ipsec_sa_is_set_USE_ESN (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100353 {
Neale Ranns5b891102021-06-28 13:31:28 +0000354 if (hi_seq_req)
355 /* no ESN, therefore the hi-seq is always 0 */
356 *hi_seq_req = 0;
357
358 if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100359 return 0;
360
Neale Ranns5b891102021-06-28 13:31:28 +0000361 if (PREDICT_TRUE (seq > sa->seq))
362 return 0;
363
364 u32 diff = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100365
366 if (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE > diff)
Neale Ranns5b891102021-06-28 13:31:28 +0000367 return ((sa->replay_window & (1ULL << diff)) ? 1 : 0);
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100368 else
369 return 1;
370
371 return 0;
372 }
373
Neale Ranns5b891102021-06-28 13:31:28 +0000374 if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
375 {
376 /* there's no AR configured for this SA, but in order
377 * to know whether a packet has wrapped the hi ESN we need
378 * to know whether it is out of window. if we use the default
379 * lower bound then we are effectively forcing AR because
380 * out of window packets will get the increased hi seq number
381 * and will thus fail to decrypt. IOW we need a window to know
382 * if the SN has wrapped, but we don't want a window to check for
383 * anti replay. to resolve the contradiction we use a huge window.
384 * if the packet is not within 2^30 of the current SN, we'll consider
385 * it a wrap.
386 */
387 if (hi_seq_req)
388 {
389 if (seq >= sa->seq)
390 /* The packet's sequence number is larger that the SA's.
391 * that can't be a warp - unless we lost more than
392 * 2^32 packets ... how could we know? */
393 *hi_seq_req = sa->seq_hi;
394 else
395 {
396 /* The packet's SN is less than the SAs, so either the SN has
397 * wrapped or the SN is just old. */
398 if (sa->seq - seq > (1 << 30))
399 /* It's really really really old => it wrapped */
400 *hi_seq_req = sa->seq_hi + 1;
401 else
402 *hi_seq_req = sa->seq_hi;
403 }
404 }
405 /*
406 * else
407 * this is post-decrpyt and since it decrypted we accept it
408 */
409 return 0;
410 }
411 if (PREDICT_TRUE (sa->seq >= (IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX)))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100412 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000413 /*
414 * the last sequence number VPP recieved is more than one
415 * window size greater than zero.
416 * Case A from RFC4303 Appendix A.
417 */
Neale Ranns5b891102021-06-28 13:31:28 +0000418 if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100419 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000420 /*
421 * the received sequence number is lower than the lower bound
422 * of the window, this could mean either a replay packet or that
423 * the high sequence number has wrapped. if it decrypts corrently
424 * then it's the latter.
425 */
Neale Ranns5b891102021-06-28 13:31:28 +0000426 if (post_decrypt)
427 {
428 if (hi_seq_used == sa->seq_hi)
429 /* the high sequence number used to succesfully decrypt this
430 * packet is the same as the last-sequnence number of the SA.
431 * that means this packet did not cause a wrap.
432 * this packet is thus out of window and should be dropped */
433 return 1;
434 else
435 /* The packet decrypted with a different high sequence number
436 * to the SA, that means it is the wrap packet and should be
437 * accepted */
438 return 0;
439 }
440 else
441 {
442 /* pre-decrypt it might be the might that casues a wrap, we
443 * need to decrpyt to find out */
444 if (hi_seq_req)
445 *hi_seq_req = sa->seq_hi + 1;
446 return 0;
447 }
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100448 }
449 else
450 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000451 /*
452 * the recieved sequence number greater than the low
453 * end of the window.
454 */
Neale Ranns5b891102021-06-28 13:31:28 +0000455 if (hi_seq_req)
456 *hi_seq_req = sa->seq_hi;
457 if (seq <= sa->seq)
Neale Ranns6afaae12019-07-17 15:07:14 +0000458 /*
459 * The recieved seq number is within bounds of the window
460 * check if it's a duplicate
461 */
Neale Ranns5b891102021-06-28 13:31:28 +0000462 return (ipsec_sa_anti_replay_check (sa, seq));
Neale Ranns6afaae12019-07-17 15:07:14 +0000463 else
464 /*
465 * The received sequence number is greater than the window
466 * upper bound. this packet will move the window along, assuming
467 * it decrypts correctly.
468 */
469 return 0;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100470 }
471 }
472 else
473 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000474 /*
475 * the last sequence number VPP recieved is within one window
476 * size of zero, i.e. 0 < TL < WINDOW_SIZE, the lower bound is thus a
477 * large sequence number.
478 * Note that the check below uses unsiged integer arthimetic, so the
479 * RHS will be a larger number.
480 * Case B from RFC4303 Appendix A.
481 */
Neale Ranns5b891102021-06-28 13:31:28 +0000482 if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100483 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000484 /*
485 * the sequence number is less than the lower bound.
486 */
Neale Ranns5b891102021-06-28 13:31:28 +0000487 if (seq <= sa->seq)
Neale Ranns6afaae12019-07-17 15:07:14 +0000488 {
489 /*
490 * the packet is within the window upper bound.
491 * check for duplicates.
492 */
Neale Ranns5b891102021-06-28 13:31:28 +0000493 if (hi_seq_req)
494 *hi_seq_req = sa->seq_hi;
495 return (ipsec_sa_anti_replay_check (sa, seq));
Neale Ranns6afaae12019-07-17 15:07:14 +0000496 }
497 else
498 {
499 /*
500 * the packet is less the window lower bound or greater than
501 * the higher bound, depending on how you look at it...
502 * We're assuming, given that the last sequence number received,
503 * TL < WINDOW_SIZE, that a largeer seq num is more likely to be
504 * a packet that moves the window forward, than a packet that has
505 * wrapped the high sequence again. If it were the latter then
506 * we've lost close to 2^32 packets.
507 */
Neale Ranns5b891102021-06-28 13:31:28 +0000508 if (hi_seq_req)
509 *hi_seq_req = sa->seq_hi;
Neale Ranns6afaae12019-07-17 15:07:14 +0000510 return 0;
511 }
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100512 }
513 else
514 {
Neale Ranns6afaae12019-07-17 15:07:14 +0000515 /*
516 * the packet seq number is between the lower bound (a large nubmer)
517 * and MAX_SEQ_NUM. This is in the window since the window upper bound
518 * tl > 0.
519 * However, since TL is the other side of 0 to the received
520 * packet, the SA has moved on to a higher sequence number.
521 */
Neale Ranns5b891102021-06-28 13:31:28 +0000522 if (hi_seq_req)
523 *hi_seq_req = sa->seq_hi - 1;
524 return (ipsec_sa_anti_replay_check (sa, seq));
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100525 }
526 }
527
Neale Ranns5b891102021-06-28 13:31:28 +0000528 /* unhandled case */
529 ASSERT (0);
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100530 return 0;
531}
532
Neale Rannse11203e2021-09-21 12:34:19 +0000533always_inline u32
534ipsec_sa_anti_replay_window_shift (ipsec_sa_t *sa, u32 inc)
535{
536 u32 n_lost = 0;
537
538 if (inc < IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
539 {
540 if (sa->seq > IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
541 {
542 /*
543 * count how many holes there are in the portion
544 * of the window that we will right shift of the end
545 * as a result of this increments
546 */
547 u64 mask = (((u64) 1 << inc) - 1) << (BITS (u64) - inc);
548 u64 old = sa->replay_window & mask;
549 /* the number of packets we saw in this section of the window */
550 u64 seen = count_set_bits (old);
551
552 /*
553 * the number we missed is the size of the window section
554 * minus the number we saw.
555 */
556 n_lost = inc - seen;
557 }
558 sa->replay_window = ((sa->replay_window) << inc) | 1;
559 }
560 else
561 {
562 /* holes in the replay window are lost packets */
563 n_lost = BITS (u64) - count_set_bits (sa->replay_window);
564
565 /* any sequence numbers that now fall outside the window
566 * are forever lost */
567 n_lost += inc - IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE;
568
569 sa->replay_window = 1;
570 }
571
572 return (n_lost);
573}
574
Neale Ranns6afaae12019-07-17 15:07:14 +0000575/*
576 * Anti replay window advance
577 * inputs need to be in host byte order.
Neale Ranns5b891102021-06-28 13:31:28 +0000578 * This function both advances the anti-replay window and the sequence number
579 * We always need to move on the SN but the window updates are only needed
580 * if AR is on.
581 * However, updating the window is trivial, so we do it anyway to save
582 * the branch cost.
Neale Ranns6afaae12019-07-17 15:07:14 +0000583 */
Neale Rannse11203e2021-09-21 12:34:19 +0000584always_inline u64
585ipsec_sa_anti_replay_advance (ipsec_sa_t *sa, u32 thread_index, u32 seq,
586 u32 hi_seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100587{
Neale Rannse11203e2021-09-21 12:34:19 +0000588 u64 n_lost = 0;
Neale Ranns6afaae12019-07-17 15:07:14 +0000589 u32 pos;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100590
Neale Ranns5b891102021-06-28 13:31:28 +0000591 if (ipsec_sa_is_set_USE_ESN (sa))
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100592 {
Neale Ranns5b891102021-06-28 13:31:28 +0000593 int wrap = hi_seq - sa->seq_hi;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100594
Neale Ranns5b891102021-06-28 13:31:28 +0000595 if (wrap == 0 && seq > sa->seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100596 {
Neale Ranns5b891102021-06-28 13:31:28 +0000597 pos = seq - sa->seq;
Neale Rannse11203e2021-09-21 12:34:19 +0000598 n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
Neale Ranns5b891102021-06-28 13:31:28 +0000599 sa->seq = seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100600 }
601 else if (wrap > 0)
602 {
Neale Ranns5b891102021-06-28 13:31:28 +0000603 pos = ~seq + sa->seq + 1;
Neale Rannse11203e2021-09-21 12:34:19 +0000604 n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
Neale Ranns5b891102021-06-28 13:31:28 +0000605 sa->seq = seq;
606 sa->seq_hi = hi_seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100607 }
608 else if (wrap < 0)
609 {
Neale Ranns5b891102021-06-28 13:31:28 +0000610 pos = ~seq + sa->seq + 1;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100611 sa->replay_window |= (1ULL << pos);
612 }
613 else
614 {
Neale Ranns5b891102021-06-28 13:31:28 +0000615 pos = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100616 sa->replay_window |= (1ULL << pos);
617 }
618 }
619 else
620 {
Neale Ranns5b891102021-06-28 13:31:28 +0000621 if (seq > sa->seq)
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100622 {
Neale Ranns5b891102021-06-28 13:31:28 +0000623 pos = seq - sa->seq;
Neale Rannse11203e2021-09-21 12:34:19 +0000624 n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
Neale Ranns5b891102021-06-28 13:31:28 +0000625 sa->seq = seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100626 }
627 else
628 {
Neale Ranns5b891102021-06-28 13:31:28 +0000629 pos = sa->seq - seq;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100630 sa->replay_window |= (1ULL << pos);
631 }
632 }
Neale Rannse11203e2021-09-21 12:34:19 +0000633
634 return n_lost;
Damjan Marion1f4e1cb2019-03-28 19:19:31 +0100635}
636
Neale Rannsf62a8c02019-04-02 08:13:33 +0000637
638/*
639 * Makes choice for thread_id should be assigned.
640 * if input ~0, gets random worker_id based on unix_time_now_nsec
641*/
642always_inline u32
643ipsec_sa_assign_thread (u32 thread_id)
644{
645 return ((thread_id) ? thread_id
646 : (unix_time_now_nsec () % vlib_num_workers ()) + 1);
647}
648
Neale Rannsc5fe57d2021-02-25 16:01:28 +0000649always_inline ipsec_sa_t *
650ipsec_sa_get (u32 sa_index)
651{
652 return (pool_elt_at_index (ipsec_sa_pool, sa_index));
653}
654
Neale Ranns999c8ee2019-02-01 03:31:24 -0800655#endif /* __IPSEC_SPD_SA_H__ */
656
657/*
658 * fd.io coding-style-patch-verification: ON
659 *
660 * Local Variables:
661 * eval: (c-set-style "gnu")
662 * End:
663 */