1e71b7053SJung-uk Kim /*
2e71b7053SJung-uk Kim * Copyright 2005-2016 The OpenSSL Project Authors. All Rights Reserved.
3e71b7053SJung-uk Kim *
4*b077aed3SPierre Pronchery * Licensed under the Apache License 2.0 (the "License"). You may not use
5e71b7053SJung-uk Kim * this file except in compliance with the License. You can obtain a copy
6e71b7053SJung-uk Kim * in the file LICENSE in the source distribution or at
7e71b7053SJung-uk Kim * https://www.openssl.org/source/license.html
8e71b7053SJung-uk Kim */
9e71b7053SJung-uk Kim
1017f01e99SJung-uk Kim #include "../ssl_local.h"
1117f01e99SJung-uk Kim #include "record_local.h"
12e71b7053SJung-uk Kim
13e71b7053SJung-uk Kim /* mod 128 saturating subtract of two 64-bit values in big-endian order */
satsub64be(const unsigned char * v1,const unsigned char * v2)14e71b7053SJung-uk Kim static int satsub64be(const unsigned char *v1, const unsigned char *v2)
15e71b7053SJung-uk Kim {
16e71b7053SJung-uk Kim int64_t ret;
17e71b7053SJung-uk Kim uint64_t l1, l2;
18e71b7053SJung-uk Kim
19e71b7053SJung-uk Kim n2l8(v1, l1);
20e71b7053SJung-uk Kim n2l8(v2, l2);
21e71b7053SJung-uk Kim
22e71b7053SJung-uk Kim ret = l1 - l2;
23e71b7053SJung-uk Kim
24e71b7053SJung-uk Kim /* We do not permit wrap-around */
25e71b7053SJung-uk Kim if (l1 > l2 && ret < 0)
26e71b7053SJung-uk Kim return 128;
27e71b7053SJung-uk Kim else if (l2 > l1 && ret > 0)
28e71b7053SJung-uk Kim return -128;
29e71b7053SJung-uk Kim
30e71b7053SJung-uk Kim if (ret > 128)
31e71b7053SJung-uk Kim return 128;
32e71b7053SJung-uk Kim else if (ret < -128)
33e71b7053SJung-uk Kim return -128;
34e71b7053SJung-uk Kim else
35e71b7053SJung-uk Kim return (int)ret;
36e71b7053SJung-uk Kim }
37e71b7053SJung-uk Kim
dtls1_record_replay_check(SSL * s,DTLS1_BITMAP * bitmap)38e71b7053SJung-uk Kim int dtls1_record_replay_check(SSL *s, DTLS1_BITMAP *bitmap)
39e71b7053SJung-uk Kim {
40e71b7053SJung-uk Kim int cmp;
41e71b7053SJung-uk Kim unsigned int shift;
42e71b7053SJung-uk Kim const unsigned char *seq = s->rlayer.read_sequence;
43e71b7053SJung-uk Kim
44e71b7053SJung-uk Kim cmp = satsub64be(seq, bitmap->max_seq_num);
45e71b7053SJung-uk Kim if (cmp > 0) {
46e71b7053SJung-uk Kim SSL3_RECORD_set_seq_num(RECORD_LAYER_get_rrec(&s->rlayer), seq);
47e71b7053SJung-uk Kim return 1; /* this record in new */
48e71b7053SJung-uk Kim }
49e71b7053SJung-uk Kim shift = -cmp;
50e71b7053SJung-uk Kim if (shift >= sizeof(bitmap->map) * 8)
51e71b7053SJung-uk Kim return 0; /* stale, outside the window */
52e71b7053SJung-uk Kim else if (bitmap->map & (1UL << shift))
53e71b7053SJung-uk Kim return 0; /* record previously received */
54e71b7053SJung-uk Kim
55e71b7053SJung-uk Kim SSL3_RECORD_set_seq_num(RECORD_LAYER_get_rrec(&s->rlayer), seq);
56e71b7053SJung-uk Kim return 1;
57e71b7053SJung-uk Kim }
58e71b7053SJung-uk Kim
dtls1_record_bitmap_update(SSL * s,DTLS1_BITMAP * bitmap)59e71b7053SJung-uk Kim void dtls1_record_bitmap_update(SSL *s, DTLS1_BITMAP *bitmap)
60e71b7053SJung-uk Kim {
61e71b7053SJung-uk Kim int cmp;
62e71b7053SJung-uk Kim unsigned int shift;
63e71b7053SJung-uk Kim const unsigned char *seq = RECORD_LAYER_get_read_sequence(&s->rlayer);
64e71b7053SJung-uk Kim
65e71b7053SJung-uk Kim cmp = satsub64be(seq, bitmap->max_seq_num);
66e71b7053SJung-uk Kim if (cmp > 0) {
67e71b7053SJung-uk Kim shift = cmp;
68e71b7053SJung-uk Kim if (shift < sizeof(bitmap->map) * 8)
69e71b7053SJung-uk Kim bitmap->map <<= shift, bitmap->map |= 1UL;
70e71b7053SJung-uk Kim else
71e71b7053SJung-uk Kim bitmap->map = 1UL;
72e71b7053SJung-uk Kim memcpy(bitmap->max_seq_num, seq, SEQ_NUM_SIZE);
73e71b7053SJung-uk Kim } else {
74e71b7053SJung-uk Kim shift = -cmp;
75e71b7053SJung-uk Kim if (shift < sizeof(bitmap->map) * 8)
76e71b7053SJung-uk Kim bitmap->map |= 1UL << shift;
77e71b7053SJung-uk Kim }
78e71b7053SJung-uk Kim }
79