blob: e397e0a42863b1300a8424285799aec0d91ee34e [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;
143 unsigned char q = 16 - 1 - iv_len;
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
166 /*
167 * First block B_0:
168 * 0 .. 0 flags
169 * 1 .. iv_len nonce (aka iv)
170 * iv_len+1 .. 15 length
171 *
172 * With flags as (bits):
173 * 7 0
174 * 6 add present?
175 * 5 .. 3 (t - 2) / 2
176 * 2 .. 0 q - 1
177 */
178 b[0] = 0;
179 b[0] |= ( add_len > 0 ) << 6;
180 b[0] |= ( ( tag_len - 2 ) / 2 ) << 3;
181 b[0] |= q - 1;
182
183 memcpy( b + 1, iv, iv_len );
184
185 for( i = 0, len_left = length; i < q; i++, len_left >>= 8 )
186 b[15-i] = (unsigned char)( len_left & 0xFF );
187
188 if( len_left > 0 )
189 return( POLARSSL_ERR_CCM_BAD_INPUT );
190
191
192 /* Start CBC-MAC with first block */
193 memset( y, 0, 16 );
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200194 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200195
196 /*
197 * If there is additional data, update CBC-MAC with
198 * add_len, add, 0 (padding to a block boundary)
199 */
200 if( add_len > 0 )
201 {
202 size_t use_len;
203 len_left = add_len;
204 src = add;
205
206 memset( b, 0, 16 );
207 b[0] = (unsigned char)( ( add_len >> 8 ) & 0xFF );
208 b[1] = (unsigned char)( ( add_len ) & 0xFF );
209
210 use_len = len_left < 16 - 2 ? len_left : 16 - 2;
211 memcpy( b + 2, src, use_len );
212 len_left -= use_len;
213 src += use_len;
214
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200215 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200216
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200217 while( len_left > 0 )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200218 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200219 use_len = len_left > 16 ? 16 : len_left;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200220
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200221 memset( b, 0, 16 );
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200222 memcpy( b, src, use_len );
223 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200224
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200225 len_left -= use_len;
226 src += use_len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200227 }
228 }
229
230 /*
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200231 * Prepare counter block for encryption:
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200232 * 0 .. 0 flags
233 * 1 .. iv_len nonce (aka iv)
234 * iv_len+1 .. 15 counter (initially 1)
235 *
236 * With flags as (bits):
237 * 7 .. 3 0
238 * 2 .. 0 q - 1
239 */
240 ctr[0] = q - 1;
241 memcpy( ctr + 1, iv, iv_len );
242 memset( ctr + 1 + iv_len, 0, q );
243 ctr[15] = 1;
244
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200245 /*
246 * Authenticate and {en,de}crypt the message.
247 *
248 * The only difference between encryption and decryption is
249 * the respective order of authentication and {en,de}cryption.
250 */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200251 len_left = length;
252 src = input;
253 dst = output;
254
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200255 while( len_left > 0 )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200256 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200257 unsigned char use_len = len_left > 16 ? 16 : len_left;
258
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200259 if( mode == CCM_ENCRYPT )
260 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200261 memset( b, 0, 16 );
262 memcpy( b, src, use_len );
263 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200264 }
265
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200266 CTR_CRYPT( dst, src, use_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200267
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200268 if( mode == CCM_DECRYPT )
269 {
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200270 memset( b, 0, 16 );
271 memcpy( b, dst, use_len );
272 UPDATE_CBC_MAC;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200273 }
274
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200275 dst += use_len;
276 src += use_len;
277 len_left -= use_len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200278
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200279 /*
280 * Increment counter.
281 * No need to check for overflow thanks to the length check above.
282 */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200283 for( i = 0; i < q; i++ )
284 if( ++ctr[15-i] != 0 )
285 break;
286 }
287
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200288 /*
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200289 * Authentication: reset counter and crypt/mask internal tag
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200290 */
291 for( i = 0; i < q; i++ )
292 ctr[15-i] = 0;
293
Manuel Pégourié-Gonnardaed60652014-05-07 13:14:42 +0200294 CTR_CRYPT( y, y, 16 );
295 memcpy( tag, y, tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200296
297 return( 0 );
298}
299
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200300/*
301 * Authenticated encryption
302 */
303int ccm_encrypt_and_tag( ccm_context *ctx, size_t length,
304 const unsigned char *iv, size_t iv_len,
305 const unsigned char *add, size_t add_len,
306 const unsigned char *input, unsigned char *output,
307 unsigned char *tag, size_t tag_len )
308{
309 return( ccm_auth_crypt( ctx, CCM_ENCRYPT, length, iv, iv_len,
310 add, add_len, input, output, tag, tag_len ) );
311}
312
313/*
314 * Authenticated decryption
315 */
316int ccm_auth_decrypt( ccm_context *ctx, size_t length,
317 const unsigned char *iv, size_t iv_len,
318 const unsigned char *add, size_t add_len,
319 const unsigned char *input, unsigned char *output,
320 const unsigned char *tag, size_t tag_len )
321{
322 int ret;
323 unsigned char check_tag[16];
324 unsigned char i;
325 int diff;
326
327 if( ( ret = ccm_auth_crypt( ctx, CCM_DECRYPT, length,
328 iv, iv_len, add, add_len,
329 input, output, check_tag, tag_len ) ) != 0 )
330 {
331 return( ret );
332 }
333
334 /* Check tag in "constant-time" */
335 for( diff = 0, i = 0; i < tag_len; i++ )
336 diff |= tag[i] ^ check_tag[i];
337
338 if( diff != 0 )
339 {
Paul Bakker34617722014-06-13 17:20:13 +0200340 polarssl_zeroize( output, length );
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200341 return( POLARSSL_ERR_CCM_AUTH_FAILED );
342 }
343
344 return( 0 );
345}
346
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200347
348#if defined(POLARSSL_SELF_TEST) && defined(POLARSSL_AES_C)
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200349/*
350 * Examples 1 to 3 from SP800-38C Appendix C
351 */
352
353#define NB_TESTS 3
354
355/*
356 * The data is the same for all tests, only the used length changes
357 */
358static const unsigned char key[] = {
359 0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
360 0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f
361};
362
363static const unsigned char iv[] = {
364 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
365 0x18, 0x19, 0x1a, 0x1b
366};
367
368static const unsigned char ad[] = {
369 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
370 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
371 0x10, 0x11, 0x12, 0x13
372};
373
374static const unsigned char msg[] = {
375 0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
376 0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
377 0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
378};
379
380static const size_t iv_len [NB_TESTS] = { 7, 8, 12 };
381static const size_t add_len[NB_TESTS] = { 8, 16, 20 };
382static const size_t msg_len[NB_TESTS] = { 4, 16, 24 };
383static const size_t tag_len[NB_TESTS] = { 4, 6, 8 };
384
385static const unsigned char res[NB_TESTS][32] = {
386 { 0x71, 0x62, 0x01, 0x5b, 0x4d, 0xac, 0x25, 0x5d },
387 { 0xd2, 0xa1, 0xf0, 0xe0, 0x51, 0xea, 0x5f, 0x62,
388 0x08, 0x1a, 0x77, 0x92, 0x07, 0x3d, 0x59, 0x3d,
389 0x1f, 0xc6, 0x4f, 0xbf, 0xac, 0xcd },
390 { 0xe3, 0xb2, 0x01, 0xa9, 0xf5, 0xb7, 0x1a, 0x7a,
391 0x9b, 0x1c, 0xea, 0xec, 0xcd, 0x97, 0xe7, 0x0b,
392 0x61, 0x76, 0xaa, 0xd9, 0xa4, 0x42, 0x8a, 0xa5,
393 0x48, 0x43, 0x92, 0xfb, 0xc1, 0xb0, 0x99, 0x51 }
394};
395
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200396int ccm_self_test( int verbose )
397{
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200398 ccm_context ctx;
399 unsigned char out[32];
400 size_t i;
401 int ret;
402
403 if( ccm_init( &ctx, POLARSSL_CIPHER_ID_AES, key, 8 * sizeof key ) != 0 )
404 {
405 if( verbose != 0 )
406 polarssl_printf( " CCM: setup failed" );
407
408 return( 1 );
409 }
410
411 for( i = 0; i < NB_TESTS; i++ )
412 {
413 if( verbose != 0 )
414 polarssl_printf( " CCM-AES #%u: ", (unsigned int) i + 1 );
415
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200416 ret = ccm_encrypt_and_tag( &ctx, msg_len[i],
417 iv, iv_len[i], ad, add_len[i],
418 msg, out,
419 out + msg_len[i], tag_len[i] );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200420
421 if( ret != 0 ||
422 memcmp( out, res[i], msg_len[i] + tag_len[i] ) != 0 )
423 {
424 if( verbose != 0 )
425 polarssl_printf( "failed\n" );
426
427 return( 1 );
428 }
429
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200430 ret = ccm_auth_decrypt( &ctx, msg_len[i],
431 iv, iv_len[i], ad, add_len[i],
432 res[i], out,
433 res[i] + msg_len[i], tag_len[i] );
434
435 if( ret != 0 ||
436 memcmp( out, msg, msg_len[i] ) != 0 )
437 {
438 if( verbose != 0 )
439 polarssl_printf( "failed\n" );
440
441 return( 1 );
442 }
443
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200444 if( verbose != 0 )
445 polarssl_printf( "passed\n" );
446 }
447
448 ccm_free( &ctx );
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200449
450 if( verbose != 0 )
451 polarssl_printf( "\n" );
452
453 return( 0 );
454}
455
456#endif /* POLARSSL_SELF_TEST && POLARSSL_AES_C */
457
458#endif /* POLARSSL_CCM_C */