Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 1 | /* |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 2 | * Copyright (c) 2018-2019, 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 | |
| 17 | enum psa_attest_err_t |
| 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); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 35 | if (handle <= 0) { |
| 36 | return PSA_ATTEST_ERR_GENERAL; |
| 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 | return PSA_ATTEST_ERR_GENERAL; |
| 46 | } |
| 47 | |
| 48 | if (status == PSA_SUCCESS) { |
| 49 | *token_size = out_vec[0].len; |
| 50 | } |
| 51 | |
| 52 | return (enum psa_attest_err_t)status; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 53 | } |
| 54 | |
| 55 | enum psa_attest_err_t |
| 56 | psa_initial_attest_get_token_size(uint32_t challenge_size, |
| 57 | uint32_t *token_size) |
| 58 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 59 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 60 | psa_status_t status; |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 61 | psa_invec in_vec[] = { |
| 62 | {&challenge_size, sizeof(challenge_size)} |
| 63 | }; |
| 64 | psa_outvec out_vec[] = { |
| 65 | {token_size, sizeof(uint32_t)} |
| 66 | }; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 67 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 68 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SIZE_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 69 | TFM_ATTEST_GET_TOKEN_SIZE_VERSION); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 70 | if (handle <= 0) { |
| 71 | return PSA_ATTEST_ERR_GENERAL; |
| 72 | } |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 73 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 74 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 75 | in_vec, IOVEC_LEN(in_vec), |
| 76 | out_vec, IOVEC_LEN(out_vec)); |
| 77 | psa_close(handle); |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 78 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 79 | if (status < PSA_SUCCESS) { |
| 80 | return PSA_ATTEST_ERR_GENERAL; |
| 81 | } |
| 82 | |
| 83 | return (enum psa_attest_err_t)status; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 84 | } |
David Vincze | ff6da53 | 2019-11-21 00:19:50 +0100 | [diff] [blame] | 85 | |
| 86 | enum psa_attest_err_t |
| 87 | tfm_initial_attest_get_public_key(uint8_t *public_key, |
| 88 | size_t public_key_buf_size, |
| 89 | size_t *public_key_len, |
| 90 | psa_ecc_curve_t *elliptic_curve_type) |
| 91 | { |
| 92 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 93 | psa_status_t status; |
| 94 | |
| 95 | psa_outvec out_vec[] = { |
| 96 | {.base = public_key, .len = public_key_buf_size}, |
| 97 | {.base = elliptic_curve_type, .len = sizeof(*elliptic_curve_type)}, |
| 98 | {.base = public_key_len, .len = sizeof(*public_key_len)} |
| 99 | }; |
| 100 | |
| 101 | handle = psa_connect(TFM_ATTEST_GET_PUBLIC_KEY_SID, |
| 102 | TFM_ATTEST_GET_PUBLIC_KEY_VERSION); |
| 103 | if (!PSA_HANDLE_IS_VALID(handle)) { |
| 104 | return PSA_ATTEST_ERR_GENERAL; |
| 105 | } |
| 106 | |
| 107 | status = psa_call(handle, PSA_IPC_CALL, |
| 108 | NULL, 0, |
| 109 | out_vec, IOVEC_LEN(out_vec)); |
| 110 | psa_close(handle); |
| 111 | |
| 112 | return (enum psa_attest_err_t)status; |
| 113 | } |