blob: 5cd1e30d4b83687df2ccdb868aacb5d07242120a [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
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakker7c6b2c32013-09-16 13:49:26 +020018 */
19/*
20 * References:
21 * - certificates: RFC 5280, updated by RFC 6818
22 * - CSRs: PKCS#10 v1.7 aka RFC 2986
23 * - attributes: PKCS#9 v2.0 aka RFC 2985
24 */
25
Gilles Peskinedb09ef62020-06-03 01:43:33 +020026#include "common.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_X509_CRT_WRITE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020029
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/x509_crt.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/asn1write.h"
Janos Follath73c616b2019-12-18 15:07:04 +000032#include "mbedtls/error.h"
33#include "mbedtls/oid.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050034#include "mbedtls/platform_util.h"
Janos Follath73c616b2019-12-18 15:07:04 +000035#include "mbedtls/sha1.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020036
Rich Evans00ab4702015-02-06 13:43:58 +000037#include <string.h>
38
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020039#if defined(MBEDTLS_PEM_WRITE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000040#include "mbedtls/pem.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020042
pespacek7599a772022-02-07 14:40:55 +010043#if defined(MBEDTLS_USE_PSA_CRYPTO)
44#include "psa/crypto.h"
45#include "mbedtls/psa_util.h"
46#endif /* MBEDTLS_USE_PSA_CRYPTO */
47
Przemek Stekiel40afdd22022-09-06 13:08:28 +020048#include "hash_info.h"
Manuel Pégourié-Gonnard07018f92022-09-15 11:29:35 +020049#include "mbedtls/legacy_or_psa.h"
Przemek Stekielfd183662022-08-02 15:29:20 +020050
Gilles Peskine449bd832023-01-11 14:50:10 +010051void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020052{
Gilles Peskine449bd832023-01-11 14:50:10 +010053 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020056}
57
Gilles Peskine449bd832023-01-11 14:50:10 +010058void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020059{
Gilles Peskine449bd832023-01-11 14:50:10 +010060 mbedtls_asn1_free_named_data_list(&ctx->subject);
61 mbedtls_asn1_free_named_data_list(&ctx->issuer);
62 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020063
Gilles Peskine449bd832023-01-11 14:50:10 +010064 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020065}
66
Gilles Peskine449bd832023-01-11 14:50:10 +010067void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
68 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020069{
70 ctx->version = version;
71}
72
Gilles Peskine449bd832023-01-11 14:50:10 +010073void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
74 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020075{
76 ctx->md_alg = md_alg;
77}
78
Gilles Peskine449bd832023-01-11 14:50:10 +010079void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
80 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020081{
82 ctx->subject_key = key;
83}
84
Gilles Peskine449bd832023-01-11 14:50:10 +010085void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
86 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020087{
88 ctx->issuer_key = key;
89}
90
Gilles Peskine449bd832023-01-11 14:50:10 +010091int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
92 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020093{
Gilles Peskine449bd832023-01-11 14:50:10 +010094 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020095}
96
Gilles Peskine449bd832023-01-11 14:50:10 +010097int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
98 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020099{
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200101}
102
Valerio Setti5d164c42023-01-09 12:19:40 +0100103#if defined(MBEDTLS_BIGNUM_C) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100104int mbedtls_x509write_crt_set_serial(mbedtls_x509write_cert *ctx,
105 const mbedtls_mpi *serial)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200106{
Valerio Settida0afcc2023-01-05 16:46:59 +0100107 int ret;
108 unsigned char tmp[MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN];
109 size_t tmp_len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200110
Valerio Settida0afcc2023-01-05 16:46:59 +0100111 /* Ensure that the MPI value fits into the buffer */
112 tmp_len = mbedtls_mpi_size(serial);
113 if (tmp_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
114 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
115 }
116
117 ctx->serial_len = tmp_len;
118
119 ret = mbedtls_mpi_write_binary(serial, tmp,
120 MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN);
121 if (ret < 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 return ret;
123 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200124
Valerio Settiacf12fb2023-01-09 17:19:26 +0100125 /* Copy data to the internal structure skipping leading zeros */
126 memcpy(ctx->serial, &tmp[MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN - tmp_len],
127 tmp_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100128
129 return 0;
130}
Valerio Setti5d164c42023-01-09 12:19:40 +0100131#endif // MBEDTLS_BIGNUM_C && !MBEDTLS_DEPRECATED_REMOVED
Valerio Settida0afcc2023-01-05 16:46:59 +0100132
133int mbedtls_x509write_crt_set_serial_new(mbedtls_x509write_cert *ctx,
Valerio Setti746def52023-01-10 11:46:34 +0100134 unsigned char *serial, size_t serial_len)
Valerio Settida0afcc2023-01-05 16:46:59 +0100135{
Valerio Setti746def52023-01-10 11:46:34 +0100136 if (serial_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
Valerio Settida0afcc2023-01-05 16:46:59 +0100137 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
138 }
139
Valerio Setti746def52023-01-10 11:46:34 +0100140 ctx->serial_len = serial_len;
141 memcpy(ctx->serial, serial, serial_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100142
Gilles Peskine449bd832023-01-11 14:50:10 +0100143 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200144}
145
Gilles Peskine449bd832023-01-11 14:50:10 +0100146int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
147 const char *not_before,
148 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200149{
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
151 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
152 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200153 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
155 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200156 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
157 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200158
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200160}
161
Gilles Peskine449bd832023-01-11 14:50:10 +0100162int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
163 const char *oid, size_t oid_len,
164 int critical,
165 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200166{
Gilles Peskine449bd832023-01-11 14:50:10 +0100167 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
168 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200169}
170
Gilles Peskine449bd832023-01-11 14:50:10 +0100171int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
172 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200173{
Janos Follath865b3eb2019-12-16 11:46:15 +0000174 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200175 unsigned char buf[9];
176 unsigned char *c = buf + sizeof(buf);
177 size_t len = 0;
178
Gilles Peskine449bd832023-01-11 14:50:10 +0100179 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200180
Gilles Peskine449bd832023-01-11 14:50:10 +0100181 if (is_ca && max_pathlen > 127) {
182 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200183 }
184
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 if (is_ca) {
186 if (max_pathlen >= 0) {
187 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
188 max_pathlen));
189 }
190 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
191 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200192
Gilles Peskine449bd832023-01-11 14:50:10 +0100193 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
194 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
195 MBEDTLS_ASN1_CONSTRUCTED |
196 MBEDTLS_ASN1_SEQUENCE));
197
198 return
199 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
200 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
201 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200202}
203
Przemek Stekiel76b753b2022-08-09 10:54:45 +0200204#if defined(MBEDTLS_HAS_ALG_SHA_1_VIA_MD_OR_PSA_BASED_ON_USE_PSA)
Gilles Peskine449bd832023-01-11 14:50:10 +0100205static int mbedtls_x509write_crt_set_key_identifier(mbedtls_x509write_cert *ctx,
206 int is_ca,
207 unsigned char tag)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200208{
Janos Follath865b3eb2019-12-16 11:46:15 +0000209 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200210 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200211 unsigned char *c = buf + sizeof(buf);
212 size_t len = 0;
pespacek7599a772022-02-07 14:40:55 +0100213#if defined(MBEDTLS_USE_PSA_CRYPTO)
214 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
215 size_t hash_length;
216#endif /* MBEDTLS_USE_PSA_CRYPTO */
217
Gilles Peskine449bd832023-01-11 14:50:10 +0100218 memset(buf, 0, sizeof(buf));
219 MBEDTLS_ASN1_CHK_ADD(len,
220 mbedtls_pk_write_pubkey(&c,
221 buf,
222 is_ca ?
223 ctx->issuer_key :
224 ctx->subject_key));
pespacek30151482022-02-17 15:18:47 +0100225
pespaceka6e955e2022-02-14 15:20:57 +0100226
pespacek7599a772022-02-07 14:40:55 +0100227#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100228 status = psa_hash_compute(PSA_ALG_SHA_1,
229 buf + sizeof(buf) - len,
230 len,
231 buf + sizeof(buf) - 20,
232 20,
233 &hash_length);
234 if (status != PSA_SUCCESS) {
235 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100236 }
237#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 ret = mbedtls_sha1(buf + sizeof(buf) - len, len,
239 buf + sizeof(buf) - 20);
240 if (ret != 0) {
241 return ret;
242 }
pespacek7599a772022-02-07 14:40:55 +0100243#endif /* MBEDTLS_USE_PSA_CRYPTO */
244
Gilles Peskine449bd832023-01-11 14:50:10 +0100245 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200246 len = 20;
247
Gilles Peskine449bd832023-01-11 14:50:10 +0100248 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
249 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, tag));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200250
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 if (is_ca) { // writes AuthorityKeyIdentifier sequence
252 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
253 MBEDTLS_ASN1_CHK_ADD(len,
254 mbedtls_asn1_write_tag(&c,
255 buf,
256 MBEDTLS_ASN1_CONSTRUCTED |
257 MBEDTLS_ASN1_SEQUENCE));
pespacek30151482022-02-17 15:18:47 +0100258 }
pespacekd924e552022-02-28 11:49:54 +0100259
Gilles Peskine449bd832023-01-11 14:50:10 +0100260 if (is_ca) {
261 return mbedtls_x509write_crt_set_extension(ctx,
262 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
263 MBEDTLS_OID_SIZE(
264 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
265 0, buf + sizeof(buf) - len, len);
266 } else {
267 return mbedtls_x509write_crt_set_extension(ctx,
268 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
269 MBEDTLS_OID_SIZE(
270 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
271 0, buf + sizeof(buf) - len, len);
272 }
pespaceka6e955e2022-02-14 15:20:57 +0100273}
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100276{
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 return mbedtls_x509write_crt_set_key_identifier(ctx,
278 0,
279 MBEDTLS_ASN1_OCTET_STRING);
pespaceka6e955e2022-02-14 15:20:57 +0100280}
281
Gilles Peskine449bd832023-01-11 14:50:10 +0100282int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100283{
Gilles Peskine449bd832023-01-11 14:50:10 +0100284 return mbedtls_x509write_crt_set_key_identifier(ctx,
285 1,
286 (MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200287}
Przemek Stekiel41465252022-08-18 12:43:07 +0200288#endif /* MBEDTLS_HAS_ALG_SHA_1_VIA_MD_OR_PSA_BASED_ON_USE_PSA */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200289
Gilles Peskine449bd832023-01-11 14:50:10 +0100290int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
291 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200292{
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200294 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000295 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100296 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine449bd832023-01-11 14:50:10 +0100297 MBEDTLS_X509_KU_NON_REPUDIATION |
298 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
299 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
300 MBEDTLS_X509_KU_KEY_AGREEMENT |
301 MBEDTLS_X509_KU_KEY_CERT_SIGN |
302 MBEDTLS_X509_KU_CRL_SIGN |
303 MBEDTLS_X509_KU_ENCIPHER_ONLY |
304 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200305
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100306 /* Check that nothing other than the allowed flags is set */
Gilles Peskine449bd832023-01-11 14:50:10 +0100307 if ((key_usage & ~allowed_bits) != 0) {
308 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
309 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200310
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100311 c = buf + 5;
Gilles Peskine449bd832023-01-11 14:50:10 +0100312 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
313 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200314
Gilles Peskine449bd832023-01-11 14:50:10 +0100315 if (ret < 0) {
316 return ret;
317 } else if (ret < 3 || ret > 5) {
318 return MBEDTLS_ERR_X509_INVALID_FORMAT;
319 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200320
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
322 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
323 1, c, (size_t) ret);
324 if (ret != 0) {
325 return ret;
326 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200327
Gilles Peskine449bd832023-01-11 14:50:10 +0100328 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200329}
330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331int mbedtls_x509write_crt_set_ext_key_usage(mbedtls_x509write_cert *ctx,
332 const mbedtls_asn1_sequence *exts)
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100333{
334 unsigned char buf[256];
335 unsigned char *c = buf + sizeof(buf);
336 int ret;
337 size_t len = 0;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100338 const mbedtls_asn1_sequence *last_ext = NULL;
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100339 const mbedtls_asn1_sequence *ext;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100340
Gilles Peskine449bd832023-01-11 14:50:10 +0100341 memset(buf, 0, sizeof(buf));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100342
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000343 /* We need at least one extension: SEQUENCE SIZE (1..MAX) OF KeyPurposeId */
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 if (exts == NULL) {
345 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
346 }
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100347
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000348 /* Iterate over exts backwards, so we write them out in the requested order */
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 while (last_ext != exts) {
350 for (ext = exts; ext->next != last_ext; ext = ext->next) {
351 }
352 if (ext->buf.tag != MBEDTLS_ASN1_OID) {
353 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
354 }
355 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf, ext->buf.p, ext->buf.len));
356 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, ext->buf.len));
357 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OID));
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000358 last_ext = ext;
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100359 }
360
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
362 MBEDTLS_ASN1_CHK_ADD(len,
363 mbedtls_asn1_write_tag(&c, buf,
364 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100365
Gilles Peskine449bd832023-01-11 14:50:10 +0100366 return mbedtls_x509write_crt_set_extension(ctx,
367 MBEDTLS_OID_EXTENDED_KEY_USAGE,
368 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
369 1, c, len);
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100370}
371
Gilles Peskine449bd832023-01-11 14:50:10 +0100372int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
373 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200374{
Gilles Peskine449bd832023-01-11 14:50:10 +0100375 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200376 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000377 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200378
379 c = buf + 4;
380
Gilles Peskine449bd832023-01-11 14:50:10 +0100381 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
382 if (ret < 3 || ret > 4) {
383 return ret;
384 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200385
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
387 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
388 0, c, (size_t) ret);
389 if (ret != 0) {
390 return ret;
391 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200392
Gilles Peskine449bd832023-01-11 14:50:10 +0100393 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200394}
395
Gilles Peskine449bd832023-01-11 14:50:10 +0100396static int x509_write_time(unsigned char **p, unsigned char *start,
397 const char *t, size_t size)
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 size_t len = 0;
401
402 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200404 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100405 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
406 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
407 (const unsigned char *) t + 2,
408 size - 2));
409 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
410 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
411 MBEDTLS_ASN1_UTC_TIME));
412 } else {
413 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
414 (const unsigned char *) t,
415 size));
416 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
417 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
418 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200419 }
420
Gilles Peskine449bd832023-01-11 14:50:10 +0100421 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200422}
423
Gilles Peskine449bd832023-01-11 14:50:10 +0100424int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
425 unsigned char *buf, size_t size,
426 int (*f_rng)(void *, unsigned char *, size_t),
427 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200428{
Janos Follath865b3eb2019-12-16 11:46:15 +0000429 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200430 const char *sig_oid;
431 size_t sig_oid_len = 0;
432 unsigned char *c, *c2;
Gilles Peskinebf887802019-11-08 19:21:51 +0100433 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100434 size_t hash_length = 0;
Przemek Stekiel40afdd22022-09-06 13:08:28 +0200435 unsigned char hash[MBEDTLS_HASH_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100436#if defined(MBEDTLS_USE_PSA_CRYPTO)
437 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
438 psa_algorithm_t psa_algorithm;
pespacek7599a772022-02-07 14:40:55 +0100439#endif /* MBEDTLS_USE_PSA_CRYPTO */
440
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200441 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
442 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200443 mbedtls_pk_type_t pk_alg;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200444
445 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100446 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200447 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100448 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200449
450 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100451
452 /* There's no direct way of extracting a signature algorithm
453 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100454 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100455 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100456 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200457 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100458 } else {
459 return MBEDTLS_ERR_X509_INVALID_ALG;
460 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200461
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 if ((ret = mbedtls_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
463 &sig_oid, &sig_oid_len)) != 0) {
464 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200465 }
466
467 /*
468 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
469 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100470
471 /* Only for v3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100472 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
473 MBEDTLS_ASN1_CHK_ADD(len,
474 mbedtls_x509_write_extensions(&c,
475 buf, ctx->extensions));
476 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
477 MBEDTLS_ASN1_CHK_ADD(len,
478 mbedtls_asn1_write_tag(&c, buf,
479 MBEDTLS_ASN1_CONSTRUCTED |
480 MBEDTLS_ASN1_SEQUENCE));
481 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
482 MBEDTLS_ASN1_CHK_ADD(len,
483 mbedtls_asn1_write_tag(&c, buf,
484 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
485 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100486 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200487
488 /*
489 * SubjectPublicKeyInfo
490 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100491 MBEDTLS_ASN1_CHK_ADD(pub_len,
492 mbedtls_pk_write_pubkey_der(ctx->subject_key,
493 buf, c - buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200494 c -= pub_len;
495 len += pub_len;
496
497 /*
498 * Subject ::= Name
499 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100500 MBEDTLS_ASN1_CHK_ADD(len,
501 mbedtls_x509_write_names(&c, buf,
502 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200503
504 /*
505 * Validity ::= SEQUENCE {
506 * notBefore Time,
507 * notAfter Time }
508 */
509 sub_len = 0;
510
Gilles Peskine449bd832023-01-11 14:50:10 +0100511 MBEDTLS_ASN1_CHK_ADD(sub_len,
512 x509_write_time(&c, buf, ctx->not_after,
513 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200514
Gilles Peskine449bd832023-01-11 14:50:10 +0100515 MBEDTLS_ASN1_CHK_ADD(sub_len,
516 x509_write_time(&c, buf, ctx->not_before,
517 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200518
519 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100520 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
521 MBEDTLS_ASN1_CHK_ADD(len,
522 mbedtls_asn1_write_tag(&c, buf,
523 MBEDTLS_ASN1_CONSTRUCTED |
524 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200525
526 /*
527 * Issuer ::= Name
528 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100529 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
530 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200531
532 /*
533 * Signature ::= AlgorithmIdentifier
534 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100535 MBEDTLS_ASN1_CHK_ADD(len,
536 mbedtls_asn1_write_algorithm_identifier(&c, buf,
537 sig_oid, strlen(sig_oid), 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200538
539 /*
540 * Serial ::= INTEGER
Valerio Settida0afcc2023-01-05 16:46:59 +0100541 *
542 * Written data is:
543 * - [ctx->serial_len] bytes for the raw serial buffer
544 * - 1 byte for the length
545 * - 1 byte for the TAG
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200546 */
Valerio Settida0afcc2023-01-05 16:46:59 +0100547 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf,
548 ctx->serial, ctx->serial_len));
549 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
550 ctx->serial_len));
551 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
552 MBEDTLS_ASN1_INTEGER));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200553
554 /*
555 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
556 */
Hanno Becker47698652017-09-13 11:59:26 +0100557
558 /* Can be omitted for v1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100559 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100560 sub_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100561 MBEDTLS_ASN1_CHK_ADD(sub_len,
562 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100563 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100564 MBEDTLS_ASN1_CHK_ADD(len,
565 mbedtls_asn1_write_len(&c, buf, sub_len));
566 MBEDTLS_ASN1_CHK_ADD(len,
567 mbedtls_asn1_write_tag(&c, buf,
568 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
569 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100570 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200571
Gilles Peskine449bd832023-01-11 14:50:10 +0100572 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
573 MBEDTLS_ASN1_CHK_ADD(len,
574 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
575 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200576
577 /*
578 * Make signature
579 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100580
581 /* Compute hash of CRT. */
pespacek7599a772022-02-07 14:40:55 +0100582#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100583 psa_algorithm = mbedtls_hash_info_psa_from_md(ctx->md_alg);
pespacek7599a772022-02-07 14:40:55 +0100584
Gilles Peskine449bd832023-01-11 14:50:10 +0100585 status = psa_hash_compute(psa_algorithm,
586 c,
587 len,
588 hash,
589 sizeof(hash),
590 &hash_length);
591 if (status != PSA_SUCCESS) {
592 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100593 }
594#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100595 if ((ret = mbedtls_md(mbedtls_md_info_from_type(ctx->md_alg), c,
596 len, hash)) != 0) {
597 return ret;
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100598 }
pespacek7599a772022-02-07 14:40:55 +0100599#endif /* MBEDTLS_USE_PSA_CRYPTO */
600
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200601
Gilles Peskine449bd832023-01-11 14:50:10 +0100602 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
603 hash, hash_length, sig, sizeof(sig), &sig_len,
604 f_rng, p_rng)) != 0) {
605 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200606 }
607
Hanno Beckerdef43052019-05-04 07:54:36 +0100608 /* Move CRT to the front of the buffer to have space
609 * for the signature. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100610 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100611 c = buf + len;
612
613 /* Add signature at the end of the buffer,
614 * making sure that it doesn't underflow
615 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200616 c2 = buf + size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100617 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
618 sig_oid, sig_oid_len, sig,
619 sig_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200620
Hanno Beckerdef43052019-05-04 07:54:36 +0100621 /*
622 * Memory layout after this step:
623 *
624 * buf c=buf+len c2 buf+size
625 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
626 */
Andres AG60dbc932016-09-02 15:23:48 +0100627
Hanno Beckerdef43052019-05-04 07:54:36 +0100628 /* Move raw CRT to just before the signature. */
629 c = c2 - len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100630 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200631
632 len += sig_and_oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100633 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
634 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
635 MBEDTLS_ASN1_CONSTRUCTED |
636 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200637
Gilles Peskine449bd832023-01-11 14:50:10 +0100638 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200639}
640
641#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
642#define PEM_END_CRT "-----END CERTIFICATE-----\n"
643
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200644#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100645int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
646 unsigned char *buf, size_t size,
647 int (*f_rng)(void *, unsigned char *, size_t),
648 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200649{
Janos Follath865b3eb2019-12-16 11:46:15 +0000650 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100651 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200652
Gilles Peskine449bd832023-01-11 14:50:10 +0100653 if ((ret = mbedtls_x509write_crt_der(crt, buf, size,
654 f_rng, p_rng)) < 0) {
655 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200656 }
657
Gilles Peskine449bd832023-01-11 14:50:10 +0100658 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
659 buf + size - ret, ret,
660 buf, size, &olen)) != 0) {
661 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200662 }
663
Gilles Peskine449bd832023-01-11 14:50:10 +0100664 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200665}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200667
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200668#endif /* MBEDTLS_X509_CRT_WRITE_C */