/src/botan/build/include/botan/internal/tls_seq_numbers.h
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * TLS Sequence Number Handling |
3 | | * (C) 2012 Jack Lloyd |
4 | | * |
5 | | * Botan is released under the Simplified BSD License (see license.txt) |
6 | | */ |
7 | | |
8 | | #ifndef BOTAN_TLS_SEQ_NUMBERS_H_ |
9 | | #define BOTAN_TLS_SEQ_NUMBERS_H_ |
10 | | |
11 | | #include <botan/types.h> |
12 | | #include <map> |
13 | | |
14 | | namespace Botan { |
15 | | |
16 | | namespace TLS { |
17 | | |
18 | | class Connection_Sequence_Numbers |
19 | | { |
20 | | public: |
21 | 5.67k | virtual ~Connection_Sequence_Numbers() = default; |
22 | | |
23 | | virtual void new_read_cipher_state() = 0; |
24 | | virtual void new_write_cipher_state() = 0; |
25 | | |
26 | | virtual uint16_t current_read_epoch() const = 0; |
27 | | virtual uint16_t current_write_epoch() const = 0; |
28 | | |
29 | | virtual uint64_t next_write_sequence(uint16_t) = 0; |
30 | | virtual uint64_t next_read_sequence() = 0; |
31 | | |
32 | | virtual bool already_seen(uint64_t seq) const = 0; |
33 | | virtual void read_accept(uint64_t seq) = 0; |
34 | | |
35 | | virtual void reset() = 0; |
36 | | }; |
37 | | |
38 | | class Stream_Sequence_Numbers final : public Connection_Sequence_Numbers |
39 | | { |
40 | | public: |
41 | 4.99k | Stream_Sequence_Numbers() { Stream_Sequence_Numbers::reset(); } |
42 | | |
43 | | void reset() override |
44 | 4.99k | { |
45 | 4.99k | m_write_seq_no = 0; |
46 | 4.99k | m_read_seq_no = 0; |
47 | 4.99k | m_read_epoch = 0; |
48 | 4.99k | m_write_epoch = 0; |
49 | 4.99k | } |
50 | | |
51 | 549 | void new_read_cipher_state() override { m_read_seq_no = 0; m_read_epoch++; } |
52 | 308 | void new_write_cipher_state() override { m_write_seq_no = 0; m_write_epoch++; } |
53 | | |
54 | 62.4k | uint16_t current_read_epoch() const override { return m_read_epoch; } |
55 | 66.4k | uint16_t current_write_epoch() const override { return m_write_epoch; } |
56 | | |
57 | 65.8k | uint64_t next_write_sequence(uint16_t) override { return m_write_seq_no++; } |
58 | 61.9k | uint64_t next_read_sequence() override { return m_read_seq_no; } |
59 | | |
60 | 0 | bool already_seen(uint64_t) const override { return false; } |
61 | 0 | void read_accept(uint64_t) override { m_read_seq_no++; } |
62 | | |
63 | | private: |
64 | | uint64_t m_write_seq_no; |
65 | | uint64_t m_read_seq_no; |
66 | | uint16_t m_read_epoch; |
67 | | uint16_t m_write_epoch; |
68 | | }; |
69 | | |
70 | | class Datagram_Sequence_Numbers final : public Connection_Sequence_Numbers |
71 | | { |
72 | | public: |
73 | 680 | Datagram_Sequence_Numbers() { Datagram_Sequence_Numbers::reset(); } |
74 | | |
75 | | void reset() override |
76 | 680 | { |
77 | 680 | m_write_seqs.clear(); |
78 | 680 | m_write_seqs[0] = 0; |
79 | 680 | m_write_epoch = 0; |
80 | 680 | m_read_epoch = 0; |
81 | 680 | m_window_highest = 0; |
82 | 680 | m_window_bits = 0; |
83 | 680 | } |
84 | | |
85 | 0 | void new_read_cipher_state() override { m_read_epoch++; } |
86 | | |
87 | | void new_write_cipher_state() override |
88 | 0 | { |
89 | 0 | m_write_epoch++; |
90 | 0 | m_write_seqs[m_write_epoch] = 0; |
91 | 0 | } |
92 | | |
93 | 0 | uint16_t current_read_epoch() const override { return m_read_epoch; } |
94 | 260 | uint16_t current_write_epoch() const override { return m_write_epoch; } |
95 | | |
96 | | uint64_t next_write_sequence(uint16_t epoch) override |
97 | 260 | { |
98 | 260 | auto i = m_write_seqs.find(epoch); |
99 | 260 | BOTAN_ASSERT(i != m_write_seqs.end(), "Found epoch"); |
100 | 260 | return (static_cast<uint64_t>(epoch) << 48) | i->second++; |
101 | 260 | } |
102 | | |
103 | | uint64_t next_read_sequence() override |
104 | 0 | { |
105 | 0 | throw Invalid_State("DTLS uses explicit sequence numbers"); |
106 | 0 | } |
107 | | |
108 | | bool already_seen(uint64_t sequence) const override |
109 | 436 | { |
110 | 436 | const size_t window_size = sizeof(m_window_bits) * 8; |
111 | | |
112 | 436 | if(sequence > m_window_highest) |
113 | 355 | { |
114 | 355 | return false; |
115 | 355 | } |
116 | | |
117 | 81 | const uint64_t offset = m_window_highest - sequence; |
118 | | |
119 | 81 | if(offset >= window_size) |
120 | 59 | { |
121 | 59 | return true; // really old? |
122 | 59 | } |
123 | | |
124 | 22 | return (((m_window_bits >> offset) & 1) == 1); |
125 | 81 | } |
126 | | |
127 | | void read_accept(uint64_t sequence) override |
128 | 309 | { |
129 | 309 | const size_t window_size = sizeof(m_window_bits) * 8; |
130 | | |
131 | 309 | if(sequence > m_window_highest) |
132 | 292 | { |
133 | | // We've received a later sequence which advances our window |
134 | 292 | const uint64_t offset = sequence - m_window_highest; |
135 | 292 | m_window_highest += offset; |
136 | | |
137 | 292 | if(offset >= window_size) |
138 | 266 | m_window_bits = 0; |
139 | 26 | else |
140 | 26 | m_window_bits <<= offset; |
141 | | |
142 | 292 | m_window_bits |= 0x01; |
143 | 292 | } |
144 | 17 | else |
145 | 17 | { |
146 | 17 | const uint64_t offset = m_window_highest - sequence; |
147 | | |
148 | 17 | if(offset < window_size) |
149 | 17 | { |
150 | | // We've received an old sequence but still within our window |
151 | 17 | m_window_bits |= (static_cast<uint64_t>(1) << offset); |
152 | 17 | } |
153 | 0 | else |
154 | 0 | { |
155 | | // This occurs only if we have reset state (DTLS reconnection case) |
156 | 0 | m_window_highest = sequence; |
157 | 0 | m_window_bits = 0; |
158 | 0 | } |
159 | 17 | } |
160 | 309 | } |
161 | | |
162 | | private: |
163 | | std::map<uint16_t, uint64_t> m_write_seqs; |
164 | | uint16_t m_write_epoch = 0; |
165 | | uint16_t m_read_epoch = 0; |
166 | | uint64_t m_window_highest = 0; |
167 | | uint64_t m_window_bits = 0; |
168 | | }; |
169 | | |
170 | | } |
171 | | |
172 | | } |
173 | | |
174 | | #endif |