blob: 7ed4b594ba0c9e6b78dafbcdc035de34cae37c66 [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/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020031 * Copyright The Mbed TLS Contributors
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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#ifndef MBEDTLS_CCM_H
48#define MBEDTLS_CCM_H
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020049
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050050#if !defined(MBEDTLS_CONFIG_FILE)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010051#include "mbedtls/config.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050052#else
53#include MBEDTLS_CONFIG_FILE
54#endif
55
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010056#include "mbedtls/cipher.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020057
Ronald Cron266694e2021-05-20 09:02:37 +020058#define MBEDTLS_CCM_DECRYPT 0
59#define MBEDTLS_CCM_ENCRYPT 1
60#define MBEDTLS_CCM_STAR_DECRYPT 2
61#define MBEDTLS_CCM_STAR_ENCRYPT 3
62
Rose Zadikeecdbea2018-01-24 12:56:53 +000063#define MBEDTLS_ERR_CCM_BAD_INPUT -0x000D /**< Bad input parameters to the function. */
64#define MBEDTLS_ERR_CCM_AUTH_FAILED -0x000F /**< Authenticated decryption failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030065
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020066#ifdef __cplusplus
67extern "C" {
68#endif
69
Ron Eldor4e6d55d2018-02-07 16:36:15 +020070#if !defined(MBEDTLS_CCM_ALT)
71// Regular implementation
72//
73
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020074/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000075 * \brief The CCM context-type definition. The CCM context is passed
76 * to the APIs called.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020077 */
Dawid Drozd428cc522018-07-24 10:02:47 +020078typedef struct mbedtls_ccm_context
79{
Rose Zadikeecdbea2018-01-24 12:56:53 +000080 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020081}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082mbedtls_ccm_context;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020083
Ron Eldor4e6d55d2018-02-07 16:36:15 +020084#else /* MBEDTLS_CCM_ALT */
85#include "ccm_alt.h"
86#endif /* MBEDTLS_CCM_ALT */
87
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020088/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000089 * \brief This function initializes the specified CCM context,
90 * to make references valid, and prepare the context
91 * for mbedtls_ccm_setkey() or mbedtls_ccm_free().
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020092 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050093 * \param ctx The CCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020094 */
95void mbedtls_ccm_init( mbedtls_ccm_context *ctx );
96
97/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000098 * \brief This function initializes the CCM context set in the
99 * \p ctx parameter and sets the encryption key.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200100 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500101 * \param ctx The CCM context to initialize. This must be an initialized
102 * context.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000103 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500104 * \param key The encryption key. This must not be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000105 * \param keybits The key size in bits. This must be acceptable by the cipher.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200106 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100107 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100108 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200109 */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200110int mbedtls_ccm_setkey( mbedtls_ccm_context *ctx,
111 mbedtls_cipher_id_t cipher,
112 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200113 unsigned int keybits );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200114
115/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000116 * \brief This function releases and clears the specified CCM context
117 * and underlying cipher sub-context.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200118 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500119 * \param ctx The CCM context to clear. If this is \c NULL, the function
120 * has no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200121 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122void mbedtls_ccm_free( mbedtls_ccm_context *ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200123
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200124/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000125 * \brief This function encrypts a buffer using CCM.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200126 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100127 * \note The tag is written to a separate buffer. To concatenate
128 * the \p tag with the \p output, as done in <em>RFC-3610:
129 * Counter with CBC-MAC (CCM)</em>, use
130 * \p tag = \p output + \p length, and make sure that the
131 * output buffer is at least \p length + \p tag_len wide.
132 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500133 * \param ctx The CCM context to use for encryption. This must be
134 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000135 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500136 * \param iv The initialization vector (nonce). This must be a readable
137 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100138 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
139 * or 13. The length L of the message length field is
140 * 15 - \p iv_len.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500141 * \param add The additional data field. If \p add_len is greater than
142 * zero, \p add must be a readable buffer of at least that
143 * length.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000144 * \param add_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500145 * This must be less than `2^16 - 2^8`.
146 * \param input The buffer holding the input data. If \p length is greater
147 * than zero, \p input must be a readable buffer of at least
148 * that length.
149 * \param output The buffer holding the output data. If \p length is greater
150 * than zero, \p output must be a writable buffer of at least
151 * that length.
152 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300153 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100154 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100155 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200156 *
Rose Zadikeecdbea2018-01-24 12:56:53 +0000157 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100158 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200159 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160int mbedtls_ccm_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200161 const unsigned char *iv, size_t iv_len,
162 const unsigned char *add, size_t add_len,
163 const unsigned char *input, unsigned char *output,
164 unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200165
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200166/**
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100167 * \brief This function encrypts a buffer using CCM*.
168 *
169 * \note The tag is written to a separate buffer. To concatenate
170 * the \p tag with the \p output, as done in <em>RFC-3610:
171 * Counter with CBC-MAC (CCM)</em>, use
172 * \p tag = \p output + \p length, and make sure that the
173 * output buffer is at least \p length + \p tag_len wide.
174 *
175 * \note When using this function in a variable tag length context,
176 * the tag length has to be encoded into the \p iv passed to
177 * this function.
178 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500179 * \param ctx The CCM context to use for encryption. This must be
180 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100181 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500182 * \param iv The initialization vector (nonce). This must be a readable
183 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100184 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
185 * or 13. The length L of the message length field is
186 * 15 - \p iv_len.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500187 * \param add The additional data field. This must be a readable buffer of
188 * at least \p add_len Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100189 * \param add_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500190 * This must be less than 2^16 - 2^8.
191 * \param input The buffer holding the input data. If \p length is greater
192 * than zero, \p input must be a readable buffer of at least
193 * that length.
194 * \param output The buffer holding the output data. If \p length is greater
195 * than zero, \p output must be a writable buffer of at least
196 * that length.
197 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300198 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100199 * \param tag_len The length of the authentication field to generate in Bytes:
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100200 * 0, 4, 6, 8, 10, 12, 14 or 16.
201 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500202 * \warning Passing \c 0 as \p tag_len means that the message is no
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100203 * longer authenticated.
204 *
205 * \return \c 0 on success.
206 * \return A CCM or cipher-specific error code on failure.
207 */
208int mbedtls_ccm_star_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
209 const unsigned char *iv, size_t iv_len,
210 const unsigned char *add, size_t add_len,
211 const unsigned char *input, unsigned char *output,
212 unsigned char *tag, size_t tag_len );
213
214/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000215 * \brief This function performs a CCM authenticated decryption of a
216 * buffer.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200217 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500218 * \param ctx The CCM context to use for decryption. This must be
219 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000220 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500221 * \param iv The initialization vector (nonce). This must be a readable
222 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100223 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
224 * or 13. The length L of the message length field is
225 * 15 - \p iv_len.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500226 * \param add The additional data field. This must be a readable buffer
227 * of at least that \p add_len Bytes..
Rose Zadikeecdbea2018-01-24 12:56:53 +0000228 * \param add_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500229 * This must be less than 2^16 - 2^8.
230 * \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.
236 * \param tag The buffer holding the authentication field. This must be a
237 * readable buffer of at least \p tag_len Bytes.
238 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100239 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200240 *
Rose Zadik379b95c2018-04-17 16:43:00 +0100241 * \return \c 0 on success. This indicates that the message is authentic.
242 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
243 * \return A cipher-specific error code on calculation failure.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200244 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245int mbedtls_ccm_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200246 const unsigned char *iv, size_t iv_len,
247 const unsigned char *add, size_t add_len,
248 const unsigned char *input, unsigned char *output,
249 const unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200250
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100251/**
252 * \brief This function performs a CCM* authenticated decryption of a
253 * buffer.
254 *
255 * \note When using this function in a variable tag length context,
256 * the tag length has to be decoded from \p iv and passed to
257 * this function as \p tag_len. (\p tag needs to be adjusted
258 * accordingly.)
259 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500260 * \param ctx The CCM context to use for decryption. This must be
261 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100262 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500263 * \param iv The initialization vector (nonce). This must be a readable
264 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100265 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
266 * or 13. The length L of the message length field is
267 * 15 - \p iv_len.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500268 * \param add The additional data field. This must be a readable buffer of
269 * at least that \p add_len Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100270 * \param add_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500271 * This must be less than 2^16 - 2^8.
272 * \param input The buffer holding the input data. If \p length is greater
273 * than zero, \p input must be a readable buffer of at least
274 * that length.
275 * \param output The buffer holding the output data. If \p length is greater
276 * than zero, \p output must be a writable buffer of at least
277 * that length.
278 * \param tag The buffer holding the authentication field. This must be a
279 * readable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100280 * \param tag_len The length of the authentication field in Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100281 * 0, 4, 6, 8, 10, 12, 14 or 16.
282 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500283 * \warning Passing \c 0 as \p tag_len means that the message is nos
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100284 * longer authenticated.
285 *
Janos Follath143b3192018-05-30 13:57:29 +0100286 * \return \c 0 on success.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100287 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
288 * \return A cipher-specific error code on calculation failure.
289 */
290int mbedtls_ccm_star_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
291 const unsigned char *iv, size_t iv_len,
292 const unsigned char *add, size_t add_len,
293 const unsigned char *input, unsigned char *output,
294 const unsigned char *tag, size_t tag_len );
Steven Cooreman222e2ff2017-04-04 11:37:15 +0200295
Ronald Cron266694e2021-05-20 09:02:37 +0200296/**
297 * \brief This function starts a CCM encryption or decryption
298 * operation.
299 *
300 * \param ctx The CCM context. This must be initialized.
301 * \param mode The operation to perform: #MBEDTLS_CCM_ENCRYPT or
302 * #MBEDTLS_CCM_DECRYPT or #MBEDTLS_CCM_STAR_ENCRYPT or
303 * #MBEDTLS_CCM_STAR_DECRYPT.
Ronald Cron5905f912021-05-26 09:46:09 +0200304 * \param iv The initialization vector. This must be a readable buffer
305 * of at least \p iv_len Bytes.
306 * \param iv_len The length of the IV in bytes.
307 * \param total_ad_len The total length of additional data in bytes.
308 * \param total_input_len The total length of input data to encrypt or decrypt
309 * in bytes.
Ronald Cron266694e2021-05-20 09:02:37 +0200310 *
311 * \return \c 0 on success.
Ronald Cron5905f912021-05-26 09:46:09 +0200312 * \return \#MBEDTLS_ERR_CCM_BAD_INPUT on failure:
313 * \p iv_len is invalid (lower than \c 7 or greater than
314 * \c 13),
315 * \p total_ad_len is greater than \c 0xFF00.
Ronald Cron266694e2021-05-20 09:02:37 +0200316 */
317int mbedtls_ccm_starts( mbedtls_ccm_context *ctx,
318 int mode,
319 const unsigned char *iv,
320 size_t iv_len,
Ronald Cron5905f912021-05-26 09:46:09 +0200321 size_t total_ad_len,
322 size_t total_input_len );
Ronald Cron266694e2021-05-20 09:02:37 +0200323
324/**
325 * \brief This function feeds an input buffer as associated data
326 * (authenticated but not encrypted data) in a CCM
327 * encryption or decryption operation.
328 *
Ronald Crond1a29a92021-05-26 09:49:11 +0200329 * You may call this function zero, one or more times
330 * to pass successive parts of the additional data. The
331 * lengths \p add_len of the data parts should eventually add
332 * up exactly to the total length of additional data
333 * \c total_ad_len passed to mbedtls_ccm_starts(). You may not
Ronald Cron266694e2021-05-20 09:02:37 +0200334 * call this function after calling mbedtls_ccm_update().
335 *
Ronald Cron266694e2021-05-20 09:02:37 +0200336 * \param ctx The CCM context. This must have been started with
337 * mbedtls_ccm_starts() and must not have yet received
338 * any input with mbedtls_ccm_update().
339 * \param add The buffer holding the additional data, or \c NULL
340 * if \p add_len is \c 0.
341 * \param add_len The length of the additional data. If \c 0,
342 * \p add may be \c NULL.
343 *
344 * \return \c 0 on success.
345 * \return \#MBEDTLS_ERR_CCM_BAD_INPUT on failure:
346 * total input length too long.
347 */
348int mbedtls_ccm_update_ad( mbedtls_ccm_context *ctx,
349 const unsigned char *add,
350 size_t add_len );
351
352/**
353 * \brief This function feeds an input buffer into an ongoing CCM
354 * encryption or decryption operation.
355 *
356 * You may call this function zero, one or more times
357 * to pass successive parts of the input: the plaintext to
358 * encrypt, or the ciphertext (not including the tag) to
359 * decrypt. After the last part of the input, call
Ronald Crond1a29a92021-05-26 09:49:11 +0200360 * mbedtls_ccm_finish(). The lengths \p input_length of the
361 * data parts should eventually add up exactly to the total
362 * length of input data \c total_input_len passed to
363 * mbedtls_ccm_starts().
Ronald Cron266694e2021-05-20 09:02:37 +0200364 *
365 * This function may produce output in one of the following
366 * ways:
367 * - Immediate output: the output length is always equal
368 * to the input length.
Ronald Cron2d40b102021-05-26 10:11:06 +0200369 * - Buffered output: but for the last part of input data,
Ronald Cron266694e2021-05-20 09:02:37 +0200370 * the output consists of a whole number of 16-byte blocks.
371 * If the total input length so far (not including
372 * associated data) is 16 \* *B* + *A* with *A* < 16 then
373 * the total output length is 16 \* *B*.
Ronald Cron2d40b102021-05-26 10:11:06 +0200374 * For the last part of input data, the output length is
375 * equal to the input length plus the number of bytes (*A*)
376 * buffered in the previous call to the function (if any).
377 * The function uses the total length of input data
378 * \c total_input_len passed to mbedtls_ccm_starts()
379 * to detect the last part of input data.
Ronald Cron266694e2021-05-20 09:02:37 +0200380 *
381 * In particular:
382 * - It is always correct to call this function with
383 * \p output_size >= \p input_length + 15.
384 * - If \p input_length is a multiple of 16 for all the calls
385 * to this function during an operation (not necessary for
386 * the last one) then it is correct to use \p output_size
387 * =\p input_length.
388 *
389 * \note For decryption, the output buffer cannot be the same as
390 * the input buffer. If the buffers overlap, the output buffer
391 * must trail at least 8 Bytes behind the input buffer.
392 *
393 * \param ctx The CCM context. This must be initialized.
394 * \param input The buffer holding the input data. If \p input_length
395 * is greater than zero, this must be a readable buffer
396 * of at least \p input_length bytes.
397 * \param input_length The length of the input data in bytes.
398 * \param output The buffer for the output data. If \p output_size
399 * is greater than zero, this must be a writable buffer of
400 * at least \p output_size bytes.
401 * \param output_size The size of the output buffer in bytes.
402 * See the function description regarding the output size.
403 * \param output_length On success, \p *output_length contains the actual
404 * length of the output written in \p output.
405 * On failure, the content of \p *output_length is
406 * unspecified.
407 *
408 * \return \c 0 on success.
409 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
410 * total input length too long,
411 * unsupported input/output buffer overlap detected,
412 * or \p output_size too small.
413 */
414int mbedtls_ccm_update( mbedtls_ccm_context *ctx,
415 const unsigned char *input, size_t input_length,
416 unsigned char *output, size_t output_size,
417 size_t *output_length );
418
419/**
420 * \brief This function finishes the CCM operation and generates
421 * the authentication tag.
422 *
423 * It wraps up the CCM stream, and generates the
424 * tag. The tag can have a maximum length of 16 Bytes.
425 *
426 * \param ctx The CCM context. This must be initialized.
427 * \param tag The buffer for holding the tag. If \p tag_len is greater
428 * than zero, this must be a writable buffer of at least \p
429 * tag_len Bytes.
430 * \param tag_len The length of the tag to generate. This must be at least
431 * four for CCM but can be equal to \c 0 for CCM*.
432 *
433 * \return \c 0 on success.
434 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
435 * invalid value of \p tag_len.
436 */
437int mbedtls_ccm_finish( mbedtls_ccm_context *ctx,
438 unsigned char *tag, size_t tag_len );
439
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200440#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200441/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000442 * \brief The CCM checkup routine.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200443 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100444 * \return \c 0 on success.
445 * \return \c 1 on failure.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200446 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447int mbedtls_ccm_self_test( int verbose );
448#endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200449
450#ifdef __cplusplus
451}
452#endif
453
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454#endif /* MBEDTLS_CCM_H */