105799ae0SJuan Castillo /*
29c18c35cSLauren Wehrmeister * Copyright (c) 2015-2025, Arm Limited and Contributors. All rights reserved.
305799ae0SJuan Castillo *
482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause
505799ae0SJuan Castillo */
605799ae0SJuan Castillo
705799ae0SJuan Castillo #include <assert.h>
805799ae0SJuan Castillo #include <stdint.h>
905799ae0SJuan Castillo #include <string.h>
1005799ae0SJuan Castillo
1109d40e0eSAntonio Nino Diaz #include <platform_def.h>
1209d40e0eSAntonio Nino Diaz
1309d40e0eSAntonio Nino Diaz #include <common/debug.h>
1409d40e0eSAntonio Nino Diaz #include <common/tbbr/cot_def.h>
1509d40e0eSAntonio Nino Diaz #include <drivers/auth/auth_common.h>
1609d40e0eSAntonio Nino Diaz #include <drivers/auth/auth_mod.h>
179c18c35cSLauren Wehrmeister #include <drivers/auth/auth_util.h>
1809d40e0eSAntonio Nino Diaz #include <drivers/auth/crypto_mod.h>
1909d40e0eSAntonio Nino Diaz #include <drivers/auth/img_parser_mod.h>
20c0bfc88fSManish V Badarkhe #include <drivers/fwu/fwu.h>
21ab1981dbSLouis Mayencourt #include <lib/fconf/fconf_tbbr_getter.h>
2209d40e0eSAntonio Nino Diaz #include <plat/common/platform.h>
2309d40e0eSAntonio Nino Diaz
249eaa5a09SManish V Badarkhe #include <tools_share/zero_oid.h>
259eaa5a09SManish V Badarkhe
2648279d52SJuan Castillo /* ASN.1 tags */
2748279d52SJuan Castillo #define ASN1_INTEGER 0x02
2848279d52SJuan Castillo
29d35dee23Sdp-arm #pragma weak plat_set_nv_ctr2
30d35dee23Sdp-arm
cmp_auth_param_type_desc(const auth_param_type_desc_t * a,const auth_param_type_desc_t * b)3105799ae0SJuan Castillo static int cmp_auth_param_type_desc(const auth_param_type_desc_t *a,
3205799ae0SJuan Castillo const auth_param_type_desc_t *b)
3305799ae0SJuan Castillo {
3405799ae0SJuan Castillo if ((a->type == b->type) && (a->cookie == b->cookie)) {
3505799ae0SJuan Castillo return 0;
3605799ae0SJuan Castillo }
3705799ae0SJuan Castillo return 1;
3805799ae0SJuan Castillo }
3905799ae0SJuan Castillo
4005799ae0SJuan Castillo /*
4105799ae0SJuan Castillo * This function obtains the requested authentication parameter data from the
4205799ae0SJuan Castillo * information extracted from the parent image after its authentication.
4305799ae0SJuan Castillo */
auth_get_param(const auth_param_type_desc_t * param_type_desc,const auth_img_desc_t * img_desc,void ** param,unsigned int * len)4405799ae0SJuan Castillo static int auth_get_param(const auth_param_type_desc_t *param_type_desc,
4505799ae0SJuan Castillo const auth_img_desc_t *img_desc,
4605799ae0SJuan Castillo void **param, unsigned int *len)
4705799ae0SJuan Castillo {
4805799ae0SJuan Castillo int i;
4905799ae0SJuan Castillo
5030070427SJoel Hutton if (img_desc->authenticated_data == NULL)
5130070427SJoel Hutton return 1;
5230070427SJoel Hutton
5305799ae0SJuan Castillo for (i = 0 ; i < COT_MAX_VERIFIED_PARAMS ; i++) {
5405799ae0SJuan Castillo if (0 == cmp_auth_param_type_desc(param_type_desc,
5505799ae0SJuan Castillo img_desc->authenticated_data[i].type_desc)) {
5605799ae0SJuan Castillo *param = img_desc->authenticated_data[i].data.ptr;
5705799ae0SJuan Castillo *len = img_desc->authenticated_data[i].data.len;
5805799ae0SJuan Castillo return 0;
5905799ae0SJuan Castillo }
6005799ae0SJuan Castillo }
6105799ae0SJuan Castillo
6205799ae0SJuan Castillo return 1;
6305799ae0SJuan Castillo }
6405799ae0SJuan Castillo
6505799ae0SJuan Castillo /*
6605799ae0SJuan Castillo * Authenticate an image by matching the data hash
6705799ae0SJuan Castillo *
6805799ae0SJuan Castillo * This function implements 'AUTH_METHOD_HASH'. To authenticate an image using
6905799ae0SJuan Castillo * this method, the image must contain:
7005799ae0SJuan Castillo *
7105799ae0SJuan Castillo * - The data to calculate the hash from
7205799ae0SJuan Castillo *
7305799ae0SJuan Castillo * The parent image must contain:
7405799ae0SJuan Castillo *
7505799ae0SJuan Castillo * - The hash to be matched with (including hash algorithm)
7605799ae0SJuan Castillo *
7705799ae0SJuan Castillo * For a successful authentication, both hashes must match. The function calls
7805799ae0SJuan Castillo * the crypto-module to check this matching.
7905799ae0SJuan Castillo *
8005799ae0SJuan Castillo * Parameters:
8105799ae0SJuan Castillo * param: parameters to perform the hash authentication
8205799ae0SJuan Castillo * img_desc: pointer to image descriptor so we can know the image type
8305799ae0SJuan Castillo * and parent image
8405799ae0SJuan Castillo * img: pointer to image in memory
8505799ae0SJuan Castillo * img_len: length of image (in bytes)
8605799ae0SJuan Castillo *
8705799ae0SJuan Castillo * Return:
8805799ae0SJuan Castillo * 0 = success, Otherwise = error
8905799ae0SJuan Castillo */
auth_hash(const auth_method_param_hash_t * param,const auth_img_desc_t * img_desc,void * img,unsigned int img_len)9005799ae0SJuan Castillo static int auth_hash(const auth_method_param_hash_t *param,
9105799ae0SJuan Castillo const auth_img_desc_t *img_desc,
9205799ae0SJuan Castillo void *img, unsigned int img_len)
9305799ae0SJuan Castillo {
9405799ae0SJuan Castillo void *data_ptr, *hash_der_ptr;
9505799ae0SJuan Castillo unsigned int data_len, hash_der_len;
96575c1469SSandrine Bailleux int rc;
9705799ae0SJuan Castillo
9805799ae0SJuan Castillo /* Get the hash from the parent image. This hash will be DER encoded
9905799ae0SJuan Castillo * and contain the hash algorithm */
10005799ae0SJuan Castillo rc = auth_get_param(param->hash, img_desc->parent,
10105799ae0SJuan Castillo &hash_der_ptr, &hash_der_len);
102575c1469SSandrine Bailleux if (rc != 0) {
103575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
104575c1469SSandrine Bailleux __func__, __LINE__, rc);
105575c1469SSandrine Bailleux return rc;
106575c1469SSandrine Bailleux }
10705799ae0SJuan Castillo
10805799ae0SJuan Castillo /* Get the data to be hashed from the current image */
10905799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type, param->data,
11005799ae0SJuan Castillo img, img_len, &data_ptr, &data_len);
111575c1469SSandrine Bailleux if (rc != 0) {
112575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
113575c1469SSandrine Bailleux __func__, __LINE__, rc);
114575c1469SSandrine Bailleux return rc;
115575c1469SSandrine Bailleux }
11605799ae0SJuan Castillo
11705799ae0SJuan Castillo /* Ask the crypto module to verify this hash */
11805799ae0SJuan Castillo rc = crypto_mod_verify_hash(data_ptr, data_len,
11905799ae0SJuan Castillo hash_der_ptr, hash_der_len);
120575c1469SSandrine Bailleux if (rc != 0) {
121575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
122575c1469SSandrine Bailleux __func__, __LINE__, rc);
12305799ae0SJuan Castillo return rc;
12405799ae0SJuan Castillo }
12505799ae0SJuan Castillo
126575c1469SSandrine Bailleux return 0;
127575c1469SSandrine Bailleux }
128575c1469SSandrine Bailleux
12905799ae0SJuan Castillo /*
13005799ae0SJuan Castillo * Authenticate by digital signature
13105799ae0SJuan Castillo *
13205799ae0SJuan Castillo * This function implements 'AUTH_METHOD_SIG'. To authenticate an image using
13305799ae0SJuan Castillo * this method, the image must contain:
13405799ae0SJuan Castillo *
13505799ae0SJuan Castillo * - Data to be signed
13605799ae0SJuan Castillo * - Signature
13705799ae0SJuan Castillo * - Signature algorithm
13805799ae0SJuan Castillo *
13905799ae0SJuan Castillo * We rely on the image parser module to extract this data from the image.
14005799ae0SJuan Castillo * The parent image must contain:
14105799ae0SJuan Castillo *
14205799ae0SJuan Castillo * - Public key (or a hash of it)
14305799ae0SJuan Castillo *
14405799ae0SJuan Castillo * If the parent image contains only a hash of the key, we will try to obtain
14505799ae0SJuan Castillo * the public key from the image itself (i.e. self-signed certificates). In that
14605799ae0SJuan Castillo * case, the signature verification is considered just an integrity check and
14705799ae0SJuan Castillo * the authentication is established by calculating the hash of the key and
14805799ae0SJuan Castillo * comparing it with the hash obtained from the parent.
14905799ae0SJuan Castillo *
15005799ae0SJuan Castillo * If the image has no parent (NULL), it means it has to be authenticated using
15105799ae0SJuan Castillo * the ROTPK stored in the platform. Again, this ROTPK could be the key itself
15205799ae0SJuan Castillo * or a hash of it.
15305799ae0SJuan Castillo *
15405799ae0SJuan Castillo * Return: 0 = success, Otherwise = error
15505799ae0SJuan Castillo */
auth_signature(const auth_method_param_sig_t * param,const auth_img_desc_t * img_desc,void * img,unsigned int img_len)15605799ae0SJuan Castillo static int auth_signature(const auth_method_param_sig_t *param,
15705799ae0SJuan Castillo const auth_img_desc_t *img_desc,
15805799ae0SJuan Castillo void *img, unsigned int img_len)
15905799ae0SJuan Castillo {
1601046b418SRobin van der Gracht void *data_ptr, *pk_ptr, *cnv_pk_ptr, *pk_plat_ptr, *sig_ptr, *sig_alg_ptr, *pk_oid;
1611046b418SRobin van der Gracht unsigned int data_len, pk_len, cnv_pk_len, pk_plat_len, sig_len, sig_alg_len;
16205799ae0SJuan Castillo unsigned int flags = 0;
163575c1469SSandrine Bailleux int rc;
16405799ae0SJuan Castillo
16505799ae0SJuan Castillo /* Get the data to be signed from current image */
16605799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type, param->data,
16705799ae0SJuan Castillo img, img_len, &data_ptr, &data_len);
168575c1469SSandrine Bailleux if (rc != 0) {
169575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
170575c1469SSandrine Bailleux __func__, __LINE__, rc);
171575c1469SSandrine Bailleux return rc;
172575c1469SSandrine Bailleux }
17305799ae0SJuan Castillo
17405799ae0SJuan Castillo /* Get the signature from current image */
17505799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type, param->sig,
17605799ae0SJuan Castillo img, img_len, &sig_ptr, &sig_len);
177575c1469SSandrine Bailleux if (rc != 0) {
178575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
179575c1469SSandrine Bailleux __func__, __LINE__, rc);
180575c1469SSandrine Bailleux return rc;
181575c1469SSandrine Bailleux }
18205799ae0SJuan Castillo
18305799ae0SJuan Castillo /* Get the signature algorithm from current image */
18405799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type, param->alg,
18505799ae0SJuan Castillo img, img_len, &sig_alg_ptr, &sig_alg_len);
186575c1469SSandrine Bailleux if (rc != 0) {
187575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
188575c1469SSandrine Bailleux __func__, __LINE__, rc);
189575c1469SSandrine Bailleux return rc;
190575c1469SSandrine Bailleux }
19105799ae0SJuan Castillo
1929c18c35cSLauren Wehrmeister /*
1939c18c35cSLauren Wehrmeister * Set Zero-OID for ROTPK(subject key) as a the certificate
1949c18c35cSLauren Wehrmeister * does not hold Key-OID information for ROTPK.
1959c18c35cSLauren Wehrmeister */
1969c18c35cSLauren Wehrmeister if (param->pk->cookie != NULL) {
1979c18c35cSLauren Wehrmeister pk_oid = param->pk->cookie;
1989c18c35cSLauren Wehrmeister } else {
1999c18c35cSLauren Wehrmeister pk_oid = ZERO_OID;
2009c18c35cSLauren Wehrmeister }
2019c18c35cSLauren Wehrmeister
2029c18c35cSLauren Wehrmeister set_current_pk_oid(pk_oid);
2039c18c35cSLauren Wehrmeister
20405799ae0SJuan Castillo /* Get the public key from the parent. If there is no parent (NULL),
20505799ae0SJuan Castillo * the certificate has been signed with the ROTPK, so we have to get
20605799ae0SJuan Castillo * the PK from the platform */
207f1e693a7SManish V Badarkhe if (img_desc->parent != NULL) {
20805799ae0SJuan Castillo rc = auth_get_param(param->pk, img_desc->parent,
20905799ae0SJuan Castillo &pk_ptr, &pk_len);
210575c1469SSandrine Bailleux if (rc != 0) {
211575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
212575c1469SSandrine Bailleux __func__, __LINE__, rc);
213575c1469SSandrine Bailleux return rc;
214575c1469SSandrine Bailleux }
21505799ae0SJuan Castillo } else {
216f1e693a7SManish V Badarkhe /*
217f1e693a7SManish V Badarkhe * Root certificates are signed with the ROTPK, so we have to
218f1e693a7SManish V Badarkhe * get it from the platform.
219f1e693a7SManish V Badarkhe */
220f1e693a7SManish V Badarkhe rc = plat_get_rotpk_info(param->pk->cookie, &pk_plat_ptr,
221f1e693a7SManish V Badarkhe &pk_plat_len, &flags);
222575c1469SSandrine Bailleux if (rc != 0) {
223575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
224575c1469SSandrine Bailleux __func__, __LINE__, rc);
225575c1469SSandrine Bailleux return rc;
226575c1469SSandrine Bailleux }
22705799ae0SJuan Castillo
228f1e693a7SManish V Badarkhe assert(is_rotpk_flags_valid(flags));
229f1e693a7SManish V Badarkhe
230f1e693a7SManish V Badarkhe /* Also retrieve the key from the image. */
23105799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type,
23205799ae0SJuan Castillo param->pk, img, img_len,
23305799ae0SJuan Castillo &pk_ptr, &pk_len);
234575c1469SSandrine Bailleux if (rc != 0) {
235575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
236575c1469SSandrine Bailleux __func__, __LINE__, rc);
237575c1469SSandrine Bailleux return rc;
238575c1469SSandrine Bailleux }
23905799ae0SJuan Castillo
240f1e693a7SManish V Badarkhe /*
241f1e693a7SManish V Badarkhe * Validate the certificate's key against the platform ROTPK.
242f1e693a7SManish V Badarkhe *
243f1e693a7SManish V Badarkhe * Platform may store key in one of the following way -
244f1e693a7SManish V Badarkhe * 1. Hash of ROTPK
245f1e693a7SManish V Badarkhe * 2. Hash if prefixed, suffixed or modified ROTPK
246f1e693a7SManish V Badarkhe * 3. Full ROTPK
247f1e693a7SManish V Badarkhe */
248f1e693a7SManish V Badarkhe if ((flags & ROTPK_NOT_DEPLOYED) != 0U) {
24904943d33SSoby Mathew NOTICE("ROTPK is not deployed on platform. "
25004943d33SSoby Mathew "Skipping ROTPK verification.\n");
251f1e693a7SManish V Badarkhe } else if ((flags & ROTPK_IS_HASH) != 0U) {
252f1e693a7SManish V Badarkhe /*
253f1e693a7SManish V Badarkhe * platform may store the hash of a prefixed,
254f1e693a7SManish V Badarkhe * suffixed or modified pk
255f1e693a7SManish V Badarkhe */
2561046b418SRobin van der Gracht rc = crypto_mod_convert_pk(pk_ptr, pk_len, &cnv_pk_ptr, &cnv_pk_len);
257575c1469SSandrine Bailleux if (rc != 0) {
258575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
259575c1469SSandrine Bailleux __func__, __LINE__, rc);
260575c1469SSandrine Bailleux return rc;
261575c1469SSandrine Bailleux }
26240f9f644SNicolas Toromanoff
263f1e693a7SManish V Badarkhe /*
264f1e693a7SManish V Badarkhe * The hash of the certificate's public key must match
265f1e693a7SManish V Badarkhe * the hash of the ROTPK.
266f1e693a7SManish V Badarkhe */
2671046b418SRobin van der Gracht rc = crypto_mod_verify_hash(cnv_pk_ptr, cnv_pk_len,
268f1e693a7SManish V Badarkhe pk_plat_ptr, pk_plat_len);
269575c1469SSandrine Bailleux if (rc != 0) {
270575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
271575c1469SSandrine Bailleux __func__, __LINE__, rc);
272575c1469SSandrine Bailleux return rc;
273575c1469SSandrine Bailleux }
27405799ae0SJuan Castillo } else {
275f1e693a7SManish V Badarkhe /* Platform supports full ROTPK */
276f1e693a7SManish V Badarkhe if ((pk_len != pk_plat_len) ||
277f1e693a7SManish V Badarkhe (memcmp(pk_plat_ptr, pk_ptr, pk_len) != 0)) {
278f1e693a7SManish V Badarkhe ERROR("plat and cert ROTPK len mismatch\n");
279f1e693a7SManish V Badarkhe return -1;
280f1e693a7SManish V Badarkhe }
281f1e693a7SManish V Badarkhe }
2829eaa5a09SManish V Badarkhe
2839eaa5a09SManish V Badarkhe /*
2849eaa5a09SManish V Badarkhe * Public key is verified at this stage, notify platform
2859eaa5a09SManish V Badarkhe * to measure and publish it.
2869eaa5a09SManish V Badarkhe */
2879eaa5a09SManish V Badarkhe rc = plat_mboot_measure_key(pk_oid, pk_ptr, pk_len);
2889eaa5a09SManish V Badarkhe if (rc != 0) {
289575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
290575c1469SSandrine Bailleux __func__, __LINE__, rc);
2919eaa5a09SManish V Badarkhe }
292f1e693a7SManish V Badarkhe }
293f1e693a7SManish V Badarkhe
29405799ae0SJuan Castillo /* Ask the crypto module to verify the signature */
29505799ae0SJuan Castillo rc = crypto_mod_verify_signature(data_ptr, data_len,
29605799ae0SJuan Castillo sig_ptr, sig_len,
29705799ae0SJuan Castillo sig_alg_ptr, sig_alg_len,
29805799ae0SJuan Castillo pk_ptr, pk_len);
299575c1469SSandrine Bailleux if (rc != 0) {
300575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
301575c1469SSandrine Bailleux __func__, __LINE__, rc);
30205799ae0SJuan Castillo return rc;
30305799ae0SJuan Castillo }
30405799ae0SJuan Castillo
305575c1469SSandrine Bailleux return 0;
306575c1469SSandrine Bailleux }
307575c1469SSandrine Bailleux
30805799ae0SJuan Castillo /*
30948279d52SJuan Castillo * Authenticate by Non-Volatile counter
31048279d52SJuan Castillo *
31148279d52SJuan Castillo * To protect the system against rollback, the platform includes a non-volatile
31248279d52SJuan Castillo * counter whose value can only be increased. All certificates include a counter
31348279d52SJuan Castillo * value that should not be lower than the value stored in the platform. If the
314a2a5a945SManish V Badarkhe * value is larger, the counter in the platform must be updated to the new value
315a2a5a945SManish V Badarkhe * (provided it has been authenticated).
31648279d52SJuan Castillo *
31748279d52SJuan Castillo * Return: 0 = success, Otherwise = error
318a2a5a945SManish V Badarkhe * Returns additionally,
319a2a5a945SManish V Badarkhe * cert_nv_ctr -> NV counter value present in the certificate
320a2a5a945SManish V Badarkhe * need_nv_ctr_upgrade = 0 -> platform NV counter upgrade is not needed
321a2a5a945SManish V Badarkhe * need_nv_ctr_upgrade = 1 -> platform NV counter upgrade is needed
32248279d52SJuan Castillo */
auth_nvctr(const auth_method_param_nv_ctr_t * param,const auth_img_desc_t * img_desc,void * img,unsigned int img_len,unsigned int * cert_nv_ctr,bool * need_nv_ctr_upgrade)32348279d52SJuan Castillo static int auth_nvctr(const auth_method_param_nv_ctr_t *param,
32448279d52SJuan Castillo const auth_img_desc_t *img_desc,
325a2a5a945SManish V Badarkhe void *img, unsigned int img_len,
326a2a5a945SManish V Badarkhe unsigned int *cert_nv_ctr,
327a2a5a945SManish V Badarkhe bool *need_nv_ctr_upgrade)
32848279d52SJuan Castillo {
329abb8f936SDemi Marie Obenour unsigned char *p;
33048279d52SJuan Castillo void *data_ptr = NULL;
33148279d52SJuan Castillo unsigned int data_len, len, i;
332a2a5a945SManish V Badarkhe unsigned int plat_nv_ctr;
333575c1469SSandrine Bailleux int rc;
33448279d52SJuan Castillo
33548279d52SJuan Castillo /* Get the counter value from current image. The AM expects the IPM
33648279d52SJuan Castillo * to return the counter value as a DER encoded integer */
33748279d52SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type, param->cert_nv_ctr,
33848279d52SJuan Castillo img, img_len, &data_ptr, &data_len);
339575c1469SSandrine Bailleux if (rc != 0) {
340575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
341575c1469SSandrine Bailleux __func__, __LINE__, rc);
342575c1469SSandrine Bailleux return rc;
343575c1469SSandrine Bailleux }
34448279d52SJuan Castillo
34548279d52SJuan Castillo /* Parse the DER encoded integer */
34648279d52SJuan Castillo assert(data_ptr);
347abb8f936SDemi Marie Obenour p = (unsigned char *)data_ptr;
348abb8f936SDemi Marie Obenour
349abb8f936SDemi Marie Obenour /*
350abb8f936SDemi Marie Obenour * Integers must be at least 3 bytes: 1 for tag, 1 for length, and 1
351abb8f936SDemi Marie Obenour * for value. The first byte (tag) must be ASN1_INTEGER.
352abb8f936SDemi Marie Obenour */
353abb8f936SDemi Marie Obenour if ((data_len < 3) || (*p != ASN1_INTEGER)) {
35448279d52SJuan Castillo /* Invalid ASN.1 integer */
35548279d52SJuan Castillo return 1;
35648279d52SJuan Castillo }
35748279d52SJuan Castillo p++;
35848279d52SJuan Castillo
359abb8f936SDemi Marie Obenour /*
360abb8f936SDemi Marie Obenour * NV-counters are unsigned integers up to 31 bits. Trailing
361abb8f936SDemi Marie Obenour * padding is not allowed.
362abb8f936SDemi Marie Obenour */
363abb8f936SDemi Marie Obenour len = (unsigned int)*p;
364abb8f936SDemi Marie Obenour if ((len > 4) || (data_len - 2 != len)) {
36548279d52SJuan Castillo return 1;
36648279d52SJuan Castillo }
36748279d52SJuan Castillo p++;
36848279d52SJuan Castillo
36948279d52SJuan Castillo /* Check the number is not negative */
37048279d52SJuan Castillo if (*p & 0x80) {
37148279d52SJuan Castillo return 1;
37248279d52SJuan Castillo }
37348279d52SJuan Castillo
37448279d52SJuan Castillo /* Convert to unsigned int. This code is for a little-endian CPU */
375a2a5a945SManish V Badarkhe *cert_nv_ctr = 0;
37648279d52SJuan Castillo for (i = 0; i < len; i++) {
377a2a5a945SManish V Badarkhe *cert_nv_ctr = (*cert_nv_ctr << 8) | *p++;
37848279d52SJuan Castillo }
37948279d52SJuan Castillo
38048279d52SJuan Castillo /* Get the counter from the platform */
38148279d52SJuan Castillo rc = plat_get_nv_ctr(param->plat_nv_ctr->cookie, &plat_nv_ctr);
382575c1469SSandrine Bailleux if (rc != 0) {
383575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
384575c1469SSandrine Bailleux __func__, __LINE__, rc);
385575c1469SSandrine Bailleux return rc;
386575c1469SSandrine Bailleux }
38748279d52SJuan Castillo
388a2a5a945SManish V Badarkhe if (*cert_nv_ctr < plat_nv_ctr) {
38948279d52SJuan Castillo /* Invalid NV-counter */
39048279d52SJuan Castillo return 1;
391a2a5a945SManish V Badarkhe } else if (*cert_nv_ctr > plat_nv_ctr) {
392c0bfc88fSManish V Badarkhe #if PSA_FWU_SUPPORT && IMAGE_BL2
39356724d09SSughosh Ganu if (fwu_get_active_bank_state() == FWU_BANK_STATE_ACCEPTED) {
39456724d09SSughosh Ganu *need_nv_ctr_upgrade = true;
39556724d09SSughosh Ganu } else {
39656724d09SSughosh Ganu *need_nv_ctr_upgrade = false;
39756724d09SSughosh Ganu }
398*526d956bSXialin Liu #elif PSA_FWU_SUPPORT && IMAGE_BL1
399*526d956bSXialin Liu /* The check is for bl1 only */
400*526d956bSXialin Liu if (bl1_plat_is_shared_nv_ctr() == false) {
401*526d956bSXialin Liu /* If NV ctr is not shared, it can be upgraded */
402*526d956bSXialin Liu *need_nv_ctr_upgrade = true;
403*526d956bSXialin Liu } else {
404*526d956bSXialin Liu /* If NV ctr is shared, the upgrade should happens in BL2 */
405*526d956bSXialin Liu *need_nv_ctr_upgrade = false;
406*526d956bSXialin Liu }
40756724d09SSughosh Ganu #else
40856724d09SSughosh Ganu *need_nv_ctr_upgrade = true;
409c0bfc88fSManish V Badarkhe #endif /* PSA_FWU_SUPPORT && IMAGE_BL2 */
41048279d52SJuan Castillo }
41148279d52SJuan Castillo
41248279d52SJuan Castillo return 0;
41348279d52SJuan Castillo }
41448279d52SJuan Castillo
plat_set_nv_ctr2(void * cookie,const auth_img_desc_t * img_desc __unused,unsigned int nv_ctr)415d35dee23Sdp-arm int plat_set_nv_ctr2(void *cookie, const auth_img_desc_t *img_desc __unused,
416d35dee23Sdp-arm unsigned int nv_ctr)
417d35dee23Sdp-arm {
418d35dee23Sdp-arm return plat_set_nv_ctr(cookie, nv_ctr);
419d35dee23Sdp-arm }
420d35dee23Sdp-arm
42148279d52SJuan Castillo /*
42205799ae0SJuan Castillo * Return the parent id in the output parameter '*parent_id'
42305799ae0SJuan Castillo *
42405799ae0SJuan Castillo * Return value:
42505799ae0SJuan Castillo * 0 = Image has parent, 1 = Image has no parent or parent is authenticated
42605799ae0SJuan Castillo */
auth_mod_get_parent_id(unsigned int img_id,unsigned int * parent_id)42705799ae0SJuan Castillo int auth_mod_get_parent_id(unsigned int img_id, unsigned int *parent_id)
42805799ae0SJuan Castillo {
42905799ae0SJuan Castillo const auth_img_desc_t *img_desc = NULL;
43005799ae0SJuan Castillo
43105799ae0SJuan Castillo assert(parent_id != NULL);
43205799ae0SJuan Castillo /* Get the image descriptor */
433ab1981dbSLouis Mayencourt img_desc = FCONF_GET_PROPERTY(tbbr, cot, img_id);
43405799ae0SJuan Castillo
43505799ae0SJuan Castillo /* Check if the image has no parent (ROT) */
43605799ae0SJuan Castillo if (img_desc->parent == NULL) {
43705799ae0SJuan Castillo *parent_id = 0;
43805799ae0SJuan Castillo return 1;
43905799ae0SJuan Castillo }
44005799ae0SJuan Castillo
44105799ae0SJuan Castillo /* Check if the parent has already been authenticated */
44205799ae0SJuan Castillo if (auth_img_flags[img_desc->parent->img_id] & IMG_FLAG_AUTHENTICATED) {
44305799ae0SJuan Castillo *parent_id = 0;
44405799ae0SJuan Castillo return 1;
44505799ae0SJuan Castillo }
44605799ae0SJuan Castillo
44705799ae0SJuan Castillo *parent_id = img_desc->parent->img_id;
44805799ae0SJuan Castillo return 0;
44905799ae0SJuan Castillo }
45005799ae0SJuan Castillo
45105799ae0SJuan Castillo /*
45205799ae0SJuan Castillo * Initialize the different modules in the authentication framework
45305799ae0SJuan Castillo */
auth_mod_init(void)45405799ae0SJuan Castillo void auth_mod_init(void)
45505799ae0SJuan Castillo {
45605799ae0SJuan Castillo /* Check we have a valid CoT registered */
45705799ae0SJuan Castillo assert(cot_desc_ptr != NULL);
45805799ae0SJuan Castillo
45905799ae0SJuan Castillo /* Image parser module */
46005799ae0SJuan Castillo img_parser_init();
46105799ae0SJuan Castillo }
46205799ae0SJuan Castillo
46305799ae0SJuan Castillo /*
46405799ae0SJuan Castillo * Authenticate a certificate/image
46505799ae0SJuan Castillo *
46605799ae0SJuan Castillo * Return: 0 = success, Otherwise = error
46705799ae0SJuan Castillo */
auth_mod_verify_img(unsigned int img_id,void * img_ptr,unsigned int img_len)46805799ae0SJuan Castillo int auth_mod_verify_img(unsigned int img_id,
46905799ae0SJuan Castillo void *img_ptr,
47005799ae0SJuan Castillo unsigned int img_len)
47105799ae0SJuan Castillo {
47205799ae0SJuan Castillo const auth_img_desc_t *img_desc = NULL;
4739eaa5a09SManish V Badarkhe const auth_param_type_desc_t *type_desc = NULL;
47405799ae0SJuan Castillo const auth_method_desc_t *auth_method = NULL;
47505799ae0SJuan Castillo void *param_ptr;
47605799ae0SJuan Castillo unsigned int param_len;
47705799ae0SJuan Castillo int rc, i;
478a2a5a945SManish V Badarkhe unsigned int cert_nv_ctr = 0;
479a2a5a945SManish V Badarkhe bool need_nv_ctr_upgrade = false;
480a2a5a945SManish V Badarkhe bool sig_auth_done = false;
481a2a5a945SManish V Badarkhe const auth_method_param_nv_ctr_t *nv_ctr_param = NULL;
48205799ae0SJuan Castillo
48305799ae0SJuan Castillo /* Get the image descriptor from the chain of trust */
484ab1981dbSLouis Mayencourt img_desc = FCONF_GET_PROPERTY(tbbr, cot, img_id);
48505799ae0SJuan Castillo
48605799ae0SJuan Castillo /* Ask the parser to check the image integrity */
48705799ae0SJuan Castillo rc = img_parser_check_integrity(img_desc->img_type, img_ptr, img_len);
488575c1469SSandrine Bailleux if (rc != 0) {
489575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
490575c1469SSandrine Bailleux __func__, __LINE__, rc);
491575c1469SSandrine Bailleux return rc;
492575c1469SSandrine Bailleux }
49305799ae0SJuan Castillo
49405799ae0SJuan Castillo /* Authenticate the image using the methods indicated in the image
49505799ae0SJuan Castillo * descriptor. */
49630070427SJoel Hutton if (img_desc->img_auth_methods == NULL)
49730070427SJoel Hutton return 1;
49805799ae0SJuan Castillo for (i = 0 ; i < AUTH_METHOD_NUM ; i++) {
49905799ae0SJuan Castillo auth_method = &img_desc->img_auth_methods[i];
50005799ae0SJuan Castillo switch (auth_method->type) {
50105799ae0SJuan Castillo case AUTH_METHOD_NONE:
50205799ae0SJuan Castillo rc = 0;
50305799ae0SJuan Castillo break;
50405799ae0SJuan Castillo case AUTH_METHOD_HASH:
50505799ae0SJuan Castillo rc = auth_hash(&auth_method->param.hash,
50605799ae0SJuan Castillo img_desc, img_ptr, img_len);
50705799ae0SJuan Castillo break;
50805799ae0SJuan Castillo case AUTH_METHOD_SIG:
50905799ae0SJuan Castillo rc = auth_signature(&auth_method->param.sig,
51005799ae0SJuan Castillo img_desc, img_ptr, img_len);
511a2a5a945SManish V Badarkhe sig_auth_done = true;
51205799ae0SJuan Castillo break;
51348279d52SJuan Castillo case AUTH_METHOD_NV_CTR:
514a2a5a945SManish V Badarkhe nv_ctr_param = &auth_method->param.nv_ctr;
515a2a5a945SManish V Badarkhe rc = auth_nvctr(nv_ctr_param,
516a2a5a945SManish V Badarkhe img_desc, img_ptr, img_len,
517a2a5a945SManish V Badarkhe &cert_nv_ctr, &need_nv_ctr_upgrade);
51848279d52SJuan Castillo break;
51905799ae0SJuan Castillo default:
52005799ae0SJuan Castillo /* Unknown authentication method */
52105799ae0SJuan Castillo rc = 1;
52205799ae0SJuan Castillo break;
52305799ae0SJuan Castillo }
524575c1469SSandrine Bailleux if (rc != 0) {
525575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
526575c1469SSandrine Bailleux __func__, __LINE__, rc);
527575c1469SSandrine Bailleux return rc;
528575c1469SSandrine Bailleux }
52905799ae0SJuan Castillo }
53005799ae0SJuan Castillo
531a2a5a945SManish V Badarkhe /*
532a2a5a945SManish V Badarkhe * Do platform NV counter upgrade only if the certificate gets
533a2a5a945SManish V Badarkhe * authenticated, and platform NV-counter upgrade is needed.
534a2a5a945SManish V Badarkhe */
535a2a5a945SManish V Badarkhe if (need_nv_ctr_upgrade && sig_auth_done) {
536a2a5a945SManish V Badarkhe rc = plat_set_nv_ctr2(nv_ctr_param->plat_nv_ctr->cookie,
537a2a5a945SManish V Badarkhe img_desc, cert_nv_ctr);
538575c1469SSandrine Bailleux if (rc != 0) {
539575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
540575c1469SSandrine Bailleux __func__, __LINE__, rc);
541575c1469SSandrine Bailleux return rc;
542575c1469SSandrine Bailleux }
543a2a5a945SManish V Badarkhe }
544a2a5a945SManish V Badarkhe
54505799ae0SJuan Castillo /* Extract the parameters indicated in the image descriptor to
54605799ae0SJuan Castillo * authenticate the children images. */
54730070427SJoel Hutton if (img_desc->authenticated_data != NULL) {
54805799ae0SJuan Castillo for (i = 0 ; i < COT_MAX_VERIFIED_PARAMS ; i++) {
54905799ae0SJuan Castillo if (img_desc->authenticated_data[i].type_desc == NULL) {
55005799ae0SJuan Castillo continue;
55105799ae0SJuan Castillo }
55205799ae0SJuan Castillo
55305799ae0SJuan Castillo /* Get the parameter from the image parser module */
55405799ae0SJuan Castillo rc = img_parser_get_auth_param(img_desc->img_type,
55505799ae0SJuan Castillo img_desc->authenticated_data[i].type_desc,
55605799ae0SJuan Castillo img_ptr, img_len, ¶m_ptr, ¶m_len);
557575c1469SSandrine Bailleux if (rc != 0) {
558575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
559575c1469SSandrine Bailleux __func__, __LINE__, rc);
560575c1469SSandrine Bailleux return rc;
561575c1469SSandrine Bailleux }
56205799ae0SJuan Castillo
56305799ae0SJuan Castillo /* Check parameter size */
56405799ae0SJuan Castillo if (param_len > img_desc->authenticated_data[i].data.len) {
56505799ae0SJuan Castillo return 1;
56605799ae0SJuan Castillo }
56705799ae0SJuan Castillo
56805799ae0SJuan Castillo /* Copy the parameter for later use */
56905799ae0SJuan Castillo memcpy((void *)img_desc->authenticated_data[i].data.ptr,
57005799ae0SJuan Castillo (void *)param_ptr, param_len);
5719eaa5a09SManish V Badarkhe
5729eaa5a09SManish V Badarkhe /*
5739eaa5a09SManish V Badarkhe * If this is a public key then measure and publicise
5749eaa5a09SManish V Badarkhe * it.
5759eaa5a09SManish V Badarkhe */
5769eaa5a09SManish V Badarkhe type_desc = img_desc->authenticated_data[i].type_desc;
5779eaa5a09SManish V Badarkhe if (type_desc->type == AUTH_PARAM_PUB_KEY) {
5789eaa5a09SManish V Badarkhe rc = plat_mboot_measure_key(type_desc->cookie,
5799eaa5a09SManish V Badarkhe param_ptr,
5809eaa5a09SManish V Badarkhe param_len);
5819eaa5a09SManish V Badarkhe if (rc != 0) {
582575c1469SSandrine Bailleux VERBOSE("[TBB] %s():%d failed with error code %d.\n",
583575c1469SSandrine Bailleux __func__, __LINE__, rc);
5849eaa5a09SManish V Badarkhe }
5859eaa5a09SManish V Badarkhe }
58605799ae0SJuan Castillo }
58730070427SJoel Hutton }
58805799ae0SJuan Castillo
58905799ae0SJuan Castillo /* Mark image as authenticated */
59005799ae0SJuan Castillo auth_img_flags[img_desc->img_id] |= IMG_FLAG_AUTHENTICATED;
59105799ae0SJuan Castillo
59205799ae0SJuan Castillo return 0;
59305799ae0SJuan Castillo }
594