blob: f57841c4fd0e33e0df5c607f131fd3f0816e6360 [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"
Andrzej Kurek67fdb332023-04-04 06:56:14 -040034#include "mbedtls/platform.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050035#include "mbedtls/platform_util.h"
Manuel Pégourié-Gonnard2cd75142023-02-24 12:37:07 +010036#include "mbedtls/md.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020037
Rich Evans00ab4702015-02-06 13:43:58 +000038#include <string.h>
Andrzej Kurek63a6a262023-04-27 08:25:41 -040039#include <stdint.h>
Rich Evans00ab4702015-02-06 13:43:58 +000040
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#if defined(MBEDTLS_PEM_WRITE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000042#include "mbedtls/pem.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +020044
pespacek7599a772022-02-07 14:40:55 +010045#if defined(MBEDTLS_USE_PSA_CRYPTO)
46#include "psa/crypto.h"
47#include "mbedtls/psa_util.h"
48#endif /* MBEDTLS_USE_PSA_CRYPTO */
49
Przemek Stekiel40afdd22022-09-06 13:08:28 +020050#include "hash_info.h"
Przemek Stekielfd183662022-08-02 15:29:20 +020051
Andrzej Kurek63a6a262023-04-27 08:25:41 -040052#define CHECK_OVERFLOW_ADD(a, b) \
53 do \
54 { \
55 if (a > SIZE_MAX - (b)) \
56 { \
57 return MBEDTLS_ERR_X509_BAD_INPUT_DATA; \
58 } \
59 a += b; \
60 } while (0)
61
Gilles Peskine449bd832023-01-11 14:50:10 +010062void mbedtls_x509write_crt_init(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020063{
Gilles Peskine449bd832023-01-11 14:50:10 +010064 memset(ctx, 0, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020065
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020067}
68
Gilles Peskine449bd832023-01-11 14:50:10 +010069void mbedtls_x509write_crt_free(mbedtls_x509write_cert *ctx)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020070{
Gilles Peskine449bd832023-01-11 14:50:10 +010071 mbedtls_asn1_free_named_data_list(&ctx->subject);
72 mbedtls_asn1_free_named_data_list(&ctx->issuer);
73 mbedtls_asn1_free_named_data_list(&ctx->extensions);
Paul Bakker7c6b2c32013-09-16 13:49:26 +020074
Gilles Peskine449bd832023-01-11 14:50:10 +010075 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_x509write_cert));
Paul Bakker7c6b2c32013-09-16 13:49:26 +020076}
77
Gilles Peskine449bd832023-01-11 14:50:10 +010078void mbedtls_x509write_crt_set_version(mbedtls_x509write_cert *ctx,
79 int version)
Paul Bakker5191e922013-10-11 10:54:28 +020080{
81 ctx->version = version;
82}
83
Gilles Peskine449bd832023-01-11 14:50:10 +010084void mbedtls_x509write_crt_set_md_alg(mbedtls_x509write_cert *ctx,
85 mbedtls_md_type_t md_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020086{
87 ctx->md_alg = md_alg;
88}
89
Gilles Peskine449bd832023-01-11 14:50:10 +010090void mbedtls_x509write_crt_set_subject_key(mbedtls_x509write_cert *ctx,
91 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020092{
93 ctx->subject_key = key;
94}
95
Gilles Peskine449bd832023-01-11 14:50:10 +010096void mbedtls_x509write_crt_set_issuer_key(mbedtls_x509write_cert *ctx,
97 mbedtls_pk_context *key)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020098{
99 ctx->issuer_key = key;
100}
101
Gilles Peskine449bd832023-01-11 14:50:10 +0100102int mbedtls_x509write_crt_set_subject_name(mbedtls_x509write_cert *ctx,
103 const char *subject_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200104{
Gilles Peskine449bd832023-01-11 14:50:10 +0100105 return mbedtls_x509_string_to_names(&ctx->subject, subject_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200106}
107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108int mbedtls_x509write_crt_set_issuer_name(mbedtls_x509write_cert *ctx,
109 const char *issuer_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200110{
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 return mbedtls_x509_string_to_names(&ctx->issuer, issuer_name);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200112}
113
Valerio Setti5d164c42023-01-09 12:19:40 +0100114#if defined(MBEDTLS_BIGNUM_C) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100115int mbedtls_x509write_crt_set_serial(mbedtls_x509write_cert *ctx,
116 const mbedtls_mpi *serial)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117{
Valerio Settida0afcc2023-01-05 16:46:59 +0100118 int ret;
Valerio Settida0afcc2023-01-05 16:46:59 +0100119 size_t tmp_len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200120
Valerio Settida0afcc2023-01-05 16:46:59 +0100121 /* Ensure that the MPI value fits into the buffer */
122 tmp_len = mbedtls_mpi_size(serial);
123 if (tmp_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
124 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
125 }
126
127 ctx->serial_len = tmp_len;
128
Valerio Setti4752aac2023-01-10 16:00:15 +0100129 ret = mbedtls_mpi_write_binary(serial, ctx->serial, tmp_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100130 if (ret < 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100131 return ret;
132 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200133
Valerio Settida0afcc2023-01-05 16:46:59 +0100134 return 0;
135}
Valerio Setti5d164c42023-01-09 12:19:40 +0100136#endif // MBEDTLS_BIGNUM_C && !MBEDTLS_DEPRECATED_REMOVED
Valerio Settida0afcc2023-01-05 16:46:59 +0100137
Valerio Settiaf4815c2023-01-26 17:43:09 +0100138int mbedtls_x509write_crt_set_serial_raw(mbedtls_x509write_cert *ctx,
Valerio Setti746def52023-01-10 11:46:34 +0100139 unsigned char *serial, size_t serial_len)
Valerio Settida0afcc2023-01-05 16:46:59 +0100140{
Valerio Setti746def52023-01-10 11:46:34 +0100141 if (serial_len > MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN) {
Valerio Settida0afcc2023-01-05 16:46:59 +0100142 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
143 }
144
Valerio Setti746def52023-01-10 11:46:34 +0100145 ctx->serial_len = serial_len;
146 memcpy(ctx->serial, serial, serial_len);
Valerio Settida0afcc2023-01-05 16:46:59 +0100147
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200149}
150
Gilles Peskine449bd832023-01-11 14:50:10 +0100151int mbedtls_x509write_crt_set_validity(mbedtls_x509write_cert *ctx,
152 const char *not_before,
153 const char *not_after)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200154{
Gilles Peskine449bd832023-01-11 14:50:10 +0100155 if (strlen(not_before) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
156 strlen(not_after) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1) {
157 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200158 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 strncpy(ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
160 strncpy(ctx->not_after, not_after, MBEDTLS_X509_RFC5280_UTC_TIME_LEN);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
162 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200163
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200165}
166
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400167int mbedtls_x509write_crt_set_subject_alternative_name(mbedtls_x509write_cert *ctx,
168 const mbedtls_x509_san_list *san_list)
169{
170 int ret = 0;
171 const mbedtls_x509_san_list *cur;
172 unsigned char *buf;
173 unsigned char *p;
174 size_t len;
175 size_t buflen = 0;
176
177 /* Determine the maximum size of the SubjectAltName list */
178 for (cur = san_list; cur != NULL; cur = cur->next) {
179 /* Calculate size of the required buffer */
180 switch (cur->node.type) {
181 case MBEDTLS_X509_SAN_DNS_NAME:
182 case MBEDTLS_X509_SAN_UNIFORM_RESOURCE_IDENTIFIER:
183 case MBEDTLS_X509_SAN_IP_ADDRESS:
Andrzej Kurek908716f2023-04-25 04:31:26 -0400184 case MBEDTLS_X509_SAN_RFC822_NAME:
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400185 /* length of value for each name entry,
186 * maximum 4 bytes for the length field,
187 * 1 byte for the tag/type.
188 */
Andrzej Kurek63a6a262023-04-27 08:25:41 -0400189 CHECK_OVERFLOW_ADD(buflen, cur->node.san.unstructured_name.len + 4 + 1);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400190 break;
191 case MBEDTLS_X509_SAN_DIRECTORY_NAME:
Andrzej Kurekc6215b02023-04-04 09:30:12 -0400192 {
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400193 const mbedtls_asn1_named_data *chunk = &cur->node.san.directory_name;
194 while (chunk != NULL) {
195 // 5 bytes for OID, max 4 bytes for length, +1 for tag,
196 // additional 4 max for length, +1 for tag.
197 // See x509_write_name for more information.
Andrzej Kurek63a6a262023-04-27 08:25:41 -0400198 CHECK_OVERFLOW_ADD(buflen, chunk->val.len + 5 + 4 + 1 + 4 + 1);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400199 chunk = chunk->next;
200 }
Andrzej Kurek63a6a262023-04-27 08:25:41 -0400201 CHECK_OVERFLOW_ADD(buflen, cur->node.san.unstructured_name.len + 4 + 1);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400202 break;
Andrzej Kurekc6215b02023-04-04 09:30:12 -0400203 }
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400204 default:
Andrzej Kurekdc220902023-04-25 02:29:00 -0400205 /* Not supported - return. */
206 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400207 }
208 }
209
210 /* Add the extra length field and tag */
Andrzej Kurek63a6a262023-04-27 08:25:41 -0400211 CHECK_OVERFLOW_ADD(buflen, 4 + 1);
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400212
213 /* Allocate buffer */
214 buf = mbedtls_calloc(1, buflen);
215 if (buf == NULL) {
216 return MBEDTLS_ERR_ASN1_ALLOC_FAILED;
217 }
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400218 p = buf + buflen;
219
220 /* Write ASN.1-based structure */
221 cur = san_list;
222 len = 0;
223 while (cur != NULL) {
224 size_t single_san_len = 0;
225 switch (cur->node.type) {
226 case MBEDTLS_X509_SAN_DNS_NAME:
227 case MBEDTLS_X509_SAN_RFC822_NAME:
228 case MBEDTLS_X509_SAN_UNIFORM_RESOURCE_IDENTIFIER:
229 case MBEDTLS_X509_SAN_IP_ADDRESS:
230 {
231 const unsigned char *unstructured_name =
232 (const unsigned char *) cur->node.san.unstructured_name.p;
233 size_t unstructured_name_len = cur->node.san.unstructured_name.len;
234
235 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len,
236 mbedtls_asn1_write_raw_buffer(
237 &p, buf,
238 unstructured_name, unstructured_name_len));
239 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len, mbedtls_asn1_write_len(
240 &p, buf, unstructured_name_len));
241 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len,
242 mbedtls_asn1_write_tag(
243 &p, buf,
244 MBEDTLS_ASN1_CONTEXT_SPECIFIC | cur->node.type));
245 }
246 break;
247 case MBEDTLS_X509_SAN_DIRECTORY_NAME:
248 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len,
249 mbedtls_x509_write_names(&p, buf,
250 (mbedtls_asn1_named_data *) &
251 cur->node
252 .san.directory_name));
253 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len,
254 mbedtls_asn1_write_len(&p, buf, single_san_len));
255 MBEDTLS_ASN1_CHK_CLEANUP_ADD(single_san_len,
256 mbedtls_asn1_write_tag(&p, buf,
257 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
258 MBEDTLS_ASN1_CONSTRUCTED |
259 MBEDTLS_X509_SAN_DIRECTORY_NAME));
260 break;
261 default:
Andrzej Kurekdc220902023-04-25 02:29:00 -0400262 /* Error out on an unsupported SAN */
263 ret = MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
264 goto cleanup;
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400265 }
266 cur = cur->next;
Andrzej Kurek63a6a262023-04-27 08:25:41 -0400267 /* check for overflow */
268 if (len > SIZE_MAX - single_san_len) {
269 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
270 goto cleanup;
271 }
Andrzej Kurek67fdb332023-04-04 06:56:14 -0400272 len += single_san_len;
273 }
274
275 MBEDTLS_ASN1_CHK_CLEANUP_ADD(len, mbedtls_asn1_write_len(&p, buf, len));
276 MBEDTLS_ASN1_CHK_CLEANUP_ADD(len,
277 mbedtls_asn1_write_tag(&p, buf,
278 MBEDTLS_ASN1_CONSTRUCTED |
279 MBEDTLS_ASN1_SEQUENCE));
280
281 ret = mbedtls_x509write_crt_set_extension(
282 ctx,
283 MBEDTLS_OID_SUBJECT_ALT_NAME,
284 MBEDTLS_OID_SIZE(MBEDTLS_OID_SUBJECT_ALT_NAME),
285 0,
286 buf + buflen - len,
287 len);
288
289cleanup:
290 mbedtls_free(buf);
291 return ret;
292}
293
294
Gilles Peskine449bd832023-01-11 14:50:10 +0100295int mbedtls_x509write_crt_set_extension(mbedtls_x509write_cert *ctx,
296 const char *oid, size_t oid_len,
297 int critical,
298 const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299{
Gilles Peskine449bd832023-01-11 14:50:10 +0100300 return mbedtls_x509_set_extension(&ctx->extensions, oid, oid_len,
301 critical, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200302}
303
Gilles Peskine449bd832023-01-11 14:50:10 +0100304int mbedtls_x509write_crt_set_basic_constraints(mbedtls_x509write_cert *ctx,
305 int is_ca, int max_pathlen)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306{
Janos Follath865b3eb2019-12-16 11:46:15 +0000307 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200308 unsigned char buf[9];
309 unsigned char *c = buf + sizeof(buf);
310 size_t len = 0;
311
Gilles Peskine449bd832023-01-11 14:50:10 +0100312 memset(buf, 0, sizeof(buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200313
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 if (is_ca && max_pathlen > 127) {
315 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200316 }
317
Gilles Peskine449bd832023-01-11 14:50:10 +0100318 if (is_ca) {
319 if (max_pathlen >= 0) {
320 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_int(&c, buf,
321 max_pathlen));
322 }
323 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(&c, buf, 1));
324 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200325
Gilles Peskine449bd832023-01-11 14:50:10 +0100326 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
327 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
328 MBEDTLS_ASN1_CONSTRUCTED |
329 MBEDTLS_ASN1_SEQUENCE));
330
331 return
332 mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
333 MBEDTLS_OID_SIZE(MBEDTLS_OID_BASIC_CONSTRAINTS),
334 is_ca, buf + sizeof(buf) - len, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335}
336
Manuel Pégourié-Gonnarda9464892023-03-17 12:08:50 +0100337#if defined(MBEDTLS_MD_CAN_SHA1)
Gilles Peskine449bd832023-01-11 14:50:10 +0100338static int mbedtls_x509write_crt_set_key_identifier(mbedtls_x509write_cert *ctx,
339 int is_ca,
340 unsigned char tag)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341{
Janos Follath865b3eb2019-12-16 11:46:15 +0000342 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200344 unsigned char *c = buf + sizeof(buf);
345 size_t len = 0;
pespacek7599a772022-02-07 14:40:55 +0100346#if defined(MBEDTLS_USE_PSA_CRYPTO)
347 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
348 size_t hash_length;
349#endif /* MBEDTLS_USE_PSA_CRYPTO */
350
Gilles Peskine449bd832023-01-11 14:50:10 +0100351 memset(buf, 0, sizeof(buf));
352 MBEDTLS_ASN1_CHK_ADD(len,
353 mbedtls_pk_write_pubkey(&c,
354 buf,
355 is_ca ?
356 ctx->issuer_key :
357 ctx->subject_key));
pespacek30151482022-02-17 15:18:47 +0100358
pespaceka6e955e2022-02-14 15:20:57 +0100359
pespacek7599a772022-02-07 14:40:55 +0100360#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 status = psa_hash_compute(PSA_ALG_SHA_1,
362 buf + sizeof(buf) - len,
363 len,
364 buf + sizeof(buf) - 20,
365 20,
366 &hash_length);
367 if (status != PSA_SUCCESS) {
368 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100369 }
370#else
Manuel Pégourié-Gonnard2cd75142023-02-24 12:37:07 +0100371 ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_MD_SHA1),
372 buf + sizeof(buf) - len, len,
373 buf + sizeof(buf) - 20);
Gilles Peskine449bd832023-01-11 14:50:10 +0100374 if (ret != 0) {
375 return ret;
376 }
pespacek7599a772022-02-07 14:40:55 +0100377#endif /* MBEDTLS_USE_PSA_CRYPTO */
378
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 c = buf + sizeof(buf) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200380 len = 20;
381
Gilles Peskine449bd832023-01-11 14:50:10 +0100382 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
383 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, tag));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200384
Gilles Peskine449bd832023-01-11 14:50:10 +0100385 if (is_ca) { // writes AuthorityKeyIdentifier sequence
386 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
387 MBEDTLS_ASN1_CHK_ADD(len,
388 mbedtls_asn1_write_tag(&c,
389 buf,
390 MBEDTLS_ASN1_CONSTRUCTED |
391 MBEDTLS_ASN1_SEQUENCE));
pespacek30151482022-02-17 15:18:47 +0100392 }
pespacekd924e552022-02-28 11:49:54 +0100393
Gilles Peskine449bd832023-01-11 14:50:10 +0100394 if (is_ca) {
395 return mbedtls_x509write_crt_set_extension(ctx,
396 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
397 MBEDTLS_OID_SIZE(
398 MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER),
399 0, buf + sizeof(buf) - len, len);
400 } else {
401 return mbedtls_x509write_crt_set_extension(ctx,
402 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
403 MBEDTLS_OID_SIZE(
404 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER),
405 0, buf + sizeof(buf) - len, len);
406 }
pespaceka6e955e2022-02-14 15:20:57 +0100407}
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200408
Gilles Peskine449bd832023-01-11 14:50:10 +0100409int mbedtls_x509write_crt_set_subject_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100410{
Gilles Peskine449bd832023-01-11 14:50:10 +0100411 return mbedtls_x509write_crt_set_key_identifier(ctx,
412 0,
413 MBEDTLS_ASN1_OCTET_STRING);
pespaceka6e955e2022-02-14 15:20:57 +0100414}
415
Gilles Peskine449bd832023-01-11 14:50:10 +0100416int mbedtls_x509write_crt_set_authority_key_identifier(mbedtls_x509write_cert *ctx)
pespaceka6e955e2022-02-14 15:20:57 +0100417{
Gilles Peskine449bd832023-01-11 14:50:10 +0100418 return mbedtls_x509write_crt_set_key_identifier(ctx,
419 1,
420 (MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200421}
Manuel Pégourié-Gonnarda9464892023-03-17 12:08:50 +0100422#endif /* MBEDTLS_MD_CAN_SHA1 */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200423
Gilles Peskine449bd832023-01-11 14:50:10 +0100424int mbedtls_x509write_crt_set_key_usage(mbedtls_x509write_cert *ctx,
425 unsigned int key_usage)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200426{
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 unsigned char buf[5] = { 0 }, ku[2] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200428 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000429 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100430 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
Gilles Peskine449bd832023-01-11 14:50:10 +0100431 MBEDTLS_X509_KU_NON_REPUDIATION |
432 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
433 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
434 MBEDTLS_X509_KU_KEY_AGREEMENT |
435 MBEDTLS_X509_KU_KEY_CERT_SIGN |
436 MBEDTLS_X509_KU_CRL_SIGN |
437 MBEDTLS_X509_KU_ENCIPHER_ONLY |
438 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200439
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100440 /* Check that nothing other than the allowed flags is set */
Gilles Peskine449bd832023-01-11 14:50:10 +0100441 if ((key_usage & ~allowed_bits) != 0) {
442 return MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
443 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200444
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100445 c = buf + 5;
Gilles Peskine449bd832023-01-11 14:50:10 +0100446 MBEDTLS_PUT_UINT16_LE(key_usage, ku, 0);
447 ret = mbedtls_asn1_write_named_bitstring(&c, buf, ku, 9);
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200448
Gilles Peskine449bd832023-01-11 14:50:10 +0100449 if (ret < 0) {
450 return ret;
451 } else if (ret < 3 || ret > 5) {
452 return MBEDTLS_ERR_X509_INVALID_FORMAT;
453 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200454
Gilles Peskine449bd832023-01-11 14:50:10 +0100455 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_KEY_USAGE,
456 MBEDTLS_OID_SIZE(MBEDTLS_OID_KEY_USAGE),
457 1, c, (size_t) ret);
458 if (ret != 0) {
459 return ret;
460 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200461
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200463}
464
Gilles Peskine449bd832023-01-11 14:50:10 +0100465int mbedtls_x509write_crt_set_ext_key_usage(mbedtls_x509write_cert *ctx,
466 const mbedtls_asn1_sequence *exts)
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100467{
468 unsigned char buf[256];
469 unsigned char *c = buf + sizeof(buf);
470 int ret;
471 size_t len = 0;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100472 const mbedtls_asn1_sequence *last_ext = NULL;
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100473 const mbedtls_asn1_sequence *ext;
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100474
Gilles Peskine449bd832023-01-11 14:50:10 +0100475 memset(buf, 0, sizeof(buf));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100476
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000477 /* We need at least one extension: SEQUENCE SIZE (1..MAX) OF KeyPurposeId */
Gilles Peskine449bd832023-01-11 14:50:10 +0100478 if (exts == NULL) {
479 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
480 }
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100481
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000482 /* Iterate over exts backwards, so we write them out in the requested order */
Gilles Peskine449bd832023-01-11 14:50:10 +0100483 while (last_ext != exts) {
484 for (ext = exts; ext->next != last_ext; ext = ext->next) {
485 }
486 if (ext->buf.tag != MBEDTLS_ASN1_OID) {
487 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
488 }
489 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf, ext->buf.p, ext->buf.len));
490 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, ext->buf.len));
491 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_OID));
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000492 last_ext = ext;
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100493 }
494
Gilles Peskine449bd832023-01-11 14:50:10 +0100495 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
496 MBEDTLS_ASN1_CHK_ADD(len,
497 mbedtls_asn1_write_tag(&c, buf,
498 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE));
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100499
Gilles Peskine449bd832023-01-11 14:50:10 +0100500 return mbedtls_x509write_crt_set_extension(ctx,
501 MBEDTLS_OID_EXTENDED_KEY_USAGE,
502 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
503 1, c, len);
Nicholas Wilson8e5bdfb2015-09-09 19:03:34 +0100504}
505
Gilles Peskine449bd832023-01-11 14:50:10 +0100506int mbedtls_x509write_crt_set_ns_cert_type(mbedtls_x509write_cert *ctx,
507 unsigned char ns_cert_type)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200508{
Gilles Peskine449bd832023-01-11 14:50:10 +0100509 unsigned char buf[4] = { 0 };
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200510 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000511 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200512
513 c = buf + 4;
514
Gilles Peskine449bd832023-01-11 14:50:10 +0100515 ret = mbedtls_asn1_write_named_bitstring(&c, buf, &ns_cert_type, 8);
516 if (ret < 3 || ret > 4) {
517 return ret;
518 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200519
Gilles Peskine449bd832023-01-11 14:50:10 +0100520 ret = mbedtls_x509write_crt_set_extension(ctx, MBEDTLS_OID_NS_CERT_TYPE,
521 MBEDTLS_OID_SIZE(MBEDTLS_OID_NS_CERT_TYPE),
522 0, c, (size_t) ret);
523 if (ret != 0) {
524 return ret;
525 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200526
Gilles Peskine449bd832023-01-11 14:50:10 +0100527 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200528}
529
Gilles Peskine449bd832023-01-11 14:50:10 +0100530static int x509_write_time(unsigned char **p, unsigned char *start,
531 const char *t, size_t size)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200532{
Janos Follath865b3eb2019-12-16 11:46:15 +0000533 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200534 size_t len = 0;
535
536 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200538 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100539 if (t[0] < '2' || (t[0] == '2' && t[1] == '0' && t[2] < '5')) {
540 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
541 (const unsigned char *) t + 2,
542 size - 2));
543 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
544 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
545 MBEDTLS_ASN1_UTC_TIME));
546 } else {
547 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
548 (const unsigned char *) t,
549 size));
550 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
551 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
552 MBEDTLS_ASN1_GENERALIZED_TIME));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200553 }
554
Gilles Peskine449bd832023-01-11 14:50:10 +0100555 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200556}
557
Gilles Peskine449bd832023-01-11 14:50:10 +0100558int mbedtls_x509write_crt_der(mbedtls_x509write_cert *ctx,
559 unsigned char *buf, size_t size,
560 int (*f_rng)(void *, unsigned char *, size_t),
561 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200562{
Janos Follath865b3eb2019-12-16 11:46:15 +0000563 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200564 const char *sig_oid;
565 size_t sig_oid_len = 0;
566 unsigned char *c, *c2;
Gilles Peskinebf887802019-11-08 19:21:51 +0100567 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100568 size_t hash_length = 0;
Przemek Stekiel40afdd22022-09-06 13:08:28 +0200569 unsigned char hash[MBEDTLS_HASH_MAX_SIZE];
pespacek7599a772022-02-07 14:40:55 +0100570#if defined(MBEDTLS_USE_PSA_CRYPTO)
571 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
572 psa_algorithm_t psa_algorithm;
pespacek7599a772022-02-07 14:40:55 +0100573#endif /* MBEDTLS_USE_PSA_CRYPTO */
574
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200575 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
576 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200577 mbedtls_pk_type_t pk_alg;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200578
579 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100580 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200581 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100582 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200583
584 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100585
586 /* There's no direct way of extracting a signature algorithm
587 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_RSA)) {
Hanno Beckerfc771442017-09-13 08:45:48 +0100589 pk_alg = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100590 } else if (mbedtls_pk_can_do(ctx->issuer_key, MBEDTLS_PK_ECDSA)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200591 pk_alg = MBEDTLS_PK_ECDSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100592 } else {
593 return MBEDTLS_ERR_X509_INVALID_ALG;
594 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200595
Gilles Peskine449bd832023-01-11 14:50:10 +0100596 if ((ret = mbedtls_oid_get_oid_by_sig_alg(pk_alg, ctx->md_alg,
597 &sig_oid, &sig_oid_len)) != 0) {
598 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200599 }
600
601 /*
602 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
603 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100604
605 /* Only for v3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100606 if (ctx->version == MBEDTLS_X509_CRT_VERSION_3) {
607 MBEDTLS_ASN1_CHK_ADD(len,
608 mbedtls_x509_write_extensions(&c,
609 buf, ctx->extensions));
610 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
611 MBEDTLS_ASN1_CHK_ADD(len,
612 mbedtls_asn1_write_tag(&c, buf,
613 MBEDTLS_ASN1_CONSTRUCTED |
614 MBEDTLS_ASN1_SEQUENCE));
615 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
616 MBEDTLS_ASN1_CHK_ADD(len,
617 mbedtls_asn1_write_tag(&c, buf,
618 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
619 MBEDTLS_ASN1_CONSTRUCTED | 3));
Hanno Beckerd7f35202017-09-13 12:00:15 +0100620 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200621
622 /*
623 * SubjectPublicKeyInfo
624 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100625 MBEDTLS_ASN1_CHK_ADD(pub_len,
626 mbedtls_pk_write_pubkey_der(ctx->subject_key,
627 buf, c - buf));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200628 c -= pub_len;
629 len += pub_len;
630
631 /*
632 * Subject ::= Name
633 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100634 MBEDTLS_ASN1_CHK_ADD(len,
635 mbedtls_x509_write_names(&c, buf,
636 ctx->subject));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200637
638 /*
639 * Validity ::= SEQUENCE {
640 * notBefore Time,
641 * notAfter Time }
642 */
643 sub_len = 0;
644
Gilles Peskine449bd832023-01-11 14:50:10 +0100645 MBEDTLS_ASN1_CHK_ADD(sub_len,
646 x509_write_time(&c, buf, ctx->not_after,
647 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200648
Gilles Peskine449bd832023-01-11 14:50:10 +0100649 MBEDTLS_ASN1_CHK_ADD(sub_len,
650 x509_write_time(&c, buf, ctx->not_before,
651 MBEDTLS_X509_RFC5280_UTC_TIME_LEN));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200652
653 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100654 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, sub_len));
655 MBEDTLS_ASN1_CHK_ADD(len,
656 mbedtls_asn1_write_tag(&c, buf,
657 MBEDTLS_ASN1_CONSTRUCTED |
658 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200659
660 /*
661 * Issuer ::= Name
662 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100663 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_x509_write_names(&c, buf,
664 ctx->issuer));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200665
666 /*
667 * Signature ::= AlgorithmIdentifier
668 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100669 MBEDTLS_ASN1_CHK_ADD(len,
670 mbedtls_asn1_write_algorithm_identifier(&c, buf,
671 sig_oid, strlen(sig_oid), 0));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200672
673 /*
674 * Serial ::= INTEGER
Valerio Settida0afcc2023-01-05 16:46:59 +0100675 *
676 * Written data is:
Valerio Setti4752aac2023-01-10 16:00:15 +0100677 * - "ctx->serial_len" bytes for the raw serial buffer
678 * - if MSb of "serial" is 1, then prepend an extra 0x00 byte
Valerio Settida0afcc2023-01-05 16:46:59 +0100679 * - 1 byte for the length
680 * - 1 byte for the TAG
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200681 */
Valerio Settida0afcc2023-01-05 16:46:59 +0100682 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(&c, buf,
683 ctx->serial, ctx->serial_len));
Valerio Setti4752aac2023-01-10 16:00:15 +0100684 if (*c & 0x80) {
685 if (c - buf < 1) {
686 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
687 }
Valerio Setti856cec42023-01-12 14:56:54 +0100688 *(--c) = 0x0;
Valerio Setti4752aac2023-01-10 16:00:15 +0100689 len++;
690 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
691 ctx->serial_len + 1));
692 } else {
693 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf,
694 ctx->serial_len));
695 }
Valerio Settida0afcc2023-01-05 16:46:59 +0100696 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
697 MBEDTLS_ASN1_INTEGER));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200698
699 /*
700 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
701 */
Hanno Becker47698652017-09-13 11:59:26 +0100702
703 /* Can be omitted for v1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100704 if (ctx->version != MBEDTLS_X509_CRT_VERSION_1) {
Hanno Becker47698652017-09-13 11:59:26 +0100705 sub_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100706 MBEDTLS_ASN1_CHK_ADD(sub_len,
707 mbedtls_asn1_write_int(&c, buf, ctx->version));
Hanno Becker47698652017-09-13 11:59:26 +0100708 len += sub_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100709 MBEDTLS_ASN1_CHK_ADD(len,
710 mbedtls_asn1_write_len(&c, buf, sub_len));
711 MBEDTLS_ASN1_CHK_ADD(len,
712 mbedtls_asn1_write_tag(&c, buf,
713 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
714 MBEDTLS_ASN1_CONSTRUCTED | 0));
Hanno Becker47698652017-09-13 11:59:26 +0100715 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200716
Gilles Peskine449bd832023-01-11 14:50:10 +0100717 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
718 MBEDTLS_ASN1_CHK_ADD(len,
719 mbedtls_asn1_write_tag(&c, buf, MBEDTLS_ASN1_CONSTRUCTED |
720 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200721
722 /*
723 * Make signature
724 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100725
726 /* Compute hash of CRT. */
pespacek7599a772022-02-07 14:40:55 +0100727#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100728 psa_algorithm = mbedtls_hash_info_psa_from_md(ctx->md_alg);
pespacek7599a772022-02-07 14:40:55 +0100729
Gilles Peskine449bd832023-01-11 14:50:10 +0100730 status = psa_hash_compute(psa_algorithm,
731 c,
732 len,
733 hash,
734 sizeof(hash),
735 &hash_length);
736 if (status != PSA_SUCCESS) {
737 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
pespacek7599a772022-02-07 14:40:55 +0100738 }
739#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100740 if ((ret = mbedtls_md(mbedtls_md_info_from_type(ctx->md_alg), c,
741 len, hash)) != 0) {
742 return ret;
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100743 }
pespacek7599a772022-02-07 14:40:55 +0100744#endif /* MBEDTLS_USE_PSA_CRYPTO */
745
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200746
Gilles Peskine449bd832023-01-11 14:50:10 +0100747 if ((ret = mbedtls_pk_sign(ctx->issuer_key, ctx->md_alg,
748 hash, hash_length, sig, sizeof(sig), &sig_len,
749 f_rng, p_rng)) != 0) {
750 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200751 }
752
Hanno Beckerdef43052019-05-04 07:54:36 +0100753 /* Move CRT to the front of the buffer to have space
754 * for the signature. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100755 memmove(buf, c, len);
Hanno Beckerdef43052019-05-04 07:54:36 +0100756 c = buf + len;
757
758 /* Add signature at the end of the buffer,
759 * making sure that it doesn't underflow
760 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200761 c2 = buf + size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100762 MBEDTLS_ASN1_CHK_ADD(sig_and_oid_len, mbedtls_x509_write_sig(&c2, c,
763 sig_oid, sig_oid_len, sig,
764 sig_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200765
Hanno Beckerdef43052019-05-04 07:54:36 +0100766 /*
767 * Memory layout after this step:
768 *
769 * buf c=buf+len c2 buf+size
770 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
771 */
Andres AG60dbc932016-09-02 15:23:48 +0100772
Hanno Beckerdef43052019-05-04 07:54:36 +0100773 /* Move raw CRT to just before the signature. */
774 c = c2 - len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100775 memmove(c, buf, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200776
777 len += sig_and_oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100778 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&c, buf, len));
779 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&c, buf,
780 MBEDTLS_ASN1_CONSTRUCTED |
781 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200782
Gilles Peskine449bd832023-01-11 14:50:10 +0100783 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200784}
785
786#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
787#define PEM_END_CRT "-----END CERTIFICATE-----\n"
788
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200789#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100790int mbedtls_x509write_crt_pem(mbedtls_x509write_cert *crt,
791 unsigned char *buf, size_t size,
792 int (*f_rng)(void *, unsigned char *, size_t),
793 void *p_rng)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200794{
Janos Follath865b3eb2019-12-16 11:46:15 +0000795 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100796 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200797
Gilles Peskine449bd832023-01-11 14:50:10 +0100798 if ((ret = mbedtls_x509write_crt_der(crt, buf, size,
799 f_rng, p_rng)) < 0) {
800 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200801 }
802
Gilles Peskine449bd832023-01-11 14:50:10 +0100803 if ((ret = mbedtls_pem_write_buffer(PEM_BEGIN_CRT, PEM_END_CRT,
804 buf + size - ret, ret,
805 buf, size, &olen)) != 0) {
806 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200807 }
808
Gilles Peskine449bd832023-01-11 14:50:10 +0100809 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200810}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200811#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200812
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200813#endif /* MBEDTLS_X509_CRT_WRITE_C */