blob: 6cc281a19515f94a6a236a3c44a52e1881352cb9 [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
2 * X.509 certificate writing
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker7c6b2c32013-09-16 13:49:26 +02006 */
7/*
8 * References:
9 * - certificates: RFC 5280, updated by RFC 6818
10 * - CSRs: PKCS#10 v1.7 aka RFC 2986
11 * - attributes: PKCS#9 v2.0 aka RFC 2985
12 */
13
Harry Ramsey0f6bc412024-10-04 10:36:54 +010014#include "x509_internal.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020015
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020016#if defined(MBEDTLS_X509_CRT_WRITE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020017
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000018#include "mbedtls/x509_crt.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000019#include "mbedtls/asn1write.h"
Janos Follath73c616b2019-12-18 15:07:04 +000020#include "mbedtls/error.h"
Gilles Peskine86a47f82025-05-07 20:20:12 +020021#include "x509_oid.h"
Andrzej Kurek67fdb332023-04-04 06:56:14 -040022#include "mbedtls/platform.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050023#include "mbedtls/platform_util.h"
Manuel Pégourié-Gonnard2cd75142023-02-24 12:37:07 +010024#include "mbedtls/md.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020025
Rich Evans00ab4702015-02-06 13:43:58 +000026#include <string.h>
Andrzej Kurek63a6a262023-04-27 08:25:41 -040027#include <stdint.h>
Rich Evans00ab4702015-02-06 13:43:58 +000028
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#if defined(MBEDTLS_PEM_WRITE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/pem.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020032
pespacek7599a772022-02-07 14:40:55 +010033#include "psa/crypto.h"
Manuel Pégourié-Gonnard2be8c632023-06-07 13:07:21 +020034#include "psa_util_internal.h"
Valerio Setti384fbde2024-01-02 13:26:40 +010035#include "mbedtls/psa_util.h"
pespacek7599a772022-02-07 14:40:55 +010036
Gilles Peskine449bd832023-01-11 14:50:10 +010037void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020038{
Gilles Peskine449bd832023-01-11 14:50:10 +010039 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020040
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020042}
43
Gilles Peskine449bd832023-01-11 14:50:10 +010044void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020045{
Troy-Butler9ac3e232024-03-22 14:46:04 -040046 if (ctx == NULL) {
47 return;
48 }
49
Gilles Peskine449bd832023-01-11 14:50:10 +010050 mbedtls_asn1_free_named_data_list(&ctx->subject);
51 mbedtls_asn1_free_named_data_list(&ctx->issuer);
52 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020053
Gilles Peskine449bd832023-01-11 14:50:10 +010054 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020055}
56
Gilles Peskine449bd832023-01-11 14:50:10 +010057void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
58 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020059{
60 ctx->version = version;
61}
62
Gilles Peskine449bd832023-01-11 14:50:10 +010063void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
64 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020065{
66 ctx->md_alg = md_alg;
67}
68
Gilles Peskine449bd832023-01-11 14:50:10 +010069void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
70 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020071{
72 ctx->subject_key = key;
73}
74
Gilles Peskine449bd832023-01-11 14:50:10 +010075void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
76 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020077{
78 ctx->issuer_key = key;
79}
80
Gilles Peskine449bd832023-01-11 14:50:10 +010081int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
82 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020083{
Gilles Peskine449bd832023-01-11 14:50:10 +010084 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020085}
86
Gilles Peskine449bd832023-01-11 14:50:10 +010087int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
88 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020089{
Gilles Peskine449bd832023-01-11 14:50:10 +010090 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020091}
92
Valerio Settiaf4815c2023-01-26 17:43:09 +010093int mbedtls_x509write_crt_set_serial_raw(mbedtls_x509write_cert *ctx,
Valerio Setti746def52023-01-10 11:46:34 +010094 unsigned char *serial, size_t serial_len)
Valerio Settida0afcc2023-01-05 16:46:59 +010095{
Valerio Setti746def52023-01-10 11:46:34 +010096 if (serial_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
Valerio Settida0afcc2023-01-05 16:46:59 +010097 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
98 }
99
Valerio Setti746def52023-01-10 11:46:34 +0100100 ctx->serial_len = serial_len;
101 memcpy(ctx->serial, serial, serial_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100102
Gilles Peskine449bd832023-01-11 14:50:10 +0100103 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200104}
105
Gilles Peskine449bd832023-01-11 14:50:10 +0100106int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
107 const char *not_before,
108 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200109{
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
111 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
112 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200113 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
115 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
117 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200118
Gilles Peskine449bd832023-01-11 14:50:10 +0100119 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200120}
121
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400122int mbedtls_x509write_crt_set_subject_alternative_name(mbedtls_x509write_cert *ctx,
123 const mbedtls_x509_san_list *san_list)
124{
Andrzej Kurekc508dc22023-07-07 08:20:02 -0400125 return mbedtls_x509_write_set_san_common(&ctx->extensions, san_list);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400126}
127
128
Gilles Peskine449bd832023-01-11 14:50:10 +0100129int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
130 const char *oid, size_t oid_len,
131 int critical,
132 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200133{
Gilles Peskine449bd832023-01-11 14:50:10 +0100134 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
135 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200136}
137
Gilles Peskine449bd832023-01-11 14:50:10 +0100138int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
139 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200140{
Janos Follath865b3eb2019-12-16 11:46:15 +0000141 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200142 unsigned char buf[9];
143 unsigned char *c = buf + sizeof(buf);
144 size_t len = 0;
145
Gilles Peskine449bd832023-01-11 14:50:10 +0100146 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200147
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 if (is_ca && max_pathlen > 127) {
149 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200150 }
151
Gilles Peskine449bd832023-01-11 14:50:10 +0100152 if (is_ca) {
153 if (max_pathlen >= 0) {
154 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
155 max_pathlen));
156 }
157 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
158 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200159
Gilles Peskine449bd832023-01-11 14:50:10 +0100160 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
161 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
162 MBEDTLS_ASN1_CONSTRUCTED |
163 MBEDTLS_ASN1_SEQUENCE));
164
165 return
166 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
167 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
168 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200169}
170
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100171#if defined(PSA_WANT_ALG_SHA_1)
Gilles Peskine449bd832023-01-11 14:50:10 +0100172static int mbedtls_x509write_crt_set_key_identifier(mbedtls_x509write_cert *ctx,
173 int is_ca,
174 unsigned char tag)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200175{
Janos Follath865b3eb2019-12-16 11:46:15 +0000176 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200178 unsigned char *c = buf + sizeof(buf);
179 size_t len = 0;
pespacek7599a772022-02-07 14:40:55 +0100180 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
181 size_t hash_length;
pespacek7599a772022-02-07 14:40:55 +0100182
Gilles Peskine449bd832023-01-11 14:50:10 +0100183 memset(buf, 0, sizeof(buf));
184 MBEDTLS_ASN1_CHK_ADD(len,
185 mbedtls_pk_write_pubkey(&c,
186 buf,
187 is_ca ?
188 ctx->issuer_key :
189 ctx->subject_key));
pespacek30151482022-02-17 15:18:47 +0100190
pespaceka6e955e2022-02-14 15:20:57 +0100191
Gilles Peskine449bd832023-01-11 14:50:10 +0100192 status = psa_hash_compute(PSA_ALG_SHA_1,
193 buf + sizeof(buf) - len,
194 len,
195 buf + sizeof(buf) - 20,
196 20,
197 &hash_length);
198 if (status != PSA_SUCCESS) {
199 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100200 }
pespacek7599a772022-02-07 14:40:55 +0100201
Gilles Peskine449bd832023-01-11 14:50:10 +0100202 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200203 len = 20;
204
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
206 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, tag));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200207
Gilles Peskine449bd832023-01-11 14:50:10 +0100208 if (is_ca) { // writes AuthorityKeyIdentifier sequence
209 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
210 MBEDTLS_ASN1_CHK_ADD(len,
211 mbedtls_asn1_write_tag(&c,
212 buf,
213 MBEDTLS_ASN1_CONSTRUCTED |
214 MBEDTLS_ASN1_SEQUENCE));
pespacek30151482022-02-17 15:18:47 +0100215 }
pespacekd924e552022-02-28 11:49:54 +0100216
Gilles Peskine449bd832023-01-11 14:50:10 +0100217 if (is_ca) {
218 return mbedtls_x509write_crt_set_extension(ctx,
219 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
220 MBEDTLS_OID_SIZE(
221 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
222 0, buf + sizeof(buf) - len, len);
223 } else {
224 return mbedtls_x509write_crt_set_extension(ctx,
225 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
226 MBEDTLS_OID_SIZE(
227 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
228 0, buf + sizeof(buf) - len, len);
229 }
pespaceka6e955e2022-02-14 15:20:57 +0100230}
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200231
Gilles Peskine449bd832023-01-11 14:50:10 +0100232int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100233{
Gilles Peskine449bd832023-01-11 14:50:10 +0100234 return mbedtls_x509write_crt_set_key_identifier(ctx,
235 0,
236 MBEDTLS_ASN1_OCTET_STRING);
pespaceka6e955e2022-02-14 15:20:57 +0100237}
238
Gilles Peskine449bd832023-01-11 14:50:10 +0100239int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100240{
Gilles Peskine449bd832023-01-11 14:50:10 +0100241 return mbedtls_x509write_crt_set_key_identifier(ctx,
242 1,
243 (MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200244}
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100245#endif /* PSA_WANT_ALG_SHA_1 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200246
Gilles Peskine449bd832023-01-11 14:50:10 +0100247int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
248 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200249{
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200251 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000252 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100253 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine449bd832023-01-11 14:50:10 +0100254 MBEDTLS_X509_KU_NON_REPUDIATION |
255 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
256 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
257 MBEDTLS_X509_KU_KEY_AGREEMENT |
258 MBEDTLS_X509_KU_KEY_CERT_SIGN |
259 MBEDTLS_X509_KU_CRL_SIGN |
260 MBEDTLS_X509_KU_ENCIPHER_ONLY |
261 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200262
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100263 /* Check that nothing other than the allowed flags is set */
Gilles Peskine449bd832023-01-11 14:50:10 +0100264 if ((key_usage & ~allowed_bits) != 0) {
265 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
266 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200267
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100268 c = buf + 5;
Gilles Peskine449bd832023-01-11 14:50:10 +0100269 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
270 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200271
Gilles Peskine449bd832023-01-11 14:50:10 +0100272 if (ret < 0) {
273 return ret;
274 } else if (ret < 3 || ret > 5) {
275 return MBEDTLS_ERR_X509_INVALID_FORMAT;
276 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200277
Gilles Peskine449bd832023-01-11 14:50:10 +0100278 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
279 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
280 1, c, (size_t) ret);
281 if (ret != 0) {
282 return ret;
283 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200284
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200286}
287
Gilles Peskine449bd832023-01-11 14:50:10 +0100288int mbedtls_x509write_crt_set_ext_key_usage(mbedtls_x509write_cert *ctx,
289 const mbedtls_asn1_sequence *exts)
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100290{
291 unsigned char buf[256];
292 unsigned char *c = buf + sizeof(buf);
293 int ret;
294 size_t len = 0;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100295 const mbedtls_asn1_sequence *last_ext = NULL;
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100296 const mbedtls_asn1_sequence *ext;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100297
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 memset(buf, 0, sizeof(buf));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100299
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000300 /* We need at least one extension: SEQUENCE SIZE (1..MAX) OF KeyPurposeId */
Gilles Peskine449bd832023-01-11 14:50:10 +0100301 if (exts == NULL) {
302 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
303 }
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100304
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000305 /* Iterate over exts backwards, so we write them out in the requested order */
Gilles Peskine449bd832023-01-11 14:50:10 +0100306 while (last_ext != exts) {
307 for (ext = exts; ext->next != last_ext; ext = ext->next) {
308 }
309 if (ext->buf.tag != MBEDTLS_ASN1_OID) {
310 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
311 }
312 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf, ext->buf.p, ext->buf.len));
313 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, ext->buf.len));
314 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OID));
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000315 last_ext = ext;
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100316 }
317
Gilles Peskine449bd832023-01-11 14:50:10 +0100318 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
319 MBEDTLS_ASN1_CHK_ADD(len,
320 mbedtls_asn1_write_tag(&c, buf,
321 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100322
Gilles Peskine449bd832023-01-11 14:50:10 +0100323 return mbedtls_x509write_crt_set_extension(ctx,
324 MBEDTLS_OID_EXTENDED_KEY_USAGE,
325 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
326 1, c, len);
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100327}
328
Gilles Peskine449bd832023-01-11 14:50:10 +0100329int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
330 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200331{
Gilles Peskine449bd832023-01-11 14:50:10 +0100332 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200333 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000334 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335
336 c = buf + 4;
337
Gilles Peskine449bd832023-01-11 14:50:10 +0100338 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
339 if (ret < 3 || ret > 4) {
340 return ret;
341 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200342
Gilles Peskine449bd832023-01-11 14:50:10 +0100343 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
344 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
345 0, c, (size_t) ret);
346 if (ret != 0) {
347 return ret;
348 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200349
Gilles Peskine449bd832023-01-11 14:50:10 +0100350 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200351}
352
Gilles Peskine449bd832023-01-11 14:50:10 +0100353static int x509_write_time(unsigned char **p, unsigned char *start,
354 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200355{
Janos Follath865b3eb2019-12-16 11:46:15 +0000356 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200357 size_t len = 0;
358
359 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200360 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200361 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100362 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
363 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
364 (const unsigned char *) t + 2,
365 size - 2));
366 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
367 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
368 MBEDTLS_ASN1_UTC_TIME));
369 } else {
370 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
371 (const unsigned char *) t,
372 size));
373 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
374 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
375 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200376 }
377
Gilles Peskine449bd832023-01-11 14:50:10 +0100378 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200379}
380
Gilles Peskine449bd832023-01-11 14:50:10 +0100381int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000382 unsigned char *buf, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200383{
Janos Follath865b3eb2019-12-16 11:46:15 +0000384 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200385 const char *sig_oid;
386 size_t sig_oid_len = 0;
387 unsigned char *c, *c2;
Gilles Peskinebf887802019-11-08 19:21:51 +0100388 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100389 size_t hash_length = 0;
Manuel Pégourié-Gonnard88579842023-03-28 11:20:23 +0200390 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100391 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
392 psa_algorithm_t psa_algorithm;
pespacek7599a772022-02-07 14:40:55 +0100393
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200394 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
395 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200396 mbedtls_pk_type_t pk_alg;
Marek Jansta8bde6492022-11-07 12:38:38 +0100397 int write_sig_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200398
399 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100400 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200401 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100402 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200403
404 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100405
406 /* There's no direct way of extracting a signature algorithm
407 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100408 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100409 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100410 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100412 } else {
413 return MBEDTLS_ERR_X509_INVALID_ALG;
414 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200415
Gilles Peskine532e3ee2025-05-07 20:37:15 +0200416 if ((ret = mbedtls_x509_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
417 &sig_oid, &sig_oid_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100418 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200419 }
420
421 /*
422 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
423 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100424
425 /* Only for v3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100426 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
427 MBEDTLS_ASN1_CHK_ADD(len,
428 mbedtls_x509_write_extensions(&c,
429 buf, ctx->extensions));
430 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
431 MBEDTLS_ASN1_CHK_ADD(len,
432 mbedtls_asn1_write_tag(&c, buf,
433 MBEDTLS_ASN1_CONSTRUCTED |
434 MBEDTLS_ASN1_SEQUENCE));
435 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
436 MBEDTLS_ASN1_CHK_ADD(len,
437 mbedtls_asn1_write_tag(&c, buf,
438 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
439 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100440 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200441
442 /*
443 * SubjectPublicKeyInfo
444 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100445 MBEDTLS_ASN1_CHK_ADD(pub_len,
446 mbedtls_pk_write_pubkey_der(ctx->subject_key,
Dave Rodgmane4a6f5a2023-11-04 12:20:09 +0000447 buf, (size_t) (c - buf)));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200448 c -= pub_len;
449 len += pub_len;
450
451 /*
452 * Subject ::= Name
453 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100454 MBEDTLS_ASN1_CHK_ADD(len,
455 mbedtls_x509_write_names(&c, buf,
456 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200457
458 /*
459 * Validity ::= SEQUENCE {
460 * notBefore Time,
461 * notAfter Time }
462 */
463 sub_len = 0;
464
Gilles Peskine449bd832023-01-11 14:50:10 +0100465 MBEDTLS_ASN1_CHK_ADD(sub_len,
466 x509_write_time(&c, buf, ctx->not_after,
467 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200468
Gilles Peskine449bd832023-01-11 14:50:10 +0100469 MBEDTLS_ASN1_CHK_ADD(sub_len,
470 x509_write_time(&c, buf, ctx->not_before,
471 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200472
473 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100474 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
475 MBEDTLS_ASN1_CHK_ADD(len,
476 mbedtls_asn1_write_tag(&c, buf,
477 MBEDTLS_ASN1_CONSTRUCTED |
478 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200479
480 /*
481 * Issuer ::= Name
482 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100483 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
484 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200485
486 /*
487 * Signature ::= AlgorithmIdentifier
488 */
Marek Jansta8bde6492022-11-07 12:38:38 +0100489 if (pk_alg == MBEDTLS_PK_ECDSA) {
490 /*
491 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
492 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
493 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
494 */
495 write_sig_null_par = 0;
496 } else {
497 write_sig_null_par = 1;
498 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100499 MBEDTLS_ASN1_CHK_ADD(len,
Marek Jansta8bde6492022-11-07 12:38:38 +0100500 mbedtls_asn1_write_algorithm_identifier_ext(&c, buf,
501 sig_oid, strlen(sig_oid),
502 0, write_sig_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200503
504 /*
505 * Serial ::= INTEGER
Valerio Settida0afcc2023-01-05 16:46:59 +0100506 *
507 * Written data is:
Valerio Setti4752aac2023-01-10 16:00:15 +0100508 * - "ctx->serial_len" bytes for the raw serial buffer
509 * - if MSb of "serial" is 1, then prepend an extra 0x00 byte
Valerio Settida0afcc2023-01-05 16:46:59 +0100510 * - 1 byte for the length
511 * - 1 byte for the TAG
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200512 */
Valerio Settida0afcc2023-01-05 16:46:59 +0100513 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf,
514 ctx->serial, ctx->serial_len));
Valerio Setti4752aac2023-01-10 16:00:15 +0100515 if (*c & 0x80) {
516 if (c - buf < 1) {
517 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
518 }
Valerio Setti856cec42023-01-12 14:56:54 +0100519 *(--c) = 0x0;
Valerio Setti4752aac2023-01-10 16:00:15 +0100520 len++;
521 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
522 ctx->serial_len + 1));
523 } else {
524 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
525 ctx->serial_len));
526 }
Valerio Settida0afcc2023-01-05 16:46:59 +0100527 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
528 MBEDTLS_ASN1_INTEGER));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200529
530 /*
531 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
532 */
Hanno Becker47698652017-09-13 11:59:26 +0100533
534 /* Can be omitted for v1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100535 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100536 sub_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100537 MBEDTLS_ASN1_CHK_ADD(sub_len,
538 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100539 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100540 MBEDTLS_ASN1_CHK_ADD(len,
541 mbedtls_asn1_write_len(&c, buf, sub_len));
542 MBEDTLS_ASN1_CHK_ADD(len,
543 mbedtls_asn1_write_tag(&c, buf,
544 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
545 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100546 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200547
Gilles Peskine449bd832023-01-11 14:50:10 +0100548 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
549 MBEDTLS_ASN1_CHK_ADD(len,
550 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
551 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200552
553 /*
554 * Make signature
555 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100556
557 /* Compute hash of CRT. */
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200558 psa_algorithm = mbedtls_md_psa_alg_from_type(ctx->md_alg);
pespacek7599a772022-02-07 14:40:55 +0100559
Gilles Peskine449bd832023-01-11 14:50:10 +0100560 status = psa_hash_compute(psa_algorithm,
561 c,
562 len,
563 hash,
564 sizeof(hash),
565 &hash_length);
566 if (status != PSA_SUCCESS) {
567 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100568 }
pespacek7599a772022-02-07 14:40:55 +0100569
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200570
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000572 hash, hash_length, sig, sizeof(sig), &sig_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100573 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200574 }
575
Hanno Beckerdef43052019-05-04 07:54:36 +0100576 /* Move CRT to the front of the buffer to have space
577 * for the signature. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100578 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100579 c = buf + len;
580
581 /* Add signature at the end of the buffer,
582 * making sure that it doesn't underflow
583 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200584 c2 = buf + size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100585 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
Marek Jansta8bde6492022-11-07 12:38:38 +0100586 sig_oid, sig_oid_len,
587 sig, sig_len, pk_alg));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200588
Hanno Beckerdef43052019-05-04 07:54:36 +0100589 /*
590 * Memory layout after this step:
591 *
592 * buf c=buf+len c2 buf+size
593 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
594 */
Andres AG60dbc932016-09-02 15:23:48 +0100595
Hanno Beckerdef43052019-05-04 07:54:36 +0100596 /* Move raw CRT to just before the signature. */
597 c = c2 - len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100598 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200599
600 len += sig_and_oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100601 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
602 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
603 MBEDTLS_ASN1_CONSTRUCTED |
604 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200605
Gilles Peskine449bd832023-01-11 14:50:10 +0100606 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200607}
608
609#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
610#define PEM_END_CRT "-----END CERTIFICATE-----\n"
611
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200612#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100613int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000614 unsigned char *buf, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200615{
Janos Follath865b3eb2019-12-16 11:46:15 +0000616 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100617 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200618
Ben Taylor440cb2a2025-03-05 09:40:08 +0000619 if ((ret = mbedtls_x509write_crt_der(crt, buf, size)) < 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100620 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200621 }
622
Gilles Peskine449bd832023-01-11 14:50:10 +0100623 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
624 buf + size - ret, ret,
625 buf, size, &olen)) != 0) {
626 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200627 }
628
Gilles Peskine449bd832023-01-11 14:50:10 +0100629 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200630}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200631#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200632
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200633#endif /* MBEDTLS_X509_CRT_WRITE_C */