mbedtls/docs/psa-driver-example-and-guide.md
2023-04-28 17:54:15 +01:00

12 KiB

PSA Cryptoprocessor driver development examples

As of Mbed TLS 3.3.0, the PSA Driver Interface has only been partially implemented. As a result, the deliverables for writing a driver and the method for integrating a driver with Mbed TLS will vary depending on the operation being accelerated. This document describes how to write and integrate cryptoprocessor drivers depending on which operation or driver type is being implemented.

The docs/proposed/ directory contains three documents which pertain to the proposed, work-in-progress driver system. The PSA Driver Interface describes how drivers will interface with Mbed TLS in the future, as well as driver types, operation types, and entry points. As many key terms and concepts used in the examples in this document are defined in the PSA Driver Interface, it is recommended that developers read it prior to starting work on implementing drivers. The PSA Driver Developer Guide describes the deliverables for writing a driver that can be used with Mbed TLS, and the PSA Driver Integration Guide describes how a driver can be built alongside Mbed TLS.

Background on how Mbed TLS calls drivers

The PSA Driver Interface specification specifies which cryptographic operations can be accelerated by third-party drivers. Operations that are completed within one step (one function call), such as verifying a signature, are called Single-Part Operations. On the other hand, operations that consist of multiple steps implemented by different functions called sequentially are called Multi-Part Operations. Single-part operations implemented by a driver will have one entry point, while multi-part operations will have multiple: one for each step.

There are two types of drivers: transparent or opaque. See below an excerpt from the PSA Driver Interface specification defining them:

  • Transparent drivers implement cryptographic operations on keys that are provided in cleartext at the beginning of each operation. They are typically used for hardware accelerators. When a transparent driver is available for a particular combination of parameters (cryptographic algorithm, key type and size, etc.), it is used instead of the default software implementation. Transparent drivers can also be pure software implementations that are distributed as plug-ins to a PSA Cryptography implementation (for example, an alternative implementation with different performance characteristics, or a certified implementation).
  • Opaque drivers implement cryptographic operations on keys that can only be used inside a protected environment such as a secure element, a hardware security module, a smartcard, a secure enclave, etc. An opaque driver is invoked for the specific key location that the driver is registered for: the dispatch is based on the key's lifetime.

Mbed TLS contains a driver dispatch layer (also called a driver wrapper layer). For each cryptographic operation that supports driver acceleration (or sub-part of a multi-part operation), the library calls the corresponding function in the driver wrapper. Using flags set at compile time, the driver wrapper ascertains whether any present drivers support the operation. When no such driver is present, the built-in library implementation is called as a fallback (if allowed). When a compatible driver is present, the driver wrapper calls the driver entry point function provided by the driver author.

The long-term goal is for the driver dispatch layer to be auto-generated using a JSON driver description file provided by the driver author. For some cryptographic operations, this auto-generation logic has already been implemented. When accelerating these operations, the instructions in the above documents can be followed. For the remaining operations which do not yet support auto-generation of the driver wrapper, developers will have to manually edit the driver dispatch layer and call their driver's entry point functions from there.

Auto-generation of the driver wrapper is supported for the operation entry points specified in the table below. Certain operations are only permitted for opaque drivers. All other operation entry points do not support auto-generation of the driver wrapper.

Transparent Driver Opaque Driver
import_key import_key
export_key export_key
export_public_key export_public_key
copy_key
get_builtin_key

Process for Entry Points where auto-generation is implemented

If the driver is accelerating operations whose entry points are in the above table, the instructions in the driver developer and integration guides should be followed.

TODO: Provide brief summary of the method using the Mbed TLS test driver as an example

Process for Entry Points where auto-generation is not implemented

If the driver is accelerating operations whose entry points are not present in the table, a different process is followed where the developer manually edits the driver dispatch layer. In general, the following steps must be taken for each single-part operation or for each sub-part of a multi-part operation:

1. Choose a driver prefix and a macro name that indicates whether the driver is enabled
A driver prefix is simply a word (often the name of the driver) that all functions/macros associated with the driver should begin with. This is similar to how most functions/macros in Mbed TLS begin with PSA_XXX/psa_xx or MBEDTLS_XXX/mbedtls_xxx. The macro name can follow the form DRIVER_PREFIX_ENABLED or something similar; it will be used to indicate the driver is available to be called. When building with the driver present, define this macro at compile time. For example, when using make, this is done using the -D flag.

2. Locate the function in the driver dispatch layer that corresponds to the entry point of the operation being accelerated.
The file psa_crypto_driver_wrappers.c.jinja contains the driver wrapper functions. For the entry points that have driver wrapper auto-generation implemented, the functions have been replaced with jinja templating logic. While the file has a .jinja extension, the driver wrapper functions for the remaining entry points are simple C functions. The names of these functions are of the form psa_driver_wrapper followed by the entry point name. So, for example, the function psa_driver_wrapper_sign_hash() corresponds to the sign_hash entry point.

