blob: 9951ca168562e2479eee047e9d668aeeab1e4ef6 [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02003/* END_HEADER */
4
5/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02006 * depends_on:MBEDTLS_CCM_C
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02007 * END_DEPENDENCIES
8 */
9
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST:MBEDTLS_AES_C */
Azim Khanf1aaec92017-05-30 14:23:15 +010011void mbedtls_ccm_self_test( )
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020012{
Andres AG93012e82016-09-09 09:10:28 +010013 TEST_ASSERT( mbedtls_ccm_self_test( 1 ) == 0 );
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020014}
15/* END_CASE */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020016
17/* BEGIN_CASE */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020018void mbedtls_ccm_setkey( int cipher_id, int key_size, int result )
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020019{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020021 unsigned char key[32];
22 int ret;
23
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020024 mbedtls_ccm_init( &ctx );
25
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020026 memset( key, 0x2A, sizeof( key ) );
27 TEST_ASSERT( (unsigned) key_size <= 8 * sizeof( key ) );
28
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020029 ret = mbedtls_ccm_setkey( &ctx, cipher_id, key, key_size );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020030 TEST_ASSERT( ret == result );
31
Paul Bakkerbd51b262014-07-10 15:26:12 +020032exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020034}
35/* END_CASE */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020036
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037/* BEGIN_CASE depends_on:MBEDTLS_AES_C */
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020038void ccm_lengths( int msg_len, int iv_len, int add_len, int tag_len, int res )
39{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020041 unsigned char key[16];
42 unsigned char msg[10];
43 unsigned char iv[14];
44 unsigned char add[10];
45 unsigned char out[10];
46 unsigned char tag[18];
47 int decrypt_ret;
48
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020049 mbedtls_ccm_init( &ctx );
50
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020051 memset( key, 0, sizeof( key ) );
52 memset( msg, 0, sizeof( msg ) );
53 memset( iv, 0, sizeof( iv ) );
54 memset( add, 0, sizeof( add ) );
55 memset( out, 0, sizeof( out ) );
56 memset( tag, 0, sizeof( tag ) );
57
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020058 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, MBEDTLS_CIPHER_ID_AES,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020059 key, 8 * sizeof( key ) ) == 0 );
60
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020062 msg, out, tag, tag_len ) == res );
63
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064 decrypt_ret = mbedtls_ccm_auth_decrypt( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020065 msg, out, tag, tag_len );
66
67 if( res == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 TEST_ASSERT( decrypt_ret == MBEDTLS_ERR_CCM_AUTH_FAILED );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020069 else
70 TEST_ASSERT( decrypt_ret == res );
71
Paul Bakkerbd51b262014-07-10 15:26:12 +020072exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020074}
75/* END_CASE */
76
Janos Follath95ab93d2018-05-14 14:32:41 +010077/* BEGIN_CASE depends_on:MBEDTLS_AES_C */
78void ccm_star_lengths( int msg_len, int iv_len, int add_len, int tag_len,
79 int res )
80{
81 mbedtls_ccm_context ctx;
82 unsigned char key[16];
83 unsigned char msg[10];
84 unsigned char iv[14];
85 unsigned char add[10];
86 unsigned char out[10];
87 unsigned char tag[18];
88 int decrypt_ret;
89
90 mbedtls_ccm_init( &ctx );
91
92 memset( key, 0, sizeof( key ) );
93 memset( msg, 0, sizeof( msg ) );
94 memset( iv, 0, sizeof( iv ) );
95 memset( add, 0, sizeof( add ) );
96 memset( out, 0, sizeof( out ) );
97 memset( tag, 0, sizeof( tag ) );
98
99 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, MBEDTLS_CIPHER_ID_AES,
100 key, 8 * sizeof( key ) ) == 0 );
101
102 TEST_ASSERT( mbedtls_ccm_star_encrypt_and_tag( &ctx, msg_len, iv, iv_len,
103 add, add_len, msg, out, tag, tag_len ) == res );
104
105 decrypt_ret = mbedtls_ccm_star_auth_decrypt( &ctx, msg_len, iv, iv_len, add,
106 add_len, msg, out, tag, tag_len );
107
108 if( res == 0 && tag_len != 0 )
109 TEST_ASSERT( decrypt_ret == MBEDTLS_ERR_CCM_AUTH_FAILED );
110 else
111 TEST_ASSERT( decrypt_ret == res );
112
113exit:
114 mbedtls_ccm_free( &ctx );
115}
116/* END_CASE */
117
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200118/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +0100119void mbedtls_ccm_encrypt_and_tag( int cipher_id, data_t * key,
120 data_t * msg, data_t * iv,
121 data_t * add, data_t * result )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200122{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123 mbedtls_ccm_context ctx;
Azim Khanf1aaec92017-05-30 14:23:15 +0100124 size_t tag_len;
Azim Khand30ca132017-06-09 04:32:58 +0100125 uint8_t * msg_n_tag = (uint8_t *)malloc( result->len + 2 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200126
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200127 mbedtls_ccm_init( &ctx );
128
Azim Khand30ca132017-06-09 04:32:58 +0100129 memset( msg_n_tag, 0, result->len + 2 );
130 memcpy( msg_n_tag, msg->x, msg->len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200131
Azim Khand30ca132017-06-09 04:32:58 +0100132 tag_len = result->len - msg->len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200133
Azim Khand30ca132017-06-09 04:32:58 +0100134 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key->x, key->len * 8 ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200135
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200136 /* Test with input == output */
Azim Khand30ca132017-06-09 04:32:58 +0100137 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg->len, iv->x, iv->len, add->x, add->len,
138 msg_n_tag, msg_n_tag, msg_n_tag + msg->len, tag_len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200139
Azim Khand30ca132017-06-09 04:32:58 +0100140 TEST_ASSERT( memcmp( msg_n_tag, result->x, result->len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200141
142 /* Check we didn't write past the end */
Azim Khand30ca132017-06-09 04:32:58 +0100143 TEST_ASSERT( msg_n_tag[result->len] == 0 && msg_n_tag[result->len + 1] == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200144
Paul Bakkerbd51b262014-07-10 15:26:12 +0200145exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200146 mbedtls_ccm_free( &ctx );
Azim Khan46c9b1f2017-05-31 20:46:35 +0100147 free( msg_n_tag );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200148}
149/* END_CASE */
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200150
151/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +0100152void mbedtls_ccm_auth_decrypt( int cipher_id, data_t * key,
153 data_t * msg, data_t * iv,
154 data_t * add, int tag_len, int result,
155 data_t * hex_msg )
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200156{
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200157 unsigned char tag[16];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200159
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200160 mbedtls_ccm_init( &ctx );
161
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200162 memset( tag, 0x00, sizeof( tag ) );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200163
Azim Khand30ca132017-06-09 04:32:58 +0100164 msg->len -= tag_len;
165 memcpy( tag, msg->x + msg->len, tag_len );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200166
Azim Khand30ca132017-06-09 04:32:58 +0100167 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key->x, key->len * 8 ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200168
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200169 /* Test with input == output */
Azim Khand30ca132017-06-09 04:32:58 +0100170 TEST_ASSERT( mbedtls_ccm_auth_decrypt( &ctx, msg->len, iv->x, iv->len, add->x, add->len,
Mohammad Azim Khancfd83422018-06-26 18:15:18 +0100171 msg->x, msg->x, msg->x + msg->len, tag_len ) == result );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200172
Mohammad Azim Khancfd83422018-06-26 18:15:18 +0100173 if( result == 0 )
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200174 {
Azim Khand30ca132017-06-09 04:32:58 +0100175 TEST_ASSERT( memcmp( msg->x, hex_msg->x, hex_msg->len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200176 }
177 else
178 {
179 size_t i;
180
Azim Khand30ca132017-06-09 04:32:58 +0100181 for( i = 0; i < msg->len; i++ )
182 TEST_ASSERT( msg->x[i] == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200183 }
184
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200185 /* Check we didn't write past the end (where the original tag is) */
Azim Khand30ca132017-06-09 04:32:58 +0100186 TEST_ASSERT( memcmp( msg->x + msg->len, tag, tag_len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200187
Paul Bakkerbd51b262014-07-10 15:26:12 +0200188exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200189 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200190}
191/* END_CASE */
Darryl Green0daf4ca2018-05-29 14:12:26 +0100192
193/* BEGIN_CASE */
194void mbedtls_ccm_star_encrypt_and_tag( int cipher_id,
195 char *key_hex, char *msg_hex,
196 char *source_address_hex, char *frame_counter_hex,
197 int sec_level, char *add_hex,
198 char *result_hex, int output_ret )
199{
200 unsigned char key[32];
201 unsigned char msg[50];
202 unsigned char iv[13];
203 unsigned char add[32];
204 unsigned char result[50];
205 unsigned char source_address[8];
206 unsigned char frame_counter[4];
207 mbedtls_ccm_context ctx;
208 size_t i, key_len, msg_len, iv_len, add_len, result_len, source_address_len, frame_counter_len, tag_len;
209 int ret;
210
211 mbedtls_ccm_init( &ctx );
212
213 memset( key, 0x00, sizeof( key ) );
214 memset( msg, 0x00, sizeof( msg ) );
215 memset( iv, 0x00, sizeof( iv ) );
216 memset( add, 0x00, sizeof( add ) );
217 memset( result, 0x00, sizeof( result ) );
218 memset( source_address, 0x00, sizeof( source_address ) );
219 memset( frame_counter, 0x00, sizeof( frame_counter ) );
220
221 key_len = unhexify( key, key_hex );
222 msg_len = unhexify( msg, msg_hex );
223 add_len = unhexify( add, add_hex );
224 result_len = unhexify( result, result_hex );
225 source_address_len = unhexify( source_address, source_address_hex );
226 frame_counter_len = unhexify( frame_counter, frame_counter_hex );
227
228 if( sec_level % 4 == 0)
229 tag_len = 0;
230 else
231 tag_len = 1 << ( sec_level % 4 + 1);
232
233 for( i = 0; i < source_address_len; i++ )
234 iv[i] = source_address[i];
235
236 for( i = 0; i < frame_counter_len; i++ )
237 iv[source_address_len + i] = frame_counter[i];
238
239 iv[source_address_len + frame_counter_len] = sec_level;
240 iv_len = sizeof( iv );
241
242 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key, key_len * 8 ) == 0 );
243
244 ret = mbedtls_ccm_star_encrypt_and_tag( &ctx, msg_len, iv, iv_len,
245 add, add_len, msg, msg, msg + msg_len, tag_len );
246
247 TEST_ASSERT( ret == output_ret );
248
249 TEST_ASSERT( memcmp( msg, result, result_len ) == 0 );
250
251 /* Check we didn't write past the end */
252 TEST_ASSERT( msg[result_len] == 0 && msg[result_len + 1] == 0 );
253
254exit:
255 mbedtls_ccm_free( &ctx );
256}
257/* END_CASE */
258
259/* BEGIN_CASE */
260void mbedtls_ccm_star_auth_decrypt( int cipher_id,
261 char *key_hex, char *msg_hex,
262 char *source_address_hex, char *frame_counter_hex,
263 int sec_level, char *add_hex,
264 char *result_hex, int output_ret )
265{
266 unsigned char key[32];
267 unsigned char msg[50];
268 unsigned char iv[13];
269 unsigned char add[32];
270 unsigned char tag[16];
271 unsigned char result[50];
272 unsigned char source_address[8];
273 unsigned char frame_counter[4];
274 mbedtls_ccm_context ctx;
275 size_t i, key_len, msg_len, iv_len, add_len, tag_len, result_len, source_address_len, frame_counter_len;
276 int ret;
277
278 mbedtls_ccm_init( &ctx );
279
280 memset( key, 0x00, sizeof( key ) );
281 memset( msg, 0x00, sizeof( msg ) );
282 memset( iv, 0x00, sizeof( iv ) );
283 memset( add, 0x00, sizeof( add ) );
284 memset( result, 0x00, sizeof( result ) );
285 memset( source_address, 0x00, sizeof( source_address ) );
286 memset( frame_counter, 0x00, sizeof( frame_counter ) );
287 memset( tag, 0x00, sizeof( tag ) );
288
289 key_len = unhexify( key, key_hex );
290 msg_len = unhexify( msg, msg_hex );
291 add_len = unhexify( add, add_hex );
292 result_len = unhexify( result, result_hex );
293 source_address_len = unhexify( source_address, source_address_hex );
294 frame_counter_len = unhexify( frame_counter, frame_counter_hex );
295
296 if( sec_level % 4 == 0)
297 tag_len = 0;
298 else
299 tag_len = 1 << ( sec_level % 4 + 1);
300
301 for( i = 0; i < source_address_len; i++ )
302 iv[i] = source_address[i];
303
304 for( i = 0; i < frame_counter_len; i++ )
305 iv[source_address_len + i] = frame_counter[i];
306
307 iv[source_address_len + frame_counter_len] = sec_level;
308 iv_len = sizeof( iv );
309
310 msg_len -= tag_len;
311 memcpy( tag, msg + msg_len, tag_len );
312
313 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key, key_len * 8 ) == 0 );
314
315 ret = mbedtls_ccm_star_auth_decrypt( &ctx, msg_len, iv, iv_len,
316 add, add_len, msg, msg, msg + msg_len, tag_len );
317
318 TEST_ASSERT( ret == output_ret );
319
320 TEST_ASSERT( memcmp( msg, result, result_len ) == 0 );
321
322 /* Check we didn't write past the end (where the original tag is) */
323 TEST_ASSERT( memcmp( msg + msg_len, tag, tag_len ) == 0 );
324
325exit:
326 mbedtls_ccm_free( &ctx );
327}
328/* END_CASE */