Coverage Report

Created: 2021-05-04 09:02

/src/botan/src/lib/modes/aead/ccm/ccm.cpp
Line
Count
Source (jump to first uncovered line)
1
/*
2
* CCM Mode Encryption
3
* (C) 2013,2018 Jack Lloyd
4
* (C) 2016 Daniel Neus, Rohde & Schwarz Cybersecurity
5
*
6
* Botan is released under the Simplified BSD License (see license.txt)
7
*/
8
9
#include <botan/internal/ccm.h>
10
#include <botan/internal/loadstor.h>
11
12
namespace Botan {
13
14
// 128-bit cipher is intrinsic to CCM definition
15
static const size_t CCM_BS = 16;
16
17
/*
18
* CCM_Mode Constructor
19
*/
20
CCM_Mode::CCM_Mode(std::unique_ptr<BlockCipher> cipher, size_t tag_size, size_t L) :
21
   m_tag_size(tag_size),
22
   m_L(L),
23
   m_cipher(std::move(cipher))
24
346
   {
25
346
   if(m_cipher->block_size() != CCM_BS)
26
0
      throw Invalid_Argument(m_cipher->name() + " cannot be used with CCM mode");
27
28
346
   if(L < 2 || L > 8)
29
0
      throw Invalid_Argument("Invalid CCM L value " + std::to_string(L));
30
31
346
   if(tag_size < 4 || tag_size > 16 || tag_size % 2 != 0)
32
0
      throw Invalid_Argument("invalid CCM tag length " + std::to_string(tag_size));
33
346
   }
34
35
void CCM_Mode::clear()
36
0
   {
37
0
   m_cipher->clear();
38
0
   reset();
39
0
   }
40
41
void CCM_Mode::reset()
42
210
   {
43
210
   m_nonce.clear();
44
210
   m_msg_buf.clear();
45
210
   m_ad_buf.clear();
46
210
   }
47
48
std::string CCM_Mode::name() const
49
0
   {
50
0
   return (m_cipher->name() + "/CCM(" + std::to_string(tag_size()) + "," + std::to_string(L())) + ")";
51
0
   }
52
53
bool CCM_Mode::valid_nonce_length(size_t n) const
54
235
   {
55
235
   return (n == (15-L()));
56
235
   }
57
58
size_t CCM_Mode::default_nonce_length() const
59
0
   {
60
0
   return (15-L());
61
0
   }
62
63
size_t CCM_Mode::update_granularity() const
64
0
   {
65
   /*
66
   This value does not particularly matter as regardless CCM_Mode::update
67
   buffers all input, so in theory this could be 1. However as for instance
68
   Transform_Filter creates update_granularity() uint8_t buffers, use a
69
   somewhat large size to avoid bouncing on a tiny buffer.
70
   */
71
0
   return m_cipher->parallel_bytes();
72
0
   }
73
74
Key_Length_Specification CCM_Mode::key_spec() const
75
346
   {
76
346
   return m_cipher->key_spec();
77
346
   }
78
79
void CCM_Mode::key_schedule(const uint8_t key[], size_t length)
80
346
   {
81
346
   m_cipher->set_key(key, length);
82
346
   }
83
84
void CCM_Mode::set_associated_data(const uint8_t ad[], size_t length)
85
235
   {
86
235
   m_ad_buf.clear();
87
88
235
   if(length)
89
235
      {
90
      // FIXME: support larger AD using length encoding rules
91
235
      BOTAN_ARG_CHECK(length < (0xFFFF - 0xFF), "Supported CCM AD length");
92
93
235
      m_ad_buf.push_back(get_byte<0>(static_cast<uint16_t>(length)));
94
235
      m_ad_buf.push_back(get_byte<1>(static_cast<uint16_t>(length)));
95
235
      m_ad_buf += std::make_pair(ad, length);
96
470
      while(m_ad_buf.size() % CCM_BS)
97
235
         m_ad_buf.push_back(0); // pad with zeros to full block size
98
235
      }
99
235
   }
100
101
void CCM_Mode::start_msg(const uint8_t nonce[], size_t nonce_len)
102
235
   {
103
235
   if(!valid_nonce_length(nonce_len))
104
0
      throw Invalid_IV_Length(name(), nonce_len);
105
106
235
   m_nonce.assign(nonce, nonce + nonce_len);
107
235
   m_msg_buf.clear();
108
235
   }
109
110
size_t CCM_Mode::process(uint8_t buf[], size_t sz)
111
0
   {
112
0
   BOTAN_STATE_CHECK(m_nonce.size() > 0);
113
0
   m_msg_buf.insert(m_msg_buf.end(), buf, buf + sz);
114
0
   return 0; // no output until finished
115
0
   }
116
117
void CCM_Mode::encode_length(uint64_t len, uint8_t out[])
118
235
   {
119
235
   const size_t len_bytes = L();
120
121
235
   BOTAN_ASSERT_NOMSG(len_bytes >= 2 && len_bytes <= 8);
122
123
940
   for(size_t i = 0; i != len_bytes; ++i)
124
705
      out[len_bytes-1-i] = get_byte_var(sizeof(uint64_t)-1-i, len);
125
126
235
   if(len_bytes < 8 && (len >> (len_bytes*8)) > 0)
127
0
      throw Encoding_Error("CCM message length too long to encode in L field");
128
235
   }
129
130
void CCM_Mode::inc(secure_vector<uint8_t>& C)
131
1.32k
   {
132
1.32k
   for(size_t i = 0; i != C.size(); ++i)
133
1.32k
      if(++C[C.size()-i-1])
134
1.32k
         break;
135
1.32k
   }
136
137
secure_vector<uint8_t> CCM_Mode::format_b0(size_t sz)
138
235
   {
139
235
   if(m_nonce.size() != 15-L())
140
0
      throw Invalid_State("CCM mode must set nonce");
141
235
   secure_vector<uint8_t> B0(CCM_BS);
142
143
235
   const uint8_t b_flags =
144
235
      static_cast<uint8_t>((m_ad_buf.size() ? 64 : 0) + (((tag_size()/2)-1) << 3) + (L()-1));
145
146
235
   B0[0] = b_flags;
147
235
   copy_mem(&B0[1], m_nonce.data(), m_nonce.size());
148
235
   encode_length(sz, &B0[m_nonce.size()+1]);
149
150
235
   return B0;
151
235
   }
152
153
secure_vector<uint8_t> CCM_Mode::format_c0()
154
235
   {
155
235
   if(m_nonce.size() != 15-L())
156
0
      throw Invalid_State("CCM mode must set nonce");
157
235
   secure_vector<uint8_t> C(CCM_BS);
158
159
235
   const uint8_t a_flags = static_cast<uint8_t>(L() - 1);
160
161
235
   C[0] = a_flags;
162
235
   copy_mem(&C[1], m_nonce.data(), m_nonce.size());
163
164
235
   return C;
165
235
   }
166
167
void CCM_Encryption::finish(secure_vector<uint8_t>& buffer, size_t offset)
168
210
   {
169
210
   BOTAN_ARG_CHECK(buffer.size() >= offset, "Offset is sane");
170
171
210
   buffer.insert(buffer.begin() + offset, msg_buf().begin(), msg_buf().end());
172
173
210
   const size_t sz = buffer.size() - offset;
174
210
   uint8_t* buf = buffer.data() + offset;
175
176
210
   const secure_vector<uint8_t>& ad = ad_buf();
177
210
   BOTAN_ARG_CHECK(ad.size() % CCM_BS == 0, "AD is block size multiple");
178
179
210
   const BlockCipher& E = cipher();
180
181
210
   secure_vector<uint8_t> T(CCM_BS);
182
210
   E.encrypt(format_b0(sz), T);
183
184
420
   for(size_t i = 0; i != ad.size(); i += CCM_BS)
185
210
      {
186
210
      xor_buf(T.data(), &ad[i], CCM_BS);
187
210
      E.encrypt(T);
188
210
      }
189
190
210
   secure_vector<uint8_t> C = format_c0();
191
210
   secure_vector<uint8_t> S0(CCM_BS);
192
210
   E.encrypt(C, S0);
193
210
   inc(C);
194
195
210
   secure_vector<uint8_t> X(CCM_BS);
196
197
210
   const uint8_t* buf_end = &buf[sz];
198
199
420
   while(buf != buf_end)
200
210
      {
201
210
      const size_t to_proc = std::min<size_t>(CCM_BS, buf_end - buf);
202
203
210
      xor_buf(T.data(), buf, to_proc);
204
210
      E.encrypt(T);
205
206
210
      E.encrypt(C, X);
207
210
      xor_buf(buf, X.data(), to_proc);
208
210
      inc(C);
209
210
210
      buf += to_proc;
211
210
      }
212
213
210
   T ^= S0;
214
215
210
   buffer += std::make_pair(T.data(), tag_size());
216
217
210
   reset();
218
210
   }
219
220
void CCM_Decryption::finish(secure_vector<uint8_t>& buffer, size_t offset)
221
25
   {
222
25
   BOTAN_ARG_CHECK(buffer.size() >= offset, "Offset is sane");
223
224
25
   buffer.insert(buffer.begin() + offset, msg_buf().begin(), msg_buf().end());
225
226
25
   const size_t sz = buffer.size() - offset;
227
25
   uint8_t* buf = buffer.data() + offset;
228
229
25
   BOTAN_ASSERT(sz >= tag_size(), "We have the tag");
230
231
25
   const secure_vector<uint8_t>& ad = ad_buf();
232
25
   BOTAN_ARG_CHECK(ad.size() % CCM_BS == 0, "AD is block size multiple");
233
234
25
   const BlockCipher& E = cipher();
235
236
25
   secure_vector<uint8_t> T(CCM_BS);
237
25
   E.encrypt(format_b0(sz - tag_size()), T);
238
239
50
   for(size_t i = 0; i != ad.size(); i += CCM_BS)
240
25
      {
241
25
      xor_buf(T.data(), &ad[i], CCM_BS);
242
25
      E.encrypt(T);
243
25
      }
244
245
25
   secure_vector<uint8_t> C = format_c0();
246
247
25
   secure_vector<uint8_t> S0(CCM_BS);
248
25
   E.encrypt(C, S0);
249
25
   inc(C);
250
251
25
   secure_vector<uint8_t> X(CCM_BS);
252
253
25
   const uint8_t* buf_end = &buf[sz - tag_size()];
254
255
903
   while(buf != buf_end)
256
878
      {
257
878
      const size_t to_proc = std::min<size_t>(CCM_BS, buf_end - buf);
258
259
878
      E.encrypt(C, X);
260
878
      xor_buf(buf, X.data(), to_proc);
261
878
      inc(C);
262
263
878
      xor_buf(T.data(), buf, to_proc);
264
878
      E.encrypt(T);
265
266
878
      buf += to_proc;
267
878
      }
268
269
25
   T ^= S0;
270
271
25
   if(!constant_time_compare(T.data(), buf_end, tag_size()))
272
25
      throw Invalid_Authentication_Tag("CCM tag check failed");
273
274
0
   buffer.resize(buffer.size() - tag_size());
275
276
0
   reset();
277
0
   }
278
279
}