blob: 4bae0fbf67fbfd5a01b3e0a0373143173696d1bd [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"
21#include "mbedtls/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#if defined(MBEDTLS_USE_PSA_CRYPTO)
34#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#endif /* MBEDTLS_USE_PSA_CRYPTO */
38
Gilles Peskine449bd832023-01-11 14:50:10 +010039void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020040{
Gilles Peskine449bd832023-01-11 14:50:10 +010041 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020042
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020044}
45
Gilles Peskine449bd832023-01-11 14:50:10 +010046void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020047{
Troy-Butler9ac3e232024-03-22 14:46:04 -040048 if (ctx == NULL) {
49 return;
50 }
51
Gilles Peskine449bd832023-01-11 14:50:10 +010052 mbedtls_asn1_free_named_data_list(&ctx->subject);
53 mbedtls_asn1_free_named_data_list(&ctx->issuer);
54 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020055
Gilles Peskine449bd832023-01-11 14:50:10 +010056 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020057}
58
Gilles Peskine449bd832023-01-11 14:50:10 +010059void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
60 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020061{
62 ctx->version = version;
63}
64
Gilles Peskine449bd832023-01-11 14:50:10 +010065void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
66 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020067{
68 ctx->md_alg = md_alg;
69}
70
Gilles Peskine449bd832023-01-11 14:50:10 +010071void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
72 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020073{
74 ctx->subject_key = key;
75}
76
Gilles Peskine449bd832023-01-11 14:50:10 +010077void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
78 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020079{
80 ctx->issuer_key = key;
81}
82
Gilles Peskine449bd832023-01-11 14:50:10 +010083int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
84 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020085{
Gilles Peskine449bd832023-01-11 14:50:10 +010086 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020087}
88
Gilles Peskine449bd832023-01-11 14:50:10 +010089int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
90 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020091{
Gilles Peskine449bd832023-01-11 14:50:10 +010092 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020093}
94
Valerio Settiaf4815c2023-01-26 17:43:09 +010095int mbedtls_x509write_crt_set_serial_raw(mbedtls_x509write_cert *ctx,
Valerio Setti746def52023-01-10 11:46:34 +010096 unsigned char *serial, size_t serial_len)
Valerio Settida0afcc2023-01-05 16:46:59 +010097{
Valerio Setti746def52023-01-10 11:46:34 +010098 if (serial_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
Valerio Settida0afcc2023-01-05 16:46:59 +010099 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
100 }
101
Valerio Setti746def52023-01-10 11:46:34 +0100102 ctx->serial_len = serial_len;
103 memcpy(ctx->serial, serial, serial_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100104
Gilles Peskine449bd832023-01-11 14:50:10 +0100105 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200106}
107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
109 const char *not_before,
110 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200111{
Gilles Peskine449bd832023-01-11 14:50:10 +0100112 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
113 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
114 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200115 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
117 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
119 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200120
Gilles Peskine449bd832023-01-11 14:50:10 +0100121 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200122}
123
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400124int mbedtls_x509write_crt_set_subject_alternative_name(mbedtls_x509write_cert *ctx,
125 const mbedtls_x509_san_list *san_list)
126{
Andrzej Kurekc508dc22023-07-07 08:20:02 -0400127 return mbedtls_x509_write_set_san_common(&ctx->extensions, san_list);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400128}
129
130
Gilles Peskine449bd832023-01-11 14:50:10 +0100131int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
132 const char *oid, size_t oid_len,
133 int critical,
134 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200135{
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
137 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200138}
139
Gilles Peskine449bd832023-01-11 14:50:10 +0100140int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
141 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200142{
Janos Follath865b3eb2019-12-16 11:46:15 +0000143 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200144 unsigned char buf[9];
145 unsigned char *c = buf + sizeof(buf);
146 size_t len = 0;
147
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200149
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 if (is_ca && max_pathlen > 127) {
151 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200152 }
153
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 if (is_ca) {
155 if (max_pathlen >= 0) {
156 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
157 max_pathlen));
158 }
159 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
160 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200161
Gilles Peskine449bd832023-01-11 14:50:10 +0100162 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
163 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
164 MBEDTLS_ASN1_CONSTRUCTED |
165 MBEDTLS_ASN1_SEQUENCE));
166
167 return
168 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
169 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
170 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200171}
172
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100173#if defined(PSA_WANT_ALG_SHA_1)
Gilles Peskine449bd832023-01-11 14:50:10 +0100174static int mbedtls_x509write_crt_set_key_identifier(mbedtls_x509write_cert *ctx,
175 int is_ca,
176 unsigned char tag)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200177{
Janos Follath865b3eb2019-12-16 11:46:15 +0000178 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200180 unsigned char *c = buf + sizeof(buf);
181 size_t len = 0;
pespacek7599a772022-02-07 14:40:55 +0100182#if defined(MBEDTLS_USE_PSA_CRYPTO)
183 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
184 size_t hash_length;
185#endif /* MBEDTLS_USE_PSA_CRYPTO */
186
Gilles Peskine449bd832023-01-11 14:50:10 +0100187 memset(buf, 0, sizeof(buf));
188 MBEDTLS_ASN1_CHK_ADD(len,
189 mbedtls_pk_write_pubkey(&c,
190 buf,
191 is_ca ?
192 ctx->issuer_key :
193 ctx->subject_key));
pespacek30151482022-02-17 15:18:47 +0100194
pespaceka6e955e2022-02-14 15:20:57 +0100195
pespacek7599a772022-02-07 14:40:55 +0100196#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100197 status = psa_hash_compute(PSA_ALG_SHA_1,
198 buf + sizeof(buf) - len,
199 len,
200 buf + sizeof(buf) - 20,
201 20,
202 &hash_length);
203 if (status != PSA_SUCCESS) {
204 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100205 }
206#else
Manuel Pégourié-Gonnard2cd75142023-02-24 12:37:07 +0100207 ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_MD_SHA1),
208 buf + sizeof(buf) - len, len,
209 buf + sizeof(buf) - 20);
Gilles Peskine449bd832023-01-11 14:50:10 +0100210 if (ret != 0) {
211 return ret;
212 }
pespacek7599a772022-02-07 14:40:55 +0100213#endif /* MBEDTLS_USE_PSA_CRYPTO */
214
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200216 len = 20;
217
Gilles Peskine449bd832023-01-11 14:50:10 +0100218 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
219 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, tag));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200220
Gilles Peskine449bd832023-01-11 14:50:10 +0100221 if (is_ca) { // writes AuthorityKeyIdentifier sequence
222 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
223 MBEDTLS_ASN1_CHK_ADD(len,
224 mbedtls_asn1_write_tag(&c,
225 buf,
226 MBEDTLS_ASN1_CONSTRUCTED |
227 MBEDTLS_ASN1_SEQUENCE));
pespacek30151482022-02-17 15:18:47 +0100228 }
pespacekd924e552022-02-28 11:49:54 +0100229
Gilles Peskine449bd832023-01-11 14:50:10 +0100230 if (is_ca) {
231 return mbedtls_x509write_crt_set_extension(ctx,
232 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
233 MBEDTLS_OID_SIZE(
234 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
235 0, buf + sizeof(buf) - len, len);
236 } else {
237 return mbedtls_x509write_crt_set_extension(ctx,
238 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
239 MBEDTLS_OID_SIZE(
240 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
241 0, buf + sizeof(buf) - len, len);
242 }
pespaceka6e955e2022-02-14 15:20:57 +0100243}
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200244
Gilles Peskine449bd832023-01-11 14:50:10 +0100245int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100246{
Gilles Peskine449bd832023-01-11 14:50:10 +0100247 return mbedtls_x509write_crt_set_key_identifier(ctx,
248 0,
249 MBEDTLS_ASN1_OCTET_STRING);
pespaceka6e955e2022-02-14 15:20:57 +0100250}
251
Gilles Peskine449bd832023-01-11 14:50:10 +0100252int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100253{
Gilles Peskine449bd832023-01-11 14:50:10 +0100254 return mbedtls_x509write_crt_set_key_identifier(ctx,
255 1,
256 (MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200257}
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100258#endif /* PSA_WANT_ALG_SHA_1 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200259
Gilles Peskine449bd832023-01-11 14:50:10 +0100260int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
261 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200262{
Gilles Peskine449bd832023-01-11 14:50:10 +0100263 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200264 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000265 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100266 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 MBEDTLS_X509_KU_NON_REPUDIATION |
268 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
269 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
270 MBEDTLS_X509_KU_KEY_AGREEMENT |
271 MBEDTLS_X509_KU_KEY_CERT_SIGN |
272 MBEDTLS_X509_KU_CRL_SIGN |
273 MBEDTLS_X509_KU_ENCIPHER_ONLY |
274 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200275
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100276 /* Check that nothing other than the allowed flags is set */
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 if ((key_usage & ~allowed_bits) != 0) {
278 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
279 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200280
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100281 c = buf + 5;
Gilles Peskine449bd832023-01-11 14:50:10 +0100282 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
283 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200284
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 if (ret < 0) {
286 return ret;
287 } else if (ret < 3 || ret > 5) {
288 return MBEDTLS_ERR_X509_INVALID_FORMAT;
289 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200290
Gilles Peskine449bd832023-01-11 14:50:10 +0100291 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
292 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
293 1, c, (size_t) ret);
294 if (ret != 0) {
295 return ret;
296 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200297
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299}
300
Gilles Peskine449bd832023-01-11 14:50:10 +0100301int mbedtls_x509write_crt_set_ext_key_usage(mbedtls_x509write_cert *ctx,
302 const mbedtls_asn1_sequence *exts)
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100303{
304 unsigned char buf[256];
305 unsigned char *c = buf + sizeof(buf);
306 int ret;
307 size_t len = 0;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100308 const mbedtls_asn1_sequence *last_ext = NULL;
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100309 const mbedtls_asn1_sequence *ext;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100310
Gilles Peskine449bd832023-01-11 14:50:10 +0100311 memset(buf, 0, sizeof(buf));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100312
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000313 /* We need at least one extension: SEQUENCE SIZE (1..MAX) OF KeyPurposeId */
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 if (exts == NULL) {
315 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
316 }
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100317
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000318 /* Iterate over exts backwards, so we write them out in the requested order */
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 while (last_ext != exts) {
320 for (ext = exts; ext->next != last_ext; ext = ext->next) {
321 }
322 if (ext->buf.tag != MBEDTLS_ASN1_OID) {
323 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
324 }
325 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf, ext->buf.p, ext->buf.len));
326 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, ext->buf.len));
327 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OID));
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000328 last_ext = ext;
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100329 }
330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
332 MBEDTLS_ASN1_CHK_ADD(len,
333 mbedtls_asn1_write_tag(&c, buf,
334 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100335
Gilles Peskine449bd832023-01-11 14:50:10 +0100336 return mbedtls_x509write_crt_set_extension(ctx,
337 MBEDTLS_OID_EXTENDED_KEY_USAGE,
338 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
339 1, c, len);
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100340}
341
Gilles Peskine449bd832023-01-11 14:50:10 +0100342int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
343 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200344{
Gilles Peskine449bd832023-01-11 14:50:10 +0100345 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200346 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000347 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200348
349 c = buf + 4;
350
Gilles Peskine449bd832023-01-11 14:50:10 +0100351 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
352 if (ret < 3 || ret > 4) {
353 return ret;
354 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200355
Gilles Peskine449bd832023-01-11 14:50:10 +0100356 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
357 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
358 0, c, (size_t) ret);
359 if (ret != 0) {
360 return ret;
361 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200362
Gilles Peskine449bd832023-01-11 14:50:10 +0100363 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200364}
365
Gilles Peskine449bd832023-01-11 14:50:10 +0100366static int x509_write_time(unsigned char **p, unsigned char *start,
367 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200368{
Janos Follath865b3eb2019-12-16 11:46:15 +0000369 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200370 size_t len = 0;
371
372 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200373 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200374 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100375 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
376 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
377 (const unsigned char *) t + 2,
378 size - 2));
379 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
380 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
381 MBEDTLS_ASN1_UTC_TIME));
382 } else {
383 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
384 (const unsigned char *) t,
385 size));
386 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
387 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
388 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200389 }
390
Gilles Peskine449bd832023-01-11 14:50:10 +0100391 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200392}
393
Gilles Peskine449bd832023-01-11 14:50:10 +0100394int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
395 unsigned char *buf, size_t size,
396 int (*f_rng)(void *, unsigned char *, size_t),
397 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200398{
Janos Follath865b3eb2019-12-16 11:46:15 +0000399 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200400 const char *sig_oid;
401 size_t sig_oid_len = 0;
402 unsigned char *c, *c2;
Gilles Peskinebf887802019-11-08 19:21:51 +0100403 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100404 size_t hash_length = 0;
Manuel Pégourié-Gonnard88579842023-03-28 11:20:23 +0200405 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100406#if defined(MBEDTLS_USE_PSA_CRYPTO)
407 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
408 psa_algorithm_t psa_algorithm;
pespacek7599a772022-02-07 14:40:55 +0100409#endif /* MBEDTLS_USE_PSA_CRYPTO */
410
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200411 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
412 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200413 mbedtls_pk_type_t pk_alg;
Marek Jansta8bde6492022-11-07 12:38:38 +0100414 int write_sig_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200415
416 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100417 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200418 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100419 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420
421 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100422
423 /* There's no direct way of extracting a signature algorithm
424 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100426 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200428 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100429 } else {
430 return MBEDTLS_ERR_X509_INVALID_ALG;
431 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200432
Gilles Peskine449bd832023-01-11 14:50:10 +0100433 if ((ret = mbedtls_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
434 &sig_oid, &sig_oid_len)) != 0) {
435 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200436 }
437
438 /*
439 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
440 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100441
442 /* Only for v3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100443 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
444 MBEDTLS_ASN1_CHK_ADD(len,
445 mbedtls_x509_write_extensions(&c,
446 buf, ctx->extensions));
447 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
448 MBEDTLS_ASN1_CHK_ADD(len,
449 mbedtls_asn1_write_tag(&c, buf,
450 MBEDTLS_ASN1_CONSTRUCTED |
451 MBEDTLS_ASN1_SEQUENCE));
452 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
453 MBEDTLS_ASN1_CHK_ADD(len,
454 mbedtls_asn1_write_tag(&c, buf,
455 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
456 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100457 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458
459 /*
460 * SubjectPublicKeyInfo
461 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 MBEDTLS_ASN1_CHK_ADD(pub_len,
463 mbedtls_pk_write_pubkey_der(ctx->subject_key,
Dave Rodgmane4a6f5a2023-11-04 12:20:09 +0000464 buf, (size_t) (c - buf)));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200465 c -= pub_len;
466 len += pub_len;
467
468 /*
469 * Subject ::= Name
470 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100471 MBEDTLS_ASN1_CHK_ADD(len,
472 mbedtls_x509_write_names(&c, buf,
473 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200474
475 /*
476 * Validity ::= SEQUENCE {
477 * notBefore Time,
478 * notAfter Time }
479 */
480 sub_len = 0;
481
Gilles Peskine449bd832023-01-11 14:50:10 +0100482 MBEDTLS_ASN1_CHK_ADD(sub_len,
483 x509_write_time(&c, buf, ctx->not_after,
484 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200485
Gilles Peskine449bd832023-01-11 14:50:10 +0100486 MBEDTLS_ASN1_CHK_ADD(sub_len,
487 x509_write_time(&c, buf, ctx->not_before,
488 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200489
490 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100491 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
492 MBEDTLS_ASN1_CHK_ADD(len,
493 mbedtls_asn1_write_tag(&c, buf,
494 MBEDTLS_ASN1_CONSTRUCTED |
495 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200496
497 /*
498 * Issuer ::= Name
499 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100500 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
501 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200502
503 /*
504 * Signature ::= AlgorithmIdentifier
505 */
Marek Jansta8bde6492022-11-07 12:38:38 +0100506 if (pk_alg == MBEDTLS_PK_ECDSA) {
507 /*
508 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
509 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
510 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
511 */
512 write_sig_null_par = 0;
513 } else {
514 write_sig_null_par = 1;
515 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100516 MBEDTLS_ASN1_CHK_ADD(len,
Marek Jansta8bde6492022-11-07 12:38:38 +0100517 mbedtls_asn1_write_algorithm_identifier_ext(&c, buf,
518 sig_oid, strlen(sig_oid),
519 0, write_sig_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200520
521 /*
522 * Serial ::= INTEGER
Valerio Settida0afcc2023-01-05 16:46:59 +0100523 *
524 * Written data is:
Valerio Setti4752aac2023-01-10 16:00:15 +0100525 * - "ctx->serial_len" bytes for the raw serial buffer
526 * - if MSb of "serial" is 1, then prepend an extra 0x00 byte
Valerio Settida0afcc2023-01-05 16:46:59 +0100527 * - 1 byte for the length
528 * - 1 byte for the TAG
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200529 */
Valerio Settida0afcc2023-01-05 16:46:59 +0100530 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf,
531 ctx->serial, ctx->serial_len));
Valerio Setti4752aac2023-01-10 16:00:15 +0100532 if (*c & 0x80) {
533 if (c - buf < 1) {
534 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
535 }
Valerio Setti856cec42023-01-12 14:56:54 +0100536 *(--c) = 0x0;
Valerio Setti4752aac2023-01-10 16:00:15 +0100537 len++;
538 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
539 ctx->serial_len + 1));
540 } else {
541 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
542 ctx->serial_len));
543 }
Valerio Settida0afcc2023-01-05 16:46:59 +0100544 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
545 MBEDTLS_ASN1_INTEGER));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200546
547 /*
548 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
549 */
Hanno Becker47698652017-09-13 11:59:26 +0100550
551 /* Can be omitted for v1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100552 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100553 sub_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100554 MBEDTLS_ASN1_CHK_ADD(sub_len,
555 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100556 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100557 MBEDTLS_ASN1_CHK_ADD(len,
558 mbedtls_asn1_write_len(&c, buf, sub_len));
559 MBEDTLS_ASN1_CHK_ADD(len,
560 mbedtls_asn1_write_tag(&c, buf,
561 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
562 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100563 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200564
Gilles Peskine449bd832023-01-11 14:50:10 +0100565 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
566 MBEDTLS_ASN1_CHK_ADD(len,
567 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
568 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200569
570 /*
571 * Make signature
572 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100573
574 /* Compute hash of CRT. */
pespacek7599a772022-02-07 14:40:55 +0100575#if defined(MBEDTLS_USE_PSA_CRYPTO)
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200576 psa_algorithm = mbedtls_md_psa_alg_from_type(ctx->md_alg);
pespacek7599a772022-02-07 14:40:55 +0100577
Gilles Peskine449bd832023-01-11 14:50:10 +0100578 status = psa_hash_compute(psa_algorithm,
579 c,
580 len,
581 hash,
582 sizeof(hash),
583 &hash_length);
584 if (status != PSA_SUCCESS) {
585 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100586 }
587#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 if ((ret = mbedtls_md(mbedtls_md_info_from_type(ctx->md_alg), c,
589 len, hash)) != 0) {
590 return ret;
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100591 }
pespacek7599a772022-02-07 14:40:55 +0100592#endif /* MBEDTLS_USE_PSA_CRYPTO */
593
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200594
Gilles Peskine449bd832023-01-11 14:50:10 +0100595 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
596 hash, hash_length, sig, sizeof(sig), &sig_len,
597 f_rng, p_rng)) != 0) {
598 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200599 }
600
Hanno Beckerdef43052019-05-04 07:54:36 +0100601 /* Move CRT to the front of the buffer to have space
602 * for the signature. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100603 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100604 c = buf + len;
605
606 /* Add signature at the end of the buffer,
607 * making sure that it doesn't underflow
608 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200609 c2 = buf + size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100610 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
Marek Jansta8bde6492022-11-07 12:38:38 +0100611 sig_oid, sig_oid_len,
612 sig, sig_len, pk_alg));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200613
Hanno Beckerdef43052019-05-04 07:54:36 +0100614 /*
615 * Memory layout after this step:
616 *
617 * buf c=buf+len c2 buf+size
618 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
619 */
Andres AG60dbc932016-09-02 15:23:48 +0100620
Hanno Beckerdef43052019-05-04 07:54:36 +0100621 /* Move raw CRT to just before the signature. */
622 c = c2 - len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100623 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200624
625 len += sig_and_oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100626 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
627 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
628 MBEDTLS_ASN1_CONSTRUCTED |
629 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200630
Gilles Peskine449bd832023-01-11 14:50:10 +0100631 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200632}
633
634#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
635#define PEM_END_CRT "-----END CERTIFICATE-----\n"
636
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200637#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100638int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
639 unsigned char *buf, size_t size,
640 int (*f_rng)(void *, unsigned char *, size_t),
641 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200642{
Janos Follath865b3eb2019-12-16 11:46:15 +0000643 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100644 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200645
Gilles Peskine449bd832023-01-11 14:50:10 +0100646 if ((ret = mbedtls_x509write_crt_der(crt, buf, size,
647 f_rng, p_rng)) < 0) {
648 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200649 }
650
Gilles Peskine449bd832023-01-11 14:50:10 +0100651 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
652 buf + size - ret, ret,
653 buf, size, &olen)) != 0) {
654 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200655 }
656
Gilles Peskine449bd832023-01-11 14:50:10 +0100657 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200658}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200659#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200660
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200661#endif /* MBEDTLS_X509_CRT_WRITE_C */