blob: e530ae8dbe3718895534c49dbd8b382a4f091347 [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 Peskinecd4c0d72025-05-07 23:45:12 +020021#include "mbedtls/oid.h"
Gilles Peskine86a47f82025-05-07 20:20:12 +020022#include "x509_oid.h"
Andrzej Kurek67fdb332023-04-04 06:56:14 -040023#include "mbedtls/platform.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050024#include "mbedtls/platform_util.h"
Manuel Pégourié-Gonnard2cd75142023-02-24 12:37:07 +010025#include "mbedtls/md.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020026
Rich Evans00ab4702015-02-06 13:43:58 +000027#include <string.h>
Andrzej Kurek63a6a262023-04-27 08:25:41 -040028#include <stdint.h>
Rich Evans00ab4702015-02-06 13:43:58 +000029
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030#if defined(MBEDTLS_PEM_WRITE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/pem.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020033
pespacek7599a772022-02-07 14:40:55 +010034#include "psa/crypto.h"
Manuel Pégourié-Gonnard2be8c632023-06-07 13:07:21 +020035#include "psa_util_internal.h"
Valerio Setti384fbde2024-01-02 13:26:40 +010036#include "mbedtls/psa_util.h"
pespacek7599a772022-02-07 14:40:55 +010037
Gilles Peskine449bd832023-01-11 14:50:10 +010038void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020039{
Gilles Peskine449bd832023-01-11 14:50:10 +010040 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020041
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020043}
44
Gilles Peskine449bd832023-01-11 14:50:10 +010045void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020046{
Troy-Butler9ac3e232024-03-22 14:46:04 -040047 if (ctx == NULL) {
48 return;
49 }
50
Gilles Peskine449bd832023-01-11 14:50:10 +010051 mbedtls_asn1_free_named_data_list(&ctx->subject);
52 mbedtls_asn1_free_named_data_list(&ctx->issuer);
53 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054
Gilles Peskine449bd832023-01-11 14:50:10 +010055 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020056}
57
Gilles Peskine449bd832023-01-11 14:50:10 +010058void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
59 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020060{
61 ctx->version = version;
62}
63
Gilles Peskine449bd832023-01-11 14:50:10 +010064void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
65 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020066{
67 ctx->md_alg = md_alg;
68}
69
Gilles Peskine449bd832023-01-11 14:50:10 +010070void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
71 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020072{
73 ctx->subject_key = key;
74}
75
Gilles Peskine449bd832023-01-11 14:50:10 +010076void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
77 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020078{
79 ctx->issuer_key = key;
80}
81
Gilles Peskine449bd832023-01-11 14:50:10 +010082int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
83 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020084{
Gilles Peskine449bd832023-01-11 14:50:10 +010085 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020086}
87
Gilles Peskine449bd832023-01-11 14:50:10 +010088int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
89 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090{
Gilles Peskine449bd832023-01-11 14:50:10 +010091 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020092}
93
Valerio Settiaf4815c2023-01-26 17:43:09 +010094int mbedtls_x509write_crt_set_serial_raw(mbedtls_x509write_cert *ctx,
Valerio Setti746def52023-01-10 11:46:34 +010095 unsigned char *serial, size_t serial_len)
Valerio Settida0afcc2023-01-05 16:46:59 +010096{
Valerio Setti746def52023-01-10 11:46:34 +010097 if (serial_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
Valerio Settida0afcc2023-01-05 16:46:59 +010098 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
99 }
100
Valerio Setti746def52023-01-10 11:46:34 +0100101 ctx->serial_len = serial_len;
102 memcpy(ctx->serial, serial, serial_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100103
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200105}
106
Gilles Peskine449bd832023-01-11 14:50:10 +0100107int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
108 const char *not_before,
109 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200110{
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
112 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
113 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200114 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100115 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
116 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
118 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200119
Gilles Peskine449bd832023-01-11 14:50:10 +0100120 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200121}
122
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400123int mbedtls_x509write_crt_set_subject_alternative_name(mbedtls_x509write_cert *ctx,
124 const mbedtls_x509_san_list *san_list)
125{
Andrzej Kurekc508dc22023-07-07 08:20:02 -0400126 return mbedtls_x509_write_set_san_common(&ctx->extensions, san_list);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400127}
128
129
Gilles Peskine449bd832023-01-11 14:50:10 +0100130int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
131 const char *oid, size_t oid_len,
132 int critical,
133 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200134{
Gilles Peskine449bd832023-01-11 14:50:10 +0100135 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
136 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200137}
138
Gilles Peskine449bd832023-01-11 14:50:10 +0100139int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
140 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200141{
Janos Follath865b3eb2019-12-16 11:46:15 +0000142 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200143 unsigned char buf[9];
144 unsigned char *c = buf + sizeof(buf);
145 size_t len = 0;
146
Gilles Peskine449bd832023-01-11 14:50:10 +0100147 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200148
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 if (is_ca && max_pathlen > 127) {
150 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200151 }
152
Gilles Peskine449bd832023-01-11 14:50:10 +0100153 if (is_ca) {
154 if (max_pathlen >= 0) {
155 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
156 max_pathlen));
157 }
158 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
159 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200160
Gilles Peskine449bd832023-01-11 14:50:10 +0100161 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
162 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
163 MBEDTLS_ASN1_CONSTRUCTED |
164 MBEDTLS_ASN1_SEQUENCE));
165
166 return
167 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
168 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
169 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200170}
171
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100172#if defined(PSA_WANT_ALG_SHA_1)
Gilles Peskine449bd832023-01-11 14:50:10 +0100173static int mbedtls_x509write_crt_set_key_identifier(mbedtls_x509write_cert *ctx,
174 int is_ca,
175 unsigned char tag)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200176{
Janos Follath865b3eb2019-12-16 11:46:15 +0000177 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200178 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200179 unsigned char *c = buf + sizeof(buf);
180 size_t len = 0;
pespacek7599a772022-02-07 14:40:55 +0100181 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
182 size_t hash_length;
pespacek7599a772022-02-07 14:40:55 +0100183
Gilles Peskine449bd832023-01-11 14:50:10 +0100184 memset(buf, 0, sizeof(buf));
185 MBEDTLS_ASN1_CHK_ADD(len,
186 mbedtls_pk_write_pubkey(&c,
187 buf,
188 is_ca ?
189 ctx->issuer_key :
190 ctx->subject_key));
pespacek30151482022-02-17 15:18:47 +0100191
pespaceka6e955e2022-02-14 15:20:57 +0100192
Gilles Peskine449bd832023-01-11 14:50:10 +0100193 status = psa_hash_compute(PSA_ALG_SHA_1,
194 buf + sizeof(buf) - len,
195 len,
196 buf + sizeof(buf) - 20,
197 20,
198 &hash_length);
199 if (status != PSA_SUCCESS) {
200 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100201 }
pespacek7599a772022-02-07 14:40:55 +0100202
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200204 len = 20;
205
Gilles Peskine449bd832023-01-11 14:50:10 +0100206 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
207 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, tag));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200208
Gilles Peskine449bd832023-01-11 14:50:10 +0100209 if (is_ca) { // writes AuthorityKeyIdentifier sequence
210 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
211 MBEDTLS_ASN1_CHK_ADD(len,
212 mbedtls_asn1_write_tag(&c,
213 buf,
214 MBEDTLS_ASN1_CONSTRUCTED |
215 MBEDTLS_ASN1_SEQUENCE));
pespacek30151482022-02-17 15:18:47 +0100216 }
pespacekd924e552022-02-28 11:49:54 +0100217
Gilles Peskine449bd832023-01-11 14:50:10 +0100218 if (is_ca) {
219 return mbedtls_x509write_crt_set_extension(ctx,
220 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
221 MBEDTLS_OID_SIZE(
222 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
223 0, buf + sizeof(buf) - len, len);
224 } else {
225 return mbedtls_x509write_crt_set_extension(ctx,
226 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
227 MBEDTLS_OID_SIZE(
228 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
229 0, buf + sizeof(buf) - len, len);
230 }
pespaceka6e955e2022-02-14 15:20:57 +0100231}
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200232
Gilles Peskine449bd832023-01-11 14:50:10 +0100233int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100234{
Gilles Peskine449bd832023-01-11 14:50:10 +0100235 return mbedtls_x509write_crt_set_key_identifier(ctx,
236 0,
237 MBEDTLS_ASN1_OCTET_STRING);
pespaceka6e955e2022-02-14 15:20:57 +0100238}
239
Gilles Peskine449bd832023-01-11 14:50:10 +0100240int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100241{
Gilles Peskine449bd832023-01-11 14:50:10 +0100242 return mbedtls_x509write_crt_set_key_identifier(ctx,
243 1,
244 (MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200245}
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100246#endif /* PSA_WANT_ALG_SHA_1 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200247
Gilles Peskine449bd832023-01-11 14:50:10 +0100248int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
249 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200250{
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200252 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000253 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100254 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine449bd832023-01-11 14:50:10 +0100255 MBEDTLS_X509_KU_NON_REPUDIATION |
256 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
257 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
258 MBEDTLS_X509_KU_KEY_AGREEMENT |
259 MBEDTLS_X509_KU_KEY_CERT_SIGN |
260 MBEDTLS_X509_KU_CRL_SIGN |
261 MBEDTLS_X509_KU_ENCIPHER_ONLY |
262 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200263
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100264 /* Check that nothing other than the allowed flags is set */
Gilles Peskine449bd832023-01-11 14:50:10 +0100265 if ((key_usage & ~allowed_bits) != 0) {
266 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
267 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200268
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100269 c = buf + 5;
Gilles Peskine449bd832023-01-11 14:50:10 +0100270 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
271 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200272
Gilles Peskine449bd832023-01-11 14:50:10 +0100273 if (ret < 0) {
274 return ret;
275 } else if (ret < 3 || ret > 5) {
276 return MBEDTLS_ERR_X509_INVALID_FORMAT;
277 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200278
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
280 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
281 1, c, (size_t) ret);
282 if (ret != 0) {
283 return ret;
284 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285
Gilles Peskine449bd832023-01-11 14:50:10 +0100286 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200287}
288
Gilles Peskine449bd832023-01-11 14:50:10 +0100289int mbedtls_x509write_crt_set_ext_key_usage(mbedtls_x509write_cert *ctx,
290 const mbedtls_asn1_sequence *exts)
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100291{
292 unsigned char buf[256];
293 unsigned char *c = buf + sizeof(buf);
294 int ret;
295 size_t len = 0;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100296 const mbedtls_asn1_sequence *last_ext = NULL;
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100297 const mbedtls_asn1_sequence *ext;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100298
Gilles Peskine449bd832023-01-11 14:50:10 +0100299 memset(buf, 0, sizeof(buf));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100300
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000301 /* We need at least one extension: SEQUENCE SIZE (1..MAX) OF KeyPurposeId */
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 if (exts == NULL) {
303 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
304 }
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100305
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000306 /* Iterate over exts backwards, so we write them out in the requested order */
Gilles Peskine449bd832023-01-11 14:50:10 +0100307 while (last_ext != exts) {
308 for (ext = exts; ext->next != last_ext; ext = ext->next) {
309 }
310 if (ext->buf.tag != MBEDTLS_ASN1_OID) {
311 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
312 }
313 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf, ext->buf.p, ext->buf.len));
314 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, ext->buf.len));
315 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OID));
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000316 last_ext = ext;
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100317 }
318
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
320 MBEDTLS_ASN1_CHK_ADD(len,
321 mbedtls_asn1_write_tag(&c, buf,
322 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100323
Gilles Peskine449bd832023-01-11 14:50:10 +0100324 return mbedtls_x509write_crt_set_extension(ctx,
325 MBEDTLS_OID_EXTENDED_KEY_USAGE,
326 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
327 1, c, len);
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100328}
329
Gilles Peskine449bd832023-01-11 14:50:10 +0100330int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
331 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200332{
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200334 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000335 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200336
337 c = buf + 4;
338
Gilles Peskine449bd832023-01-11 14:50:10 +0100339 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
340 if (ret < 3 || ret > 4) {
341 return ret;
342 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200343
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
345 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
346 0, c, (size_t) ret);
347 if (ret != 0) {
348 return ret;
349 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200350
Gilles Peskine449bd832023-01-11 14:50:10 +0100351 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200352}
353
Gilles Peskine449bd832023-01-11 14:50:10 +0100354static int x509_write_time(unsigned char **p, unsigned char *start,
355 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200356{
Janos Follath865b3eb2019-12-16 11:46:15 +0000357 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200358 size_t len = 0;
359
360 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200361 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200362 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100363 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
364 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
365 (const unsigned char *) t + 2,
366 size - 2));
367 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
368 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
369 MBEDTLS_ASN1_UTC_TIME));
370 } else {
371 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
372 (const unsigned char *) t,
373 size));
374 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
375 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
376 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200377 }
378
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200380}
381
Gilles Peskine449bd832023-01-11 14:50:10 +0100382int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000383 unsigned char *buf, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200384{
Janos Follath865b3eb2019-12-16 11:46:15 +0000385 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200386 const char *sig_oid;
387 size_t sig_oid_len = 0;
388 unsigned char *c, *c2;
Gilles Peskinebf887802019-11-08 19:21:51 +0100389 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100390 size_t hash_length = 0;
Manuel Pégourié-Gonnard88579842023-03-28 11:20:23 +0200391 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100392 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
393 psa_algorithm_t psa_algorithm;
pespacek7599a772022-02-07 14:40:55 +0100394
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200395 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
396 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200397 mbedtls_pk_type_t pk_alg;
Marek Jansta8bde6492022-11-07 12:38:38 +0100398 int write_sig_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200399
400 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100401 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200402 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100403 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200404
405 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100406
407 /* There's no direct way of extracting a signature algorithm
408 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100409 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100410 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100411 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100413 } else {
414 return MBEDTLS_ERR_X509_INVALID_ALG;
415 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200416
Gilles Peskine532e3ee2025-05-07 20:37:15 +0200417 if ((ret = mbedtls_x509_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
418 &sig_oid, &sig_oid_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100419 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420 }
421
422 /*
423 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
424 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100425
426 /* Only for v3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
428 MBEDTLS_ASN1_CHK_ADD(len,
429 mbedtls_x509_write_extensions(&c,
430 buf, ctx->extensions));
431 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
432 MBEDTLS_ASN1_CHK_ADD(len,
433 mbedtls_asn1_write_tag(&c, buf,
434 MBEDTLS_ASN1_CONSTRUCTED |
435 MBEDTLS_ASN1_SEQUENCE));
436 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
437 MBEDTLS_ASN1_CHK_ADD(len,
438 mbedtls_asn1_write_tag(&c, buf,
439 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
440 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100441 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200442
443 /*
444 * SubjectPublicKeyInfo
445 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100446 MBEDTLS_ASN1_CHK_ADD(pub_len,
447 mbedtls_pk_write_pubkey_der(ctx->subject_key,
Dave Rodgmane4a6f5a2023-11-04 12:20:09 +0000448 buf, (size_t) (c - buf)));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200449 c -= pub_len;
450 len += pub_len;
451
452 /*
453 * Subject ::= Name
454 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100455 MBEDTLS_ASN1_CHK_ADD(len,
456 mbedtls_x509_write_names(&c, buf,
457 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458
459 /*
460 * Validity ::= SEQUENCE {
461 * notBefore Time,
462 * notAfter Time }
463 */
464 sub_len = 0;
465
Gilles Peskine449bd832023-01-11 14:50:10 +0100466 MBEDTLS_ASN1_CHK_ADD(sub_len,
467 x509_write_time(&c, buf, ctx->not_after,
468 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200469
Gilles Peskine449bd832023-01-11 14:50:10 +0100470 MBEDTLS_ASN1_CHK_ADD(sub_len,
471 x509_write_time(&c, buf, ctx->not_before,
472 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200473
474 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100475 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
476 MBEDTLS_ASN1_CHK_ADD(len,
477 mbedtls_asn1_write_tag(&c, buf,
478 MBEDTLS_ASN1_CONSTRUCTED |
479 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200480
481 /*
482 * Issuer ::= Name
483 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100484 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
485 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200486
487 /*
488 * Signature ::= AlgorithmIdentifier
489 */
Marek Jansta8bde6492022-11-07 12:38:38 +0100490 if (pk_alg == MBEDTLS_PK_ECDSA) {
491 /*
492 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
493 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
494 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
495 */
496 write_sig_null_par = 0;
497 } else {
498 write_sig_null_par = 1;
499 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100500 MBEDTLS_ASN1_CHK_ADD(len,
Marek Jansta8bde6492022-11-07 12:38:38 +0100501 mbedtls_asn1_write_algorithm_identifier_ext(&c, buf,
502 sig_oid, strlen(sig_oid),
503 0, write_sig_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200504
505 /*
506 * Serial ::= INTEGER
Valerio Settida0afcc2023-01-05 16:46:59 +0100507 *
508 * Written data is:
Valerio Setti4752aac2023-01-10 16:00:15 +0100509 * - "ctx->serial_len" bytes for the raw serial buffer
510 * - if MSb of "serial" is 1, then prepend an extra 0x00 byte
Valerio Settida0afcc2023-01-05 16:46:59 +0100511 * - 1 byte for the length
512 * - 1 byte for the TAG
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200513 */
Valerio Settida0afcc2023-01-05 16:46:59 +0100514 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf,
515 ctx->serial, ctx->serial_len));
Valerio Setti4752aac2023-01-10 16:00:15 +0100516 if (*c & 0x80) {
517 if (c - buf < 1) {
518 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
519 }
Valerio Setti856cec42023-01-12 14:56:54 +0100520 *(--c) = 0x0;
Valerio Setti4752aac2023-01-10 16:00:15 +0100521 len++;
522 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
523 ctx->serial_len + 1));
524 } else {
525 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
526 ctx->serial_len));
527 }
Valerio Settida0afcc2023-01-05 16:46:59 +0100528 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
529 MBEDTLS_ASN1_INTEGER));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200530
531 /*
532 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
533 */
Hanno Becker47698652017-09-13 11:59:26 +0100534
535 /* Can be omitted for v1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100536 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100537 sub_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100538 MBEDTLS_ASN1_CHK_ADD(sub_len,
539 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100540 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100541 MBEDTLS_ASN1_CHK_ADD(len,
542 mbedtls_asn1_write_len(&c, buf, sub_len));
543 MBEDTLS_ASN1_CHK_ADD(len,
544 mbedtls_asn1_write_tag(&c, buf,
545 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
546 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100547 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200548
Gilles Peskine449bd832023-01-11 14:50:10 +0100549 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
550 MBEDTLS_ASN1_CHK_ADD(len,
551 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
552 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200553
554 /*
555 * Make signature
556 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100557
558 /* Compute hash of CRT. */
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200559 psa_algorithm = mbedtls_md_psa_alg_from_type(ctx->md_alg);
pespacek7599a772022-02-07 14:40:55 +0100560
Gilles Peskine449bd832023-01-11 14:50:10 +0100561 status = psa_hash_compute(psa_algorithm,
562 c,
563 len,
564 hash,
565 sizeof(hash),
566 &hash_length);
567 if (status != PSA_SUCCESS) {
568 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100569 }
pespacek7599a772022-02-07 14:40:55 +0100570
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200571
Gilles Peskine449bd832023-01-11 14:50:10 +0100572 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000573 hash, hash_length, sig, sizeof(sig), &sig_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100574 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200575 }
576
Hanno Beckerdef43052019-05-04 07:54:36 +0100577 /* Move CRT to the front of the buffer to have space
578 * for the signature. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100579 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100580 c = buf + len;
581
582 /* Add signature at the end of the buffer,
583 * making sure that it doesn't underflow
584 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200585 c2 = buf + size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100586 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
Marek Jansta8bde6492022-11-07 12:38:38 +0100587 sig_oid, sig_oid_len,
588 sig, sig_len, pk_alg));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200589
Hanno Beckerdef43052019-05-04 07:54:36 +0100590 /*
591 * Memory layout after this step:
592 *
593 * buf c=buf+len c2 buf+size
594 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
595 */
Andres AG60dbc932016-09-02 15:23:48 +0100596
Hanno Beckerdef43052019-05-04 07:54:36 +0100597 /* Move raw CRT to just before the signature. */
598 c = c2 - len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100599 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200600
601 len += sig_and_oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100602 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
603 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
604 MBEDTLS_ASN1_CONSTRUCTED |
605 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200606
Gilles Peskine449bd832023-01-11 14:50:10 +0100607 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200608}
609
610#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
611#define PEM_END_CRT "-----END CERTIFICATE-----\n"
612
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200613#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100614int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
Ben Taylor440cb2a2025-03-05 09:40:08 +0000615 unsigned char *buf, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200616{
Janos Follath865b3eb2019-12-16 11:46:15 +0000617 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100618 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200619
Ben Taylor440cb2a2025-03-05 09:40:08 +0000620 if ((ret = mbedtls_x509write_crt_der(crt, buf, size)) < 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100621 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200622 }
623
Gilles Peskine449bd832023-01-11 14:50:10 +0100624 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
625 buf + size - ret, ret,
626 buf, size, &olen)) != 0) {
627 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200628 }
629
Gilles Peskine449bd832023-01-11 14:50:10 +0100630 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200631}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200632#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200633
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200634#endif /* MBEDTLS_X509_CRT_WRITE_C */