blob: bc3700f092a3255d24318cf712119caf571d61b0 [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02001/*
2 * NIST SP800-38C compliant CCM implementation
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2014, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02007 *
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22
23/*
24 * Definition of CCM:
25 * http://csrc.nist.gov/publications/nistpubs/800-38C/SP800-38C_updated-July20_2007.pdf
26 * RFC 3610 "Counter with CBC-MAC (CCM)"
27 *
28 * Related:
29 * RFC 5116 "An Interface and Algorithms for Authenticated Encryption"
30 */
31
32#if !defined(POLARSSL_CONFIG_FILE)
33#include "polarssl/config.h"
34#else
35#include POLARSSL_CONFIG_FILE
36#endif
37
38#if defined(POLARSSL_CCM_C)
39
40#include "polarssl/ccm.h"
41
Rich Evans00ab4702015-02-06 13:43:58 +000042#include <string.h>
43
44#if defined(POLARSSL_SELF_TEST) && defined(POLARSSL_AES_C)
45#if defined(POLARSSL_PLATFORM_C)
46#include "polarssl/platform.h"
47#else
48#include <stdio.h>
49#define polarssl_printf printf
50#endif /* POLARSSL_PLATFORM_C */
51#endif /* POLARSSL_SELF_TEST && POLARSSL_AES_C */
52
Paul Bakker34617722014-06-13 17:20:13 +020053/* Implementation that should never be optimized out by the compiler */
54static void polarssl_zeroize( void *v, size_t n ) {
55 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
56}
57
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +020058#define CCM_ENCRYPT 0
59#define CCM_DECRYPT 1
60
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020061/*
62 * Initialize context
63 */
64int ccm_init( ccm_context *ctx, cipher_id_t cipher,
65 const unsigned char *key, unsigned int keysize )
66{
67 int ret;
68 const cipher_info_t *cipher_info;
69
70 memset( ctx, 0, sizeof( ccm_context ) );
71
Paul Bakker84bbeb52014-07-01 14:53:22 +020072 cipher_init( &ctx->cipher_ctx );
73
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020074 cipher_info = cipher_info_from_values( cipher, keysize, POLARSSL_MODE_ECB );
75 if( cipher_info == NULL )
76 return( POLARSSL_ERR_CCM_BAD_INPUT );
77
78 if( cipher_info->block_size != 16 )
79 return( POLARSSL_ERR_CCM_BAD_INPUT );
80
Manuel Pégourié-Gonnard61977612015-05-27 17:38:50 +020081 cipher_free( &ctx->cipher_ctx );
82
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020083 if( ( ret = cipher_init_ctx( &ctx->cipher_ctx, cipher_info ) ) != 0 )
84 return( ret );
85
86 if( ( ret = cipher_setkey( &ctx->cipher_ctx, key, keysize,
87 POLARSSL_ENCRYPT ) ) != 0 )
88 {
89 return( ret );
90 }
91
92 return( 0 );
93}
94
95/*
96 * Free context
97 */
98void ccm_free( ccm_context *ctx )
99{
Paul Bakker84bbeb52014-07-01 14:53:22 +0200100 cipher_free( &ctx->cipher_ctx );
Paul Bakker34617722014-06-13 17:20:13 +0200101 polarssl_zeroize( ctx, sizeof( ccm_context ) );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200102}
103
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200104/*
105 * Macros for common operations.
106 * Results in smaller compiled code than static inline functions.
107 */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200108
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200109/*
110 * Update the CBC-MAC state in y using a block in b
111 * (Always using b as the source helps the compiler optimise a bit better.)
112 */
113#define UPDATE_CBC_MAC \
114 for( i = 0; i < 16; i++ ) \
115 y[i] ^= b[i]; \
116 \
117 if( ( ret = cipher_update( &ctx->cipher_ctx, y, 16, y, &olen ) ) != 0 ) \
118 return( ret );
119
120/*
121 * Encrypt or decrypt a partial block with CTR
122 * Warning: using b for temporary storage! src and dst must not be b!
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200123 * This avoids allocating one more 16 bytes buffer while allowing src == dst.
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200124 */
125#define CTR_CRYPT( dst, src, len ) \
126 if( ( ret = cipher_update( &ctx->cipher_ctx, ctr, 16, b, &olen ) ) != 0 ) \
127 return( ret ); \
128 \
129 for( i = 0; i < len; i++ ) \
130 dst[i] = src[i] ^ b[i];
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200131
132/*
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200133 * Authenticated encryption or decryption
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200134 */
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200135static int ccm_auth_crypt( ccm_context *ctx, int mode, size_t length,
136 const unsigned char *iv, size_t iv_len,
137 const unsigned char *add, size_t add_len,
138 const unsigned char *input, unsigned char *output,
139 unsigned char *tag, size_t tag_len )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200140{
141 int ret;
142 unsigned char i;
Simon Ba697bf52016-11-10 13:19:42 +0000143 unsigned char q;
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200144 size_t len_left, olen;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200145 unsigned char b[16];
146 unsigned char y[16];
147 unsigned char ctr[16];
148 const unsigned char *src;
149 unsigned char *dst;
150
151 /*
152 * Check length requirements: SP800-38C A.1
153 * Additional requirement: a < 2^16 - 2^8 to simplify the code.
154 * 'length' checked later (when writing it to the first block)
155 */
156 if( tag_len < 4 || tag_len > 16 || tag_len % 2 != 0 )
157 return( POLARSSL_ERR_CCM_BAD_INPUT );
158
159 /* Also implies q is within bounds */
160 if( iv_len < 7 || iv_len > 13 )
161 return( POLARSSL_ERR_CCM_BAD_INPUT );
162
163 if( add_len > 0xFF00 )
164 return( POLARSSL_ERR_CCM_BAD_INPUT );
165
Simon Ba697bf52016-11-10 13:19:42 +0000166 q = 16 - 1 - (unsigned char) iv_len;
167
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200168 /*
169 * First block B_0:
170 * 0 .. 0 flags
171 * 1 .. iv_len nonce (aka iv)
172 * iv_len+1 .. 15 length
173 *
174 * With flags as (bits):
175 * 7 0
176 * 6 add present?
177 * 5 .. 3 (t - 2) / 2
178 * 2 .. 0 q - 1
179 */
180 b[0] = 0;
181 b[0] |= ( add_len > 0 ) << 6;
182 b[0] |= ( ( tag_len - 2 ) / 2 ) << 3;
183 b[0] |= q - 1;
184
185 memcpy( b + 1, iv, iv_len );
186
187 for( i = 0, len_left = length; i < q; i++, len_left >>= 8 )
188 b[15-i] = (unsigned char)( len_left & 0xFF );
189
190 if( len_left > 0 )
191 return( POLARSSL_ERR_CCM_BAD_INPUT );
192
193
194 /* Start CBC-MAC with first block */
195 memset( y, 0, 16 );
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200196 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200197
198 /*
199 * If there is additional data, update CBC-MAC with
200 * add_len, add, 0 (padding to a block boundary)
201 */
202 if( add_len > 0 )
203 {
204 size_t use_len;
205 len_left = add_len;
206 src = add;
207
208 memset( b, 0, 16 );
209 b[0] = (unsigned char)( ( add_len >> 8 ) & 0xFF );
210 b[1] = (unsigned char)( ( add_len ) & 0xFF );
211
212 use_len = len_left < 16 - 2 ? len_left : 16 - 2;
213 memcpy( b + 2, src, use_len );
214 len_left -= use_len;
215 src += use_len;
216
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200217 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200218
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200219 while( len_left > 0 )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200220 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200221 use_len = len_left > 16 ? 16 : len_left;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200222
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200223 memset( b, 0, 16 );
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200224 memcpy( b, src, use_len );
225 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200226
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200227 len_left -= use_len;
228 src += use_len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200229 }
230 }
231
232 /*
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200233 * Prepare counter block for encryption:
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200234 * 0 .. 0 flags
235 * 1 .. iv_len nonce (aka iv)
236 * iv_len+1 .. 15 counter (initially 1)
237 *
238 * With flags as (bits):
239 * 7 .. 3 0
240 * 2 .. 0 q - 1
241 */
242 ctr[0] = q - 1;
243 memcpy( ctr + 1, iv, iv_len );
244 memset( ctr + 1 + iv_len, 0, q );
245 ctr[15] = 1;
246
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200247 /*
248 * Authenticate and {en,de}crypt the message.
249 *
250 * The only difference between encryption and decryption is
251 * the respective order of authentication and {en,de}cryption.
252 */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200253 len_left = length;
254 src = input;
255 dst = output;
256
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200257 while( len_left > 0 )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200258 {
Simon Ba697bf52016-11-10 13:19:42 +0000259 size_t use_len = len_left > 16 ? 16 : len_left;
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200260
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200261 if( mode == CCM_ENCRYPT )
262 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200263 memset( b, 0, 16 );
264 memcpy( b, src, use_len );
265 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200266 }
267
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200268 CTR_CRYPT( dst, src, use_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200269
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200270 if( mode == CCM_DECRYPT )
271 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200272 memset( b, 0, 16 );
273 memcpy( b, dst, use_len );
274 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200275 }
276
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200277 dst += use_len;
278 src += use_len;
279 len_left -= use_len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200280
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200281 /*
282 * Increment counter.
283 * No need to check for overflow thanks to the length check above.
284 */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200285 for( i = 0; i < q; i++ )
286 if( ++ctr[15-i] != 0 )
287 break;
288 }
289
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200290 /*
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200291 * Authentication: reset counter and crypt/mask internal tag
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200292 */
293 for( i = 0; i < q; i++ )
294 ctr[15-i] = 0;
295
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200296 CTR_CRYPT( y, y, 16 );
297 memcpy( tag, y, tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200298
299 return( 0 );
300}
301
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200302/*
303 * Authenticated encryption
304 */
305int ccm_encrypt_and_tag( ccm_context *ctx, size_t length,
306 const unsigned char *iv, size_t iv_len,
307 const unsigned char *add, size_t add_len,
308 const unsigned char *input, unsigned char *output,
309 unsigned char *tag, size_t tag_len )
310{
311 return( ccm_auth_crypt( ctx, CCM_ENCRYPT, length, iv, iv_len,
312 add, add_len, input, output, tag, tag_len ) );
313}
314
315/*
316 * Authenticated decryption
317 */
318int ccm_auth_decrypt( ccm_context *ctx, size_t length,
319 const unsigned char *iv, size_t iv_len,
320 const unsigned char *add, size_t add_len,
321 const unsigned char *input, unsigned char *output,
322 const unsigned char *tag, size_t tag_len )
323{
324 int ret;
325 unsigned char check_tag[16];
326 unsigned char i;
327 int diff;
328
329 if( ( ret = ccm_auth_crypt( ctx, CCM_DECRYPT, length,
330 iv, iv_len, add, add_len,
331 input, output, check_tag, tag_len ) ) != 0 )
332 {
333 return( ret );
334 }
335
336 /* Check tag in "constant-time" */
337 for( diff = 0, i = 0; i < tag_len; i++ )
338 diff |= tag[i] ^ check_tag[i];
339
340 if( diff != 0 )
341 {
Paul Bakker34617722014-06-13 17:20:13 +0200342 polarssl_zeroize( output, length );
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200343 return( POLARSSL_ERR_CCM_AUTH_FAILED );
344 }
345
346 return( 0 );
347}
348
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200349
350#if defined(POLARSSL_SELF_TEST) && defined(POLARSSL_AES_C)
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200351/*
352 * Examples 1 to 3 from SP800-38C Appendix C
353 */
354
355#define NB_TESTS 3
356
357/*
358 * The data is the same for all tests, only the used length changes
359 */
360static const unsigned char key[] = {
361 0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
362 0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f
363};
364
365static const unsigned char iv[] = {
366 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
367 0x18, 0x19, 0x1a, 0x1b
368};
369
370static const unsigned char ad[] = {
371 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
372 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
373 0x10, 0x11, 0x12, 0x13
374};
375
376static const unsigned char msg[] = {
377 0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
378 0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
379 0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
380};
381
382static const size_t iv_len [NB_TESTS] = { 7, 8, 12 };
383static const size_t add_len[NB_TESTS] = { 8, 16, 20 };
384static const size_t msg_len[NB_TESTS] = { 4, 16, 24 };
385static const size_t tag_len[NB_TESTS] = { 4, 6, 8 };
386
387static const unsigned char res[NB_TESTS][32] = {
388 { 0x71, 0x62, 0x01, 0x5b, 0x4d, 0xac, 0x25, 0x5d },
389 { 0xd2, 0xa1, 0xf0, 0xe0, 0x51, 0xea, 0x5f, 0x62,
390 0x08, 0x1a, 0x77, 0x92, 0x07, 0x3d, 0x59, 0x3d,
391 0x1f, 0xc6, 0x4f, 0xbf, 0xac, 0xcd },
392 { 0xe3, 0xb2, 0x01, 0xa9, 0xf5, 0xb7, 0x1a, 0x7a,
393 0x9b, 0x1c, 0xea, 0xec, 0xcd, 0x97, 0xe7, 0x0b,
394 0x61, 0x76, 0xaa, 0xd9, 0xa4, 0x42, 0x8a, 0xa5,
395 0x48, 0x43, 0x92, 0xfb, 0xc1, 0xb0, 0x99, 0x51 }
396};
397
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200398int ccm_self_test( int verbose )
399{
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200400 ccm_context ctx;
401 unsigned char out[32];
402 size_t i;
403 int ret;
404
405 if( ccm_init( &ctx, POLARSSL_CIPHER_ID_AES, key, 8 * sizeof key ) != 0 )
406 {
407 if( verbose != 0 )
408 polarssl_printf( " CCM: setup failed" );
409
410 return( 1 );
411 }
412
413 for( i = 0; i < NB_TESTS; i++ )
414 {
415 if( verbose != 0 )
416 polarssl_printf( " CCM-AES #%u: ", (unsigned int) i + 1 );
417
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200418 ret = ccm_encrypt_and_tag( &ctx, msg_len[i],
419 iv, iv_len[i], ad, add_len[i],
420 msg, out,
421 out + msg_len[i], tag_len[i] );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200422
423 if( ret != 0 ||
424 memcmp( out, res[i], msg_len[i] + tag_len[i] ) != 0 )
425 {
426 if( verbose != 0 )
427 polarssl_printf( "failed\n" );
428
429 return( 1 );
430 }
431
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200432 ret = ccm_auth_decrypt( &ctx, msg_len[i],
433 iv, iv_len[i], ad, add_len[i],
434 res[i], out,
435 res[i] + msg_len[i], tag_len[i] );
436
437 if( ret != 0 ||
438 memcmp( out, msg, msg_len[i] ) != 0 )
439 {
440 if( verbose != 0 )
441 polarssl_printf( "failed\n" );
442
443 return( 1 );
444 }
445
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200446 if( verbose != 0 )
447 polarssl_printf( "passed\n" );
448 }
449
450 ccm_free( &ctx );
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200451
452 if( verbose != 0 )
453 polarssl_printf( "\n" );
454
455 return( 0 );
456}
457
458#endif /* POLARSSL_SELF_TEST && POLARSSL_AES_C */
459
460#endif /* POLARSSL_CCM_C */