Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 1 | /** |
| 2 | * \file ccm.h |
| 3 | * |
Rose Zadik | 477dce1 | 2018-04-17 16:31:22 +0100 | [diff] [blame] | 4 | * \brief This file provides an API for the CCM authenticated encryption |
| 5 | * mode for block ciphers. |
Rose Zadik | 4ee9d24 | 2018-03-26 17:18:44 +0100 | [diff] [blame] | 6 | * |
| 7 | * CCM combines Counter mode encryption with CBC-MAC authentication |
| 8 | * for 128-bit block ciphers. |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 9 | * |
| 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 Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 17 | * 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 Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 29 | */ |
| 30 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 31 | * Copyright The Mbed TLS Contributors |
Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 32 | * 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é-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 45 | */ |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 46 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 47 | #ifndef MBEDTLS_CCM_H |
| 48 | #define MBEDTLS_CCM_H |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 49 | |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 50 | #if !defined(MBEDTLS_CONFIG_FILE) |
Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 51 | #include "mbedtls/config.h" |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 52 | #else |
| 53 | #include MBEDTLS_CONFIG_FILE |
| 54 | #endif |
| 55 | |
Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 56 | #include "mbedtls/cipher.h" |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 57 | |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 58 | #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 Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 63 | #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 Eldor | 9924bdc | 2018-10-04 10:59:13 +0300 | [diff] [blame] | 65 | |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 66 | #ifdef __cplusplus |
| 67 | extern "C" { |
| 68 | #endif |
| 69 | |
Ron Eldor | 4e6d55d | 2018-02-07 16:36:15 +0200 | [diff] [blame] | 70 | #if !defined(MBEDTLS_CCM_ALT) |
| 71 | // Regular implementation |
| 72 | // |
| 73 | |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 74 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 75 | * \brief The CCM context-type definition. The CCM context is passed |
| 76 | * to the APIs called. |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 77 | */ |
Dawid Drozd | 428cc52 | 2018-07-24 10:02:47 +0200 | [diff] [blame] | 78 | typedef struct mbedtls_ccm_context |
| 79 | { |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 80 | mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */ |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 81 | } |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 82 | mbedtls_ccm_context; |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 83 | |
Ron Eldor | 4e6d55d | 2018-02-07 16:36:15 +0200 | [diff] [blame] | 84 | #else /* MBEDTLS_CCM_ALT */ |
| 85 | #include "ccm_alt.h" |
| 86 | #endif /* MBEDTLS_CCM_ALT */ |
| 87 | |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 88 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 89 | * \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é-Gonnard | 6963ff0 | 2015-04-28 18:02:54 +0200 | [diff] [blame] | 92 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 93 | * \param ctx The CCM context to initialize. This must not be \c NULL. |
Manuel Pégourié-Gonnard | 6963ff0 | 2015-04-28 18:02:54 +0200 | [diff] [blame] | 94 | */ |
| 95 | void mbedtls_ccm_init( mbedtls_ccm_context *ctx ); |
| 96 | |
| 97 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 98 | * \brief This function initializes the CCM context set in the |
| 99 | * \p ctx parameter and sets the encryption key. |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 100 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 101 | * \param ctx The CCM context to initialize. This must be an initialized |
| 102 | * context. |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 103 | * \param cipher The 128-bit block cipher to use. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 104 | * \param key The encryption key. This must not be \c NULL. |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 105 | * \param keybits The key size in bits. This must be acceptable by the cipher. |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 106 | * |
Rose Zadik | 4ee9d24 | 2018-03-26 17:18:44 +0100 | [diff] [blame] | 107 | * \return \c 0 on success. |
Rose Zadik | ef87179 | 2018-04-17 10:41:48 +0100 | [diff] [blame] | 108 | * \return A CCM or cipher-specific error code on failure. |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 109 | */ |
Manuel Pégourié-Gonnard | 6963ff0 | 2015-04-28 18:02:54 +0200 | [diff] [blame] | 110 | int mbedtls_ccm_setkey( mbedtls_ccm_context *ctx, |
| 111 | mbedtls_cipher_id_t cipher, |
| 112 | const unsigned char *key, |
Manuel Pégourié-Gonnard | b8186a5 | 2015-06-18 14:58:58 +0200 | [diff] [blame] | 113 | unsigned int keybits ); |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 114 | |
| 115 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 116 | * \brief This function releases and clears the specified CCM context |
| 117 | * and underlying cipher sub-context. |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 118 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 119 | * \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é-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 121 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 122 | void mbedtls_ccm_free( mbedtls_ccm_context *ctx ); |
Manuel Pégourié-Gonnard | 9fe0d13 | 2014-05-06 12:12:45 +0200 | [diff] [blame] | 123 | |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 124 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 125 | * \brief This function encrypts a buffer using CCM. |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 126 | * |
Rose Zadik | 4ee9d24 | 2018-03-26 17:18:44 +0100 | [diff] [blame] | 127 | * \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 Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 133 | * \param ctx The CCM context to use for encryption. This must be |
| 134 | * initialized and bound to a key. |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 135 | * \param length The length of the input data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 136 | * \param iv The initialization vector (nonce). This must be a readable |
| 137 | * buffer of at least \p iv_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 138 | * \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. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 141 | * \param ad The additional data field. If \p ad_len is greater than |
| 142 | * zero, \p ad must be a readable buffer of at least that |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 143 | * length. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 144 | * \param ad_len The length of additional data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 145 | * 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 Goldschmidt | 6e2af09 | 2020-09-12 00:19:52 +0300 | [diff] [blame] | 153 | * writable buffer of at least \p tag_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 154 | * \param tag_len The length of the authentication field to generate in Bytes: |
Mathieu Briand | ffb6efd | 2018-02-07 10:29:27 +0100 | [diff] [blame] | 155 | * 4, 6, 8, 10, 12, 14 or 16. |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 156 | * |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 157 | * \return \c 0 on success. |
Rose Zadik | ef87179 | 2018-04-17 10:41:48 +0100 | [diff] [blame] | 158 | * \return A CCM or cipher-specific error code on failure. |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 159 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 160 | int mbedtls_ccm_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length, |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 161 | const unsigned char *iv, size_t iv_len, |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 162 | const unsigned char *ad, size_t ad_len, |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 163 | const unsigned char *input, unsigned char *output, |
| 164 | unsigned char *tag, size_t tag_len ); |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 165 | |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 166 | /** |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 167 | * \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 Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 179 | * \param ctx The CCM context to use for encryption. This must be |
| 180 | * initialized and bound to a key. |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 181 | * \param length The length of the input data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 182 | * \param iv The initialization vector (nonce). This must be a readable |
| 183 | * buffer of at least \p iv_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 184 | * \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. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 187 | * \param ad The additional data field. This must be a readable buffer of |
| 188 | * at least \p ad_len Bytes. |
| 189 | * \param ad_len The length of additional data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 190 | * 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 Goldschmidt | 6e2af09 | 2020-09-12 00:19:52 +0300 | [diff] [blame] | 198 | * writable buffer of at least \p tag_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 199 | * \param tag_len The length of the authentication field to generate in Bytes: |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 200 | * 0, 4, 6, 8, 10, 12, 14 or 16. |
| 201 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 202 | * \warning Passing \c 0 as \p tag_len means that the message is no |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 203 | * longer authenticated. |
| 204 | * |
| 205 | * \return \c 0 on success. |
| 206 | * \return A CCM or cipher-specific error code on failure. |
| 207 | */ |
| 208 | int mbedtls_ccm_star_encrypt_and_tag( mbedtls_ccm_context *ctx, size_t length, |
| 209 | const unsigned char *iv, size_t iv_len, |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 210 | const unsigned char *ad, size_t ad_len, |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 211 | const unsigned char *input, unsigned char *output, |
| 212 | unsigned char *tag, size_t tag_len ); |
| 213 | |
| 214 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 215 | * \brief This function performs a CCM authenticated decryption of a |
| 216 | * buffer. |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 217 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 218 | * \param ctx The CCM context to use for decryption. This must be |
| 219 | * initialized and bound to a key. |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 220 | * \param length The length of the input data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 221 | * \param iv The initialization vector (nonce). This must be a readable |
| 222 | * buffer of at least \p iv_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 223 | * \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. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 226 | * \param ad The additional data field. This must be a readable buffer |
| 227 | * of at least that \p ad_len Bytes.. |
| 228 | * \param ad_len The length of additional data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 229 | * 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 Briand | ffb6efd | 2018-02-07 10:29:27 +0100 | [diff] [blame] | 239 | * 4, 6, 8, 10, 12, 14 or 16. |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 240 | * |
Rose Zadik | 379b95c | 2018-04-17 16:43:00 +0100 | [diff] [blame] | 241 | * \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é-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 244 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 245 | int mbedtls_ccm_auth_decrypt( mbedtls_ccm_context *ctx, size_t length, |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 246 | const unsigned char *iv, size_t iv_len, |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 247 | const unsigned char *ad, size_t ad_len, |
Manuel Pégourié-Gonnard | 0023233 | 2014-05-06 15:56:07 +0200 | [diff] [blame] | 248 | const unsigned char *input, unsigned char *output, |
| 249 | const unsigned char *tag, size_t tag_len ); |
Manuel Pégourié-Gonnard | 637eb3d | 2014-05-06 12:13:09 +0200 | [diff] [blame] | 250 | |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 251 | /** |
| 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 Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 260 | * \param ctx The CCM context to use for decryption. This must be |
| 261 | * initialized and bound to a key. |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 262 | * \param length The length of the input data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 263 | * \param iv The initialization vector (nonce). This must be a readable |
| 264 | * buffer of at least \p iv_len Bytes. |
Janos Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 265 | * \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. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 268 | * \param ad The additional data field. This must be a readable buffer of |
| 269 | * at least that \p ad_len Bytes. |
| 270 | * \param ad_len The length of additional data in Bytes. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 271 | * 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 Follath | 6b4bd3d | 2018-05-29 11:30:26 +0100 | [diff] [blame] | 280 | * \param tag_len The length of the authentication field in Bytes. |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 281 | * 0, 4, 6, 8, 10, 12, 14 or 16. |
| 282 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 283 | * \warning Passing \c 0 as \p tag_len means that the message is nos |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 284 | * longer authenticated. |
| 285 | * |
Janos Follath | 143b319 | 2018-05-30 13:57:29 +0100 | [diff] [blame] | 286 | * \return \c 0 on success. |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 287 | * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match. |
| 288 | * \return A cipher-specific error code on calculation failure. |
| 289 | */ |
| 290 | int mbedtls_ccm_star_auth_decrypt( mbedtls_ccm_context *ctx, size_t length, |
| 291 | const unsigned char *iv, size_t iv_len, |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 292 | const unsigned char *ad, size_t ad_len, |
Janos Follath | 5dc8cfa | 2018-04-27 14:45:49 +0100 | [diff] [blame] | 293 | const unsigned char *input, unsigned char *output, |
| 294 | const unsigned char *tag, size_t tag_len ); |
Steven Cooreman | 222e2ff | 2017-04-04 11:37:15 +0200 | [diff] [blame] | 295 | |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 296 | /** |
| 297 | * \brief This function starts a CCM encryption or decryption |
| 298 | * operation. |
| 299 | * |
Ronald Cron | 4c2a379 | 2021-05-26 10:37:45 +0200 | [diff] [blame] | 300 | * \note This function is not implemented in Mbed TLS yet. |
| 301 | * |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 302 | * \param ctx The CCM context. This must be initialized. |
| 303 | * \param mode The operation to perform: #MBEDTLS_CCM_ENCRYPT or |
| 304 | * #MBEDTLS_CCM_DECRYPT or #MBEDTLS_CCM_STAR_ENCRYPT or |
| 305 | * #MBEDTLS_CCM_STAR_DECRYPT. |
Ronald Cron | 5905f91 | 2021-05-26 09:46:09 +0200 | [diff] [blame] | 306 | * \param iv The initialization vector. This must be a readable buffer |
| 307 | * of at least \p iv_len Bytes. |
Ronald Cron | 0cc60f9 | 2021-05-27 09:01:25 +0200 | [diff] [blame] | 308 | * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12, |
| 309 | * or 13. The length L of the message length field is |
| 310 | * 15 - \p iv_len. |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 311 | * |
| 312 | * \return \c 0 on success. |
| 313 | * \return \#MBEDTLS_ERR_CCM_BAD_INPUT on failure: |
| 314 | * \p mode is invalid, |
| 315 | * \p iv_len is invalid (lower than \c 7 or greater than |
| 316 | * \c 13). |
| 317 | */ |
| 318 | int mbedtls_ccm_starts( mbedtls_ccm_context *ctx, |
| 319 | int mode, |
| 320 | const unsigned char *iv, |
| 321 | size_t iv_len ); |
| 322 | |
| 323 | /** |
| 324 | * \brief This function declares the lengths of the message |
| 325 | * and additional data for a CCM encryption or decryption |
| 326 | * operation. |
| 327 | * |
| 328 | * \note This function is not implemented in Mbed TLS yet. |
| 329 | * |
| 330 | * \param ctx The CCM context. This must be initialized. |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 331 | * \param total_ad_len The total length of additional data in bytes. |
Ronald Cron | 0cc60f9 | 2021-05-27 09:01:25 +0200 | [diff] [blame] | 332 | * This must be less than `2^16 - 2^8`. |
Ronald Cron | c0cc7ba | 2021-05-27 08:47:09 +0200 | [diff] [blame] | 333 | * \param plaintext_len The length in bytes of the plaintext to encrypt or |
| 334 | * result of the decryption (thus not encompassing the |
| 335 | * additional data that are not encrypted). |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 336 | * |
| 337 | * \return \c 0 on success. |
Ronald Cron | 5905f91 | 2021-05-26 09:46:09 +0200 | [diff] [blame] | 338 | * \return \#MBEDTLS_ERR_CCM_BAD_INPUT on failure: |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 339 | * \p total_ad_len is greater than \c 0xFF00. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 340 | */ |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 341 | int mbedtls_ccm_set_lengths( mbedtls_ccm_context *ctx, |
| 342 | size_t total_ad_len, |
| 343 | size_t plaintext_len ); |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 344 | |
| 345 | /** |
| 346 | * \brief This function feeds an input buffer as associated data |
| 347 | * (authenticated but not encrypted data) in a CCM |
| 348 | * encryption or decryption operation. |
| 349 | * |
Ronald Cron | d1a29a9 | 2021-05-26 09:49:11 +0200 | [diff] [blame] | 350 | * You may call this function zero, one or more times |
| 351 | * to pass successive parts of the additional data. The |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 352 | * lengths \p ad_len of the data parts should eventually add |
Ronald Cron | d1a29a9 | 2021-05-26 09:49:11 +0200 | [diff] [blame] | 353 | * up exactly to the total length of additional data |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 354 | * \c total_ad_len passed to mbedtls_ccm_set_lengths(). You |
| 355 | * may not call this function after calling |
| 356 | * mbedtls_ccm_update(). |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 357 | * |
Ronald Cron | 4c2a379 | 2021-05-26 10:37:45 +0200 | [diff] [blame] | 358 | * \note This function is not implemented in Mbed TLS yet. |
| 359 | * |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 360 | * \param ctx The CCM context. This must have been started with |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 361 | * mbedtls_ccm_starts(), the lengths of the message and |
| 362 | * additional data must have been declared with |
| 363 | * mbedtls_ccm_set_lengths() and this must not have yet |
| 364 | * received any input with mbedtls_ccm_update(). |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 365 | * \param ad The buffer holding the additional data, or \c NULL |
| 366 | * if \p ad_len is \c 0. |
| 367 | * \param ad_len The length of the additional data. If \c 0, |
| 368 | * \p ad may be \c NULL. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 369 | * |
| 370 | * \return \c 0 on success. |
| 371 | * \return \#MBEDTLS_ERR_CCM_BAD_INPUT on failure: |
| 372 | * total input length too long. |
| 373 | */ |
| 374 | int mbedtls_ccm_update_ad( mbedtls_ccm_context *ctx, |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 375 | const unsigned char *ad, |
| 376 | size_t ad_len ); |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 377 | |
| 378 | /** |
| 379 | * \brief This function feeds an input buffer into an ongoing CCM |
| 380 | * encryption or decryption operation. |
| 381 | * |
| 382 | * You may call this function zero, one or more times |
| 383 | * to pass successive parts of the input: the plaintext to |
| 384 | * encrypt, or the ciphertext (not including the tag) to |
| 385 | * decrypt. After the last part of the input, call |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 386 | * mbedtls_ccm_finish(). The lengths \p input_len of the |
Ronald Cron | c0cc7ba | 2021-05-27 08:47:09 +0200 | [diff] [blame] | 387 | * data parts should eventually add up exactly to the |
| 388 | * plaintext length \c plaintext_len passed to |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 389 | * mbedtls_ccm_set_lengths(). |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 390 | * |
| 391 | * This function may produce output in one of the following |
| 392 | * ways: |
| 393 | * - Immediate output: the output length is always equal |
| 394 | * to the input length. |
Ronald Cron | ff92479 | 2021-05-27 09:51:30 +0200 | [diff] [blame] | 395 | * - Buffered output: except for the last part of input data, |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 396 | * the output consists of a whole number of 16-byte blocks. |
| 397 | * If the total input length so far (not including |
| 398 | * associated data) is 16 \* *B* + *A* with *A* < 16 then |
| 399 | * the total output length is 16 \* *B*. |
Ronald Cron | 2d40b10 | 2021-05-26 10:11:06 +0200 | [diff] [blame] | 400 | * For the last part of input data, the output length is |
| 401 | * equal to the input length plus the number of bytes (*A*) |
| 402 | * buffered in the previous call to the function (if any). |
Ronald Cron | c0cc7ba | 2021-05-27 08:47:09 +0200 | [diff] [blame] | 403 | * The function uses the plaintext length |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 404 | * \c plaintext_len passed to mbedtls_ccm_set_lengths() |
Ronald Cron | 2d40b10 | 2021-05-26 10:11:06 +0200 | [diff] [blame] | 405 | * to detect the last part of input data. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 406 | * |
| 407 | * In particular: |
| 408 | * - It is always correct to call this function with |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 409 | * \p output_size >= \p input_len + 15. |
| 410 | * - If \p input_len is a multiple of 16 for all the calls |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 411 | * to this function during an operation (not necessary for |
| 412 | * the last one) then it is correct to use \p output_size |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 413 | * =\p input_len. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 414 | * |
Ronald Cron | 4c2a379 | 2021-05-26 10:37:45 +0200 | [diff] [blame] | 415 | * \note This function is not implemented in Mbed TLS yet. |
| 416 | * |
Ronald Cron | 86e6c9f | 2021-05-27 09:30:59 +0200 | [diff] [blame] | 417 | * \param ctx The CCM context. This must have been started with |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 418 | * mbedtls_ccm_starts() and the lengths of the message and |
| 419 | * additional data must have been declared with |
| 420 | * mbedtls_ccm_set_lengths(). |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 421 | * \param input The buffer holding the input data. If \p input_len |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 422 | * is greater than zero, this must be a readable buffer |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 423 | * of at least \p input_len bytes. |
| 424 | * \param input_len The length of the input data in bytes. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 425 | * \param output The buffer for the output data. If \p output_size |
| 426 | * is greater than zero, this must be a writable buffer of |
| 427 | * at least \p output_size bytes. |
| 428 | * \param output_size The size of the output buffer in bytes. |
| 429 | * See the function description regarding the output size. |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 430 | * \param output_len On success, \p *output_len contains the actual |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 431 | * length of the output written in \p output. |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 432 | * On failure, the content of \p *output_len is |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 433 | * unspecified. |
| 434 | * |
| 435 | * \return \c 0 on success. |
| 436 | * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure: |
| 437 | * total input length too long, |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 438 | * or \p output_size too small. |
| 439 | */ |
| 440 | int mbedtls_ccm_update( mbedtls_ccm_context *ctx, |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 441 | const unsigned char *input, size_t input_len, |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 442 | unsigned char *output, size_t output_size, |
Ronald Cron | eabc3af | 2021-05-26 10:45:30 +0200 | [diff] [blame] | 443 | size_t *output_len ); |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 444 | |
| 445 | /** |
| 446 | * \brief This function finishes the CCM operation and generates |
| 447 | * the authentication tag. |
| 448 | * |
| 449 | * It wraps up the CCM stream, and generates the |
| 450 | * tag. The tag can have a maximum length of 16 Bytes. |
| 451 | * |
Ronald Cron | 4c2a379 | 2021-05-26 10:37:45 +0200 | [diff] [blame] | 452 | * \note This function is not implemented in Mbed TLS yet. |
| 453 | * |
Ronald Cron | 86e6c9f | 2021-05-27 09:30:59 +0200 | [diff] [blame] | 454 | * \param ctx The CCM context. This must have been started with |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 455 | * mbedtls_ccm_starts() and the lengths of the message and |
| 456 | * additional data must have been declared with |
| 457 | * mbedtls_ccm_set_lengths(). |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 458 | * \param tag The buffer for holding the tag. If \p tag_len is greater |
| 459 | * than zero, this must be a writable buffer of at least \p |
| 460 | * tag_len Bytes. |
Ronald Cron | 0cc60f9 | 2021-05-27 09:01:25 +0200 | [diff] [blame] | 461 | * \param tag_len The length of the tag to generate in Bytes: |
| 462 | * 4, 6, 8, 10, 12, 14 or 16. |
| 463 | * For CCM*, zero is also valid. |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 464 | * |
| 465 | * \return \c 0 on success. |
| 466 | * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure: |
Ronald Cron | 9ca2550 | 2021-05-26 10:22:06 +0200 | [diff] [blame] | 467 | * invalid value of \p tag_len, |
| 468 | * the total amount of additional data passed to |
| 469 | * mbedtls_ccm_update_ad() was lower than the total length of |
Ronald Cron | 51584c6 | 2021-05-27 09:47:15 +0200 | [diff] [blame] | 470 | * additional data \c total_ad_len passed to |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 471 | * mbedtls_ccm_set_lengths(), |
Ronald Cron | 9ca2550 | 2021-05-26 10:22:06 +0200 | [diff] [blame] | 472 | * the total amount of input data passed to |
Ronald Cron | c0cc7ba | 2021-05-27 08:47:09 +0200 | [diff] [blame] | 473 | * mbedtls_ccm_update() was lower than the plaintext length |
Ronald Cron | 7c41cd2 | 2021-05-29 17:22:10 +0200 | [diff] [blame^] | 474 | * \c plaintext_len passed to mbedtls_ccm_set_lengths(). |
Ronald Cron | 266694e | 2021-05-20 09:02:37 +0200 | [diff] [blame] | 475 | */ |
| 476 | int mbedtls_ccm_finish( mbedtls_ccm_context *ctx, |
| 477 | unsigned char *tag, size_t tag_len ); |
| 478 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 479 | #if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C) |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 480 | /** |
Rose Zadik | eecdbea | 2018-01-24 12:56:53 +0000 | [diff] [blame] | 481 | * \brief The CCM checkup routine. |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 482 | * |
Rose Zadik | 4ee9d24 | 2018-03-26 17:18:44 +0100 | [diff] [blame] | 483 | * \return \c 0 on success. |
| 484 | * \return \c 1 on failure. |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 485 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 486 | int mbedtls_ccm_self_test( int verbose ); |
| 487 | #endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */ |
Manuel Pégourié-Gonnard | a6916fa | 2014-05-02 15:17:29 +0200 | [diff] [blame] | 488 | |
| 489 | #ifdef __cplusplus |
| 490 | } |
| 491 | #endif |
| 492 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 493 | #endif /* MBEDTLS_CCM_H */ |