Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 1 | /** |
| 2 | * \file cmac.h |
| 3 | * |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 4 | * \brief This file contains CMAC definitions and functions. |
| 5 | * |
| 6 | * The Cipher-based Message Authentication Code (CMAC) Mode for |
| 7 | * Authentication is defined in <em>RFC-4493: The AES-CMAC Algorithm</em>. |
Darryl Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 8 | */ |
| 9 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 10 | * Copyright The Mbed TLS Contributors |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 11 | * SPDX-License-Identifier: Apache-2.0 |
| 12 | * |
| 13 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 14 | * not use this file except in compliance with the License. |
| 15 | * You may obtain a copy of the License at |
| 16 | * |
| 17 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 18 | * |
| 19 | * Unless required by applicable law or agreed to in writing, software |
| 20 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 21 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 22 | * See the License for the specific language governing permissions and |
| 23 | * limitations under the License. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 24 | */ |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 25 | |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 26 | #ifndef MBEDTLS_CMAC_H |
| 27 | #define MBEDTLS_CMAC_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 28 | #include "mbedtls/private_access.h" |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 29 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 30 | #include "mbedtls/build_info.h" |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 31 | |
Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 32 | #include "mbedtls/cipher.h" |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 33 | |
| 34 | #ifdef __cplusplus |
| 35 | extern "C" { |
| 36 | #endif |
| 37 | |
Simon Butcher | 69283e5 | 2016-10-06 12:49:58 +0100 | [diff] [blame] | 38 | #define MBEDTLS_AES_BLOCK_SIZE 16 |
| 39 | #define MBEDTLS_DES3_BLOCK_SIZE 8 |
| 40 | |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 41 | #if defined(MBEDTLS_AES_C) |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 42 | #define MBEDTLS_CIPHER_BLKSIZE_MAX 16 /**< The longest block used by CMAC is that of AES. */ |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 43 | #else |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 44 | #define MBEDTLS_CIPHER_BLKSIZE_MAX 8 /**< The longest block used by CMAC is that of 3DES. */ |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 45 | #endif |
| 46 | |
Steven Cooreman | 6334277 | 2017-04-04 11:47:16 +0200 | [diff] [blame] | 47 | #if !defined(MBEDTLS_CMAC_ALT) |
| 48 | |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 49 | /** |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 50 | * The CMAC context structure. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 51 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 52 | struct mbedtls_cmac_context_t { |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 53 | /** The internal state of the CMAC algorithm. */ |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 54 | unsigned char MBEDTLS_PRIVATE(state)[MBEDTLS_CIPHER_BLKSIZE_MAX]; |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 55 | |
Andres AG | a592dcc | 2016-10-06 15:23:39 +0100 | [diff] [blame] | 56 | /** Unprocessed data - either data that was not block aligned and is still |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 57 | * pending processing, or the final block. */ |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 58 | unsigned char MBEDTLS_PRIVATE(unprocessed_block)[MBEDTLS_CIPHER_BLKSIZE_MAX]; |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 59 | |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 60 | /** The length of data pending processing. */ |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 61 | size_t MBEDTLS_PRIVATE(unprocessed_len); |
Simon Butcher | 8308a44 | 2016-10-05 15:12:59 +0100 | [diff] [blame] | 62 | }; |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 63 | |
Ron Eldor | 4e6d55d | 2018-02-07 16:36:15 +0200 | [diff] [blame] | 64 | #else /* !MBEDTLS_CMAC_ALT */ |
| 65 | #include "cmac_alt.h" |
| 66 | #endif /* !MBEDTLS_CMAC_ALT */ |
| 67 | |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 68 | /** |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 69 | * \brief This function starts a new CMAC computation |
| 70 | * by setting the CMAC key, and preparing to authenticate |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 71 | * the input data. |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 72 | * It must be called with an initialized cipher context. |
| 73 | * |
| 74 | * Once this function has completed, data can be supplied |
| 75 | * to the CMAC computation by calling |
| 76 | * mbedtls_cipher_cmac_update(). |
| 77 | * |
| 78 | * To start a CMAC computation using the same key as a previous |
| 79 | * CMAC computation, use mbedtls_cipher_cmac_finish(). |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 80 | * |
Steven Cooreman | c338cef | 2021-04-26 11:24:44 +0200 | [diff] [blame] | 81 | * \note When the CMAC implementation is supplied by an alternate |
| 82 | * implementation (through #MBEDTLS_CMAC_ALT), some ciphers |
| 83 | * may not be supported by that implementation, and thus |
| 84 | * return an error. Alternate implementations must support |
| 85 | * AES-128 and AES-256, and may support AES-192 and 3DES. |
| 86 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 87 | * \param ctx The cipher context used for the CMAC operation, initialized |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 88 | * as one of the following types: MBEDTLS_CIPHER_AES_128_ECB, |
| 89 | * MBEDTLS_CIPHER_AES_192_ECB, MBEDTLS_CIPHER_AES_256_ECB, |
| 90 | * or MBEDTLS_CIPHER_DES_EDE3_ECB. |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 91 | * \param key The CMAC key. |
| 92 | * \param keybits The length of the CMAC key in bits. |
| 93 | * Must be supported by the cipher. |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 94 | * |
Rose Zadik | c138bb7 | 2018-04-16 11:11:25 +0100 | [diff] [blame] | 95 | * \return \c 0 on success. |
| 96 | * \return A cipher-specific error code on failure. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 97 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | int mbedtls_cipher_cmac_starts(mbedtls_cipher_context_t *ctx, |
| 99 | const unsigned char *key, size_t keybits); |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 100 | |
| 101 | /** |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 102 | * \brief This function feeds an input buffer into an ongoing CMAC |
| 103 | * computation. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 104 | * |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 105 | * The CMAC computation must have previously been started |
| 106 | * by calling mbedtls_cipher_cmac_starts() or |
| 107 | * mbedtls_cipher_cmac_reset(). |
| 108 | * |
| 109 | * Call this function as many times as needed to input the |
| 110 | * data to be authenticated. |
| 111 | * Once all of the required data has been input, |
| 112 | * call mbedtls_cipher_cmac_finish() to obtain the result |
| 113 | * of the CMAC operation. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 114 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 115 | * \param ctx The cipher context used for the CMAC operation. |
| 116 | * \param input The buffer holding the input data. |
| 117 | * \param ilen The length of the input data. |
| 118 | * |
Rose Zadik | c138bb7 | 2018-04-16 11:11:25 +0100 | [diff] [blame] | 119 | * \return \c 0 on success. |
| 120 | * \return #MBEDTLS_ERR_MD_BAD_INPUT_DATA |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 121 | * if parameter verification fails. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 122 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 123 | int mbedtls_cipher_cmac_update(mbedtls_cipher_context_t *ctx, |
| 124 | const unsigned char *input, size_t ilen); |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 125 | |
| 126 | /** |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 127 | * \brief This function finishes an ongoing CMAC operation, and |
| 128 | * writes the result to the output buffer. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 129 | * |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 130 | * It should be followed either by |
| 131 | * mbedtls_cipher_cmac_reset(), which starts another CMAC |
| 132 | * operation with the same key, or mbedtls_cipher_free(), |
| 133 | * which clears the cipher context. |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 134 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 135 | * \param ctx The cipher context used for the CMAC operation. |
| 136 | * \param output The output buffer for the CMAC checksum result. |
| 137 | * |
Rose Zadik | c138bb7 | 2018-04-16 11:11:25 +0100 | [diff] [blame] | 138 | * \return \c 0 on success. |
| 139 | * \return #MBEDTLS_ERR_MD_BAD_INPUT_DATA |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 140 | * if parameter verification fails. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 141 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 142 | int mbedtls_cipher_cmac_finish(mbedtls_cipher_context_t *ctx, |
| 143 | unsigned char *output); |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 144 | |
| 145 | /** |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 146 | * \brief This function starts a new CMAC operation with the same |
| 147 | * key as the previous one. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 148 | * |
David Horstmann | 3d5dfa5 | 2021-12-06 18:58:02 +0000 | [diff] [blame] | 149 | * It should be called after finishing the previous CMAC |
| 150 | * operation with mbedtls_cipher_cmac_finish(). |
| 151 | * After calling this function, |
| 152 | * call mbedtls_cipher_cmac_update() to supply the new |
| 153 | * CMAC operation with data. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 154 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 155 | * \param ctx The cipher context used for the CMAC operation. |
| 156 | * |
Rose Zadik | c138bb7 | 2018-04-16 11:11:25 +0100 | [diff] [blame] | 157 | * \return \c 0 on success. |
| 158 | * \return #MBEDTLS_ERR_MD_BAD_INPUT_DATA |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 159 | * if parameter verification fails. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 160 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 161 | int mbedtls_cipher_cmac_reset(mbedtls_cipher_context_t *ctx); |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 162 | |
| 163 | /** |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 164 | * \brief This function calculates the full generic CMAC |
| 165 | * on the input buffer with the provided key. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 166 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 167 | * The function allocates the context, performs the |
| 168 | * calculation, and frees the context. |
Simon Butcher | 327398a | 2016-10-05 14:09:11 +0100 | [diff] [blame] | 169 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 170 | * The CMAC result is calculated as |
| 171 | * output = generic CMAC(cmac key, input buffer). |
| 172 | * |
Steven Cooreman | c338cef | 2021-04-26 11:24:44 +0200 | [diff] [blame] | 173 | * \note When the CMAC implementation is supplied by an alternate |
| 174 | * implementation (through #MBEDTLS_CMAC_ALT), some ciphers |
| 175 | * may not be supported by that implementation, and thus |
| 176 | * return an error. Alternate implementations must support |
| 177 | * AES-128 and AES-256, and may support AES-192 and 3DES. |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 178 | * |
| 179 | * \param cipher_info The cipher information. |
| 180 | * \param key The CMAC key. |
| 181 | * \param keylen The length of the CMAC key in bits. |
| 182 | * \param input The buffer holding the input data. |
| 183 | * \param ilen The length of the input data. |
| 184 | * \param output The buffer for the generic CMAC result. |
| 185 | * |
Rose Zadik | c138bb7 | 2018-04-16 11:11:25 +0100 | [diff] [blame] | 186 | * \return \c 0 on success. |
| 187 | * \return #MBEDTLS_ERR_MD_BAD_INPUT_DATA |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 188 | * if parameter verification fails. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 189 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 190 | int mbedtls_cipher_cmac(const mbedtls_cipher_info_t *cipher_info, |
| 191 | const unsigned char *key, size_t keylen, |
| 192 | const unsigned char *input, size_t ilen, |
| 193 | unsigned char *output); |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 194 | |
Simon Butcher | 69283e5 | 2016-10-06 12:49:58 +0100 | [diff] [blame] | 195 | #if defined(MBEDTLS_AES_C) |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 196 | /** |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 197 | * \brief This function implements the AES-CMAC-PRF-128 pseudorandom |
| 198 | * function, as defined in |
| 199 | * <em>RFC-4615: The Advanced Encryption Standard-Cipher-based |
| 200 | * Message Authentication Code-Pseudo-Random Function-128 |
| 201 | * (AES-CMAC-PRF-128) Algorithm for the Internet Key |
| 202 | * Exchange Protocol (IKE).</em> |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 203 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 204 | * \param key The key to use. |
| 205 | * \param key_len The key length in Bytes. |
| 206 | * \param input The buffer holding the input data. |
| 207 | * \param in_len The length of the input data in Bytes. |
| 208 | * \param output The buffer holding the generated 16 Bytes of |
| 209 | * pseudorandom output. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 210 | * |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 211 | * \return \c 0 on success. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 212 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 213 | int mbedtls_aes_cmac_prf_128(const unsigned char *key, size_t key_len, |
| 214 | const unsigned char *input, size_t in_len, |
| 215 | unsigned char output[16]); |
Brian Murray | b439d45 | 2016-05-19 16:02:42 -0700 | [diff] [blame] | 216 | #endif /* MBEDTLS_AES_C */ |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 217 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 218 | #if defined(MBEDTLS_SELF_TEST) && (defined(MBEDTLS_AES_C) || defined(MBEDTLS_DES_C)) |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 219 | /** |
Rose Zadik | 380d05d | 2018-01-25 21:52:41 +0000 | [diff] [blame] | 220 | * \brief The CMAC checkup routine. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 221 | * |
Steven Cooreman | 894b9c4 | 2021-04-23 08:19:43 +0200 | [diff] [blame] | 222 | * \note In case the CMAC routines are provided by an alternative |
| 223 | * implementation (i.e. #MBEDTLS_CMAC_ALT is defined), the |
| 224 | * checkup routine will succeed even if the implementation does |
| 225 | * not support the less widely used AES-192 or 3DES primitives. |
| 226 | * The self-test requires at least AES-128 and AES-256 to be |
| 227 | * supported by the underlying implementation. |
| 228 | * |
Rose Zadik | 8c15493 | 2018-03-27 10:45:16 +0100 | [diff] [blame] | 229 | * \return \c 0 on success. |
| 230 | * \return \c 1 on failure. |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 231 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 232 | int mbedtls_cmac_self_test(int verbose); |
Brian Murray | b439d45 | 2016-05-19 16:02:42 -0700 | [diff] [blame] | 233 | #endif /* MBEDTLS_SELF_TEST && ( MBEDTLS_AES_C || MBEDTLS_DES_C ) */ |
Robert Cragie | 3d23b1d | 2015-12-15 07:38:11 +0000 | [diff] [blame] | 234 | |
| 235 | #ifdef __cplusplus |
| 236 | } |
| 237 | #endif |
| 238 | |
| 239 | #endif /* MBEDTLS_CMAC_H */ |