blob: 79e736861330699d0bc96b29fd7cc260e1b013e0 [file] [log] [blame]
Maulik Patelad2f3db2023-05-17 15:41:36 +01001/*
Tamas Ban645e5022024-02-07 11:04:44 +01002 * Copyright (c) 2023-2024, Arm Limited. All rights reserved.
Maulik Patelad2f3db2023-05-17 15:41:36 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 *
6 */
7
8#ifndef __DPE_CONTEXT_MNGR_H__
9#define __DPE_CONTEXT_MNGR_H__
10
11#include <stddef.h>
12#include <stdint.h>
13#include <stdbool.h>
14#include "dice_protection_environment.h"
Maulik Patel58595d32023-06-22 10:08:53 +010015#include "dpe_crypto_config.h"
Maulik Patelad2f3db2023-05-17 15:41:36 +010016
17#ifdef __cplusplus
18extern "C" {
19#endif
20
Maulik Patel9fd8bd22023-10-30 10:58:30 +000021/* Below encoded CDI size accomodate both Attest and Seal CDI */
22#define DICE_MAX_ENCODED_CDI_SIZE ((2 * DICE_CDI_SIZE) + 16)
Maulik Patelad2f3db2023-05-17 15:41:36 +010023
24#define INVALID_HANDLE 0xFFFFFFFF
25#define INVALID_COMPONENT_IDX 0xFFFF
26#define INVALID_NONCE_VALUE 0xFFFF
Maulik Patelad2f3db2023-05-17 15:41:36 +010027#define INVALID_LAYER_IDX 65535
Maulik Patel54d65f72023-06-28 13:04:36 +010028#define DPE_ROT_LAYER_IDX 0
29
Maulik Patelf268d902024-02-09 14:25:51 +000030/* Below configuration defines are platform dependent */
Tamas Ban42545792024-02-08 12:10:42 +010031#define MAX_NUM_OF_COMPONENTS 20
Maulik Patel54d65f72023-06-28 13:04:36 +010032#define DPE_PLATFORM_LAYER_IDX 1
33#define DPE_SECURE_WORLD_AND_HYPERVISOR_LAYER_IDX 2
Maulik Patel8ee20fc2024-02-28 15:01:51 +000034#ifdef DPE_TEST_MODE
35#define MAX_NUM_OF_LAYERS 6
36#else
37#define MAX_NUM_OF_LAYERS 4
38#endif /* DPE_TEST_MODE */
Tamas Ban42545792024-02-08 12:10:42 +010039
Maulik Patel54d65f72023-06-28 13:04:36 +010040/* Below threshold defines the threshold below which a context cannot be destroyed */
41#define DPE_DESTROY_CONTEXT_THRESHOLD_LAYER_IDX DPE_SECURE_WORLD_AND_HYPERVISOR_LAYER_IDX
Maulik Patelad2f3db2023-05-17 15:41:36 +010042
43/* Most significant 16 bits represent nonce & remaining 16 bits represent component index */
44#define GET_IDX(handle) ((handle) & 0xffff)
45#define GET_NONCE(handle) ((handle >> 16) & 0xffff)
46
47#define SET_IDX(handle, idx) ((handle & 0xffff0000) | idx)
48#define SET_NONCE(handle, nonce) ((handle & 0x00ffff) | (nonce << 16))
49
50struct component_context_data_t {
51 uint8_t measurement_value[DICE_HASH_SIZE];
52 uint8_t measurement_descriptor[DICE_CODE_DESCRIPTOR_MAX_SIZE];
53 size_t measurement_descriptor_size;
54 uint8_t signer_id[DICE_HASH_SIZE];
55 uint8_t signer_id_descriptor[DICE_AUTHORITY_DESCRIPTOR_MAX_SIZE];
56 size_t signer_id_descriptor_size;
57 uint8_t config_value[DICE_INLINE_CONFIG_SIZE];
58 uint8_t config_descriptor[DICE_CONFIG_DESCRIPTOR_MAX_SIZE];
59 size_t config_descriptor_size;
60 DiceMode mode;
61 uint8_t hidden[DICE_HIDDEN_SIZE];
62};
63
64struct component_context_t {
65 struct component_context_data_t data; /* Component context data */
66 bool in_use; /* Flag to indicate if element is used */
Maulik Patel9fd8bd22023-10-30 10:58:30 +000067 bool is_allowed_to_derive; /* Is the component allowed to derive */
68 bool is_export_cdi_allowed; /* Is CDI allowed to export */
Maulik Patelad2f3db2023-05-17 15:41:36 +010069 uint16_t nonce; /* Context handle nonce for the component */
70 uint16_t parent_idx; /* Parent component's index */
71 uint16_t linked_layer_idx; /* Layer component is linked to */
Maulik Patel9fd8bd22023-10-30 10:58:30 +000072 int32_t target_locality; /* Identifies the locality to which the
73 * derived context will be bound */
Maulik Patelad2f3db2023-05-17 15:41:36 +010074 uint32_t expected_mhu_id; /* Expected mhu to authorise derivation */
75};
76
77struct layer_context_data_t {
Maulik Patel58595d32023-06-22 10:08:53 +010078 psa_key_id_t cdi_key_id;
Maulik Patelad2f3db2023-05-17 15:41:36 +010079 uint8_t cdi_seal[DICE_CDI_SIZE];
Maulik Patel2358bbb2023-07-21 10:56:56 +010080 uint8_t cdi_id[DICE_ID_SIZE];
Maulik Patel58595d32023-06-22 10:08:53 +010081 psa_key_id_t attest_key_id;
Maulik Patel2358bbb2023-07-21 10:56:56 +010082 uint8_t attest_pub_key[DPE_ATTEST_PUB_KEY_SIZE];
83 size_t attest_pub_key_len;
Maulik Patel4fed7812023-12-08 09:55:22 +000084 uint8_t external_key_deriv_label[DPE_EXTERNAL_LABEL_MAX_SIZE];
85 size_t external_key_deriv_label_len;
Maulik Patelad2f3db2023-05-17 15:41:36 +010086};
87
88enum layer_state_t {
89 LAYER_STATE_CLOSED = 0,
90 LAYER_STATE_OPEN,
91 LAYER_STATE_FINALISED
92};
93
Maulik Patel009450d2024-04-23 12:03:10 +010094struct linked_components_t {
95 uint16_t idx[MAX_NUM_OF_COMPONENTS];
96 uint16_t count;
97};
98
Maulik Patelad2f3db2023-05-17 15:41:36 +010099struct layer_context_t {
100 struct layer_context_data_t data;
Maulik Patelaa6b24f2024-04-05 15:13:08 +0100101 uint16_t idx;
Maulik Patelad2f3db2023-05-17 15:41:36 +0100102 uint16_t parent_layer_idx;
Maulik Patel009450d2024-04-23 12:03:10 +0100103 struct linked_components_t linked_components;
Maulik Patel58595d32023-06-22 10:08:53 +0100104 uint8_t attest_cdi_hash_input[DPE_HASH_ALG_SIZE];
Maulik Patelad2f3db2023-05-17 15:41:36 +0100105 enum layer_state_t state;
Maulik Patele6adc112023-08-18 14:21:51 +0100106 bool is_external_pub_key_provided;
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000107 bool is_cdi_to_be_exported;
Maulik Patel87c47ce2024-04-22 13:30:56 +0100108 bool is_rot_layer;
Maulik Patelcb14cde2024-01-23 12:39:53 +0000109 uint32_t cert_id;
Maulik Patelad2f3db2023-05-17 15:41:36 +0100110};
111
112/**
Jamie Fox34681992023-09-04 18:14:06 +0100113 * \brief Initialise the DPE context manager.
Maulik Patelad2f3db2023-05-17 15:41:36 +0100114 *
Jamie Fox34681992023-09-04 18:14:06 +0100115 * \param[out] rot_ctx_handle A new context handle for the RoT context.
Maulik Patelad2f3db2023-05-17 15:41:36 +0100116 *
117 * \return Returns error code of type dpe_error_t
118 */
Jamie Fox34681992023-09-04 18:14:06 +0100119dpe_error_t initialise_context_mngr(int *rot_ctx_handle);
Maulik Patelad2f3db2023-05-17 15:41:36 +0100120
121/**
Maulik Patela81605b2023-10-24 12:17:03 +0100122 * \brief Derives a component context and optionally creates certificate
Maulik Patelad2f3db2023-05-17 15:41:36 +0100123 * chain.
124 *
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000125 * \param[in] input_context_handle Input handle to parent component context.
Maulik Patelcb14cde2024-01-23 12:39:53 +0000126 * \param[in] cert_id Logical certificate id to which derived
127 * context belongs to.
Maulik Patela81605b2023-10-24 12:17:03 +0100128 * \param[in] retain_parent_context Flag to indicate if parent context need
129 * to be retained. TRUE only if a client
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000130 * is calling DPE commands multiple times.
Maulik Patela81605b2023-10-24 12:17:03 +0100131 * \param[in] allow_new_context_to_derive Flag to indicate if derived context can
132 * derive further.
133 * \param[in] create_certificate Flag to indicate if certificate needs
134 * to be created. TRUE only if it is the
135 * last component in the layer.
136 * \param[in] dice_inputs Pointer to dice_input buffer.
137 * \param[in] client_id Identifier of the client calling the
138 * service.
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000139 * \param[in] target_locality Identifier of the locality to which the
140 * derived context should be bound to.
141 * \param[in] return_certificate Indicates whether to return the generated
142 * certificate when create_certificate is true.
143 * \param[in] allow_new_context_to_export Indicates whether the DPE permits export of
144 * the CDI from the newly derived context.
145 * \param[in] export_cdi Indicates whether to export derived CDI.
Maulik Patela81605b2023-10-24 12:17:03 +0100146 * \param[out] new_context_handle A new handle for derived context.
147 * \param[out] new_parent_context_handle A new handle for parent context.
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000148 * \param[out] new_certificate_buf If create_certificate and return_certificate
149 * are both true, this argument holds the new
150 * certificate generated for the new context.
151 * \param[in] new_certificate_buf_size Size of the allocated buffer for
152 * new certificate.
153 * \param[out] new_certificate_actual_size Actual size of the new certificate.
154 * \param[out] exported_cdi_buf If export_cdi is true, this is the
155 * exported CDI value.
156 * \param[in] exported_cdi_buf_size Size of the allocated buffer for
157 * exported CDI.
158 * \param[out] exported_cdi_actual_size Actual size of the exported CDI.
Maulik Patelad2f3db2023-05-17 15:41:36 +0100159 *
160 * \return Returns error code of type dpe_error_t
161 */
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000162dpe_error_t derive_context_request(int input_ctx_handle,
Maulik Patelcb14cde2024-01-23 12:39:53 +0000163 uint32_t cert_id,
Maulik Patela81605b2023-10-24 12:17:03 +0100164 bool retain_parent_context,
165 bool allow_new_context_to_derive,
166 bool create_certificate,
167 const DiceInputValues *dice_inputs,
168 int32_t client_id,
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000169 int32_t target_locality,
170 bool return_certificate,
171 bool allow_new_context_to_export,
172 bool export_cdi,
Maulik Patela81605b2023-10-24 12:17:03 +0100173 int *new_context_handle,
Maulik Patel9fd8bd22023-10-30 10:58:30 +0000174 int *new_parent_context_handle,
175 uint8_t *new_certificate_buf,
176 size_t new_certificate_buf_size,
177 size_t *new_certificate_actual_size,
178 uint8_t *exported_cdi_buf,
179 size_t exported_cdi_buf_size,
180 size_t *exported_cdi_actual_size);
Maulik Patelad2f3db2023-05-17 15:41:36 +0100181
182/**
Maulik Patel54d65f72023-06-28 13:04:36 +0100183 * \brief Destroys a component context and optionally depending on argument
184 * destroy_recursively, destroys all its child context too.
185 *
186 * \param[in] input_context_handle Input handle to child component context
187 * \param[in] destroy_recursively Flag to indicate if all derived contexts
188 * should also be destroyed recursively.
189 *
190 * \return Returns error code of type dpe_error_t
191 */
192dpe_error_t destroy_context_request(int input_ctx_handle,
193 bool destroy_recursively);
194
195/**
Maulik Patele6adc112023-08-18 14:21:51 +0100196 * \brief Function to get the pointer to a layer context
197 *
198 * \param[in] layer_idx Index of the layer in the layer context array
199 * for which pointer is required
200 *
201 * \return Returns pointer to the layer context if input index is valid
202 * else returns NULL
203 */
204struct layer_context_t* get_layer_ctx_ptr(uint16_t layer_idx);
205
206/**
Maulik Patel009450d2024-04-23 12:03:10 +0100207 * \brief Function to get the pointer to a component context
208 *
209 * \param[in] component_idx Index of the component in the component context array
210 * for which pointer is required
211 *
212 * \return Returns pointer to the component context if input index is valid
213 * else returns NULL
214 */
215struct component_context_t* get_component_ctx_ptr(uint16_t component_idx);
216
217/**
Maulik Patelcbded682023-12-07 11:50:16 +0000218 * \brief Certifies the attestation key and generates a leaf certificate.
219 * This command functionality depends on whether:
Maulik Patele6adc112023-08-18 14:21:51 +0100220 * - last layer is finalised
221 * - public key is supplied to the command
222 * - label is supplied to the command
223 *
224 * +---------------+------------+------------+----------------+
225 * | | pub_key | no pub_key | |
226 * +---------------+------------+------------+----------------+
227 * | | | see Note C | label |
228 * | finalized + see Note A +------------+----------------+
229 * | | | see Note D | no label |
230 * +---------------+------------+------------+----------------+
231 * | | | see Note E | label |
232 * | not finalized + see Note B +------------+----------------+
233 * | | | see Note F | no label |
234 * +---------------+------------+------------+----------------+
235 *
Maulik Patelcbded682023-12-07 11:50:16 +0000236 * A - Opens a new layer (if not opened), and creates a leaf certificate which
237 * includes supplied key.
Maulik Patele6adc112023-08-18 14:21:51 +0100238 * B - Creates certificate for current (existing) layer, which includes supplied
Maulik Patelcbded682023-12-07 11:50:16 +0000239 * key.
Maulik Patele6adc112023-08-18 14:21:51 +0100240 * C - Opens a new layer (if not opened), performs derivation which includes
Maulik Patelcbded682023-12-07 11:50:16 +0000241 * supplied label, and creates leaf certificate (including supplied label
242 * as a claim).
Maulik Patele6adc112023-08-18 14:21:51 +0100243 * D - Opens a new layer (if not opened), performs standard derivation,
Maulik Patelcbded682023-12-07 11:50:16 +0000244 * and creates a leaf certificate.
245 * E - Performs derivation (which includes supplied label) for current/existing layer
246 * and creates certificate which includes supplied label as a claim.
247 * F - Performs standard derivation for current/existing layer, and creates
248 * certificate.
Maulik Patele6adc112023-08-18 14:21:51 +0100249 *
250 * \param[in] input_ctx_handle Input handle to component context.
251 * \param[in] retain_context Flag to indicate if context needs
252 * to be retained. TRUE only if a client
253 * is calling DPE commands multiple times.
254 * \param[in] public_key The public key to certify. If omitted,
255 * key pair is deterministically derived
256 * from the context and label argument.
257 * \param[in] public_key_size Size of the input public key.
258 * \param[in] label Additional input to the key derivation
259 * from the context. If public key is
260 * already provided, this argument is
261 * ignored.
262 * \param[in] label_size Size of the input label.
Maulik Patelcbded682023-12-07 11:50:16 +0000263 * \param[out] certificate_buf Pointer to the buffer where
264 * the certificate will be stored.
265 * \param[in] certificate_buf_size Size of the allocated buffer for
266 * the certificate.
267 * \param[out] certificate_actual_size Actual size of the certificate.
Maulik Patele6adc112023-08-18 14:21:51 +0100268 * \param[out] derived_public_key_buf Pointer to the buffer where
269 * derived public key will be stored.
270 * \param[in] derived_public_key_buf_size Size of the allocated buffer for
271 * derived public key.
272 * \param[out] derived_public_key_actual_size Actual size of the derived public
273 * key.
274 * \param[out] new_context_handle A renewed handle for same context.
275 *
276 * \return Returns error code of type dpe_error_t
277 */
278dpe_error_t certify_key_request(int input_ctx_handle,
279 bool retain_context,
280 const uint8_t *public_key,
281 size_t public_key_size,
282 const uint8_t *label,
283 size_t label_size,
Maulik Patelcbded682023-12-07 11:50:16 +0000284 uint8_t *certificate_buf,
285 size_t certificate_buf_size,
286 size_t *certificate_actual_size,
Maulik Patele6adc112023-08-18 14:21:51 +0100287 uint8_t *derived_public_key_buf,
288 size_t derived_public_key_buf_size,
289 size_t *derived_public_key_actual_size,
290 int *new_context_handle);
291
Maulik Patel83a6b592023-12-05 15:20:30 +0000292/**
293 * \brief Returns the certificate chain generated for a given DPE context. The
294 * order, format, and encoding of the certificate chain are specified by
295 * a DPE profile.
296 *
297 * \param[in] input_ctx_handle Input context handle for the DPE
298 * context.
299 * \param[in] retain_context Flag to indicate whether to
300 * retain the context.
301 * \param[in] clear_from_context Flag to indicate whether DPE must
302 * clear the certificate chain from
303 * the context so subsequent calls
304 * on a given context, or contexts
305 * derived from it do not include
306 * the certificates returned by this
307 * command.
308 * retain the context.
309 * \param[out] certificate_chain_buf Buffer to write the certificate
310 * chain output.
311 * \param[in] certificate_chain_buf_size Size of the certificate chain
312 * buffer.
313 * \param[out] certificate_chain_actual_size Size of the certificate chain
314 * output written to the buffer.
315 * \param[out] new_context_handle New handle for the DPE context.
316 *
317 * \return Returns error code of type dpe_error_t
318 */
319dpe_error_t get_certificate_chain_request(int input_ctx_handle,
320 bool retain_context,
321 bool clear_from_context,
322 uint8_t *certificate_chain_buf,
323 size_t certificate_chain_buf_size,
324 size_t *certificate_chain_actual_size,
325 int *new_context_handle);
Maulik Patelad2f3db2023-05-17 15:41:36 +0100326#ifdef __cplusplus
327}
328#endif
329
330#endif /* __DPE_CONTEXT_MNGR_H__ */