blob: e9944110e72a889b35bef174aa34b08fbed4c33b [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
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010043void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020044{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010045 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020046
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010047 mbedtls_mpi_init(&ctx->serial);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020049}
50
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010051void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020052{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010053 mbedtls_mpi_free(&ctx->serial);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010055 mbedtls_asn1_free_named_data_list(&ctx->subject);
56 mbedtls_asn1_free_named_data_list(&ctx->issuer);
57 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020058
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010059 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020060}
61
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010062void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
63 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020064{
65 ctx->version = version;
66}
67
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010068void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
69 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020070{
71 ctx->md_alg = md_alg;
72}
73
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010074void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
75 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020076{
77 ctx->subject_key = key;
78}
79
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010080void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
81 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020082{
83 ctx->issuer_key = key;
84}
85
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010086int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
87 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020088{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010089 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090}
91
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010092int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
93 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020094{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010095 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020096}
97
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010098int mbedtls_x509write_crt_set_serial(mbedtls_x509write_cert *ctx,
99 const mbedtls_mpi *serial)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200100{
Janos Follath865b3eb2019-12-16 11:46:15 +0000101 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200102
Valerio Settib37f6c12023-01-13 08:39:36 +0100103 if (mbedtls_mpi_size(serial) > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
104 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
105 }
106
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100107 if ((ret = mbedtls_mpi_copy(&ctx->serial, serial)) != 0) {
108 return ret;
109 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200110
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100111 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200112}
113
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
115 const char *not_before,
116 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
119 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
120 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200121 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100122 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
123 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
125 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200126
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100127 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200128}
129
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100130int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
131 const char *oid, size_t oid_len,
132 int critical,
133 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200134{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100135 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
136 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200137}
138
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100139int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
140 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200141{
Janos Follath865b3eb2019-12-16 11:46:15 +0000142 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200143 unsigned char buf[9];
144 unsigned char *c = buf + sizeof(buf);
145 size_t len = 0;
146
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100147 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200148
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100149 if (is_ca && max_pathlen > 127) {
150 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200151 }
152
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100153 if (is_ca) {
154 if (max_pathlen >= 0) {
155 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
156 max_pathlen));
157 }
158 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
159 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200160
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100161 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
162 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
163 MBEDTLS_ASN1_CONSTRUCTED |
164 MBEDTLS_ASN1_SEQUENCE));
165
166 return
167 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
168 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
169 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200170}
171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172#if defined(MBEDTLS_SHA1_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100173int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200174{
Janos Follath865b3eb2019-12-16 11:46:15 +0000175 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200177 unsigned char *c = buf + sizeof(buf);
178 size_t len = 0;
179
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100180 memset(buf, 0, sizeof(buf));
181 MBEDTLS_ASN1_CHK_ADD(len,
182 mbedtls_pk_write_pubkey(&c, buf, ctx->subject_key));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200183
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100184 ret = mbedtls_sha1_ret(buf + sizeof(buf) - len, len,
185 buf + sizeof(buf) - 20);
186 if (ret != 0) {
187 return ret;
188 }
189 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200190 len = 20;
191
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100192 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
193 MBEDTLS_ASN1_CHK_ADD(len,
194 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OCTET_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200195
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100196 return mbedtls_x509write_crt_set_extension(ctx,
197 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
198 MBEDTLS_OID_SIZE(MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
199 0, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200200}
201
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100202int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200203{
Janos Follath865b3eb2019-12-16 11:46:15 +0000204 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100206 unsigned char *c = buf + sizeof(buf);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200207 size_t len = 0;
208
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100209 memset(buf, 0, sizeof(buf));
210 MBEDTLS_ASN1_CHK_ADD(len,
211 mbedtls_pk_write_pubkey(&c, buf, ctx->issuer_key));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200212
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100213 ret = mbedtls_sha1_ret(buf + sizeof(buf) - len, len,
214 buf + sizeof(buf) - 20);
215 if (ret != 0) {
216 return ret;
217 }
218 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200219 len = 20;
220
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100221 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
222 MBEDTLS_ASN1_CHK_ADD(len,
223 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200224
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100225 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
226 MBEDTLS_ASN1_CHK_ADD(len,
227 mbedtls_asn1_write_tag(&c, buf,
228 MBEDTLS_ASN1_CONSTRUCTED |
229 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200230
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100231 return mbedtls_x509write_crt_set_extension(
232 ctx, MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100233 MBEDTLS_OID_SIZE(MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
234 0, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200235}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236#endif /* MBEDTLS_SHA1_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200237
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100238int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
239 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200240{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100241 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200242 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000243 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100244 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100245 MBEDTLS_X509_KU_NON_REPUDIATION |
246 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
247 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
248 MBEDTLS_X509_KU_KEY_AGREEMENT |
249 MBEDTLS_X509_KU_KEY_CERT_SIGN |
250 MBEDTLS_X509_KU_CRL_SIGN |
251 MBEDTLS_X509_KU_ENCIPHER_ONLY |
252 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200253
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100254 /* Check that nothing other than the allowed flags is set */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100255 if ((key_usage & ~allowed_bits) != 0) {
256 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
257 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200258
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100259 c = buf + 5;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100260 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
261 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200262
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100263 if (ret < 0) {
264 return ret;
265 } else if (ret < 3 || ret > 5) {
266 return MBEDTLS_ERR_X509_INVALID_FORMAT;
267 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200268
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100269 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
270 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
271 1, c, (size_t) ret);
272 if (ret != 0) {
273 return ret;
274 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200275
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100276 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200277}
278
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100279int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
280 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200281{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100282 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200283 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000284 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285
286 c = buf + 4;
287
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100288 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
289 if (ret < 3 || ret > 4) {
290 return ret;
291 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200292
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100293 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
294 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
295 0, c, (size_t) ret);
296 if (ret != 0) {
297 return ret;
298 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100300 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200301}
302
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100303static int x509_write_time(unsigned char **p, unsigned char *start,
304 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200305{
Janos Follath865b3eb2019-12-16 11:46:15 +0000306 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200307 size_t len = 0;
308
309 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200311 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100312 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
313 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
314 (const unsigned char *) t + 2,
315 size - 2));
316 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
317 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
318 MBEDTLS_ASN1_UTC_TIME));
319 } else {
320 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
321 (const unsigned char *) t,
322 size));
323 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
324 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
325 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200326 }
327
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100328 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200329}
330
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100331int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
332 unsigned char *buf, size_t size,
333 int (*f_rng)(void *, unsigned char *, size_t),
334 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335{
Janos Follath865b3eb2019-12-16 11:46:15 +0000336 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337 const char *sig_oid;
338 size_t sig_oid_len = 0;
339 unsigned char *c, *c2;
340 unsigned char hash[64];
Gilles Peskinebf887802019-11-08 19:21:51 +0100341 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200342 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
343 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 mbedtls_pk_type_t pk_alg;
Marek Jansta0a6743b2022-11-07 12:38:38 +0100345 int write_sig_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200346
347 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100348 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200349 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100350 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200351
352 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100353
354 /* There's no direct way of extracting a signature algorithm
355 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100356 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100357 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100358 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200359 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100360 } else {
361 return MBEDTLS_ERR_X509_INVALID_ALG;
362 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200363
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100364 if ((ret = mbedtls_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
365 &sig_oid, &sig_oid_len)) != 0) {
366 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200367 }
368
369 /*
370 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
371 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100372
373 /* Only for v3 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100374 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
375 MBEDTLS_ASN1_CHK_ADD(len,
376 mbedtls_x509_write_extensions(&c,
377 buf, ctx->extensions));
378 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
379 MBEDTLS_ASN1_CHK_ADD(len,
380 mbedtls_asn1_write_tag(&c, buf,
381 MBEDTLS_ASN1_CONSTRUCTED |
382 MBEDTLS_ASN1_SEQUENCE));
383 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
384 MBEDTLS_ASN1_CHK_ADD(len,
385 mbedtls_asn1_write_tag(&c, buf,
386 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
387 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100388 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200389
390 /*
391 * SubjectPublicKeyInfo
392 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100393 MBEDTLS_ASN1_CHK_ADD(pub_len,
394 mbedtls_pk_write_pubkey_der(ctx->subject_key,
395 buf, c - buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200396 c -= pub_len;
397 len += pub_len;
398
399 /*
400 * Subject ::= Name
401 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100402 MBEDTLS_ASN1_CHK_ADD(len,
403 mbedtls_x509_write_names(&c, buf,
404 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200405
406 /*
407 * Validity ::= SEQUENCE {
408 * notBefore Time,
409 * notAfter Time }
410 */
411 sub_len = 0;
412
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100413 MBEDTLS_ASN1_CHK_ADD(sub_len,
414 x509_write_time(&c, buf, ctx->not_after,
415 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200416
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100417 MBEDTLS_ASN1_CHK_ADD(sub_len,
418 x509_write_time(&c, buf, ctx->not_before,
419 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420
421 len += sub_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100422 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
423 MBEDTLS_ASN1_CHK_ADD(len,
424 mbedtls_asn1_write_tag(&c, buf,
425 MBEDTLS_ASN1_CONSTRUCTED |
426 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200427
428 /*
429 * Issuer ::= Name
430 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100431 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
432 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200433
434 /*
435 * Signature ::= AlgorithmIdentifier
436 */
Marek Jansta0a6743b2022-11-07 12:38:38 +0100437 if (pk_alg == MBEDTLS_PK_ECDSA) {
438 /*
439 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
440 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
441 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
442 */
443 write_sig_null_par = 0;
444 } else {
445 write_sig_null_par = 1;
446 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100447 MBEDTLS_ASN1_CHK_ADD(len,
Marek Jansta0a6743b2022-11-07 12:38:38 +0100448 mbedtls_asn1_write_algorithm_identifier_ext(&c, buf,
449 sig_oid, strlen(sig_oid),
450 0, write_sig_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200451
452 /*
453 * Serial ::= INTEGER
454 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100455 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_mpi(&c, buf,
456 &ctx->serial));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200457
458 /*
459 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
460 */
Hanno Becker47698652017-09-13 11:59:26 +0100461
462 /* Can be omitted for v1 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100463 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100464 sub_len = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100465 MBEDTLS_ASN1_CHK_ADD(sub_len,
466 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100467 len += sub_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100468 MBEDTLS_ASN1_CHK_ADD(len,
469 mbedtls_asn1_write_len(&c, buf, sub_len));
470 MBEDTLS_ASN1_CHK_ADD(len,
471 mbedtls_asn1_write_tag(&c, buf,
472 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
473 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100474 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200475
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100476 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, MBEDTLS_ASN1_CONSTRUCTED |
479 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200480
481 /*
482 * Make signature
483 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100484
485 /* Compute hash of CRT. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100486 if ((ret = mbedtls_md(mbedtls_md_info_from_type(ctx->md_alg), c,
487 len, hash)) != 0) {
488 return ret;
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100489 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200490
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100491 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
492 hash, 0, sig, &sig_len,
493 f_rng, p_rng)) != 0) {
494 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200495 }
496
Hanno Beckerdef43052019-05-04 07:54:36 +0100497 /* Move CRT to the front of the buffer to have space
498 * for the signature. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100499 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100500 c = buf + len;
501
502 /* Add signature at the end of the buffer,
503 * making sure that it doesn't underflow
504 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200505 c2 = buf + size;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100506 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
Marek Jansta0a6743b2022-11-07 12:38:38 +0100507 sig_oid, sig_oid_len,
508 sig, sig_len, pk_alg));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200509
Hanno Beckerdef43052019-05-04 07:54:36 +0100510 /*
511 * Memory layout after this step:
512 *
513 * buf c=buf+len c2 buf+size
514 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
515 */
Andres AG60dbc932016-09-02 15:23:48 +0100516
Hanno Beckerdef43052019-05-04 07:54:36 +0100517 /* Move raw CRT to just before the signature. */
518 c = c2 - len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100519 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200520
521 len += sig_and_oid_len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100522 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
523 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
524 MBEDTLS_ASN1_CONSTRUCTED |
525 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200526
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100527 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200528}
529
530#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
531#define PEM_END_CRT "-----END CERTIFICATE-----\n"
532
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200533#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100534int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
535 unsigned char *buf, size_t size,
536 int (*f_rng)(void *, unsigned char *, size_t),
537 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200538{
Janos Follath865b3eb2019-12-16 11:46:15 +0000539 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100540 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200541
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100542 if ((ret = mbedtls_x509write_crt_der(crt, buf, size,
543 f_rng, p_rng)) < 0) {
544 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200545 }
546
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100547 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
548 buf + size - ret, ret,
549 buf, size, &olen)) != 0) {
550 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200551 }
552
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100553 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200554}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200555#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200556
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200557#endif /* MBEDTLS_X509_CRT_WRITE_C */