Branch data Line data Source code
1 : : /**
2 : : * Copyright Notice:
3 : : * Copyright 2021-2026 DMTF. All rights reserved.
4 : : * License: BSD 3-Clause License. For full text see link: https://github.com/DMTF/libspdm/blob/main/LICENSE.md
5 : : **/
6 : :
7 : : #include "internal/libspdm_requester_lib.h"
8 : : #include "internal/libspdm_secured_message_lib.h"
9 : :
10 : : #if LIBSPDM_ENABLE_CAPABILITY_KEY_EX_CAP
11 : :
12 : : #pragma pack(1)
13 : : typedef struct {
14 : : spdm_message_header_t header;
15 : : uint16_t opaque_length;
16 : : uint8_t opaque_data[SPDM_MAX_OPAQUE_DATA_SIZE];
17 : : uint8_t signature[LIBSPDM_REQ_SIGNATURE_DATA_MAX_SIZE];
18 : : uint8_t verify_data[LIBSPDM_MAX_HASH_SIZE];
19 : : } libspdm_finish_request_mine_t;
20 : :
21 : : typedef struct {
22 : : spdm_message_header_t header;
23 : : uint16_t opaque_length;
24 : : uint8_t opaque_data[SPDM_MAX_OPAQUE_DATA_SIZE];
25 : : uint8_t verify_data[LIBSPDM_MAX_HASH_SIZE];
26 : : } libspdm_finish_response_mine_t;
27 : : #pragma pack()
28 : :
29 : 22 : bool libspdm_verify_finish_rsp_hmac(libspdm_context_t *spdm_context,
30 : : libspdm_session_info_t *session_info,
31 : : const void *hmac_data, size_t hmac_data_size)
32 : : {
33 : : size_t hash_size;
34 : : uint8_t calc_hmac_data[LIBSPDM_MAX_HASH_SIZE];
35 : : bool result;
36 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
37 : : uint8_t slot_id;
38 : : const uint8_t *cert_chain_buffer;
39 : : size_t cert_chain_buffer_size;
40 : : const uint8_t *mut_cert_chain_buffer;
41 : : size_t mut_cert_chain_buffer_size;
42 : : uint8_t *th_curr_data;
43 : : size_t th_curr_data_size;
44 : : libspdm_th_managed_buffer_t th_curr;
45 : : uint8_t hash_data[LIBSPDM_MAX_HASH_SIZE];
46 : : #endif
47 : :
48 : 22 : hash_size = libspdm_get_hash_size(spdm_context->connection_info.algorithm.base_hash_algo);
49 : 22 : LIBSPDM_ASSERT(hash_size == hmac_data_size);
50 : :
51 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
52 : : slot_id = session_info->peer_used_cert_chain_slot_id;
53 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
54 : : if (slot_id == 0xFF) {
55 : : result = libspdm_get_peer_public_key_buffer(
56 : : spdm_context, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
57 : : if (!result) {
58 : : return false;
59 : : }
60 : : } else {
61 : : libspdm_get_peer_cert_chain_buffer(
62 : : spdm_context, slot_id, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
63 : : }
64 : :
65 : : if (session_info->mut_auth_requested != 0) {
66 : : slot_id = session_info->local_used_cert_chain_slot_id;
67 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
68 : : if (slot_id == 0xFF) {
69 : : result = libspdm_get_local_public_key_buffer(
70 : : spdm_context, (const void **)&mut_cert_chain_buffer, &mut_cert_chain_buffer_size);
71 : : } else {
72 : : libspdm_get_local_cert_chain_buffer(
73 : : spdm_context, slot_id, (const void **)&mut_cert_chain_buffer,
74 : : &mut_cert_chain_buffer_size);
75 : : result = true;
76 : : }
77 : : if (!result) {
78 : : return false;
79 : : }
80 : : } else {
81 : : mut_cert_chain_buffer = NULL;
82 : : mut_cert_chain_buffer_size = 0;
83 : : }
84 : :
85 : : result = libspdm_calculate_th_for_finish(
86 : : spdm_context, session_info, cert_chain_buffer,
87 : : cert_chain_buffer_size, mut_cert_chain_buffer,
88 : : mut_cert_chain_buffer_size, &th_curr);
89 : : if (!result) {
90 : : return false;
91 : : }
92 : : th_curr_data = libspdm_get_managed_buffer(&th_curr);
93 : : th_curr_data_size = libspdm_get_managed_buffer_size(&th_curr);
94 : :
95 : : result = libspdm_hash_all (spdm_context->connection_info.algorithm.base_hash_algo,
96 : : th_curr_data, th_curr_data_size, hash_data);
97 : : if (!result) {
98 : : return false;
99 : : }
100 : :
101 : : result = libspdm_hmac_all_with_response_finished_key(
102 : : session_info->secured_message_context, hash_data,
103 : : hash_size, calc_hmac_data);
104 : : if (!result) {
105 : : return false;
106 : : }
107 : : #else
108 : 22 : result = libspdm_calculate_th_hmac_for_finish_rsp(
109 : : spdm_context, session_info, &hash_size, calc_hmac_data);
110 [ - + ]: 22 : if (!result) {
111 : 0 : return false;
112 : : }
113 : : #endif
114 : 22 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "th_curr hmac - "));
115 : 22 : LIBSPDM_INTERNAL_DUMP_DATA(calc_hmac_data, hash_size);
116 : 22 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "\n"));
117 : :
118 [ + + ]: 22 : if (!libspdm_consttime_is_mem_equal(calc_hmac_data, hmac_data, hash_size)) {
119 : 8 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "!!! verify_finish_rsp_hmac - FAIL !!!\n"));
120 : 8 : return false;
121 : : }
122 : 14 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "!!! verify_finish_rsp_hmac - PASS !!!\n"));
123 : :
124 : 14 : return true;
125 : : }
126 : :
127 : 86 : bool libspdm_generate_finish_req_hmac(libspdm_context_t *spdm_context,
128 : : libspdm_session_info_t *session_info,
129 : : void *hmac)
130 : : {
131 : : size_t hash_size;
132 : : uint8_t calc_hmac_data[LIBSPDM_MAX_HASH_SIZE];
133 : : bool result;
134 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
135 : : uint8_t slot_id;
136 : : const uint8_t *cert_chain_buffer;
137 : : size_t cert_chain_buffer_size;
138 : : const uint8_t *mut_cert_chain_buffer;
139 : : size_t mut_cert_chain_buffer_size;
140 : : uint8_t *th_curr_data;
141 : : size_t th_curr_data_size;
142 : : libspdm_th_managed_buffer_t th_curr;
143 : : uint8_t hash_data[LIBSPDM_MAX_HASH_SIZE];
144 : : #endif
145 : :
146 : 86 : hash_size = libspdm_get_hash_size(spdm_context->connection_info.algorithm.base_hash_algo);
147 : :
148 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
149 : : slot_id = session_info->peer_used_cert_chain_slot_id;
150 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
151 : : if (slot_id == 0xFF) {
152 : : result = libspdm_get_peer_public_key_buffer(
153 : : spdm_context, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
154 : : if (!result) {
155 : : return false;
156 : : }
157 : : } else {
158 : : libspdm_get_peer_cert_chain_buffer(
159 : : spdm_context, slot_id, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
160 : : }
161 : :
162 : : if (session_info->mut_auth_requested != 0) {
163 : : slot_id = session_info->local_used_cert_chain_slot_id;
164 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
165 : : if (slot_id == 0xFF) {
166 : : result = libspdm_get_local_public_key_buffer(
167 : : spdm_context, (const void **)&mut_cert_chain_buffer, &mut_cert_chain_buffer_size);
168 : : if (!result) {
169 : : return false;
170 : : }
171 : : } else {
172 : : libspdm_get_local_cert_chain_buffer(
173 : : spdm_context, slot_id, (const void **)&mut_cert_chain_buffer,
174 : : &mut_cert_chain_buffer_size);
175 : : }
176 : : } else {
177 : : mut_cert_chain_buffer = NULL;
178 : : mut_cert_chain_buffer_size = 0;
179 : : }
180 : :
181 : : result = libspdm_calculate_th_for_finish(
182 : : spdm_context, session_info, cert_chain_buffer,
183 : : cert_chain_buffer_size, mut_cert_chain_buffer,
184 : : mut_cert_chain_buffer_size, &th_curr);
185 : : if (!result) {
186 : : return false;
187 : : }
188 : : th_curr_data = libspdm_get_managed_buffer(&th_curr);
189 : : th_curr_data_size = libspdm_get_managed_buffer_size(&th_curr);
190 : :
191 : : result = libspdm_hash_all (spdm_context->connection_info.algorithm.base_hash_algo,
192 : : th_curr_data, th_curr_data_size, hash_data);
193 : : if (!result) {
194 : : return false;
195 : : }
196 : :
197 : : result = libspdm_hmac_all_with_request_finished_key(
198 : : session_info->secured_message_context, hash_data,
199 : : hash_size, calc_hmac_data);
200 : : if (!result) {
201 : : return false;
202 : : }
203 : : #else
204 : 86 : result = libspdm_calculate_th_hmac_for_finish_req(
205 : : spdm_context, session_info, &hash_size, calc_hmac_data);
206 [ - + ]: 86 : if (!result) {
207 : 0 : return false;
208 : : }
209 : : #endif
210 : 86 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "th_curr hmac - "));
211 : 86 : LIBSPDM_INTERNAL_DUMP_DATA(calc_hmac_data, hash_size);
212 : 86 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "\n"));
213 : :
214 : 86 : libspdm_copy_mem(hmac, hash_size, calc_hmac_data, hash_size);
215 : :
216 : 86 : return true;
217 : : }
218 : :
219 : : #if LIBSPDM_ENABLE_CAPABILITY_MUT_AUTH_CAP
220 : :
221 : 14 : bool libspdm_generate_finish_req_signature(libspdm_context_t *spdm_context,
222 : : libspdm_session_info_t *session_info,
223 : : uint8_t slot_id,
224 : : uint8_t *signature)
225 : : {
226 : : bool result;
227 : : size_t signature_size;
228 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
229 : : const uint8_t *cert_chain_buffer;
230 : : size_t cert_chain_buffer_size;
231 : : const uint8_t *mut_cert_chain_buffer;
232 : : size_t mut_cert_chain_buffer_size;
233 : : uint8_t *th_curr_data;
234 : : size_t th_curr_data_size;
235 : : libspdm_th_managed_buffer_t th_curr;
236 : : #endif
237 : : #if !(LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT) || (LIBSPDM_DEBUG_PRINT_ENABLE)
238 : : size_t hash_size;
239 : : #endif
240 : : #if ((LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT) && (LIBSPDM_DEBUG_BLOCK_ENABLE)) || \
241 : : !(LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT)
242 : : uint8_t hash_data[LIBSPDM_MAX_HASH_SIZE];
243 : : #endif
244 : :
245 [ - + ]: 14 : if (spdm_context->connection_info.algorithm.req_pqc_asym_alg != 0) {
246 : 0 : signature_size = libspdm_get_req_pqc_asym_signature_size(
247 : : spdm_context->connection_info.algorithm.req_pqc_asym_alg);
248 : : } else {
249 : 14 : signature_size = libspdm_get_req_asym_signature_size(
250 : 14 : spdm_context->connection_info.algorithm.req_base_asym_alg);
251 : : }
252 : :
253 : : #if !(LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT) || (LIBSPDM_DEBUG_PRINT_ENABLE)
254 : 14 : hash_size = libspdm_get_hash_size(spdm_context->connection_info.algorithm.base_hash_algo);
255 : : #endif
256 : :
257 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
258 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
259 : : if (slot_id == 0xFF) {
260 : : result = libspdm_get_peer_public_key_buffer(
261 : : spdm_context, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
262 : : if (!result) {
263 : : return false;
264 : : }
265 : : } else {
266 : : libspdm_get_peer_cert_chain_buffer(
267 : : spdm_context, slot_id, (const void **)&cert_chain_buffer, &cert_chain_buffer_size);
268 : : }
269 : :
270 : : slot_id = session_info->local_used_cert_chain_slot_id;
271 : : LIBSPDM_ASSERT((slot_id < SPDM_MAX_SLOT_COUNT) || (slot_id == 0xFF));
272 : : if (slot_id == 0xFF) {
273 : : result = libspdm_get_local_public_key_buffer(
274 : : spdm_context, (const void **)&mut_cert_chain_buffer, &mut_cert_chain_buffer_size);
275 : : if (!result) {
276 : : return false;
277 : : }
278 : : } else {
279 : : libspdm_get_local_cert_chain_buffer(
280 : : spdm_context, slot_id, (const void **)&mut_cert_chain_buffer,
281 : : &mut_cert_chain_buffer_size);
282 : : }
283 : :
284 : : result = libspdm_calculate_th_for_finish(
285 : : spdm_context, session_info, cert_chain_buffer,
286 : : cert_chain_buffer_size, mut_cert_chain_buffer,
287 : : mut_cert_chain_buffer_size, &th_curr);
288 : : if (!result) {
289 : : return false;
290 : : }
291 : : th_curr_data = libspdm_get_managed_buffer(&th_curr);
292 : : th_curr_data_size = libspdm_get_managed_buffer_size(&th_curr);
293 : :
294 : : /* Debug code only - required for debug print of th_curr below*/
295 : : LIBSPDM_DEBUG_CODE(
296 : : if (!libspdm_hash_all(
297 : : spdm_context->connection_info.algorithm.base_hash_algo,
298 : : th_curr_data, th_curr_data_size, hash_data)) {
299 : : return false;
300 : : }
301 : : );
302 : : #else
303 : 14 : result = libspdm_calculate_th_hash_for_finish(
304 : : spdm_context, session_info, &hash_size, hash_data);
305 [ - + ]: 14 : if (!result) {
306 : 0 : return false;
307 : : }
308 : : #endif
309 : 14 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "th_curr hash - "));
310 : 14 : LIBSPDM_INTERNAL_DUMP_DATA(hash_data, hash_size);
311 : 14 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "\n"));
312 : :
313 : : #if LIBSPDM_RECORD_TRANSCRIPT_DATA_SUPPORT
314 : : result = libspdm_requester_data_sign(
315 : : spdm_context,
316 : : spdm_context->connection_info.version,
317 : : libspdm_slot_id_to_key_pair_id(spdm_context, slot_id, true),
318 : : SPDM_FINISH,
319 : : spdm_context->connection_info.algorithm.req_base_asym_alg,
320 : : spdm_context->connection_info.algorithm.req_pqc_asym_alg,
321 : : spdm_context->connection_info.algorithm.base_hash_algo,
322 : : false, th_curr_data, th_curr_data_size, signature, &signature_size);
323 : : #else
324 : 28 : result = libspdm_requester_data_sign(
325 : : spdm_context,
326 : 14 : spdm_context->connection_info.version,
327 : 14 : libspdm_slot_id_to_key_pair_id(spdm_context, slot_id, true),
328 : : SPDM_FINISH,
329 : 14 : spdm_context->connection_info.algorithm.req_base_asym_alg,
330 : : spdm_context->connection_info.algorithm.req_pqc_asym_alg,
331 : : spdm_context->connection_info.algorithm.base_hash_algo,
332 : : true, hash_data, hash_size, signature, &signature_size);
333 : : #endif
334 [ + - ]: 14 : if (result) {
335 : 14 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "signature - "));
336 : 14 : LIBSPDM_INTERNAL_DUMP_DATA(signature, signature_size);
337 : 14 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "\n"));
338 : : }
339 : :
340 : 14 : return result;
341 : : }
342 : : #endif /* LIBSPDM_ENABLE_CAPABILITY_MUT_AUTH_CAP */
343 : :
344 : : /**
345 : : * This function sends FINISH and receives FINISH_RSP for SPDM finish.
346 : : *
347 : : * @param spdm_context A pointer to the SPDM context.
348 : : * @param session_id session_id to the FINISH request.
349 : : * @param req_slot_id_param req_slot_id_param to the FINISH request.
350 : : **/
351 : 98 : static libspdm_return_t libspdm_try_send_receive_finish(
352 : : libspdm_context_t *spdm_context,
353 : : uint32_t session_id,
354 : : uint8_t req_slot_id_param,
355 : : const void *requester_opaque_data,
356 : : size_t requester_opaque_data_size,
357 : : void *responder_opaque_data,
358 : : size_t *responder_opaque_data_size)
359 : : {
360 : : libspdm_return_t status;
361 : : libspdm_finish_request_mine_t *spdm_request;
362 : : size_t spdm_request_size;
363 : : size_t signature_size;
364 : : size_t hmac_size;
365 : : libspdm_finish_response_mine_t *spdm_response;
366 : : size_t spdm_response_size;
367 : : libspdm_session_info_t *session_info;
368 : : uint8_t *ptr;
369 : : bool result;
370 : : uint8_t th2_hash_data[LIBSPDM_MAX_HASH_SIZE];
371 : : libspdm_session_state_t session_state;
372 : : uint8_t *message;
373 : : size_t message_size;
374 : : size_t transport_header_size;
375 : : size_t opaque_data_entry_size;
376 : : size_t opaque_data_size;
377 : :
378 : : /* -=[Check Parameters Phase]=- */
379 [ - + ]: 98 : if (libspdm_get_connection_version(spdm_context) < SPDM_MESSAGE_VERSION_11) {
380 : 0 : return LIBSPDM_STATUS_UNSUPPORTED_CAP;
381 : : }
382 : :
383 : 98 : session_info = libspdm_get_session_info_via_session_id(spdm_context, session_id);
384 [ - + ]: 98 : if (session_info == NULL) {
385 : 0 : status = LIBSPDM_STATUS_INVALID_PARAMETER;
386 : 0 : goto error;
387 : : }
388 : :
389 : : /* -=[Verify State Phase]=- */
390 [ + + ]: 98 : if (!libspdm_is_capabilities_flag_supported(
391 : : spdm_context, true,
392 : : SPDM_GET_CAPABILITIES_REQUEST_FLAGS_KEY_EX_CAP,
393 : : SPDM_GET_CAPABILITIES_RESPONSE_FLAGS_KEY_EX_CAP)) {
394 : 4 : status = LIBSPDM_STATUS_UNSUPPORTED_CAP;
395 : 4 : goto error;
396 : : }
397 : :
398 [ + + ]: 94 : if (spdm_context->connection_info.connection_state < LIBSPDM_CONNECTION_STATE_NEGOTIATED) {
399 : 4 : status = LIBSPDM_STATUS_INVALID_STATE_LOCAL;
400 : 4 : goto error;
401 : : }
402 : :
403 : 90 : session_state = libspdm_secured_message_get_session_state(
404 : : session_info->secured_message_context);
405 [ + + ]: 90 : if (session_state != LIBSPDM_SESSION_STATE_HANDSHAKING) {
406 : 2 : status = LIBSPDM_STATUS_INVALID_STATE_LOCAL;
407 : 2 : goto error;
408 : : }
409 [ + + ]: 88 : if (session_info->mut_auth_requested != 0) {
410 [ - + - - ]: 16 : if ((req_slot_id_param >= SPDM_MAX_SLOT_COUNT) && (req_slot_id_param != 0xFF)) {
411 : 0 : status = LIBSPDM_STATUS_INVALID_PARAMETER;
412 : 0 : goto error;
413 : : }
414 [ + - ]: 16 : if ((req_slot_id_param != 0xFF) &&
415 [ + + ]: 16 : (spdm_context->local_context.local_cert_chain_provision[req_slot_id_param] == NULL)) {
416 : 2 : status = LIBSPDM_STATUS_INVALID_PARAMETER;
417 : 2 : goto error;
418 : : }
419 : : } else {
420 [ - + ]: 72 : if (req_slot_id_param != 0) {
421 : 0 : status = LIBSPDM_STATUS_INVALID_PARAMETER;
422 : 0 : goto error;
423 : : }
424 : : }
425 : :
426 : : /* -=[Construct Request Phase]=- */
427 : 86 : transport_header_size = spdm_context->local_context.capability.transport_header_size;
428 : 86 : status = libspdm_acquire_sender_buffer (spdm_context, &message_size, (void **)&message);
429 [ - + ]: 86 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
430 : 0 : goto error;
431 : : }
432 : 86 : LIBSPDM_ASSERT (message_size >= transport_header_size +
433 : : spdm_context->local_context.capability.transport_tail_size);
434 : 86 : spdm_request = (void *)(message + transport_header_size);
435 : 86 : spdm_request_size = message_size - transport_header_size -
436 : 86 : spdm_context->local_context.capability.transport_tail_size;
437 : :
438 : 86 : LIBSPDM_ASSERT(spdm_request_size >= sizeof(spdm_request->header));
439 : 86 : spdm_request->header.spdm_version = libspdm_get_connection_version (spdm_context);
440 : 86 : spdm_request->header.request_response_code = SPDM_FINISH;
441 : 86 : spdm_request->header.param1 = 0;
442 : 86 : spdm_request->header.param2 = 0;
443 : :
444 : 86 : ptr = (uint8_t *)spdm_request + sizeof(spdm_finish_request_t);
445 [ + + ]: 86 : if (libspdm_get_connection_version(spdm_context) >= SPDM_MESSAGE_VERSION_14) {
446 [ - + ]: 4 : if (requester_opaque_data != NULL) {
447 : 0 : LIBSPDM_ASSERT(requester_opaque_data_size <= SPDM_MAX_OPAQUE_DATA_SIZE);
448 : 0 : LIBSPDM_ASSERT (spdm_request_size >= sizeof(spdm_finish_request_t) +
449 : : sizeof(uint16_t) + requester_opaque_data_size);
450 : :
451 : 0 : libspdm_write_uint16(ptr, (uint16_t)requester_opaque_data_size);
452 : 0 : ptr += sizeof(uint16_t);
453 : :
454 : 0 : libspdm_copy_mem(ptr,
455 : : (spdm_request_size - (sizeof(spdm_finish_request_t) +
456 : : sizeof(uint16_t))),
457 : : requester_opaque_data, requester_opaque_data_size);
458 : 0 : opaque_data_size = requester_opaque_data_size;
459 : : } else {
460 : 4 : opaque_data_size = 0;
461 : 4 : LIBSPDM_ASSERT (spdm_request_size >= sizeof(spdm_finish_request_t) +
462 : : sizeof(uint16_t) + opaque_data_size);
463 : :
464 : 4 : libspdm_write_uint16(ptr, (uint16_t)opaque_data_size);
465 : 4 : ptr += sizeof(uint16_t);
466 : : }
467 : 4 : ptr += opaque_data_size;
468 : 4 : opaque_data_entry_size = sizeof(uint16_t) + opaque_data_size;
469 : : } else {
470 : 82 : opaque_data_entry_size = 0;
471 : : }
472 : :
473 : 86 : signature_size = 0;
474 : : #if LIBSPDM_ENABLE_CAPABILITY_MUT_AUTH_CAP
475 [ + + ]: 86 : if (session_info->mut_auth_requested != 0) {
476 : 14 : spdm_request->header.param1 = SPDM_FINISH_REQUEST_ATTRIBUTES_SIGNATURE_INCLUDED;
477 : 14 : spdm_request->header.param2 = req_slot_id_param;
478 [ - + ]: 14 : if (spdm_context->connection_info.algorithm.req_pqc_asym_alg != 0) {
479 : 0 : signature_size = libspdm_get_req_pqc_asym_signature_size(
480 : : spdm_context->connection_info.algorithm.req_pqc_asym_alg);
481 : : } else {
482 : 14 : signature_size = libspdm_get_req_asym_signature_size(
483 : 14 : spdm_context->connection_info.algorithm.req_base_asym_alg);
484 : : }
485 : : }
486 : : #endif
487 : :
488 : 86 : session_info->local_used_cert_chain_slot_id = req_slot_id_param;
489 : :
490 : 86 : hmac_size = libspdm_get_hash_size(spdm_context->connection_info.algorithm.base_hash_algo);
491 : 86 : LIBSPDM_ASSERT (spdm_request_size >= sizeof(spdm_finish_request_t) + opaque_data_entry_size +
492 : : signature_size + hmac_size);
493 : 86 : spdm_request_size = sizeof(spdm_finish_request_t) + opaque_data_entry_size +
494 : 86 : signature_size + hmac_size;
495 : :
496 : 86 : status = libspdm_append_message_f(spdm_context, session_info, true, (uint8_t *)spdm_request,
497 : 86 : spdm_request_size - signature_size - hmac_size);
498 [ - + ]: 86 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
499 : 0 : libspdm_release_sender_buffer (spdm_context);
500 : 0 : goto error;
501 : : }
502 : : #if LIBSPDM_ENABLE_CAPABILITY_MUT_AUTH_CAP
503 [ + + ]: 86 : if (session_info->mut_auth_requested != 0) {
504 : 14 : result = libspdm_generate_finish_req_signature(
505 : : spdm_context, session_info, req_slot_id_param, ptr);
506 [ - + ]: 14 : if (!result) {
507 : 0 : libspdm_release_sender_buffer (spdm_context);
508 : 0 : status = LIBSPDM_STATUS_CRYPTO_ERROR;
509 : 0 : goto error;
510 : : }
511 : 14 : status = libspdm_append_message_f(spdm_context, session_info, true, ptr, signature_size);
512 [ - + ]: 14 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
513 : 0 : libspdm_release_sender_buffer (spdm_context);
514 : 0 : goto error;
515 : : }
516 : 14 : ptr += signature_size;
517 : : }
518 : : #endif
519 : :
520 : 86 : result = libspdm_generate_finish_req_hmac(spdm_context, session_info, ptr);
521 [ - + ]: 86 : if (!result) {
522 : 0 : libspdm_release_sender_buffer (spdm_context);
523 : 0 : status = LIBSPDM_STATUS_CRYPTO_ERROR;
524 : 0 : goto error;
525 : : }
526 : :
527 : 86 : status = libspdm_append_message_f(spdm_context, session_info, true, ptr, hmac_size);
528 [ - + ]: 86 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
529 : 0 : libspdm_release_sender_buffer (spdm_context);
530 : 0 : goto error;
531 : : }
532 : :
533 : : /* -=[Send Request Phase]=- */
534 : 86 : status = libspdm_send_spdm_request(spdm_context, &session_id, spdm_request_size, spdm_request);
535 [ + + ]: 86 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
536 : 2 : libspdm_release_sender_buffer (spdm_context);
537 : 2 : goto error;
538 : : }
539 : :
540 : 84 : libspdm_reset_message_buffer_via_request_code(spdm_context, session_info, SPDM_FINISH);
541 : :
542 : 84 : libspdm_release_sender_buffer (spdm_context);
543 : 84 : spdm_request = (void *)spdm_context->last_spdm_request;
544 : :
545 : : /* -=[Receive Response Phase]=- */
546 : 84 : status = libspdm_acquire_receiver_buffer (spdm_context, &message_size, (void **)&message);
547 [ - + ]: 84 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
548 : 0 : goto error;
549 : : }
550 : 84 : LIBSPDM_ASSERT (message_size >= transport_header_size);
551 : 84 : spdm_response = (void *)(message);
552 : 84 : spdm_response_size = message_size;
553 : :
554 : 84 : status = libspdm_receive_spdm_response(
555 : : spdm_context, &session_id, &spdm_response_size, (void **)&spdm_response);
556 [ - + ]: 84 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
557 : 0 : goto receive_done;
558 : : }
559 : :
560 : : /* -=[Validate Response Phase]=- */
561 [ - + ]: 84 : if (spdm_response_size < sizeof(spdm_message_header_t)) {
562 : 0 : status = LIBSPDM_STATUS_INVALID_MSG_SIZE;
563 : 0 : goto receive_done;
564 : : }
565 [ + + ]: 84 : if (spdm_response->header.request_response_code == SPDM_ERROR) {
566 [ + + ]: 50 : if (spdm_response->header.param1 == SPDM_ERROR_CODE_DECRYPT_ERROR) {
567 : 4 : status = LIBSPDM_STATUS_SESSION_MSG_ERROR;
568 : 4 : goto receive_done;
569 : : }
570 [ + + ]: 46 : if (spdm_response->header.param1 != SPDM_ERROR_CODE_RESPONSE_NOT_READY) {
571 : 42 : libspdm_reset_message_f (spdm_context, session_info);
572 : : }
573 : 46 : status = libspdm_handle_error_response_main(
574 : : spdm_context, &session_id,
575 : : &spdm_response_size, (void **)&spdm_response,
576 : : SPDM_FINISH, SPDM_FINISH_RSP);
577 [ + + ]: 46 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
578 : 44 : goto receive_done;
579 : : }
580 [ + + ]: 34 : } else if (spdm_response->header.request_response_code != SPDM_FINISH_RSP) {
581 : 2 : status = LIBSPDM_STATUS_INVALID_MSG_FIELD;
582 : 2 : goto receive_done;
583 : : }
584 [ + + ]: 34 : if (spdm_response->header.spdm_version != spdm_request->header.spdm_version) {
585 : 2 : status = LIBSPDM_STATUS_INVALID_MSG_FIELD;
586 : 2 : goto receive_done;
587 : : }
588 : :
589 [ + + ]: 32 : if (!libspdm_is_capabilities_flag_supported(
590 : : spdm_context, true,
591 : : SPDM_GET_CAPABILITIES_REQUEST_FLAGS_HANDSHAKE_IN_THE_CLEAR_CAP,
592 : : SPDM_GET_CAPABILITIES_RESPONSE_FLAGS_HANDSHAKE_IN_THE_CLEAR_CAP)) {
593 : 8 : hmac_size = 0;
594 : : }
595 : :
596 : 32 : ptr = (uint8_t *)spdm_response + sizeof(spdm_finish_response_t);
597 : :
598 [ + + ]: 32 : if (libspdm_get_connection_version(spdm_context) >= SPDM_MESSAGE_VERSION_14) {
599 [ - + ]: 4 : if (spdm_response_size < sizeof(spdm_finish_response_t) + sizeof(uint16_t) + hmac_size) {
600 : 0 : status = LIBSPDM_STATUS_INVALID_MSG_SIZE;
601 : 0 : goto receive_done;
602 : : }
603 : 4 : opaque_data_size = libspdm_read_uint16((const uint8_t *)ptr);
604 : 4 : ptr += sizeof(uint16_t);
605 [ - + ]: 4 : if (opaque_data_size > SPDM_MAX_OPAQUE_DATA_SIZE) {
606 : 0 : status = LIBSPDM_STATUS_INVALID_MSG_FIELD;
607 : 0 : goto receive_done;
608 : : }
609 : 4 : if (spdm_response_size < sizeof(spdm_finish_response_t) + sizeof(uint16_t) +
610 [ - + ]: 4 : opaque_data_size + hmac_size) {
611 : 0 : status = LIBSPDM_STATUS_INVALID_MSG_SIZE;
612 : 0 : goto receive_done;
613 : : }
614 : :
615 [ + + + - ]: 4 : if ((responder_opaque_data != NULL) && (responder_opaque_data_size != NULL)) {
616 [ - + ]: 2 : if (opaque_data_size > *responder_opaque_data_size) {
617 : 0 : status = LIBSPDM_STATUS_BUFFER_TOO_SMALL;
618 : 0 : goto receive_done;
619 : : }
620 : 2 : libspdm_copy_mem(responder_opaque_data, *responder_opaque_data_size,
621 : : ptr, opaque_data_size);
622 : 2 : *responder_opaque_data_size = opaque_data_size;
623 : : }
624 : :
625 : 4 : ptr += opaque_data_size;
626 : 4 : opaque_data_entry_size = sizeof(uint16_t) + opaque_data_size;
627 : : } else {
628 [ + + ]: 28 : if (spdm_response_size < sizeof(spdm_finish_response_t) + hmac_size) {
629 : 2 : status = LIBSPDM_STATUS_INVALID_MSG_SIZE;
630 : 2 : goto receive_done;
631 : : }
632 [ - + - - ]: 26 : if ((responder_opaque_data != NULL) && (responder_opaque_data_size != NULL)) {
633 : 0 : *responder_opaque_data_size = 0;
634 : : }
635 : 26 : opaque_data_entry_size = 0;
636 : : }
637 : 30 : spdm_response_size = sizeof(spdm_finish_response_t) + opaque_data_entry_size + hmac_size;
638 : :
639 : 30 : status = libspdm_append_message_f(spdm_context, session_info, true, spdm_response,
640 : : spdm_response_size - hmac_size);
641 [ - + ]: 30 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
642 : 0 : goto receive_done;
643 : : }
644 : :
645 [ + + ]: 30 : if (libspdm_is_capabilities_flag_supported(
646 : : spdm_context, true,
647 : : SPDM_GET_CAPABILITIES_REQUEST_FLAGS_HANDSHAKE_IN_THE_CLEAR_CAP,
648 : : SPDM_GET_CAPABILITIES_RESPONSE_FLAGS_HANDSHAKE_IN_THE_CLEAR_CAP)) {
649 : 22 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "verify_data (0x%zx):\n", hmac_size));
650 : 22 : LIBSPDM_INTERNAL_DUMP_HEX(ptr, hmac_size);
651 : 22 : result = libspdm_verify_finish_rsp_hmac(spdm_context, session_info,
652 : : ptr, hmac_size);
653 [ + + ]: 22 : if (!result) {
654 : 8 : status = LIBSPDM_STATUS_VERIF_FAIL;
655 : 8 : goto receive_done;
656 : : }
657 : :
658 : 14 : status = libspdm_append_message_f(
659 : : spdm_context, session_info, true,
660 : : ptr, hmac_size);
661 [ - + ]: 14 : if (LIBSPDM_STATUS_IS_ERROR(status)) {
662 : 0 : goto receive_done;
663 : : }
664 : : }
665 : :
666 : : /* -=[Process Response Phase]=- */
667 : 22 : LIBSPDM_DEBUG((LIBSPDM_DEBUG_INFO, "libspdm_generate_session_data_key[%x]\n", session_id));
668 : 22 : result = libspdm_calculate_th2_hash(spdm_context, session_info, true, th2_hash_data);
669 [ - + ]: 22 : if (!result) {
670 : 0 : status = LIBSPDM_STATUS_CRYPTO_ERROR;
671 : 0 : goto receive_done;
672 : : }
673 : 22 : result = libspdm_generate_session_data_key(
674 : : session_info->secured_message_context, th2_hash_data);
675 [ - + ]: 22 : if (!result) {
676 : 0 : status = LIBSPDM_STATUS_CRYPTO_ERROR;
677 : 0 : goto receive_done;
678 : : }
679 : :
680 : : /* -=[Update State Phase]=- */
681 : 22 : libspdm_secured_message_set_session_state(
682 : : session_info->secured_message_context, LIBSPDM_SESSION_STATE_ESTABLISHED);
683 : :
684 : : /* -=[Log Message Phase]=- */
685 : : #if LIBSPDM_ENABLE_MSG_LOG
686 : 22 : libspdm_append_msg_log(spdm_context, spdm_response, spdm_response_size);
687 : : #endif /* LIBSPDM_ENABLE_MSG_LOG */
688 : :
689 : 22 : libspdm_release_receiver_buffer (spdm_context);
690 : :
691 : 22 : return LIBSPDM_STATUS_SUCCESS;
692 : :
693 : 62 : receive_done:
694 : 62 : libspdm_release_receiver_buffer (spdm_context);
695 : 76 : error:
696 [ + + ]: 76 : if (status != LIBSPDM_STATUS_BUSY_PEER) {
697 : 72 : libspdm_free_session_id(spdm_context, session_id);
698 : : }
699 : :
700 : 76 : return status;
701 : : }
702 : :
703 : 90 : libspdm_return_t libspdm_send_receive_finish(libspdm_context_t *spdm_context,
704 : : uint32_t session_id,
705 : : uint8_t req_slot_id_param)
706 : : {
707 : : size_t retry;
708 : : uint64_t retry_delay_time;
709 : : libspdm_return_t status;
710 : :
711 : 90 : spdm_context->crypto_request = true;
712 : 90 : retry = spdm_context->retry_times;
713 : 90 : retry_delay_time = spdm_context->retry_delay_time;
714 : : do {
715 : 92 : status = libspdm_try_send_receive_finish(spdm_context, session_id,
716 : : req_slot_id_param,
717 : : NULL, 0, NULL, NULL);
718 [ + + ]: 92 : if (status != LIBSPDM_STATUS_BUSY_PEER) {
719 : 88 : return status;
720 : : }
721 : :
722 : 4 : libspdm_sleep(retry_delay_time);
723 [ + + ]: 4 : } while (retry-- != 0);
724 : :
725 : 2 : return status;
726 : : }
727 : :
728 : 6 : libspdm_return_t libspdm_send_receive_finish_ex(
729 : : libspdm_context_t *spdm_context,
730 : : uint32_t session_id,
731 : : uint8_t req_slot_id_param,
732 : : const void *requester_opaque_data,
733 : : size_t requester_opaque_data_size,
734 : : void *responder_opaque_data,
735 : : size_t *responder_opaque_data_size)
736 : : {
737 : : size_t retry;
738 : : uint64_t retry_delay_time;
739 : : libspdm_return_t status;
740 : :
741 : 6 : spdm_context->crypto_request = true;
742 : 6 : retry = spdm_context->retry_times;
743 : 6 : retry_delay_time = spdm_context->retry_delay_time;
744 : : do {
745 : 6 : status = libspdm_try_send_receive_finish(spdm_context, session_id,
746 : : req_slot_id_param,
747 : : requester_opaque_data,
748 : : requester_opaque_data_size,
749 : : responder_opaque_data,
750 : : responder_opaque_data_size);
751 [ + - ]: 6 : if (status != LIBSPDM_STATUS_BUSY_PEER) {
752 : 6 : return status;
753 : : }
754 : :
755 : 0 : libspdm_sleep(retry_delay_time);
756 [ # # ]: 0 : } while (retry-- != 0);
757 : :
758 : 0 : return status;
759 : : }
760 : :
761 : : #endif /* LIBSPDM_ENABLE_CAPABILITY_KEY_EX_CAP*/
|
