TBB: add authentication framework documentation
authorJuan Castillo <juan.castillo@arm.com>
Wed, 10 Jun 2015 14:27:52 +0000 (15:27 +0100)
committerJuan Castillo <juan.castillo@arm.com>
Thu, 25 Jun 2015 07:53:27 +0000 (08:53 +0100)
This patch updates the user guide, adding instructions to build the
Trusted Firmware with Trusted Board Support using the new framework.

It also provides documentation about the framework itself, including
a detailed section about the TBBR implementation using the framework.

Change-Id: I0849fce9c5294cd4f52981e7a8423007ac348ec6

docs/auth-framework.md [new file with mode: 0644]
docs/trusted-board-boot.md
docs/user-guide.md

diff --git a/docs/auth-framework.md b/docs/auth-framework.md
new file mode 100644 (file)
index 0000000..488fa26
--- /dev/null
@@ -0,0 +1,918 @@
+Abstracting a Chain of Trust
+============================
+
+Contents :
+
+1.  [Introduction](#1--introduction)
+2.  [Framework design](#2--framework-design)
+3.  [Specifying a Chain of Trust](#3--specifying-a-chain-of-trust)
+4.  [Implementation example](#4--implementation-example)
+
+
+1.  Introduction
+----------------
+
+The aim of this document is to describe the authentication framework implemented
+in the Trusted Firmware. This framework fulfills the following requirements:
+
+1.  It should be possible for a platform port to specify the Chain of Trust in
+    terms of certificate hierarchy and the mechanisms used to verify a
+    particular image/certificate.
+
+2.  The framework should distinguish between:
+
+    - The mechanism used to encode and transport information, e.g. DER encoded
+      X.509v3 certificates to ferry Subject Public Keys, hashes and non-volatile
+      counters.
+
+    - The mechanism used to verify the transported information i.e. the
+      cryptographic libraries.
+
+The framework has been designed following a modular approach illustrated in the
+next diagram:
+
+```
+    +---------------+---------------+------------+
+    | Trusted       | Trusted       | Trusted    |
+    | Firmware      | Firmware      | Firmware   |
+    | Generic       | IO Framework  | Platform   |
+    | Code i.e.     | (IO)          | Port       |
+    | BL1/BL2 (GEN) |               | (PP)       |
+    +---------------+---------------+------------+
+           ^               ^               ^
+           |               |               |
+           v               v               v
+     +-----------+   +-----------+   +-----------+
+     |           |   |           |   | Image     |
+     | Crypto    |   | Auth      |   | Parser    |
+     | Module    |<->| Module    |<->| Module    |
+     | (CM)      |   | (AM)      |   | (IPM)     |
+     |           |   |           |   |           |
+     +-----------+   +-----------+   +-----------+
+           ^                               ^
+           |                               |
+           v                               v
+    +----------------+             +-----------------+
+    | Cryptographic  |             | Image Parser    |
+    | Libraries (CL) |             | Libraries (IPL) |
+    +----------------+             +-----------------+
+                  |                |
+                  |                |
+                  |                |
+                  v                v
+                 +-----------------+
+                 | Misc. Libs e.g. |
+                 | ASN.1 decoder   |
+                 |                 |
+                 +-----------------+
+
+    DIAGRAM 1.
+```
+
+This document describes the inner details of the authentication framework and
+the abstraction mechanisms available to specify a Chain of Trust.
+
+
+2.  Framework design
+--------------------
+
+This section describes some aspects of the framework design and the rationale
+behind them. These aspects are key to verify a Chain of Trust.
+
+### 2.1 Chain of Trust
+
+A CoT is basically a sequence of authentication images which usually starts with
+a root of trust and culminates in a single data image. The following diagram
+illustrates how this maps to a CoT for the BL3-1 image described in the
+TBBR-Client specification.
+
+```
+    +------------------+       +-------------------+
+    | ROTPK/ROTPK Hash |------>| Trusted Key       |
+    +------------------+       | Certificate       |
+                               | (Auth Image)      |
+                              /+-------------------+
+                             /            |
+                            /             |
+                           /              |
+                          /               |
+                         L                v
+    +------------------+      +-------------------+
+    | Trusted World    |------>| BL3-1 Key         |
+    | Public Key       |       | Certificate       |
+    +------------------+       | (Auth Image)      |
+                               +-------------------+
+                              /           |
+                             /            |
+                            /             |
+                           /              |
+                          /               v
+    +------------------+ L     +-------------------+
+    | BL3-1 Content    |------>| BL3-1 Content     |
+    | Certificate PK   |       | Certificate       |
+    +------------------+       | (Auth Image)      |
+                               +-------------------+
+                              /           |
+                             /            |
+                            /             |
+                           /              |
+                          /               v
+    +------------------+ L     +-------------------+
+    | BL3-1 Hash       |------>| BL3-1 Image       |
+    |                  |       | (Data Image)      |
+    +------------------+       |                   |
+                               +-------------------+
+
+    DIAGRAM 2.
+```
+
+The root of trust is usually a public key (ROTPK) that has been burnt in the
+platform and cannot be modified.
+
+### 2.2 Image types
+
+Images in a CoT are categorised as authentication and data images. An
+authentication image contains information to authenticate a data image or
+another authentication image. A data image is usually a boot loader binary, but
+it could be any other data that requires authentication.
+
+### 2.3 Component responsibilities
+
+For every image in a Chain of Trust, the following high level operations are
+performed to verify it:
+
+1.  Allocate memory for the image either statically or at runtime.
+
+2.  Identify the image and load it in the allocated memory.
+
+3.  Check the integrity of the image as per its type.
+
+4.  Authenticate the image as per the cryptographic algorithms used.
+
+5.  If the image is an authentication image, extract the information that will
+    be used to authenticate the next image in the CoT.
+
+In Diagram 1, each component is responsible for one or more of these operations.
+The responsibilities are briefly described below.
+
+
+#### 2.2.1 TF Generic code and IO framework (GEN/IO)
+
+These components are responsible for initiating the authentication process for a
+particular image in BL1 or BL2. For each BL image that requires authentication,
+the Generic code asks recursively the Authentication module what is the parent
+image until either an authenticated image or the ROT is reached. Then the
+Generic code calls the IO framewotk to load the image and calls the
+Authentication module to authenticate it, following the CoT from ROT to Image.
+
+
+#### 2.2.2 TF Platform Port (PP)
+
+The platform is responsible for:
+
+1.  Specifying the CoT for each image that needs to be authenticated. Details of
+    how a CoT can be specified by the platform are explained later. The platform
+    also specifies the authentication methods and the parsing method used for
+    each image.
+
+2.  Statically allocating memory for each parameter in each image which is
+    used for verifying the CoT, e.g. memory for public keys, hashes etc.
+
+3.  Providing the ROTPK or a hash of it.
+
+4.  Providing additional information to the IPM to enable it to identify and
+    extract authentication parameters contained in an image, e.g. if the
+    parameters are stored as X509v3 extensions, the corresponding OID must be
+    provided.
+
+5.  Fulfill any other memory requirements of the IPM and the CM (not currently
+    described in this document).
+
+6.  Export functions to verify an image which uses an authentication method that
+    cannot be interpreted by the CM, e.g. if an image has to be verified using a
+    NV counter, then the value of the counter to compare with can only be
+    provided by the platform.
+
+7.  Export a custom IPM if a proprietary image format is being used (described
+    later).
+
+
+#### 2.2.3 Authentication Module (AM)
+
+It is responsible for:
+
+1.  Providing the necessary abstraction mechanisms to describe a CoT. Amongst
+    other things, the authentication and image parsing methods must be specified
+    by the PP in the CoT.
+
+2.  Verifying the CoT passed by GEN by utilising functionality exported by the
+    PP, IPM and CM.
+
+3.  Tracking which images have been verified. In case an image is a part of
+    multiple CoTs then it should be verified only once e.g. the Trusted World
+    Key Certificate in the TBBR-Client spec. contains information to verify
+    BL3-0, BL3-1, BL3-2 each of which have a separate CoT. (This responsibility
+    has not been described in this document but should be trivial to implement).
+
+4.  Reusing memory meant for a data image to verify authentication images e.g.
+    in the CoT described in Diagram 2, each certificate can be loaded and
+    verified in the memory reserved by the platform for the BL3-1 image. By the
+    time BL3-1 (the data image) is loaded, all information to authenticate it
+    will have been extracted from the parent image i.e. BL3-1 content
+    certificate. It is assumed that the size of an authentication image will
+    never exceed the size of a data image. It should be possible to verify this
+    at build time using asserts.
+
+
+#### 2.2.4 Cryptographic Module (CM)
+
+The CM is responsible for providing an API to:
+
+1.  Verify a digital signature.
+2.  Verify a hash.
+
+The CM does not include any cryptography related code, but it relies on an
+external library to perform the cryptographic operations. A Crypto-Library (CL)
+linking the CM and the external library must be implemented. The following
+functions must be provided by the CL:
+
+```
+void (*init)(void);
+int (*verify_signature)(void *data_ptr, unsigned int data_len,
+                        void *sig_ptr, unsigned int sig_len,
+                        void *sig_alg, unsigned int sig_alg_len,
+                        void *pk_ptr, unsigned int pk_len);
+int (*verify_hash)(void *data_ptr, unsigned int data_len,
+                   void *digest_info_ptr, unsigned int digest_info_len);
+```
+
+These functions are registered in the CM using the macro:
+```
+REGISTER_CRYPTO_LIB(_name, _init, _verify_signature, _verify_hash);
+```
+
+`_name` must be a string containing the name of the CL. This name is used for
+debugging purposes.
+
+#### 2.2.5 Image Parser Module (IPM)
+
+The IPM is responsible for:
+
+1.  Checking the integrity of each image loaded by the IO framework.
+2.  Extracting parameters used for authenticating an image based upon a
+    description provided by the platform in the CoT descriptor.
+
+Images may have different formats (for example, authentication images could be
+x509v3 certificates, signed ELF files or any other platform specific format).
+The IPM allows to register an Image Parser Library (IPL) for every image format
+used in the CoT. This library must implement the specific methods to parse the
+image. The IPM obtains the image format from the CoT and calls the right IPL to
+check the image integrity and extract the authentication parameters.
+
+See Section "Describing the image parsing methods" for more details about the
+mechanism the IPM provides to define and register IPLs.
+
+
+### 2.3 Authentication methods
+
+The AM supports the following authentication methods:
+
+1.  Hash
+2.  Digital signature
+
+The platform may specify these methods in the CoT in case it decides to define
+a custom CoT instead of reusing a predefined one.
+
+If a data image uses multiple methods, then all the methods must be a part of
+the same CoT. The number and type of parameters are method specific. These
+parameters should be obtained from the parent image using the IPM.
+
+1.  Hash
+
+    Parameters:
+
+    1.  A pointer to data to hash
+    2.  Length of the data
+    4.  A pointer to the hash
+    5.  Length of the hash
+
+    The hash will be represented by the DER encoding of the following ASN.1
+    type:
+
+    ```
+    DigestInfo ::= SEQUENCE {
+        digestAlgorithm  DigestAlgorithmIdentifier,
+        digest           Digest
+    }
+    ```
+
+    This ASN.1 structure makes it possible to remove any assumption about the
+    type of hash algorithm used as this information accompanies the hash. This
+    should allow the Cryptography Library (CL) to support multiple hash
+    algorithm implementations.
+
+2.  Digital Signature
+
+    Parameters:
+
+    1.  A pointer to data to sign
+    2.  Length of the data
+    3.  Public Key Algorithm
+    4.  Public Key value
+    5.  Digital Signature Algorithm
+    6.  Digital Signature value
+
+    The Public Key parameters will be represented by the DER encoding of the
+    following ASN.1 type:
+
+    ```
+    SubjectPublicKeyInfo  ::=  SEQUENCE  {
+        algorithm         AlgorithmIdentifier{PUBLIC-KEY,{PublicKeyAlgorithms}},
+        subjectPublicKey  BIT STRING  }
+    ```
+
+    The Digital Signature Algorithm will be represented by the DER encoding of
+    the following ASN.1 types.
+
+    ```
+    AlgorithmIdentifier {ALGORITHM:IOSet } ::= SEQUENCE {
+        algorithm         ALGORITHM.&id({IOSet}),
+        parameters        ALGORITHM.&Type({IOSet}{@algorithm}) OPTIONAL
+    }
+    ```
+
+    The digital signature will be represented by:
+    ```
+    signature  ::=  BIT STRING
+    ```
+
+The authentication framework will use the image descriptor to extract all the
+information related to authentication.
+
+
+3.  Specifying a Chain of Trust
+-------------------------------
+
+A CoT can be described as a set of image descriptors linked together in a
+particular order. The order dictates the sequence in which they must be
+verified. Each image has a set of properties which allow the AM to verify it.
+These properties are described below.
+
+The PP is responsible for defining a single or multiple CoTs for a data image.
+Unless otherwise specified, the data structures described in the following
+sections are populated by the PP statically.
+
+
+### 3.1 Describing the image parsing methods
+
+The parsing method refers to the format of a particular image. For example, an
+authentication image that represents a certificate could be in the X.509v3
+format. A data image that represents a boot loader stage could be in raw binary
+or ELF format. The IPM supports three parsing methods. An image has to use one
+of the three methods described below. An IPL is responsible for interpreting a
+single parsing method. There has to be one IPL for every method used by the
+platform.
+
+1.  Raw format: This format is effectively a nop as an image using this method
+    is treated as being in raw binary format e.g. boot loader images used by ARM
+    TF. This method should only be used by data images.
+
+2.  X509V3 method: This method uses industry standards like X.509 to represent
+    PKI certificates (authentication images). It is expected that open source
+    libraries will be available which can be used to parse an image represented
+    by this method. Such libraries can be used to write the corresponding IPL
+    e.g. the X.509 parsing library code in PolarSSL.
+
+3.  Platform defined method: This method caters for platform specific
+    proprietary standards to represent authentication or data images. For
+    example, The signature of a data image could be appended to the data image
+    raw binary. A header could be prepended to the combined blob to specify the
+    extents of each component. The platform will have to implement the
+    corresponding IPL to interpret such a format.
+
+The following enum can be used to define these three methods.
+
+```
+typedef enum img_type_enum {
+       IMG_RAW,                        /* Binary image */
+       IMG_PLAT,                       /* Platform specific format */
+       IMG_CERT,                       /* X509v3 certificate */
+       IMG_MAX_TYPES,
+} img_type_t;
+```
+
+An IPL must provide functions with the following prototypes:
+
+```
+void init(void);
+int check_integrity(void *img, unsigned int img_len);
+int get_auth_param(const auth_param_type_desc_t *type_desc,
+                      void *img, unsigned int img_len,
+                      void **param, unsigned int *param_len);
+```
+
+An IPL for each type must be registered using the following macro:
+
+```
+REGISTER_IMG_PARSER_LIB(_type, _name, _init, _check_int, _get_param)
+```
+
+*   `_type`: one of the types described above.
+*   `_name`: a string containing the IPL name for debugging purposes.
+*   `_init`: initialization function pointer.
+*   `_check_int`: check image integrity function pointer.
+*   `_get_param`: extract authentication parameter funcion pointer.
+
+The `init()` function will be used to initialize the IPL.
+
+The `check_integrity()` function is passed a pointer to the memory where the
+image has been loaded by the IO framework and the image length. It should ensure
+that the image is in the format corresponding to the parsing method and has not
+been tampered with. For example, RFC-2459 describes a validation sequence for an
+X.509 certificate.
+
+The `get_auth_param()` function is passed a parameter descriptor containing
+information about the parameter (`type_desc` and `cookie`) to identify and
+extract the data corresponding to that parameter from an image. This data will
+be used to verify either the current or the next image in the CoT sequence.
+
+Each image in the CoT will specify the parsing method it uses. This information
+will be used by the IPM to find the right parser descriptor for the image.
+
+
+### 3.2 Describing the authentication method(s)
+
+As part of the CoT, each image has to specify one or more authentication methods
+which will be used to verify it. As described in the Section "Authentication
+methods", there are three methods supported by the AM.
+
+```
+typedef enum {
+       AUTH_METHOD_NONE,
+       AUTH_METHOD_HASH,
+       AUTH_METHOD_SIG,
+       AUTH_METHOD_NUM
+} auth_method_type_t;
+```
+
+The AM defines the type of each parameter used by an authentication method. It
+uses this information to:
+
+1.  Specify to the `get_auth_param()` function exported by the IPM, which
+    parameter should be extracted from an image.
+
+2.  Correctly marshall the parameters while calling the verification function
+    exported by the CM and PP.
+
+3.  Extract authentication parameters from a parent image in order to verify a
+    child image e.g. to verify the certificate image, the public key has to be
+    obtained from the parent image.
+
+```
+typedef enum {
+       AUTH_PARAM_NONE,
+       AUTH_PARAM_RAW_DATA,            /* Raw image data */
+       AUTH_PARAM_SIG,                 /* The image signature */
+       AUTH_PARAM_SIG_ALG,             /* The image signature algorithm */
+       AUTH_PARAM_HASH,                /* A hash (including the algorithm) */
+       AUTH_PARAM_PUB_KEY,             /* A public key */
+} auth_param_type_t;
+```
+
+The AM defines the following structure to identify an authentication parameter
+required to verify an image.
+
+```
+typedef struct auth_param_type_desc_s {
+    auth_param_type_t type;
+    void *cookie;
+} auth_param_type_desc_t;
+```
+
+`cookie` is used by the platform to specify additional information to the IPM
+which enables it to uniquely identify the parameter that should be extracted
+from an image. For example, the hash of a BL3-x image in its corresponding
+content certificate is stored in an X509v3 custom extension field. An extension
+field can only be identified using an OID. In this case, the `cookie` could
+contain the pointer to the OID defined by the platform for the hash extension
+field while the `type` field could be set to `AUTH_PARAM_HASH`. A value of 0 for
+the `cookie` field means that it is not used.
+
+For each method, the AM defines a structure with the parameters required to
+verify the image.
+
+```
+/*
+ * Parameters for authentication by hash matching
+ */
+typedef struct auth_method_param_hash_s {
+       auth_param_type_desc_t *data;   /* Data to hash */
+       auth_param_type_desc_t *hash;   /* Hash to match with */
+} auth_method_param_hash_t;
+
+/*
+ * Parameters for authentication by signature
+ */
+typedef struct auth_method_param_sig_s {
+       auth_param_type_desc_t *pk;     /* Public key */
+       auth_param_type_desc_t *sig;    /* Signature to check */
+       auth_param_type_desc_t *alg;    /* Signature algorithm */
+       auth_param_type_desc_t *tbs;    /* Data signed */
+} auth_method_param_sig_t;
+
+```
+
+The AM defines the following structure to describe an authentication method for
+verifying an image
+
+```
+/*
+ * Authentication method descriptor
+ */
+typedef struct auth_method_desc_s {
+       auth_method_type_t type;
+       union {
+               auth_method_param_hash_t hash;
+               auth_method_param_sig_t sig;
+       } param;
+} auth_method_desc_t;
+```
+
+Using the method type specified in the `type` field, the AM finds out what field
+needs to access within the `param` union.
+
+### 3.3 Storing Authentication parameters
+
+A parameter described by `auth_param_type_desc_t` to verify an image could be
+obtained from either the image itself or its parent image. The memory allocated
+for loading the parent image will be reused for loading the child image. Hence
+parameters which are obtained from the parent for verifying a child image need
+to have memory allocated for them separately where they can be stored. This
+memory must be statically allocated by the platform port.
+
+The AM defines the following structure to store the data corresponding to an
+authentication parameter.
+
+```
+typedef struct auth_param_data_desc_s {
+       void *auth_param_ptr;
+       unsigned int auth_param_len;
+} auth_param_data_desc_t;
+```
+
+The `auth_param_ptr` field is initialized by the platform. The `auth_param_len`
+field is used to specify the length of the data in the memory.
+
+For parameters that can be obtained from the child image itself, the IPM is
+responsible for populating the `auth_param_ptr` and `auth_param_len` fields
+while executing the `img_get_auth_param()` function.
+
+The AM defines the following structure to enable an image to describe the
+parameters that should be extracted from it and used to verify the next image
+(child) in a CoT.
+
+```
+typedef struct auth_param_desc_s {
+       auth_param_type_desc_t type_desc;
+       auth_param_data_desc_t data;
+} auth_param_desc_t;
+```
+
+### 3.4 Describing an image in a CoT
+
+An image in a CoT is a consolidation of the following aspects of a CoT described
+above.
+
+1.  A unique identifier specified by the platform which allows the IO framework
+    to locate the image in a FIP and load it in the memory reserved for the data
+    image in the CoT.
+
+2.  A parsing method which is used by the AM to find the appropriate IPM.
+
+3.  Authentication methods and their parameters as described in the previous
+    section. These are used to verify the current image.
+
+4.  Parameters which are used to verify the next image in the current CoT. These
+    parameters are specified only by authentication images and can be extracted
+    from the current image once it has been verified.
+
+The following data structure describes an image in a CoT.
+```
+typedef struct auth_img_desc_s {
+       unsigned int img_id;
+       const struct auth_img_desc_s *parent;
+       img_type_t img_type;
+       auth_method_desc_t img_auth_methods[AUTH_METHOD_NUM];
+       auth_param_desc_t authenticated_data[COT_MAX_VERIFIED_PARAMS];
+} auth_img_desc_t;
+```
+A CoT is defined as an array of `auth_image_desc_t` structures linked together
+by the `parent` field. Those nodes with no parent must be authenticated using
+the ROTPK stored in the platform.
+
+
+4.  Implementation example
+--------------------------
+
+This section is a detailed guide explaining a trusted boot implementation using
+the authentication framework. This example corresponds to the Applicative
+Functional Mode (AFM) as specified in the TBBR-Client document. It is
+recommended to read this guide along with the source code.
+
+### 4.1 The TBBR CoT
+
+The CoT can be found in `drivers/auth/tbbr/tbbr_cot.c`. This CoT consists of an
+array of image descriptors and it is registered in the framework using the macro
+`REGISTER_COT(cot_desc)`, where 'cot_desc' must be the name of the array
+(passing a pointer or any other type of indirection will cause the registration
+process to fail).
+
+The number of images participating in the boot process depends on the CoT. There
+is, however, a minimum set of images that are mandatory in the Trusted Firmware
+and thus all CoTs must present:
+
+*   `BL2`
+*   `BL3-0` (platform specific)
+*   `BL3-1`
+*   `BL3-2` (optional)
+*   `BL3-3`
+
+The TBBR specifies the additional certificates that must accompany these images
+for a proper authentication. Details about the TBBR CoT may be found in the
+[Trusted Board Boot] document.
+
+Following the [Platform Porting Guide], a platform must provide unique
+identifiers for all the images and certificates that will be loaded during the
+boot process. If a platform is using the TBBR as a reference for trusted boot,
+these identifiers can be obtained from `include/common/tbbr/tbbr_img_def.h`.
+ARM platforms include this file in `include/plat/arm/common/arm_def.h`. Other
+platforms may also include this file or provide their own identifiers.
+
+**Important**: the authentication module uses these identifiers to index the
+CoT array, so the descriptors location in the array must match the identifiers.
+
+Each image descriptor must specify:
+
+*   `img_id`: the corresponding image unique identifier defined by the platform.
+*   `img_type`: the image parser module uses the image type to call the proper
+    parsing library to check the image integrity and extract the required
+    authentication parameters. Three types of images are currently supported:
+    *   `IMG_RAW`: image is a raw binary. No parsing functions are available,
+        other than reading the whole image.
+    *   `IMG_PLAT`: image format is platform specific. The platform may use this
+        type for custom images not directly supported by the authentication
+        framework.
+    *   `IMG_CERT`: image is an x509v3 certificate.
+*   `parent`: pointer to the parent image descriptor. The parent will contain
+    the information required to authenticate the current image. If the parent
+    is NULL, the authentication parameters will be obtained from the platform
+    (i.e. the BL2 and Trusted Key certificates are signed with the ROT private
+    key, whose public part is stored in the platform).
+*   `img_auth_methods`: this array defines the authentication methods that must
+    be checked to consider an image authenticated. Each method consists of a
+    type and a list of parameter descriptors. A parameter descriptor consists of
+    a type and a cookie which will point to specific information required to
+    extract that parameter from the image (i.e. if the parameter is stored in an
+    x509v3 extension, the cookie will point to the extension OID). Depending on
+    the method type, a different number of parameters must be specified.
+    Supported methods are:
+    *   `AUTH_METHOD_HASH`: the hash of the image must match the hash extracted
+        from the parent image. The following parameter descriptors must be
+        specified:
+        *   `data`: data to be hashed (obtained from current image)
+        *   `hash`: reference hash (obtained from parent image)
+    *   `AUTH_METHOD_SIG`: the image (usually a certificate) must be signed with
+        the private key whose public part is extracted from the parent image (or
+        the platform if the parent is NULL). The following parameter descriptors
+        must be specified:
+        *   `pk`: the public key (obtained from parent image)
+        *   `sig`: the digital signature (obtained from current image)
+        *   `alg`: the signature algorithm used (obtained from current image)
+        *   `data`: the data to be signed (obtained from current image)
+*   `authenticated_data`: this array indicates what authentication parameters
+    must be extracted from an image once it has been authenticated. Each
+    parameter consists of a parameter descriptor and the buffer address/size
+    to store the parameter. The CoT is responsible for allocating the required
+    memory to store the parameters.
+
+In the `tbbr_cot.c` file, a set of buffers are allocated to store the parameters
+extracted from the certificates. In the case of the TBBR CoT, these parameters
+are hashes and public keys. In DER format, an RSA-2048 public key requires 294
+bytes, and a hash requires 51 bytes. Depending on the CoT and the authentication
+process, some of the buffers may be reused at different stages during the boot.
+
+Next in that file, the parameter descriptors are defined. These descriptors will
+be used to extract the parameter data from the corresponding image.
+
+#### 4.1.1 Example: the BL3-1 Chain of Trust
+
+Four image descriptors form the BL3-1 Chain of Trust:
+
+```
+[TRUSTED_KEY_CERT_ID] = {
+       .img_id = TRUSTED_KEY_CERT_ID,
+       .img_type = IMG_CERT,
+       .parent = NULL,
+       .img_auth_methods = {
+               [0] = {
+                       .type = AUTH_METHOD_SIG,
+                       .param.sig = {
+                               .pk = &subject_pk,
+                               .sig = &sig,
+                               .alg = &sig_alg,
+                               .data = &raw_data,
+                       }
+               }
+       },
+       .authenticated_data = {
+               [0] = {
+                       .type_desc = &tz_world_pk,
+                       .data = {
+                               .ptr = (void *)plat_tz_world_pk_buf,
+                               .len = (unsigned int)PK_DER_LEN
+                       }
+               },
+               [1] = {
+                       .type_desc = &ntz_world_pk,
+                       .data = {
+                               .ptr = (void *)plat_ntz_world_pk_buf,
+                               .len = (unsigned int)PK_DER_LEN
+                       }
+               }
+       }
+},
+[BL31_KEY_CERT_ID] = {
+       .img_id = BL31_KEY_CERT_ID,
+       .img_type = IMG_CERT,
+       .parent = &cot_desc[TRUSTED_KEY_CERT_ID],
+       .img_auth_methods = {
+               [0] = {
+                       .type = AUTH_METHOD_SIG,
+                       .param.sig = {
+                               .pk = &tz_world_pk,
+                               .sig = &sig,
+                               .alg = &sig_alg,
+                               .data = &raw_data,
+                       }
+               }
+       },
+       .authenticated_data = {
+               [0] = {
+                       .type_desc = &bl31_content_pk,
+                       .data = {
+                               .ptr = (void *)plat_content_pk,
+                               .len = (unsigned int)PK_DER_LEN
+                       }
+               }
+       }
+},
+[BL31_CERT_ID] = {
+       .img_id = BL31_CERT_ID,
+       .img_type = IMG_CERT,
+       .parent = &cot_desc[BL31_KEY_CERT_ID],
+       .img_auth_methods = {
+               [0] = {
+                       .type = AUTH_METHOD_SIG,
+                       .param.sig = {
+                               .pk = &bl31_content_pk,
+                               .sig = &sig,
+                               .alg = &sig_alg,
+                               .data = &raw_data,
+                       }
+               }
+       },
+       .authenticated_data = {
+               [0] = {
+                       .type_desc = &bl31_hash,
+                       .data = {
+                               .ptr = (void *)plat_bl31_hash_buf,
+                               .len = (unsigned int)HASH_DER_LEN
+                       }
+               }
+       }
+},
+[BL31_IMAGE_ID] = {
+       .img_id = BL31_IMAGE_ID,
+       .img_type = IMG_RAW,
+       .parent = &cot_desc[BL31_CERT_ID],
+       .img_auth_methods = {
+               [0] = {
+                       .type = AUTH_METHOD_HASH,
+                       .param.hash = {
+                               .data = &raw_data,
+                               .hash = &bl31_hash,
+                       }
+               }
+       }
+}
+```
+The **Trusted Key certificate** is signed with the ROT private key and contains
+the Trusted World public key and the Non-Trusted World public key as x509v3
+extensions. This must be specified in the image descriptor using the
+`img_auth_methods` and `authenticated_data` arrays, respectively.
+
+The Trusted Key certificate is authenticated by checking its digital signature
+using the ROTPK. Four parameters are required to check a signature: the public
+key, the algorithm, the signature and the data that has been signed. Therefore,
+four parameter descriptors must be specified with the authentication method:
+
+*   `subject_pk`: parameter descriptor of type `AUTH_PARAM_PUB_KEY`. This type
+    is used to extract a public key from the parent image. If the cookie is an
+    OID, the key is extracted from the corresponding x509v3 extension. If the
+    cookie is NULL, the subject public key is retrieved. In this case, because
+    the parent image is NULL, the public key is obtained from the platform
+    (this key will be the ROTPK).
+*   `sig`: parameter descriptor of type `AUTH_PARAM_SIG`. It is used to extract
+    the signature from the certificate.
+*   `sig_alg`: parameter descriptor of type `AUTH_PARAM_SIG`. It is used to
+    extract the signature algorithm from the certificate.
+*   `raw_data`: parameter descriptor of type `AUTH_PARAM_RAW_DATA`. It is used
+    to extract the data to be signed from the certificate.
+
+Once the signature has been checked and the certificate authenticated, the
+Trusted World public key needs to be extracted from the certificate. A new entry
+is created in the `authenticated_data` array for that purpose. In that entry,
+the corresponding parameter descriptor must be specified along with the buffer
+address to store the parameter value. In this case, the `tz_world_pk` descriptor
+is used to extract the public key from an x509v3 extension with OID
+`TZ_WORLD_PK_OID`. The BL3-1 key certificate will use this descriptor as
+parameter in the signature authentication method. The key is stored in the
+`plat_tz_world_pk_buf` buffer.
+
+The **BL3-1 Key certificate** is authenticated by checking its digital signature
+using the Trusted World public key obtained previously from the Trusted Key
+certificate. In the image descriptor, we specify a single authentication method
+by signature whose public key is the `tz_world_pk`. Once this certificate has
+been authenticated, we have to extract the BL3-1 public key, stored in the
+extension specified by `bl31_content_pk`. This key will be copied to the
+`plat_content_pk` buffer.
+
+The **BL3-1 certificate** is authenticated by checking its digital signature
+using the BL3-1 public key obtained previously from the BL3-1 Key certificate.
+We specify the authentication method using `bl31_content_pk` as public key.
+After authentication, we need to extract the BL3-1 hash, stored in the extension
+specified by `bl31_hash`. This hash will be copied to the `plat_bl31_hash_buf`
+buffer.
+
+The **BL3-1 image** is authenticated by calculating its hash and matching it
+with the hash obtained from the BL3-1 certificate. The image descriptor contains
+a single authentication method by hash. The parameters to the hash method are
+the reference hash, `bl31_hash`, and the data to be hashed. In this case, it is
+the whole image, so we specify `raw_data`.
+
+### 4.2 The image parser library
+
+The image parser module relies on libraries to check the image integrity and
+extract the authentication parameters. The number and type of parser libraries
+depend on the images used in the CoT. Raw images do not need a library, so
+only an x509v3 library is required for the TBBR CoT.
+
+ARM platforms will use an x509v3 library based on mbedTLS. This library may be
+found in `drivers/auth/mbedtls/mbedtls_x509_parser.c`. It exports three
+functions:
+
+```
+void init(void);
+int check_integrity(void *img, unsigned int img_len);
+int get_auth_param(const auth_param_type_desc_t *type_desc,
+                   void *img, unsigned int img_len,
+                   void **param, unsigned int *param_len);
+```
+
+The library is registered in the framework using the macro
+`REGISTER_IMG_PARSER_LIB()`. Each time the image parser module needs to access
+an image of type `IMG_CERT`, it will call the corresponding function exported
+in this file.
+
+The build system must be updated to include the corresponding library and
+mbedTLS sources. ARM platforms use the `arm_common.mk` file to pull the sources.
+
+### 4.3 The cryptographic library
+
+The cryptographic module relies on a library to perform the required operations,
+i.e. verify a hash or a digital signature. ARM platforms will use a library
+based on mbedTLS, which can be found in `drivers/auth/mbedtls/mbedtls_crypto.c`.
+This library is registered in the authentication framework using the macro
+`REGISTER_CRYPTO_LIB()` and exports three functions:
+
+```
+void init(void);
+int verify_signature(void *data_ptr, unsigned int data_len,
+                     void *sig_ptr, unsigned int sig_len,
+                     void *sig_alg, unsigned int sig_alg_len,
+                     void *pk_ptr, unsigned int pk_len);
+int verify_hash(void *data_ptr, unsigned int data_len,
+                void *digest_info_ptr, unsigned int digest_info_len);
+```
+
+The key algorithm (rsa, ecdsa) must be specified in the build system using the
+`MBEDTLS_KEY_ALG` variable, so the Makefile can include the corresponding
+sources in the build.
+
+- - - - - - - - - - - - - - - - - - - - - - - - - -
+
+_Copyright (c) 2015, ARM Limited and Contributors. All rights reserved._
+
+
+[Trusted Board Boot]:           ./trusted-board-boot.md
+[Platform Porting Guide]:       ./porting-guide.md
index f3b9f14ec7c55c516ae95a48f14ac50ce77ce243..1cfa843d6944d60ad99af7e73e7fabb8401d8b0a 100644 (file)
@@ -6,7 +6,7 @@ Contents :
 1.  [Introduction](#1--introduction)
 2.  [Chain of Trust](#2--chain-of-trust)
 3.  [Trusted Board Boot Sequence](#3--trusted-board-boot-sequence)
-4.  [Authentication Module](#4--authentication-module)
+4.  [Authentication Framework](#4--authentication-framework)
 5.  [Certificate Generation Tool](#5--certificate-generation-tool)
 
 
@@ -209,27 +209,15 @@ The mechanism used for generating the FIP and the Authentication module are
 described in the following sections.
 
 
-4.  Authentication Module
--------------------------
+4.  Authentication Framework
+----------------------------
 
-The authentication module implements the required support to authenticate the
-corresponding certificates or images at each step in the Trusted Board Boot
-sequence. The module relies on the PolarSSL library (v1.3.9) to perform the
-following operations:
+The authentication framework included in the Trusted Firmware provides support
+to implement the desired trusted boot sequence. ARM platforms use this framework
+to implement the boot requirements specified in the TBBR-client document.
 
-*   Parsing X.509 certificates and verifying them using SHA-256 with RSA
-    Encryption.
-*   Extracting public keys and hashes from the certificates.
-*   Generating hashes (SHA-256) of boot loader images
-
-At each step, the module is responsible for allocating memory to store the
-public keys or hashes that will be used in later steps. The step identifier is
-used to determine what information must be saved, according to the CoT model
-detailed in the previous sections.
-
-The authentication module resides in the `common/auth/polarssl` directory.
-Instructions for including the necessary modules of the PolarSSL SSL library and
-building the authentication module can be found in the [User Guide].
+More information about the authentication framework can be found in the
+[Auth Framework] document.
 
 
 5.  Certificate Generation Tool
@@ -257,4 +245,5 @@ _Copyright (c) 2015, ARM Limited and Contributors. All rights reserved._
 
 [X.509 v3]:          http://www.ietf.org/rfc/rfc5280.txt
 [X.690]:             http://www.itu.int/ITU-T/studygroups/com17/languages/X.690-0207.pdf
+[Auth Framework]:    auth-framework.md
 [User Guide]:        user-guide.md
index b075eeb40abf3482bcf96138a58eb25728eb29f4..470c69f9a94e018dffa02d4ca4fe506c98701bdf 100644 (file)
@@ -507,25 +507,58 @@ The Trusted Board Boot feature is described in [Trusted Board Boot]. The
 following steps should be followed to build a FIP image with support for this
 feature.
 
-1.  Fulfill the dependencies of the `polarssl` authentication module by checking
-    out the tag `polarssl-1.3.9` from the [PolarSSL Repository].
+1.  Fulfill the dependencies of the `mbedtls` cryptographic and image parser
+    modules by checking out the tag `mbedtls-1.3.11` from the
+    [mbedTLS Repository].
 
-    The `common/auth/polarssl/polarssl.mk` contains the list of PolarSSL source
-    files the module depends upon. `common/auth/polarssl/polarssl_config.h`
-    contains the configuration options required to build the PolarSSL sources.
+    The `drivers/auth/mbedtls/mbedtls_*.mk` files contain the list of mbedTLS
+    source files the modules depend upon.
+    `include/drivers/auth/mbedtls/mbedtls_config.h` contains the configuration
+    options required to build the mbedTLS sources.
 
-    Note that the PolarSSL SSL library is licensed under the GNU GPL version 2
-    or later license. Using PolarSSL source code will affect the licensing of
+    Note that the mbedTLS library is licensed under the GNU GPL version 2
+    or later license. Using mbedTLS source code will affect the licensing of
     Trusted Firmware binaries that are built using this library.
 
 2.  Ensure that the following command line variables are set while invoking
     `make` to build Trusted Firmware:
 
-    *   `POLARSSL_DIR=<path of the directory containing PolarSSL sources>`
-    *   `AUTH_MOD=polarssl`
+    *   `MBEDTLS_DIR=<path of the directory containing mbedTLS sources>`
     *   `TRUSTED_BOARD_BOOT=1`
     *   `GENERATE_COT=1`
 
+    In the case of ARM platforms, the location of the ROTPK hash must also be
+    specified at build time. Two locations are currently supported (see
+    `ARM_ROTPK_LOCATION` build option):
+
+    *   `ARM_ROTPK_LOCATION=regs`: the ROTPK hash is obtained from the Trusted
+        root-key storage registers present in the platform. On Juno, this
+        registers are read-only. On FVP Base and Cortex models, the registers
+        are read-only, but the value can be specified using the command line
+        option `bp.trusted_key_storage.public_key` when launching the model.
+        On both Juno and FVP models, the default value corresponds to an
+        ECDSA-SECP256R1 public key hash, whose private part is not currently
+        available.
+
+    *   `ARM_ROTPK_LOCATION=devel_rsa`: use the ROTPK hash that is hardcoded
+        in the ARM platform port. The private/public RSA key pair may be
+        found in `plat/arm/board/common/rotpk`.
+
+    Example of command line using RSA development keys:
+
+        CROSS_COMPILE=<path-to-aarch64-gcc>/bin/aarch64-none-elf-       \
+        BL33=<path-to>/<bl33_image>                                     \
+        MBEDTLS_DIR=<path of the directory containing mbedTLS sources>  \
+        make PLAT=<platform> TRUSTED_BOARD_BOOT=1 GENERATE_COT=1        \
+        ARM_ROTPK_LOCATION=devel_rsa                                    \
+        ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem        \
+        all fip
+
+    The result of this build will be the bl1.bin and the fip.bin binaries, with
+    the difference that the FIP will include the certificates corresponding to
+    the Chain of Trust described in the TBBR-client document. These certificates
+    can also be found in the output build directory.
+
 
 ### Checking source code style
 
@@ -1145,5 +1178,5 @@ _Copyright (c) 2013-2015, ARM Limited and Contributors. All rights reserved._
 [Linaro Toolchain]:            http://releases.linaro.org/14.07/components/toolchain/binaries/
 [EDK2]:                        http://github.com/tianocore/edk2
 [DS-5]:                        http://www.arm.com/products/tools/software-tools/ds-5/index.php
-[Polarssl Repository]:         https://github.com/polarssl/polarssl.git
+[mbedTLS Repository]:          https://github.com/ARMmbed/mbedtls.git
 [Trusted Board Boot]:          trusted-board-boot.md