blob: f25cdeb8386fd82432bdf92b10c160efafa9011d [file] [log] [blame]
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +01001/**
2 * PSA API multi-part HMAC demonstration.
Manuel Pégourié-Gonnard0e725c32022-01-27 11:15:33 +01003 *
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +01004 * This programs computes the HMAC of two messages using the multi-part API.
5 *
Manuel Pégourié-Gonnard29088a42022-02-01 09:38:26 +01006 * It comes with a companion program hash/md_hmac_demo.c, which does the same
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +01007 * operations with the legacy MD API. The goal is that comparing the two
8 * programs will help people migrating to the PSA Crypto API.
9 *
10 * When it comes to multi-part HMAC operations, the `mbedtls_md_context`
11 * serves a dual purpose (1) hold the key, and (2) save progress information
12 * for the current operation. With PSA those roles are held by two disinct
13 * objects: (1) a psa_key_id_t to hold the key, and (2) a psa_operation_t for
14 * multi-part progress.
15 *
Manuel Pégourié-Gonnard64754e12022-02-08 11:21:14 +010016 * This program and its companion hash/md_hmac_demo.c illustrate this by doing
17 * the same sequence of multi-part HMAC computation with both APIs; looking at
18 * the two side by side should make the differences and similarities clear.
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010019 */
20
21/*
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010022 * Copyright The Mbed TLS Contributors
23 * SPDX-License-Identifier: Apache-2.0
24 *
25 * Licensed under the Apache License, Version 2.0 (the "License"); you may
26 * not use this file except in compliance with the License.
27 * You may obtain a copy of the License at
28 *
29 * http://www.apache.org/licenses/LICENSE-2.0
30 *
31 * Unless required by applicable law or agreed to in writing, software
32 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
33 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
34 * See the License for the specific language governing permissions and
35 * limitations under the License.
36 */
37
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010038/* First include Mbed TLS headers to get the Mbed TLS configuration and
39 * platform definitions that we'll use in this program. Also include
40 * standard C headers for functions we'll use here. */
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010041#include "mbedtls/build_info.h"
42
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010043#include "psa/crypto.h"
44
Manuel Pégourié-Gonnard63497942022-01-31 12:23:37 +010045#include "mbedtls/platform_util.h" // for mbedtls_platform_zeroize
46
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010047#include <stdlib.h>
48#include <stdio.h>
49
50/* If the build options we need are not enabled, compile a placeholder. */
Manuel Pégourié-Gonnardedf6e832022-01-27 12:36:39 +010051#if !defined(MBEDTLS_PSA_CRYPTO_C) || \
Manuel Pégourié-Gonnard9efbf532022-01-17 11:57:44 +010052 defined(MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER)
Gilles Peskine449bd832023-01-11 14:50:10 +010053int main(void)
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010054{
Gilles Peskine449bd832023-01-11 14:50:10 +010055 printf("MBEDTLS_PSA_CRYPTO_C not defined, "
56 "and/or MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER defined\r\n");
57 return 0;
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010058}
Manuel Pégourié-Gonnardedf6e832022-01-27 12:36:39 +010059#else
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010060
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010061/* The real program starts here. */
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010062
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010063/* Dummy inputs for HMAC */
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +010064const unsigned char msg1_part1[] = { 0x01, 0x02 };
65const unsigned char msg1_part2[] = { 0x03, 0x04 };
66const unsigned char msg2_part1[] = { 0x05, 0x05 };
67const unsigned char msg2_part2[] = { 0x06, 0x06 };
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010068
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010069/* Dummy key material - never do this in production!
70 * This example program uses SHA-256, so a 32-byte key makes sense. */
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010071const unsigned char key_bytes[32] = { 0 };
72
Manuel Pégourié-Gonnard63497942022-01-31 12:23:37 +010073/* Print the contents of a buffer in hex */
Gilles Peskine449bd832023-01-11 14:50:10 +010074void print_buf(const char *title, uint8_t *buf, size_t len)
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010075{
Gilles Peskine449bd832023-01-11 14:50:10 +010076 printf("%s:", title);
77 for (size_t i = 0; i < len; i++) {
78 printf(" %02x", buf[i]);
79 }
80 printf("\n");
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +010081}
82
Manuel Pégourié-Gonnard340808c2022-02-08 11:15:26 +010083/* Run a PSA function and bail out if it fails.
84 * The symbolic name of the error code can be recovered using:
Tom Cosgrove1797b052022-12-04 17:19:59 +000085 * programs/psa/psa_constant_name status <value> */
Gilles Peskine449bd832023-01-11 14:50:10 +010086#define PSA_CHECK(expr) \
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010087 do \
88 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010089 status = (expr); \
90 if (status != PSA_SUCCESS) \
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010091 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010092 printf("Error %d at line %d: %s\n", \
93 (int) status, \
94 __LINE__, \
95 #expr); \
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +010096 goto exit; \
97 } \
98 } \
Gilles Peskine449bd832023-01-11 14:50:10 +010099 while (0)
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100100
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100101/*
102 * This function demonstrates computation of the HMAC of two messages using
103 * the multipart API.
104 */
Manuel Pégourié-Gonnardedf6e832022-01-27 12:36:39 +0100105psa_status_t hmac_demo(void)
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100106{
107 psa_status_t status;
Manuel Pégourié-Gonnardf6ea19c2022-02-01 13:08:21 +0100108 const psa_algorithm_t alg = PSA_ALG_HMAC(PSA_ALG_SHA_256);
109 uint8_t out[PSA_MAC_MAX_SIZE]; // safe but not optimal
110 /* PSA_MAC_LENGTH(PSA_KEY_TYPE_HMAC, 8 * sizeof( key_bytes ), alg)
Dave Rodgman017a1992022-03-31 14:07:01 +0100111 * should work but see https://github.com/Mbed-TLS/mbedtls/issues/4320 */
Manuel Pégourié-Gonnard63497942022-01-31 12:23:37 +0100112
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100113 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
114 psa_key_id_t key = 0;
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100115
116 /* prepare key */
Gilles Peskine449bd832023-01-11 14:50:10 +0100117 psa_set_key_usage_flags(&attributes, PSA_KEY_USAGE_SIGN_MESSAGE);
118 psa_set_key_algorithm(&attributes, alg);
119 psa_set_key_type(&attributes, PSA_KEY_TYPE_HMAC);
120 psa_set_key_bits(&attributes, 8 * sizeof(key_bytes)); // optional
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100121
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 status = psa_import_key(&attributes,
123 key_bytes, sizeof(key_bytes), &key);
124 if (status != PSA_SUCCESS) {
125 return status;
126 }
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100127
128 /* prepare operation */
129 psa_mac_operation_t op = PSA_MAC_OPERATION_INIT;
130 size_t out_len = 0;
131
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +0100132 /* compute HMAC(key, msg1_part1 | msg1_part2) */
Gilles Peskine449bd832023-01-11 14:50:10 +0100133 PSA_CHECK(psa_mac_sign_setup(&op, key, alg));
134 PSA_CHECK(psa_mac_update(&op, msg1_part1, sizeof(msg1_part1)));
135 PSA_CHECK(psa_mac_update(&op, msg1_part2, sizeof(msg1_part2)));
136 PSA_CHECK(psa_mac_sign_finish(&op, out, sizeof(out), &out_len));
137 print_buf("msg1", out, out_len);
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100138
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +0100139 /* compute HMAC(key, msg2_part1 | msg2_part2) */
Gilles Peskine449bd832023-01-11 14:50:10 +0100140 PSA_CHECK(psa_mac_sign_setup(&op, key, alg));
141 PSA_CHECK(psa_mac_update(&op, msg2_part1, sizeof(msg2_part1)));
142 PSA_CHECK(psa_mac_update(&op, msg2_part2, sizeof(msg2_part2)));
143 PSA_CHECK(psa_mac_sign_finish(&op, out, sizeof(out), &out_len));
144 print_buf("msg2", out, out_len);
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100145
146exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100147 psa_mac_abort(&op); // needed on error, harmless on success
148 psa_destroy_key(key);
149 mbedtls_platform_zeroize(out, sizeof(out));
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100150
Gilles Peskine449bd832023-01-11 14:50:10 +0100151 return status;
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100152}
153
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100154int main(void)
155{
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100156 psa_status_t status = PSA_SUCCESS;
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100157
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100158 /* Initialize the PSA crypto library. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 PSA_CHECK(psa_crypto_init());
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100160
161 /* Run the demo */
Gilles Peskine449bd832023-01-11 14:50:10 +0100162 PSA_CHECK(hmac_demo());
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100163
164 /* Deinitialize the PSA crypto library. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100165 mbedtls_psa_crypto_free();
Manuel Pégourié-Gonnardf392a022022-01-31 12:06:07 +0100166
167exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100168 return status == PSA_SUCCESS ? EXIT_SUCCESS : EXIT_FAILURE;
Manuel Pégourié-Gonnard667b5562021-11-22 13:00:17 +0100169}
170
Manuel Pégourié-Gonnardedf6e832022-01-27 12:36:39 +0100171#endif