Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 1 | /* |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 2 | * Copyright (c) 2018-2020, Arm Limited. All rights reserved. |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
Jamie Fox | cc31d40 | 2019-01-28 17:13:52 +0000 | [diff] [blame] | 8 | #include "psa/initial_attestation.h" |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 9 | #include "tfm_veneers.h" |
Antonio de Angelis | 05b2419 | 2019-07-04 15:28:46 +0100 | [diff] [blame] | 10 | #include "tfm_ns_interface.h" |
Jamie Fox | cc31d40 | 2019-01-28 17:13:52 +0000 | [diff] [blame] | 11 | #include "psa/client.h" |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 12 | #include "psa/crypto_types.h" |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 13 | #include "psa_manifest/sid.h" |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 14 | |
| 15 | #define IOVEC_LEN(x) (sizeof(x)/sizeof(x[0])) |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 16 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 17 | psa_status_t |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 18 | psa_initial_attest_get_token(const uint8_t *challenge_obj, |
| 19 | uint32_t challenge_size, |
| 20 | uint8_t *token, |
| 21 | uint32_t *token_size) |
| 22 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 23 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 24 | psa_status_t status; |
Kevin Peng | 9449a36 | 2019-07-29 16:05:42 +0800 | [diff] [blame] | 25 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 26 | psa_invec in_vec[] = { |
| 27 | {challenge_obj, challenge_size} |
| 28 | }; |
| 29 | psa_outvec out_vec[] = { |
| 30 | {token, *token_size} |
| 31 | }; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 32 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 33 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 34 | TFM_ATTEST_GET_TOKEN_VERSION); |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 35 | if (!PSA_HANDLE_IS_VALID(handle)) { |
| 36 | return PSA_HANDLE_TO_ERROR(handle); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 37 | } |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 38 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 39 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 40 | in_vec, IOVEC_LEN(in_vec), |
| 41 | out_vec, IOVEC_LEN(out_vec)); |
| 42 | psa_close(handle); |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 43 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 44 | if (status == PSA_SUCCESS) { |
| 45 | *token_size = out_vec[0].len; |
| 46 | } |
| 47 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 48 | return status; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 49 | } |
| 50 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 51 | psa_status_t |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 52 | psa_initial_attest_get_token_size(uint32_t challenge_size, |
| 53 | uint32_t *token_size) |
| 54 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 55 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 56 | psa_status_t status; |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 57 | psa_invec in_vec[] = { |
| 58 | {&challenge_size, sizeof(challenge_size)} |
| 59 | }; |
| 60 | psa_outvec out_vec[] = { |
| 61 | {token_size, sizeof(uint32_t)} |
| 62 | }; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 63 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 64 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SIZE_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 65 | TFM_ATTEST_GET_TOKEN_SIZE_VERSION); |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 66 | if (!PSA_HANDLE_IS_VALID(handle)) { |
| 67 | return PSA_HANDLE_TO_ERROR(handle); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 68 | } |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 69 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 70 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 71 | in_vec, IOVEC_LEN(in_vec), |
| 72 | out_vec, IOVEC_LEN(out_vec)); |
| 73 | psa_close(handle); |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 74 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 75 | return status; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 76 | } |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 77 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 78 | psa_status_t |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 79 | tfm_initial_attest_get_public_key(uint8_t *public_key, |
| 80 | size_t public_key_buf_size, |
| 81 | size_t *public_key_len, |
| 82 | psa_ecc_curve_t *elliptic_curve_type) |
| 83 | { |
| 84 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 85 | psa_status_t status; |
| 86 | |
| 87 | psa_outvec out_vec[] = { |
| 88 | {.base = public_key, .len = public_key_buf_size}, |
| 89 | {.base = elliptic_curve_type, .len = sizeof(*elliptic_curve_type)}, |
| 90 | {.base = public_key_len, .len = sizeof(*public_key_len)} |
| 91 | }; |
| 92 | |
| 93 | handle = psa_connect(TFM_ATTEST_GET_PUBLIC_KEY_SID, |
| 94 | TFM_ATTEST_GET_PUBLIC_KEY_VERSION); |
| 95 | if (!PSA_HANDLE_IS_VALID(handle)) { |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 96 | return PSA_HANDLE_TO_ERROR(handle); |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | status = psa_call(handle, PSA_IPC_CALL, |
| 100 | NULL, 0, |
| 101 | out_vec, IOVEC_LEN(out_vec)); |
| 102 | psa_close(handle); |
| 103 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame^] | 104 | return status; |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 105 | } |