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 |
Raef Coles | 70a02da | 2019-10-09 11:32:04 +0100 | [diff] [blame^] | 18 | psa_initial_attest_get_token(const uint8_t *auth_challenge, |
| 19 | size_t challenge_size, |
| 20 | uint8_t *token_buf, |
| 21 | size_t token_buf_size, |
| 22 | size_t *token_size) |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 23 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 24 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 25 | psa_status_t status; |
Kevin Peng | 9449a36 | 2019-07-29 16:05:42 +0800 | [diff] [blame] | 26 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 27 | psa_invec in_vec[] = { |
Raef Coles | 70a02da | 2019-10-09 11:32:04 +0100 | [diff] [blame^] | 28 | {auth_challenge, challenge_size} |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 29 | }; |
| 30 | psa_outvec out_vec[] = { |
Raef Coles | 70a02da | 2019-10-09 11:32:04 +0100 | [diff] [blame^] | 31 | {token_buf, token_buf_size} |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 32 | }; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 33 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 34 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 35 | TFM_ATTEST_GET_TOKEN_VERSION); |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 36 | if (!PSA_HANDLE_IS_VALID(handle)) { |
| 37 | return PSA_HANDLE_TO_ERROR(handle); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 38 | } |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 39 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 40 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 41 | in_vec, IOVEC_LEN(in_vec), |
| 42 | out_vec, IOVEC_LEN(out_vec)); |
| 43 | psa_close(handle); |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 44 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 45 | if (status == PSA_SUCCESS) { |
| 46 | *token_size = out_vec[0].len; |
| 47 | } |
| 48 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 49 | return status; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 50 | } |
| 51 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 52 | psa_status_t |
Raef Coles | 70a02da | 2019-10-09 11:32:04 +0100 | [diff] [blame^] | 53 | psa_initial_attest_get_token_size(size_t challenge_size, |
| 54 | size_t *token_size) |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 55 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 56 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 57 | psa_status_t status; |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 58 | psa_invec in_vec[] = { |
| 59 | {&challenge_size, sizeof(challenge_size)} |
| 60 | }; |
| 61 | psa_outvec out_vec[] = { |
Raef Coles | 70a02da | 2019-10-09 11:32:04 +0100 | [diff] [blame^] | 62 | {token_size, sizeof(size_t)} |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 63 | }; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 64 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 65 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SIZE_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 66 | TFM_ATTEST_GET_TOKEN_SIZE_VERSION); |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 67 | if (!PSA_HANDLE_IS_VALID(handle)) { |
| 68 | return PSA_HANDLE_TO_ERROR(handle); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 69 | } |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 70 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 71 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 72 | in_vec, IOVEC_LEN(in_vec), |
| 73 | out_vec, IOVEC_LEN(out_vec)); |
| 74 | psa_close(handle); |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 75 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 76 | return status; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 77 | } |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 78 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 79 | psa_status_t |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 80 | tfm_initial_attest_get_public_key(uint8_t *public_key, |
| 81 | size_t public_key_buf_size, |
| 82 | size_t *public_key_len, |
| 83 | psa_ecc_curve_t *elliptic_curve_type) |
| 84 | { |
| 85 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 86 | psa_status_t status; |
| 87 | |
| 88 | psa_outvec out_vec[] = { |
| 89 | {.base = public_key, .len = public_key_buf_size}, |
| 90 | {.base = elliptic_curve_type, .len = sizeof(*elliptic_curve_type)}, |
| 91 | {.base = public_key_len, .len = sizeof(*public_key_len)} |
| 92 | }; |
| 93 | |
| 94 | handle = psa_connect(TFM_ATTEST_GET_PUBLIC_KEY_SID, |
| 95 | TFM_ATTEST_GET_PUBLIC_KEY_VERSION); |
| 96 | if (!PSA_HANDLE_IS_VALID(handle)) { |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 97 | return PSA_HANDLE_TO_ERROR(handle); |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | status = psa_call(handle, PSA_IPC_CALL, |
| 101 | NULL, 0, |
| 102 | out_vec, IOVEC_LEN(out_vec)); |
| 103 | psa_close(handle); |
| 104 | |
Raef Coles | 793574c | 2019-10-09 10:59:42 +0100 | [diff] [blame] | 105 | return status; |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 106 | } |