2 * xfrm_replay.c - xfrm replay detection, derived from xfrm_state.c.
4 * Copyright (C) 2010 secunet Security Networks AG
5 * Copyright (C) 2010 Steffen Klassert <steffen.klassert@secunet.com>
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2, as published by the Free Software Foundation.
11 * This program is distributed in the hope it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
16 * You should have received a copy of the GNU General Public License along with
17 * this program; if not, write to the Free Software Foundation, Inc.,
18 * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
21 #include <linux/export.h>
24 u32
xfrm_replay_seqhi(struct xfrm_state
*x
, __be32 net_seq
)
26 u32 seq
, seq_hi
, bottom
;
27 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
29 if (!(x
->props
.flags
& XFRM_STATE_ESN
))
33 seq_hi
= replay_esn
->seq_hi
;
34 bottom
= replay_esn
->seq
- replay_esn
->replay_window
+ 1;
36 if (likely(replay_esn
->seq
>= replay_esn
->replay_window
- 1)) {
37 /* A. same subspace */
38 if (unlikely(seq
< bottom
))
41 /* B. window spans two subspaces */
42 if (unlikely(seq
>= bottom
))
49 static void xfrm_replay_notify(struct xfrm_state
*x
, int event
)
52 /* we send notify messages in case
53 * 1. we updated on of the sequence numbers, and the seqno difference
54 * is at least x->replay_maxdiff, in this case we also update the
55 * timeout of our timer function
56 * 2. if x->replay_maxage has elapsed since last update,
57 * and there were changes
59 * The state structure must be locked!
63 case XFRM_REPLAY_UPDATE
:
64 if (!x
->replay_maxdiff
||
65 ((x
->replay
.seq
- x
->preplay
.seq
< x
->replay_maxdiff
) &&
66 (x
->replay
.oseq
- x
->preplay
.oseq
< x
->replay_maxdiff
))) {
67 if (x
->xflags
& XFRM_TIME_DEFER
)
68 event
= XFRM_REPLAY_TIMEOUT
;
75 case XFRM_REPLAY_TIMEOUT
:
76 if (memcmp(&x
->replay
, &x
->preplay
,
77 sizeof(struct xfrm_replay_state
)) == 0) {
78 x
->xflags
|= XFRM_TIME_DEFER
;
85 memcpy(&x
->preplay
, &x
->replay
, sizeof(struct xfrm_replay_state
));
86 c
.event
= XFRM_MSG_NEWAE
;
87 c
.data
.aevent
= event
;
88 km_state_notify(x
, &c
);
90 if (x
->replay_maxage
&&
91 !mod_timer(&x
->rtimer
, jiffies
+ x
->replay_maxage
))
92 x
->xflags
&= ~XFRM_TIME_DEFER
;
95 static int xfrm_replay_overflow(struct xfrm_state
*x
, struct sk_buff
*skb
)
98 struct net
*net
= xs_net(x
);
100 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
101 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++x
->replay
.oseq
;
102 if (unlikely(x
->replay
.oseq
== 0)) {
104 xfrm_audit_state_replay_overflow(x
, skb
);
109 if (xfrm_aevent_is_on(net
))
110 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
116 static int xfrm_replay_check(struct xfrm_state
*x
,
117 struct sk_buff
*skb
, __be32 net_seq
)
120 u32 seq
= ntohl(net_seq
);
122 if (!x
->props
.replay_window
)
125 if (unlikely(seq
== 0))
128 if (likely(seq
> x
->replay
.seq
))
131 diff
= x
->replay
.seq
- seq
;
132 if (diff
>= x
->props
.replay_window
) {
133 x
->stats
.replay_window
++;
137 if (x
->replay
.bitmap
& (1U << diff
)) {
144 xfrm_audit_state_replay(x
, skb
, net_seq
);
148 static void xfrm_replay_advance(struct xfrm_state
*x
, __be32 net_seq
)
151 u32 seq
= ntohl(net_seq
);
153 if (!x
->props
.replay_window
)
156 if (seq
> x
->replay
.seq
) {
157 diff
= seq
- x
->replay
.seq
;
158 if (diff
< x
->props
.replay_window
)
159 x
->replay
.bitmap
= ((x
->replay
.bitmap
) << diff
) | 1;
161 x
->replay
.bitmap
= 1;
164 diff
= x
->replay
.seq
- seq
;
165 x
->replay
.bitmap
|= (1U << diff
);
168 if (xfrm_aevent_is_on(xs_net(x
)))
169 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
172 static int xfrm_replay_overflow_bmp(struct xfrm_state
*x
, struct sk_buff
*skb
)
175 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
176 struct net
*net
= xs_net(x
);
178 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
179 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++replay_esn
->oseq
;
180 if (unlikely(replay_esn
->oseq
== 0)) {
182 xfrm_audit_state_replay_overflow(x
, skb
);
187 if (xfrm_aevent_is_on(net
))
188 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
194 static int xfrm_replay_check_bmp(struct xfrm_state
*x
,
195 struct sk_buff
*skb
, __be32 net_seq
)
197 unsigned int bitnr
, nr
;
198 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
200 u32 seq
= ntohl(net_seq
);
201 u32 diff
= replay_esn
->seq
- seq
;
203 if (!replay_esn
->replay_window
)
206 if (unlikely(seq
== 0))
209 if (likely(seq
> replay_esn
->seq
))
212 if (diff
>= replay_esn
->replay_window
) {
213 x
->stats
.replay_window
++;
217 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
220 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
222 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
225 bitnr
= bitnr
& 0x1F;
226 if (replay_esn
->bmp
[nr
] & (1U << bitnr
))
234 xfrm_audit_state_replay(x
, skb
, net_seq
);
238 static void xfrm_replay_advance_bmp(struct xfrm_state
*x
, __be32 net_seq
)
240 unsigned int bitnr
, nr
, i
;
242 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
243 u32 seq
= ntohl(net_seq
);
246 if (!replay_esn
->replay_window
)
249 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
251 if (seq
> replay_esn
->seq
) {
252 diff
= seq
- replay_esn
->seq
;
254 if (diff
< replay_esn
->replay_window
) {
255 for (i
= 1; i
< diff
; i
++) {
256 bitnr
= (pos
+ i
) % replay_esn
->replay_window
;
258 bitnr
= bitnr
& 0x1F;
259 replay_esn
->bmp
[nr
] &= ~(1U << bitnr
);
262 nr
= (replay_esn
->replay_window
- 1) >> 5;
263 for (i
= 0; i
<= nr
; i
++)
264 replay_esn
->bmp
[i
] = 0;
267 bitnr
= (pos
+ diff
) % replay_esn
->replay_window
;
268 replay_esn
->seq
= seq
;
270 diff
= replay_esn
->seq
- seq
;
273 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
275 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
279 bitnr
= bitnr
& 0x1F;
280 replay_esn
->bmp
[nr
] |= (1U << bitnr
);
282 if (xfrm_aevent_is_on(xs_net(x
)))
283 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
286 static void xfrm_replay_notify_bmp(struct xfrm_state
*x
, int event
)
289 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
290 struct xfrm_replay_state_esn
*preplay_esn
= x
->preplay_esn
;
292 /* we send notify messages in case
293 * 1. we updated on of the sequence numbers, and the seqno difference
294 * is at least x->replay_maxdiff, in this case we also update the
295 * timeout of our timer function
296 * 2. if x->replay_maxage has elapsed since last update,
297 * and there were changes
299 * The state structure must be locked!
303 case XFRM_REPLAY_UPDATE
:
304 if (!x
->replay_maxdiff
||
305 ((replay_esn
->seq
- preplay_esn
->seq
< x
->replay_maxdiff
) &&
306 (replay_esn
->oseq
- preplay_esn
->oseq
307 < x
->replay_maxdiff
))) {
308 if (x
->xflags
& XFRM_TIME_DEFER
)
309 event
= XFRM_REPLAY_TIMEOUT
;
316 case XFRM_REPLAY_TIMEOUT
:
317 if (memcmp(x
->replay_esn
, x
->preplay_esn
,
318 xfrm_replay_state_esn_len(replay_esn
)) == 0) {
319 x
->xflags
|= XFRM_TIME_DEFER
;
326 memcpy(x
->preplay_esn
, x
->replay_esn
,
327 xfrm_replay_state_esn_len(replay_esn
));
328 c
.event
= XFRM_MSG_NEWAE
;
329 c
.data
.aevent
= event
;
330 km_state_notify(x
, &c
);
332 if (x
->replay_maxage
&&
333 !mod_timer(&x
->rtimer
, jiffies
+ x
->replay_maxage
))
334 x
->xflags
&= ~XFRM_TIME_DEFER
;
337 static void xfrm_replay_notify_esn(struct xfrm_state
*x
, int event
)
339 u32 seq_diff
, oseq_diff
;
341 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
342 struct xfrm_replay_state_esn
*preplay_esn
= x
->preplay_esn
;
344 /* we send notify messages in case
345 * 1. we updated on of the sequence numbers, and the seqno difference
346 * is at least x->replay_maxdiff, in this case we also update the
347 * timeout of our timer function
348 * 2. if x->replay_maxage has elapsed since last update,
349 * and there were changes
351 * The state structure must be locked!
355 case XFRM_REPLAY_UPDATE
:
356 if (x
->replay_maxdiff
) {
357 if (replay_esn
->seq_hi
== preplay_esn
->seq_hi
)
358 seq_diff
= replay_esn
->seq
- preplay_esn
->seq
;
360 seq_diff
= ~preplay_esn
->seq
+ replay_esn
->seq
363 if (replay_esn
->oseq_hi
== preplay_esn
->oseq_hi
)
364 oseq_diff
= replay_esn
->oseq
367 oseq_diff
= ~preplay_esn
->oseq
368 + replay_esn
->oseq
+ 1;
370 if (seq_diff
>= x
->replay_maxdiff
||
371 oseq_diff
>= x
->replay_maxdiff
)
375 if (x
->xflags
& XFRM_TIME_DEFER
)
376 event
= XFRM_REPLAY_TIMEOUT
;
382 case XFRM_REPLAY_TIMEOUT
:
383 if (memcmp(x
->replay_esn
, x
->preplay_esn
,
384 xfrm_replay_state_esn_len(replay_esn
)) == 0) {
385 x
->xflags
|= XFRM_TIME_DEFER
;
392 memcpy(x
->preplay_esn
, x
->replay_esn
,
393 xfrm_replay_state_esn_len(replay_esn
));
394 c
.event
= XFRM_MSG_NEWAE
;
395 c
.data
.aevent
= event
;
396 km_state_notify(x
, &c
);
398 if (x
->replay_maxage
&&
399 !mod_timer(&x
->rtimer
, jiffies
+ x
->replay_maxage
))
400 x
->xflags
&= ~XFRM_TIME_DEFER
;
403 static int xfrm_replay_overflow_esn(struct xfrm_state
*x
, struct sk_buff
*skb
)
406 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
407 struct net
*net
= xs_net(x
);
409 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
410 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++replay_esn
->oseq
;
411 XFRM_SKB_CB(skb
)->seq
.output
.hi
= replay_esn
->oseq_hi
;
413 if (unlikely(replay_esn
->oseq
== 0)) {
414 XFRM_SKB_CB(skb
)->seq
.output
.hi
= ++replay_esn
->oseq_hi
;
416 if (replay_esn
->oseq_hi
== 0) {
418 replay_esn
->oseq_hi
--;
419 xfrm_audit_state_replay_overflow(x
, skb
);
425 if (xfrm_aevent_is_on(net
))
426 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
432 static int xfrm_replay_check_esn(struct xfrm_state
*x
,
433 struct sk_buff
*skb
, __be32 net_seq
)
435 unsigned int bitnr
, nr
;
437 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
439 u32 seq
= ntohl(net_seq
);
440 u32 wsize
= replay_esn
->replay_window
;
441 u32 top
= replay_esn
->seq
;
442 u32 bottom
= top
- wsize
+ 1;
447 if (unlikely(seq
== 0 && replay_esn
->seq_hi
== 0 &&
448 (replay_esn
->seq
< replay_esn
->replay_window
- 1)))
453 if (likely(top
>= wsize
- 1)) {
454 /* A. same subspace */
455 if (likely(seq
> top
) || seq
< bottom
)
458 /* B. window spans two subspaces */
459 if (likely(seq
> top
&& seq
< bottom
))
462 diff
= ~seq
+ top
+ 1;
465 if (diff
>= replay_esn
->replay_window
) {
466 x
->stats
.replay_window
++;
470 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
473 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
475 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
478 bitnr
= bitnr
& 0x1F;
479 if (replay_esn
->bmp
[nr
] & (1U << bitnr
))
487 xfrm_audit_state_replay(x
, skb
, net_seq
);
491 static int xfrm_replay_recheck_esn(struct xfrm_state
*x
,
492 struct sk_buff
*skb
, __be32 net_seq
)
494 if (unlikely(XFRM_SKB_CB(skb
)->seq
.input
.hi
!=
495 htonl(xfrm_replay_seqhi(x
, net_seq
)))) {
496 x
->stats
.replay_window
++;
500 return xfrm_replay_check_esn(x
, skb
, net_seq
);
503 static void xfrm_replay_advance_esn(struct xfrm_state
*x
, __be32 net_seq
)
505 unsigned int bitnr
, nr
, i
;
507 u32 diff
, pos
, seq
, seq_hi
;
508 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
510 if (!replay_esn
->replay_window
)
513 seq
= ntohl(net_seq
);
514 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
515 seq_hi
= xfrm_replay_seqhi(x
, net_seq
);
516 wrap
= seq_hi
- replay_esn
->seq_hi
;
518 if ((!wrap
&& seq
> replay_esn
->seq
) || wrap
> 0) {
520 diff
= seq
- replay_esn
->seq
;
522 diff
= ~replay_esn
->seq
+ seq
+ 1;
524 if (diff
< replay_esn
->replay_window
) {
525 for (i
= 1; i
< diff
; i
++) {
526 bitnr
= (pos
+ i
) % replay_esn
->replay_window
;
528 bitnr
= bitnr
& 0x1F;
529 replay_esn
->bmp
[nr
] &= ~(1U << bitnr
);
532 nr
= (replay_esn
->replay_window
- 1) >> 5;
533 for (i
= 0; i
<= nr
; i
++)
534 replay_esn
->bmp
[i
] = 0;
537 bitnr
= (pos
+ diff
) % replay_esn
->replay_window
;
538 replay_esn
->seq
= seq
;
540 if (unlikely(wrap
> 0))
541 replay_esn
->seq_hi
++;
543 diff
= replay_esn
->seq
- seq
;
546 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
548 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
552 bitnr
= bitnr
& 0x1F;
553 replay_esn
->bmp
[nr
] |= (1U << bitnr
);
555 if (xfrm_aevent_is_on(xs_net(x
)))
556 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
559 static struct xfrm_replay xfrm_replay_legacy
= {
560 .advance
= xfrm_replay_advance
,
561 .check
= xfrm_replay_check
,
562 .recheck
= xfrm_replay_check
,
563 .notify
= xfrm_replay_notify
,
564 .overflow
= xfrm_replay_overflow
,
567 static struct xfrm_replay xfrm_replay_bmp
= {
568 .advance
= xfrm_replay_advance_bmp
,
569 .check
= xfrm_replay_check_bmp
,
570 .recheck
= xfrm_replay_check_bmp
,
571 .notify
= xfrm_replay_notify_bmp
,
572 .overflow
= xfrm_replay_overflow_bmp
,
575 static struct xfrm_replay xfrm_replay_esn
= {
576 .advance
= xfrm_replay_advance_esn
,
577 .check
= xfrm_replay_check_esn
,
578 .recheck
= xfrm_replay_recheck_esn
,
579 .notify
= xfrm_replay_notify_esn
,
580 .overflow
= xfrm_replay_overflow_esn
,
583 int xfrm_init_replay(struct xfrm_state
*x
)
585 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
588 if (replay_esn
->replay_window
>
589 replay_esn
->bmp_len
* sizeof(__u32
) * 8)
592 if (x
->props
.flags
& XFRM_STATE_ESN
) {
593 if (replay_esn
->replay_window
== 0)
595 x
->repl
= &xfrm_replay_esn
;
597 x
->repl
= &xfrm_replay_bmp
;
599 x
->repl
= &xfrm_replay_legacy
;
603 EXPORT_SYMBOL(xfrm_init_replay
);