blob: d4784143959cf4d03a4cc8b83d4513f0b04a4911 [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
Mateusz Starzyk846f0212021-05-19 19:44:07 +020049#include "mbedtls/private_access.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020050
Bence Szépkútic662b362021-05-27 11:25:03 +020051#include "mbedtls/build_info.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050052
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010053#include "mbedtls/cipher.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020054
Ronald Cron266694e2021-05-20 09:02:37 +020055#define MBEDTLS_CCM_DECRYPT 0
56#define MBEDTLS_CCM_ENCRYPT 1
57#define MBEDTLS_CCM_STAR_DECRYPT 2
58#define MBEDTLS_CCM_STAR_ENCRYPT 3
59
Gilles Peskined2971572021-07-26 18:48:10 +020060/** Bad input parameters to the function. */
61#define MBEDTLS_ERR_CCM_BAD_INPUT -0x000D
62/** Authenticated decryption failed. */
63#define MBEDTLS_ERR_CCM_AUTH_FAILED -0x000F
Mateusz Starzyk4f2dd8a2021-08-09 15:37:47 +020064/** CCM functions called in the wrong sequence. */
65#define MBEDTLS_ERR_CCM_BAD_SEQUENCE -0x0011
Ron Eldor9924bdc2018-10-04 10:59:13 +030066
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020067#ifdef __cplusplus
68extern "C" {
69#endif
70
Ron Eldor4e6d55d2018-02-07 16:36:15 +020071#if !defined(MBEDTLS_CCM_ALT)
72// Regular implementation
73//
74
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020075/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000076 * \brief The CCM context-type definition. The CCM context is passed
77 * to the APIs called.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020078 */
Dawid Drozd428cc522018-07-24 10:02:47 +020079typedef struct mbedtls_ccm_context
80{
Mateusz Starzyk89d469c2021-06-22 16:24:28 +020081 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working buffer */
82 unsigned char MBEDTLS_PRIVATE(ctr)[16]; /*!< The counter buffer */
Mateusz Starzyk4df9ac42021-07-27 13:47:23 +020083 mbedtls_cipher_context_t MBEDTLS_PRIVATE(cipher_ctx); /*!< The cipher context used. */
Mateusz Starzykeb2ca962021-07-06 12:45:11 +020084 size_t MBEDTLS_PRIVATE(plaintext_len); /*!< Total plaintext length */
85 size_t MBEDTLS_PRIVATE(add_len); /*!< Total authentication data length */
86 size_t MBEDTLS_PRIVATE(tag_len); /*!< Total tag length */
87 size_t MBEDTLS_PRIVATE(processed); /*!< How many bytes of input data were processed (chunked input) */
Mateusz Starzyk4df9ac42021-07-27 13:47:23 +020088 unsigned char MBEDTLS_PRIVATE(q); /*!< The Q working value */
89 unsigned char MBEDTLS_PRIVATE(mode); /*!< The operation to perform:
90 #MBEDTLS_CCM_ENCRYPT or
91 #MBEDTLS_CCM_DECRYPT or
92 #MBEDTLS_CCM_STAR_ENCRYPT or
93 #MBEDTLS_CCM_STAR_DECRYPT. */
Mateusz Starzyk793692c2021-06-22 20:34:20 +020094 int MBEDTLS_PRIVATE(state); /*!< Working value holding context's
95 state. Used for chunked data
96 input */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020097}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098mbedtls_ccm_context;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020099
Ron Eldor4e6d55d2018-02-07 16:36:15 +0200100#else /* MBEDTLS_CCM_ALT */
101#include "ccm_alt.h"
102#endif /* MBEDTLS_CCM_ALT */
103
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200104/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000105 * \brief This function initializes the specified CCM context,
106 * to make references valid, and prepare the context
107 * for mbedtls_ccm_setkey() or mbedtls_ccm_free().
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200108 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500109 * \param ctx The CCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200110 */
111void mbedtls_ccm_init( mbedtls_ccm_context *ctx );
112
113/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000114 * \brief This function initializes the CCM context set in the
115 * \p ctx parameter and sets the encryption key.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200116 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500117 * \param ctx The CCM context to initialize. This must be an initialized
118 * context.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000119 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500120 * \param key The encryption key. This must not be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000121 * \param keybits The key size in bits. This must be acceptable by the cipher.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200122 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100123 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100124 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200125 */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200126int mbedtls_ccm_setkey( mbedtls_ccm_context *ctx,
127 mbedtls_cipher_id_t cipher,
128 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200129 unsigned int keybits );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200130
131/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000132 * \brief This function releases and clears the specified CCM context
133 * and underlying cipher sub-context.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200134 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500135 * \param ctx The CCM context to clear. If this is \c NULL, the function
136 * has no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200137 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200138void mbedtls_ccm_free( mbedtls_ccm_context *ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200139
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200140/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000141 * \brief This function encrypts a buffer using CCM.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200142 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100143 * \note The tag is written to a separate buffer. To concatenate
144 * the \p tag with the \p output, as done in <em>RFC-3610:
145 * Counter with CBC-MAC (CCM)</em>, use
146 * \p tag = \p output + \p length, and make sure that the
147 * output buffer is at least \p length + \p tag_len wide.
148 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500149 * \param ctx The CCM context to use for encryption. This must be
150 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000151 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500152 * \param iv The initialization vector (nonce). This must be a readable
153 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100154 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
155 * or 13. The length L of the message length field is
156 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200157 * \param ad The additional data field. If \p ad_len is greater than
158 * zero, \p ad must be a readable buffer of at least that
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500159 * length.
Ronald Cron51584c62021-05-27 09:47:15 +0200160 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500161 * This must be less than `2^16 - 2^8`.
162 * \param input The buffer holding the input data. If \p length is greater
163 * than zero, \p input must be a readable buffer of at least
164 * that length.
165 * \param output The buffer holding the output data. If \p length is greater
166 * than zero, \p output must be a writable buffer of at least
167 * that length.
168 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300169 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100170 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100171 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200172 *
Rose Zadikeecdbea2018-01-24 12:56:53 +0000173 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100174 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200175 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176int mbedtls_ccm_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200177 const unsigned char *iv, size_t iv_len,
Ronald Cron51584c62021-05-27 09:47:15 +0200178 const unsigned char *ad, size_t ad_len,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200179 const unsigned char *input, unsigned char *output,
180 unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200181
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200182/**
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100183 * \brief This function encrypts a buffer using CCM*.
184 *
185 * \note The tag is written to a separate buffer. To concatenate
186 * the \p tag with the \p output, as done in <em>RFC-3610:
187 * Counter with CBC-MAC (CCM)</em>, use
188 * \p tag = \p output + \p length, and make sure that the
189 * output buffer is at least \p length + \p tag_len wide.
190 *
191 * \note When using this function in a variable tag length context,
192 * the tag length has to be encoded into the \p iv passed to
193 * this function.
194 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500195 * \param ctx The CCM context to use for encryption. This must be
196 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100197 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500198 * \param iv The initialization vector (nonce). This must be a readable
199 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100200 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
201 * or 13. The length L of the message length field is
202 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200203 * \param ad The additional data field. This must be a readable buffer of
204 * at least \p ad_len Bytes.
205 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500206 * This must be less than 2^16 - 2^8.
207 * \param input The buffer holding the input data. If \p length is greater
208 * than zero, \p input must be a readable buffer of at least
209 * that length.
210 * \param output The buffer holding the output data. If \p length is greater
211 * than zero, \p output must be a writable buffer of at least
212 * that length.
213 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300214 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100215 * \param tag_len The length of the authentication field to generate in Bytes:
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100216 * 0, 4, 6, 8, 10, 12, 14 or 16.
217 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500218 * \warning Passing \c 0 as \p tag_len means that the message is no
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100219 * longer authenticated.
220 *
221 * \return \c 0 on success.
222 * \return A CCM or cipher-specific error code on failure.
223 */
224int mbedtls_ccm_star_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length,
225 const unsigned char *iv, size_t iv_len,
Ronald Cron51584c62021-05-27 09:47:15 +0200226 const unsigned char *ad, size_t ad_len,
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100227 const unsigned char *input, unsigned char *output,
228 unsigned char *tag, size_t tag_len );
229
230/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000231 * \brief This function performs a CCM authenticated decryption of a
232 * buffer.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200233 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500234 * \param ctx The CCM context to use for decryption. This must be
235 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000236 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500237 * \param iv The initialization vector (nonce). This must be a readable
238 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100239 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
240 * or 13. The length L of the message length field is
241 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200242 * \param ad The additional data field. This must be a readable buffer
243 * of at least that \p ad_len Bytes..
244 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500245 * This must be less than 2^16 - 2^8.
246 * \param input The buffer holding the input data. If \p length is greater
247 * than zero, \p input must be a readable buffer of at least
248 * that length.
249 * \param output The buffer holding the output data. If \p length is greater
250 * than zero, \p output must be a writable buffer of at least
251 * that length.
252 * \param tag The buffer holding the authentication field. This must be a
253 * readable buffer of at least \p tag_len Bytes.
254 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100255 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200256 *
Rose Zadik379b95c2018-04-17 16:43:00 +0100257 * \return \c 0 on success. This indicates that the message is authentic.
258 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
259 * \return A cipher-specific error code on calculation failure.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200260 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261int mbedtls_ccm_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200262 const unsigned char *iv, size_t iv_len,
Ronald Cron51584c62021-05-27 09:47:15 +0200263 const unsigned char *ad, size_t ad_len,
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200264 const unsigned char *input, unsigned char *output,
265 const unsigned char *tag, size_t tag_len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200266
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100267/**
268 * \brief This function performs a CCM* authenticated decryption of a
269 * buffer.
270 *
271 * \note When using this function in a variable tag length context,
272 * the tag length has to be decoded from \p iv and passed to
273 * this function as \p tag_len. (\p tag needs to be adjusted
274 * accordingly.)
275 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500276 * \param ctx The CCM context to use for decryption. This must be
277 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100278 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500279 * \param iv The initialization vector (nonce). This must be a readable
280 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100281 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
282 * or 13. The length L of the message length field is
283 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200284 * \param ad The additional data field. This must be a readable buffer of
285 * at least that \p ad_len Bytes.
286 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500287 * This must be less than 2^16 - 2^8.
288 * \param input The buffer holding the input data. If \p length is greater
289 * than zero, \p input must be a readable buffer of at least
290 * that length.
291 * \param output The buffer holding the output data. If \p length is greater
292 * than zero, \p output must be a writable buffer of at least
293 * that length.
294 * \param tag The buffer holding the authentication field. This must be a
295 * readable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100296 * \param tag_len The length of the authentication field in Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100297 * 0, 4, 6, 8, 10, 12, 14 or 16.
298 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500299 * \warning Passing \c 0 as \p tag_len means that the message is nos
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100300 * longer authenticated.
301 *
Janos Follath143b3192018-05-30 13:57:29 +0100302 * \return \c 0 on success.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100303 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
304 * \return A cipher-specific error code on calculation failure.
305 */
306int mbedtls_ccm_star_auth_decrypt( mbedtls_ccm_context *ctx, size_t length,
307 const unsigned char *iv, size_t iv_len,
Ronald Cron51584c62021-05-27 09:47:15 +0200308 const unsigned char *ad, size_t ad_len,
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100309 const unsigned char *input, unsigned char *output,
310 const unsigned char *tag, size_t tag_len );
Steven Cooreman222e2ff2017-04-04 11:37:15 +0200311
Ronald Cron266694e2021-05-20 09:02:37 +0200312/**
313 * \brief This function starts a CCM encryption or decryption
314 * operation.
315 *
Ronald Cron542957d2021-06-01 09:22:05 +0200316 * This function and mbedtls_ccm_set_lengths() must be called
317 * before calling mbedtls_ccm_update_ad() or
318 * mbedtls_ccm_update(). This function can be called before
319 * or after mbedtls_ccm_set_lengths().
320 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200321 * \note This function is not implemented in Mbed TLS yet.
322 *
Ronald Cron266694e2021-05-20 09:02:37 +0200323 * \param ctx The CCM context. This must be initialized.
324 * \param mode The operation to perform: #MBEDTLS_CCM_ENCRYPT or
325 * #MBEDTLS_CCM_DECRYPT or #MBEDTLS_CCM_STAR_ENCRYPT or
326 * #MBEDTLS_CCM_STAR_DECRYPT.
Ronald Cron5905f912021-05-26 09:46:09 +0200327 * \param iv The initialization vector. This must be a readable buffer
328 * of at least \p iv_len Bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200329 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
330 * or 13. The length L of the message length field is
331 * 15 - \p iv_len.
Ronald Cron7c41cd22021-05-29 17:22:10 +0200332 *
333 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200334 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
335 * \p ctx is in an invalid state,
Ronald Cron7c41cd22021-05-29 17:22:10 +0200336 * \p mode is invalid,
337 * \p iv_len is invalid (lower than \c 7 or greater than
338 * \c 13).
339 */
340int mbedtls_ccm_starts( mbedtls_ccm_context *ctx,
341 int mode,
342 const unsigned char *iv,
343 size_t iv_len );
344
345/**
346 * \brief This function declares the lengths of the message
347 * and additional data for a CCM encryption or decryption
348 * operation.
349 *
Ronald Cron542957d2021-06-01 09:22:05 +0200350 * This function and mbedtls_ccm_starts() must be called
351 * before calling mbedtls_ccm_update_ad() or
352 * mbedtls_ccm_update(). This function can be called before
353 * or after mbedtls_ccm_starts().
354 *
Ronald Cron7c41cd22021-05-29 17:22:10 +0200355 * \note This function is not implemented in Mbed TLS yet.
356 *
357 * \param ctx The CCM context. This must be initialized.
Ronald Cron51584c62021-05-27 09:47:15 +0200358 * \param total_ad_len The total length of additional data in bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200359 * This must be less than `2^16 - 2^8`.
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200360 * \param plaintext_len The length in bytes of the plaintext to encrypt or
361 * result of the decryption (thus not encompassing the
362 * additional data that are not encrypted).
Mateusz Starzyk98d45b92021-06-23 10:45:14 +0200363 * \param tag_len The length of the tag to generate in Bytes:
364 * 4, 6, 8, 10, 12, 14 or 16.
365 * For CCM*, zero is also valid.
Ronald Cron266694e2021-05-20 09:02:37 +0200366 *
367 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200368 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
369 * \p ctx is in an invalid state,
Ronald Cron51584c62021-05-27 09:47:15 +0200370 * \p total_ad_len is greater than \c 0xFF00.
Ronald Cron266694e2021-05-20 09:02:37 +0200371 */
Ronald Cron7c41cd22021-05-29 17:22:10 +0200372int mbedtls_ccm_set_lengths( mbedtls_ccm_context *ctx,
373 size_t total_ad_len,
Mateusz Starzyk98d45b92021-06-23 10:45:14 +0200374 size_t plaintext_len,
375 size_t tag_len );
Ronald Cron266694e2021-05-20 09:02:37 +0200376
377/**
378 * \brief This function feeds an input buffer as associated data
379 * (authenticated but not encrypted data) in a CCM
380 * encryption or decryption operation.
381 *
Ronald Crond1a29a92021-05-26 09:49:11 +0200382 * You may call this function zero, one or more times
383 * to pass successive parts of the additional data. The
Ronald Cron51584c62021-05-27 09:47:15 +0200384 * lengths \p ad_len of the data parts should eventually add
Ronald Crond1a29a92021-05-26 09:49:11 +0200385 * up exactly to the total length of additional data
Ronald Cron7c41cd22021-05-29 17:22:10 +0200386 * \c total_ad_len passed to mbedtls_ccm_set_lengths(). You
387 * may not call this function after calling
388 * mbedtls_ccm_update().
Ronald Cron266694e2021-05-20 09:02:37 +0200389 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200390 * \note This function is not implemented in Mbed TLS yet.
391 *
Ronald Cron266694e2021-05-20 09:02:37 +0200392 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200393 * mbedtls_ccm_starts(), the lengths of the message and
394 * additional data must have been declared with
395 * mbedtls_ccm_set_lengths() and this must not have yet
396 * received any input with mbedtls_ccm_update().
Ronald Cron51584c62021-05-27 09:47:15 +0200397 * \param ad The buffer holding the additional data, or \c NULL
398 * if \p ad_len is \c 0.
399 * \param ad_len The length of the additional data. If \c 0,
400 * \p ad may be \c NULL.
Ronald Cron266694e2021-05-20 09:02:37 +0200401 *
402 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200403 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
404 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200405 * total input length too long.
406 */
407int mbedtls_ccm_update_ad( mbedtls_ccm_context *ctx,
Ronald Cron51584c62021-05-27 09:47:15 +0200408 const unsigned char *ad,
409 size_t ad_len );
Ronald Cron266694e2021-05-20 09:02:37 +0200410
411/**
412 * \brief This function feeds an input buffer into an ongoing CCM
413 * encryption or decryption operation.
414 *
415 * You may call this function zero, one or more times
416 * to pass successive parts of the input: the plaintext to
417 * encrypt, or the ciphertext (not including the tag) to
418 * decrypt. After the last part of the input, call
Ronald Croneabc3af2021-05-26 10:45:30 +0200419 * mbedtls_ccm_finish(). The lengths \p input_len of the
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200420 * data parts should eventually add up exactly to the
421 * plaintext length \c plaintext_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200422 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200423 *
424 * This function may produce output in one of the following
425 * ways:
426 * - Immediate output: the output length is always equal
427 * to the input length.
Ronald Cronff924792021-05-27 09:51:30 +0200428 * - Buffered output: except for the last part of input data,
Ronald Cron266694e2021-05-20 09:02:37 +0200429 * the output consists of a whole number of 16-byte blocks.
430 * If the total input length so far (not including
431 * associated data) is 16 \* *B* + *A* with *A* < 16 then
432 * the total output length is 16 \* *B*.
Ronald Cron2d40b102021-05-26 10:11:06 +0200433 * For the last part of input data, the output length is
434 * equal to the input length plus the number of bytes (*A*)
435 * buffered in the previous call to the function (if any).
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200436 * The function uses the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200437 * \c plaintext_len passed to mbedtls_ccm_set_lengths()
Ronald Cron2d40b102021-05-26 10:11:06 +0200438 * to detect the last part of input data.
Ronald Cron266694e2021-05-20 09:02:37 +0200439 *
440 * In particular:
441 * - It is always correct to call this function with
Ronald Croneabc3af2021-05-26 10:45:30 +0200442 * \p output_size >= \p input_len + 15.
443 * - If \p input_len is a multiple of 16 for all the calls
Ronald Cron266694e2021-05-20 09:02:37 +0200444 * to this function during an operation (not necessary for
445 * the last one) then it is correct to use \p output_size
Ronald Croneabc3af2021-05-26 10:45:30 +0200446 * =\p input_len.
Ronald Cron266694e2021-05-20 09:02:37 +0200447 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200448 * \note This function is not implemented in Mbed TLS yet.
449 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200450 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200451 * mbedtls_ccm_starts() and the lengths of the message and
452 * additional data must have been declared with
453 * mbedtls_ccm_set_lengths().
Ronald Croneabc3af2021-05-26 10:45:30 +0200454 * \param input The buffer holding the input data. If \p input_len
Ronald Cron266694e2021-05-20 09:02:37 +0200455 * is greater than zero, this must be a readable buffer
Ronald Croneabc3af2021-05-26 10:45:30 +0200456 * of at least \p input_len bytes.
457 * \param input_len The length of the input data in bytes.
Ronald Cron266694e2021-05-20 09:02:37 +0200458 * \param output The buffer for the output data. If \p output_size
459 * is greater than zero, this must be a writable buffer of
460 * at least \p output_size bytes.
461 * \param output_size The size of the output buffer in bytes.
462 * See the function description regarding the output size.
Ronald Croneabc3af2021-05-26 10:45:30 +0200463 * \param output_len On success, \p *output_len contains the actual
Ronald Cron266694e2021-05-20 09:02:37 +0200464 * length of the output written in \p output.
Ronald Croneabc3af2021-05-26 10:45:30 +0200465 * On failure, the content of \p *output_len is
Ronald Cron266694e2021-05-20 09:02:37 +0200466 * unspecified.
467 *
468 * \return \c 0 on success.
469 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200470 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200471 * total input length too long,
Ronald Cron266694e2021-05-20 09:02:37 +0200472 * or \p output_size too small.
473 */
474int mbedtls_ccm_update( mbedtls_ccm_context *ctx,
Ronald Croneabc3af2021-05-26 10:45:30 +0200475 const unsigned char *input, size_t input_len,
Ronald Cron266694e2021-05-20 09:02:37 +0200476 unsigned char *output, size_t output_size,
Ronald Croneabc3af2021-05-26 10:45:30 +0200477 size_t *output_len );
Ronald Cron266694e2021-05-20 09:02:37 +0200478
479/**
480 * \brief This function finishes the CCM operation and generates
481 * the authentication tag.
482 *
483 * It wraps up the CCM stream, and generates the
484 * tag. The tag can have a maximum length of 16 Bytes.
485 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200486 * \note This function is not implemented in Mbed TLS yet.
487 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200488 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200489 * mbedtls_ccm_starts() and the lengths of the message and
490 * additional data must have been declared with
491 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200492 * \param tag The buffer for holding the tag. If \p tag_len is greater
493 * than zero, this must be a writable buffer of at least \p
494 * tag_len Bytes.
Mateusz Starzyk82c48c92021-06-23 12:39:40 +0200495 * \param tag_len The length of the tag. Must match the tag length passed to
496 * mbedtls_ccm_set_lengths() function.
Ronald Cron266694e2021-05-20 09:02:37 +0200497 *
498 * \return \c 0 on success.
499 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200500 * \p ctx is in an invalid state,
Ronald Cron9ca25502021-05-26 10:22:06 +0200501 * invalid value of \p tag_len,
502 * the total amount of additional data passed to
503 * mbedtls_ccm_update_ad() was lower than the total length of
Ronald Cron51584c62021-05-27 09:47:15 +0200504 * additional data \c total_ad_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200505 * mbedtls_ccm_set_lengths(),
Ronald Cron9ca25502021-05-26 10:22:06 +0200506 * the total amount of input data passed to
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200507 * mbedtls_ccm_update() was lower than the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200508 * \c plaintext_len passed to mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200509 */
510int mbedtls_ccm_finish( mbedtls_ccm_context *ctx,
511 unsigned char *tag, size_t tag_len );
512
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200514/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000515 * \brief The CCM checkup routine.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200516 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100517 * \return \c 0 on success.
518 * \return \c 1 on failure.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200519 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520int mbedtls_ccm_self_test( int verbose );
521#endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200522
523#ifdef __cplusplus
524}
525#endif
526
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200527#endif /* MBEDTLS_CCM_H */