3. If a driver entry point function has been provided then ensure it has the same signature as the driver wrapper function.
If one has not been provided then write one. Its name should begin with the driver prefix, followed by transparent/opaque (depending on driver type), and end with the entry point name. It should have the same signature as the driver wrapper function. The purpose of the entry point function is to take arguments in PSA format for the implemented operation and return outputs/status codes in PSA format.
Return Codes:

  • PSA_SUCCESS: Successful Execution
  • PSA_ERROR_NOT_SUPPORTED: Input arguments are correct, but the driver does not support the operation. If a transparent driver returns this

4. Include the following in one of the driver header files:

#if defined(DRIVER_PREFIX_ENABLED)
#ifndef PSA_CRYPTO_ACCELERATOR_DRIVER_PRESENT
#define PSA_CRYPTO_ACCELERATOR_DRIVER_PRESENT
#endif

5. Conditionally include header files required by the driver Include any header files required by the driver in psa_crypto_driver_wrappers.h, placing the #include statements within an #if defined block which checks if the driver is available:

#if defined(DRIVER_PREFIX_ENABLED)
#include ...
#endif

6. Modify the driver wrapper function
Each driver wrapper function contains a switch statement which checks the location of the key. If the key is stored in local storage, then operations are performed by a transparent driver. If it is stored elsewhere, then operations are performed by an opaque driver.

  • Transparent drivers: Calls to driver entry points go under case PSA_KEY_LOCATION_LOCAL_STORAGE.
  • Opaque Drivers Calls to driver entry points go in a separate case block corresponding to the key location.

The diagram below shows the layout of a driver wrapper function which can dispatch to two transparent drivers Foo and Bar, and one opaque driver Baz.

psa_driver_wrapper_xxx()
├── switch(location)
|   |
│   ├── case PSA_KEY_LOCATION_LOCAL_STORAGE //transparent driver
|   |   ├── #if defined(PSA_CRYPTO_ACCELERATOR_DRIVER_PRESENT)
|   |   |   ├── #if defined(FOO_DRIVER_PREFIX_ENABLED)
|   |   |   |   ├── if(//conditions for foo driver capibilities)
|   |   |   |   ├── foo_driver_transparent_xxx() //call to driver entry point
|   |   |   |   ├── if (status != PSA_ERROR_NOT_SUPPORTED) return status
|   |   |   ├── #endif
|   |   |   ├── #if defined(BAR_DRIVER_PREFIX_ENABLED)
|   |   |   |   ├── if(//conditions for bar driver capibilities)
|   |   |   |   ├── bar_driver_transparent_xxx() //call to driver entry point
|   |   |   |   ├── if (status != PSA_ERROR_NOT_SUPPORTED) return status
|   |   |   ├── #endif
|   |   ├── #endif
|   |
│   ├── case SECURE_ELEMENT_LOCATION //opaque driver
|   |   ├── #if defined(PSA_CRYPTO_ACCELERATOR_DRIVER_PRESENT)
|   |   |   ├── #if defined(BAZ_DRIVER_PREFIX_ENABLED)
|   |   |   |   ├── if(//conditions for baz driver capibilities)
|   |   |   |   ├── baz_driver_opaque_xxx() //call to driver entry point
|   |   |   |   ├── if (status != PSA_ERROR_NOT_SUPPORTED) return status
|   |   |   ├── #endif
|   |   ├── #endif
└── return psa_xxx_builtin() // fall back to built in implementation

All code related to driver calls within each case must be contained between #if defined(PSA_CRYPTO_ACCELERATOR_DRIVER_PRESENT) and a corresponding #endif. Within this block, each individual driver's compatibility checks and call to the entry point must be contained between #if defined(DRIVER_PREFIX_ENABLED) and a corresponding #endif. Checks that involve accessing key material using PSA macros, such as determining the key type or number of bits, must be done in the driver wrapper.

7. Build Mbed TLS with the driver This guide assumes you are building Mbed TLS from source alongside your project. If building with a driver present, the chosen driver macro (DRIVER_PREFIX_ENABLED) must be defined. This can be done in two ways:

  • At compile time via flags. This is the preferred option when your project uses Mbed TLS mostly out-of-the-box without significantly modifying the configuration. When building with Make this can be done by passing the macro name to Make with the -D flag. When building with CMake this can be done by modifying CMakeLists.txt.
  • Providing a user config file. This is the preferred option when your project requires a custom configuration that is significantly different to the default. Define the macro for the driver, along with any other custom configurations in a separate header file, then use config.py, to set MBEDTLS_USER_CONFIG_FILE, providing the path to the defined header file. This will include your custom config file after the default. If you wish to completely replace the default config file, set MBEDTLS_CONFIG_FILE instead.