blob: 1e16b53b3db0a9ca044622e61c3726172d2dcbe1 [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 Rodgman7ff79652023-11-03 12:04:52 +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
Gilles Peskinedb09ef62020-06-03 01:43:33 +020014#include "common.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"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050022#include "mbedtls/platform_util.h"
Janos Follath73c616b2019-12-18 15:07:04 +000023#include "mbedtls/sha1.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020024
Rich Evans00ab4702015-02-06 13:43:58 +000025#include <string.h>
26
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020027#if defined(MBEDTLS_PEM_WRITE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/pem.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020030
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010031void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020032{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010033 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020034
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010035 mbedtls_mpi_init(&ctx->serial);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020037}
38
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010039void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020040{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010041 mbedtls_mpi_free(&ctx->serial);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020042
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010043 mbedtls_asn1_free_named_data_list(&ctx->subject);
44 mbedtls_asn1_free_named_data_list(&ctx->issuer);
45 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020046
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010047 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020048}
49
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010050void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
51 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020052{
53 ctx->version = version;
54}
55
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010056void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
57 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020058{
59 ctx->md_alg = md_alg;
60}
61
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010062void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
63 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020064{
65 ctx->subject_key = key;
66}
67
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010068void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
69 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020070{
71 ctx->issuer_key = key;
72}
73
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010074int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
75 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020076{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010077 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020078}
79
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010080int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
81 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020082{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010083 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020084}
85
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010086int mbedtls_x509write_crt_set_serial(mbedtls_x509write_cert *ctx,
87 const mbedtls_mpi *serial)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020088{
Janos Follath865b3eb2019-12-16 11:46:15 +000089 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090
Valerio Settib37f6c12023-01-13 08:39:36 +010091 if (mbedtls_mpi_size(serial) > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
92 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
93 }
94
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010095 if ((ret = mbedtls_mpi_copy(&ctx->serial, serial)) != 0) {
96 return ret;
97 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +020098
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010099 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200100}
101
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100102int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
103 const char *not_before,
104 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200105{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100106 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
107 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
108 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200109 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100110 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
111 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
113 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200114
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100115 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200116}
117
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
119 const char *oid, size_t oid_len,
120 int critical,
121 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200122{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100123 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
124 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200125}
126
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100127int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
128 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200129{
Janos Follath865b3eb2019-12-16 11:46:15 +0000130 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200131 unsigned char buf[9];
132 unsigned char *c = buf + sizeof(buf);
133 size_t len = 0;
134
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100135 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200136
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100137 if (is_ca && max_pathlen > 127) {
138 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200139 }
140
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100141 if (is_ca) {
142 if (max_pathlen >= 0) {
143 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
144 max_pathlen));
145 }
146 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
147 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200148
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100149 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
150 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
151 MBEDTLS_ASN1_CONSTRUCTED |
152 MBEDTLS_ASN1_SEQUENCE));
153
154 return
155 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
156 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
157 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200158}
159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160#if defined(MBEDTLS_SHA1_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100161int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200162{
Janos Follath865b3eb2019-12-16 11:46:15 +0000163 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200164 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200165 unsigned char *c = buf + sizeof(buf);
166 size_t len = 0;
167
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100168 memset(buf, 0, sizeof(buf));
169 MBEDTLS_ASN1_CHK_ADD(len,
170 mbedtls_pk_write_pubkey(&c, buf, ctx->subject_key));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200171
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100172 ret = mbedtls_sha1_ret(buf + sizeof(buf) - len, len,
173 buf + sizeof(buf) - 20);
174 if (ret != 0) {
175 return ret;
176 }
177 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200178 len = 20;
179
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100180 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
181 MBEDTLS_ASN1_CHK_ADD(len,
182 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OCTET_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200183
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100184 return mbedtls_x509write_crt_set_extension(ctx,
185 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
186 MBEDTLS_OID_SIZE(MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
187 0, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200188}
189
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100190int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200191{
Janos Follath865b3eb2019-12-16 11:46:15 +0000192 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100194 unsigned char *c = buf + sizeof(buf);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200195 size_t len = 0;
196
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100197 memset(buf, 0, sizeof(buf));
198 MBEDTLS_ASN1_CHK_ADD(len,
199 mbedtls_pk_write_pubkey(&c, buf, ctx->issuer_key));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200200
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100201 ret = mbedtls_sha1_ret(buf + sizeof(buf) - len, len,
202 buf + sizeof(buf) - 20);
203 if (ret != 0) {
204 return ret;
205 }
206 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200207 len = 20;
208
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100209 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
210 MBEDTLS_ASN1_CHK_ADD(len,
211 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200212
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100213 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
214 MBEDTLS_ASN1_CHK_ADD(len,
215 mbedtls_asn1_write_tag(&c, buf,
216 MBEDTLS_ASN1_CONSTRUCTED |
217 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200218
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100219 return mbedtls_x509write_crt_set_extension(
220 ctx, MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100221 MBEDTLS_OID_SIZE(MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
222 0, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200223}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200224#endif /* MBEDTLS_SHA1_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200225
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100226int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
227 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200228{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100229 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200230 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000231 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100232 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100233 MBEDTLS_X509_KU_NON_REPUDIATION |
234 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
235 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
236 MBEDTLS_X509_KU_KEY_AGREEMENT |
237 MBEDTLS_X509_KU_KEY_CERT_SIGN |
238 MBEDTLS_X509_KU_CRL_SIGN |
239 MBEDTLS_X509_KU_ENCIPHER_ONLY |
240 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200241
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100242 /* Check that nothing other than the allowed flags is set */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100243 if ((key_usage & ~allowed_bits) != 0) {
244 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
245 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200246
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100247 c = buf + 5;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100248 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
249 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200250
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100251 if (ret < 0) {
252 return ret;
253 } else if (ret < 3 || ret > 5) {
254 return MBEDTLS_ERR_X509_INVALID_FORMAT;
255 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200256
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100257 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
258 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
259 1, c, (size_t) ret);
260 if (ret != 0) {
261 return ret;
262 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200263
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100264 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200265}
266
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100267int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
268 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200269{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100270 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200271 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000272 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200273
274 c = buf + 4;
275
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100276 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
277 if (ret < 3 || ret > 4) {
278 return ret;
279 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200280
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100281 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
282 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
283 0, c, (size_t) ret);
284 if (ret != 0) {
285 return ret;
286 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200287
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100288 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200289}
290
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100291static int x509_write_time(unsigned char **p, unsigned char *start,
292 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200293{
Janos Follath865b3eb2019-12-16 11:46:15 +0000294 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200295 size_t len = 0;
296
297 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200298 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100300 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
301 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
302 (const unsigned char *) t + 2,
303 size - 2));
304 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
305 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
306 MBEDTLS_ASN1_UTC_TIME));
307 } else {
308 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
309 (const unsigned char *) t,
310 size));
311 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
312 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
313 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200314 }
315
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100316 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200317}
318
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100319int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
320 unsigned char *buf, size_t size,
321 int (*f_rng)(void *, unsigned char *, size_t),
322 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200323{
Janos Follath865b3eb2019-12-16 11:46:15 +0000324 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200325 const char *sig_oid;
326 size_t sig_oid_len = 0;
327 unsigned char *c, *c2;
328 unsigned char hash[64];
Gilles Peskinebf887802019-11-08 19:21:51 +0100329 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200330 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
331 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200332 mbedtls_pk_type_t pk_alg;
Marek Jansta0a6743b2022-11-07 12:38:38 +0100333 int write_sig_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200334
335 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100336 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100338 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200339
340 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100341
342 /* There's no direct way of extracting a signature algorithm
343 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100344 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100345 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100346 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200347 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100348 } else {
349 return MBEDTLS_ERR_X509_INVALID_ALG;
350 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200351
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100352 if ((ret = mbedtls_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
353 &sig_oid, &sig_oid_len)) != 0) {
354 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200355 }
356
357 /*
358 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
359 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100360
361 /* Only for v3 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100362 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
363 MBEDTLS_ASN1_CHK_ADD(len,
364 mbedtls_x509_write_extensions(&c,
365 buf, ctx->extensions));
366 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
367 MBEDTLS_ASN1_CHK_ADD(len,
368 mbedtls_asn1_write_tag(&c, buf,
369 MBEDTLS_ASN1_CONSTRUCTED |
370 MBEDTLS_ASN1_SEQUENCE));
371 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
372 MBEDTLS_ASN1_CHK_ADD(len,
373 mbedtls_asn1_write_tag(&c, buf,
374 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
375 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100376 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200377
378 /*
379 * SubjectPublicKeyInfo
380 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100381 MBEDTLS_ASN1_CHK_ADD(pub_len,
382 mbedtls_pk_write_pubkey_der(ctx->subject_key,
383 buf, c - buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200384 c -= pub_len;
385 len += pub_len;
386
387 /*
388 * Subject ::= Name
389 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100390 MBEDTLS_ASN1_CHK_ADD(len,
391 mbedtls_x509_write_names(&c, buf,
392 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200393
394 /*
395 * Validity ::= SEQUENCE {
396 * notBefore Time,
397 * notAfter Time }
398 */
399 sub_len = 0;
400
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100401 MBEDTLS_ASN1_CHK_ADD(sub_len,
402 x509_write_time(&c, buf, ctx->not_after,
403 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200404
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100405 MBEDTLS_ASN1_CHK_ADD(sub_len,
406 x509_write_time(&c, buf, ctx->not_before,
407 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200408
409 len += sub_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100410 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
411 MBEDTLS_ASN1_CHK_ADD(len,
412 mbedtls_asn1_write_tag(&c, buf,
413 MBEDTLS_ASN1_CONSTRUCTED |
414 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200415
416 /*
417 * Issuer ::= Name
418 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100419 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
420 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200421
422 /*
423 * Signature ::= AlgorithmIdentifier
424 */
Marek Jansta0a6743b2022-11-07 12:38:38 +0100425 if (pk_alg == MBEDTLS_PK_ECDSA) {
426 /*
427 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
428 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
429 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
430 */
431 write_sig_null_par = 0;
432 } else {
433 write_sig_null_par = 1;
434 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100435 MBEDTLS_ASN1_CHK_ADD(len,
Marek Jansta0a6743b2022-11-07 12:38:38 +0100436 mbedtls_asn1_write_algorithm_identifier_ext(&c, buf,
437 sig_oid, strlen(sig_oid),
438 0, write_sig_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200439
440 /*
441 * Serial ::= INTEGER
442 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100443 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_mpi(&c, buf,
444 &ctx->serial));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200445
446 /*
447 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
448 */
Hanno Becker47698652017-09-13 11:59:26 +0100449
450 /* Can be omitted for v1 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100451 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100452 sub_len = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100453 MBEDTLS_ASN1_CHK_ADD(sub_len,
454 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100455 len += sub_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100456 MBEDTLS_ASN1_CHK_ADD(len,
457 mbedtls_asn1_write_len(&c, buf, sub_len));
458 MBEDTLS_ASN1_CHK_ADD(len,
459 mbedtls_asn1_write_tag(&c, buf,
460 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
461 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100462 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200463
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100464 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
465 MBEDTLS_ASN1_CHK_ADD(len,
466 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
467 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200468
469 /*
470 * Make signature
471 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100472
473 /* Compute hash of CRT. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100474 if ((ret = mbedtls_md(mbedtls_md_info_from_type(ctx->md_alg), c,
475 len, hash)) != 0) {
476 return ret;
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100477 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200478
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100479 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
480 hash, 0, sig, &sig_len,
481 f_rng, p_rng)) != 0) {
482 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200483 }
484
Hanno Beckerdef43052019-05-04 07:54:36 +0100485 /* Move CRT to the front of the buffer to have space
486 * for the signature. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100487 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100488 c = buf + len;
489
490 /* Add signature at the end of the buffer,
491 * making sure that it doesn't underflow
492 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200493 c2 = buf + size;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100494 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
Marek Jansta0a6743b2022-11-07 12:38:38 +0100495 sig_oid, sig_oid_len,
496 sig, sig_len, pk_alg));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200497
Hanno Beckerdef43052019-05-04 07:54:36 +0100498 /*
499 * Memory layout after this step:
500 *
501 * buf c=buf+len c2 buf+size
502 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
503 */
Andres AG60dbc932016-09-02 15:23:48 +0100504
Hanno Beckerdef43052019-05-04 07:54:36 +0100505 /* Move raw CRT to just before the signature. */
506 c = c2 - len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100507 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200508
509 len += sig_and_oid_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100510 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
511 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
512 MBEDTLS_ASN1_CONSTRUCTED |
513 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200514
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100515 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200516}
517
518#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
519#define PEM_END_CRT "-----END CERTIFICATE-----\n"
520
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200521#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100522int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
523 unsigned char *buf, size_t size,
524 int (*f_rng)(void *, unsigned char *, size_t),
525 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200526{
Janos Follath865b3eb2019-12-16 11:46:15 +0000527 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100528 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200529
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100530 if ((ret = mbedtls_x509write_crt_der(crt, buf, size,
531 f_rng, p_rng)) < 0) {
532 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200533 }
534
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100535 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
536 buf + size - ret, ret,
537 buf, size, &olen)) != 0) {
538 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200539 }
540
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100541 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200542}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200544
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200545#endif /* MBEDTLS_X509_CRT_WRITE_C */