blob: 20730d891648578bf1caae5ffca23c77df82bf14 [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02001/**
2 * \file ccm.h
3 *
Rose Zadik477dce12018-04-17 16:31:22 +01004 * \brief This file provides an API for the CCM authenticated encryption
5 * mode for block ciphers.
Rose Zadik4ee9d242018-03-26 17:18:44 +01006 *
7 * CCM combines Counter mode encryption with CBC-MAC authentication
8 * for 128-bit block ciphers.
Rose Zadikeecdbea2018-01-24 12:56:53 +00009 *
10 * Input to CCM includes the following elements:
11 * <ul><li>Payload - data that is both authenticated and encrypted.</li>
12 * <li>Associated data (Adata) - data that is authenticated but not
13 * encrypted, For example, a header.</li>
14 * <li>Nonce - A unique value that is assigned to the payload and the
15 * associated data.</li></ul>
16 *
Janos Follath6b4bd3d2018-05-29 11:30:26 +010017 * Definition of CCM:
18 * http://csrc.nist.gov/publications/nistpubs/800-38C/SP800-38C_updated-July20_2007.pdf
19 * RFC 3610 "Counter with CBC-MAC (CCM)"
20 *
21 * Related:
22 * RFC 5116 "An Interface and Algorithms for Authenticated Encryption"
23 *
24 * Definition of CCM*:
25 * IEEE 802.15.4 - IEEE Standard for Local and metropolitan area networks
26 * Integer representation is fixed most-significant-octet-first order and
27 * the representation of octets is most-significant-bit-first order. This is
28 * consistent with RFC 3610.
Darryl Greena40a1012018-01-05 15:33:17 +000029 */
30/*
Rose Zadikeecdbea2018-01-24 12:56:53 +000031 * Copyright (C) 2006-2018, Arm Limited (or its affiliates), All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020032 * SPDX-License-Identifier: Apache-2.0
33 *
34 * Licensed under the Apache License, Version 2.0 (the "License"); you may
35 * not use this file except in compliance with the License.
36 * You may obtain a copy of the License at
37 *
38 * http://www.apache.org/licenses/LICENSE-2.0
39 *
40 * Unless required by applicable law or agreed to in writing, software
41 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
42 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
43 * See the License for the specific language governing permissions and
44 * limitations under the License.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020045 *
Rose Zadikeecdbea2018-01-24 12:56:53 +000046 * This file is part of Mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020047 */
Rose Zadikeecdbea2018-01-24 12:56:53 +000048
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#ifndef MBEDTLS_CCM_H
50#define MBEDTLS_CCM_H
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020051
52#include "cipher.h"
53
Rose Zadikeecdbea2018-01-24 12:56:53 +000054#define MBEDTLS_ERR_CCM_BAD_INPUT -0x000D /**< Bad input parameters to the function. */
55#define MBEDTLS_ERR_CCM_AUTH_FAILED -0x000F /**< Authenticated decryption failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030056
57/* MBEDTLS_ERR_CCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Rose Zadikeecdbea2018-01-24 12:56:53 +000058#define MBEDTLS_ERR_CCM_HW_ACCEL_FAILED -0x0011 /**< CCM hardware accelerator failed. */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020059
60#ifdef __cplusplus
61extern "C" {
62#endif
63
Ron Eldor4e6d55d2018-02-07 16:36:15 +020064#if !defined(MBEDTLS_CCM_ALT)
65// Regular implementation
66//
67
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020068/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000069 * \brief The CCM context-type definition. The CCM context is passed
70 * to the APIs called.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020071 */
Dawid Drozd428cc522018-07-24 10:02:47 +020072typedef struct mbedtls_ccm_context
73{
Rose Zadikeecdbea2018-01-24 12:56:53 +000074 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020075}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020076mbedtls_ccm_context;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020077
Ron Eldor4e6d55d2018-02-07 16:36:15 +020078#else /* MBEDTLS_CCM_ALT */
79#include "ccm_alt.h"
80#endif /* MBEDTLS_CCM_ALT */
81
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020082/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000083 * \brief This function initializes the specified CCM context,
84 * to make references valid, and prepare the context
85 * for mbedtls_ccm_setkey() or mbedtls_ccm_free().
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020086 *
k-stachowiakb92f9332018-12-13 11:13:51 +010087 * \param ctx The CCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020088 */
89void mbedtls_ccm_init( mbedtls_ccm_context *ctx );
90
91/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000092 * \brief This function initializes the CCM context set in the
93 * \p ctx parameter and sets the encryption key.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020094 *
k-stachowiakb92f9332018-12-13 11:13:51 +010095 * \param ctx The CCM context to initialize. This must be an initialized
k-stachowiak12f0d5c2018-12-11 16:25:08 +010096 * context.
Rose Zadikeecdbea2018-01-24 12:56:53 +000097 * \param cipher The 128-bit block cipher to use.
k-stachowiakb92f9332018-12-13 11:13:51 +010098 * \param key The encryption key. This must not be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +000099 * \param keybits The key size in bits. This must be acceptable by the cipher.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200100 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100101 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100102 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200103 */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200104int mbedtls_ccm_setkey( mbedtls_ccm_context *ctx,
105 mbedtls_cipher_id_t cipher,
106 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200107 unsigned int keybits );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200108
109/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000110 * \brief This function releases and clears the specified CCM context
111 * and underlying cipher sub-context.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200112 *
k-stachowiak9da5d7c2018-12-13 17:19:48 +0100113 * \param ctx The CCM context to clear. If this is \c NULL, the function
114 * has no effect. Otherwise, this must be initialized.
k-stachowiakfd42d532018-12-11 14:37:51 +0100115 *
116 * \note If ctx is \c NULL, the function has no effect.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200117 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118void mbedtls_ccm_free( mbedtls_ccm_context *ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200119
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200120/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000121 * \brief This function encrypts a buffer using CCM.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200122 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100123 * \note The tag is written to a separate buffer. To concatenate
124 * the \p tag with the \p output, as done in <em>RFC-3610:
125 * Counter with CBC-MAC (CCM)</em>, use
126 * \p tag = \p output + \p length, and make sure that the
127 * output buffer is at least \p length + \p tag_len wide.
128 *
k-stachowiak6adb0572018-12-18 10:22:34 +0100129 * \param ctx The CCM context to use for encryption. This must be
130 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000131 * \param length The length of the input data in Bytes.
k-stachowiak6adb0572018-12-18 10:22:34 +0100132 * \param iv The initialization vector (nonce). This must be a readable
k-stachowiakb92f9332018-12-13 11:13:51 +0100133 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100134 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
135 * or 13. The length L of the message length field is
136 * 15 - \p iv_len.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100137 * \param add The additional data field. If \p add_len is greater than
138 * zero, \p add must be a readable buffer of at least that
k-stachowiak373a6602018-12-13 14:50:17 +0100139 * length. If `add_len == 0`, this may be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000140 * \param add_len The length of additional data in Bytes.
k-stachowiak6adb0572018-12-18 10:22:34 +0100141 * This must be less than `2^16 - 2^8`.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100142 * \param input The buffer holding the input data. If \p length is greater
143 * than zero, \p input must be a readable buffer of at least
144 * that length.
145 * \param output The buffer holding the output data. If \p length is greater
146 * than zero, \p output must be a writable buffer of at least
147 * that length.
k-stachowiak6adb0572018-12-18 10:22:34 +0100148 * \param tag The buffer holding the authentication field. If
149 * `tag_len > 0`, then this must be a readable buffer of at
150 * least \p tag_len Bytes. Otherwise, this may be \c NULL.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100151 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100152 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200153 *
Rose Zadikeecdbea2018-01-24 12:56:53 +0000154 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100155 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200156 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200157int mbedtls_ccm_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200158 const unsigned char *iv, size_t iv_len,
159 const unsigned char *add, size_t add_len,
160 const unsigned char *input, unsigned char *output,
161 unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200162
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200163/**
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100164 * \brief This function encrypts a buffer using CCM*.
165 *
166 * \note The tag is written to a separate buffer. To concatenate
167 * the \p tag with the \p output, as done in <em>RFC-3610:
168 * Counter with CBC-MAC (CCM)</em>, use
169 * \p tag = \p output + \p length, and make sure that the
170 * output buffer is at least \p length + \p tag_len wide.
171 *
172 * \note When using this function in a variable tag length context,
173 * the tag length has to be encoded into the \p iv passed to
174 * this function.
175 *
k-stachowiak6adb0572018-12-18 10:22:34 +0100176 * \param ctx The CCM context to use for encryption. This must be
177 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100178 * \param length The length of the input data in Bytes.
k-stachowiak6adb0572018-12-18 10:22:34 +0100179 * \param iv The initialization vector (nonce). This must be a readable
k-stachowiakb92f9332018-12-13 11:13:51 +0100180 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100181 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
182 * or 13. The length L of the message length field is
183 * 15 - \p iv_len.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100184 * \param add The additional data field. If \p add_len is greater than
185 * zero, \p add must be a readable buffer of at least that
k-stachowiak373a6602018-12-13 14:50:17 +0100186 * length. If `add_len == 0`, this may be \c NULL.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100187 * \param add_len The length of additional data in Bytes.
k-stachowiakb92f9332018-12-13 11:13:51 +0100188 * This must be less than 2^16 - 2^8.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100189 * \param input The buffer holding the input data. If \p length is greater
190 * than zero, \p input must be a readable buffer of at least
191 * that length.
192 * \param output The buffer holding the output data. If \p length is greater
193 * than zero, \p output must be a writable buffer of at least
194 * that length.
k-stachowiak6adb0572018-12-18 10:22:34 +0100195 * \param tag The buffer holding the authentication field. If
196 * `tag_len > 0`, then this must be a readable buffer of at
197 * least \p tag_len Bytes. Otherwise, this may be \c NULL.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100198 * \param tag_len The length of the authentication field to generate in Bytes:
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100199 * 0, 4, 6, 8, 10, 12, 14 or 16.
200 *
k-stachowiakb92f9332018-12-13 11:13:51 +0100201 * \warning Passing \c 0 as \p tag_len means that the message is no
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100202 * longer authenticated.
203 *
204 * \return \c 0 on success.
205 * \return A CCM or cipher-specific error code on failure.
206 */
207int mbedtls_ccm_star_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
208 const unsigned char *iv, size_t iv_len,
209 const unsigned char *add, size_t add_len,
210 const unsigned char *input, unsigned char *output,
211 unsigned char *tag, size_t tag_len );
212
213/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000214 * \brief This function performs a CCM authenticated decryption of a
215 * buffer.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200216 *
k-stachowiak6adb0572018-12-18 10:22:34 +0100217 * \param ctx The CCM context to use for decryption. This must be
218 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000219 * \param length The length of the input data in Bytes.
k-stachowiak6adb0572018-12-18 10:22:34 +0100220 * \param iv The initialization vector (nonce). This must be a readable
k-stachowiakb92f9332018-12-13 11:13:51 +0100221 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100222 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
223 * or 13. The length L of the message length field is
224 * 15 - \p iv_len.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100225 * \param add The additional data field. If \p add_len is greater than
226 * zero, \p add must be a readable buffer of at least that
k-stachowiak373a6602018-12-13 14:50:17 +0100227 * length. If `add_len == 0`, this may be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000228 * \param add_len The length of additional data in Bytes.
k-stachowiakb92f9332018-12-13 11:13:51 +0100229 * This must be less than 2^16 - 2^8.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100230 * \param input The buffer holding the input data. If \p length is greater
231 * than zero, \p input must be a readable buffer of at least
232 * that length.
233 * \param output The buffer holding the output data. If \p length is greater
234 * than zero, \p output must be a writable buffer of at least
235 * that length.
k-stachowiak6adb0572018-12-18 10:22:34 +0100236 * \param tag The buffer holding the authentication field. If
237 * `tag_len > 0`, then this must be a readable buffer of at
238 * least \p tag_len Bytes. Otherwise, this may be \c NULL.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100239 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100240 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200241 *
Rose Zadik379b95c2018-04-17 16:43:00 +0100242 * \return \c 0 on success. This indicates that the message is authentic.
243 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
244 * \return A cipher-specific error code on calculation failure.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200245 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200246int mbedtls_ccm_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200247 const unsigned char *iv, size_t iv_len,
248 const unsigned char *add, size_t add_len,
249 const unsigned char *input, unsigned char *output,
250 const unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200251
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100252/**
253 * \brief This function performs a CCM* authenticated decryption of a
254 * buffer.
255 *
256 * \note When using this function in a variable tag length context,
257 * the tag length has to be decoded from \p iv and passed to
258 * this function as \p tag_len. (\p tag needs to be adjusted
259 * accordingly.)
260 *
k-stachowiak6adb0572018-12-18 10:22:34 +0100261 * \param ctx The CCM context to use for decryption. This must be
262 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100263 * \param length The length of the input data in Bytes.
k-stachowiak6adb0572018-12-18 10:22:34 +0100264 * \param iv The initialization vector (nonce). This must be a readable
k-stachowiakb92f9332018-12-13 11:13:51 +0100265 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100266 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
267 * or 13. The length L of the message length field is
268 * 15 - \p iv_len.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100269 * \param add The additional data field. If \p add_len is greater than
270 * zero, \p add must be a readable buffer of at least that
k-stachowiak373a6602018-12-13 14:50:17 +0100271 * length. If `add_len == 0`, this may be \c NULL.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100272 * \param add_len The length of additional data in Bytes.
k-stachowiakb92f9332018-12-13 11:13:51 +0100273 * This must be less than 2^16 - 2^8.
k-stachowiak12f0d5c2018-12-11 16:25:08 +0100274 * \param input The buffer holding the input data. If \p length is greater
275 * than zero, \p input must be a readable buffer of at least
276 * that length.
277 * \param output The buffer holding the output data. If \p length is greater
278 * than zero, \p output must be a writable buffer of at least
279 * that length.
k-stachowiak6adb0572018-12-18 10:22:34 +0100280 * \param tag The buffer holding the authentication field. If
281 * `tag_len > 0`, then this must be a readable buffer of at
282 * least \p tag_len Bytes. Otherwise, this may be \c NULL.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100283 * \param tag_len The length of the authentication field in Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100284 * 0, 4, 6, 8, 10, 12, 14 or 16.
285 *
k-stachowiakb92f9332018-12-13 11:13:51 +0100286 * \warning Passing \c 0 as \p tag_len means that the message is nos
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100287 * longer authenticated.
288 *
Janos Follath143b3192018-05-30 13:57:29 +0100289 * \return \c 0 on success.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100290 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
291 * \return A cipher-specific error code on calculation failure.
292 */
293int mbedtls_ccm_star_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
294 const unsigned char *iv, size_t iv_len,
295 const unsigned char *add, size_t add_len,
296 const unsigned char *input, unsigned char *output,
297 const unsigned char *tag, size_t tag_len );
Steven Cooreman222e2ff2017-04-04 11:37:15 +0200298
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200299#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200300/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000301 * \brief The CCM checkup routine.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200302 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100303 * \return \c 0 on success.
304 * \return \c 1 on failure.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200305 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306int mbedtls_ccm_self_test( int verbose );
307#endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200308
309#ifdef __cplusplus
310}
311#endif
312
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313#endif /* MBEDTLS_CCM_H */