blob: 2baff35e138bde65e17bf24b0047b7c549110f46 [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
2 * X.509 certificate writing
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
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 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020020 */
21/*
22 * References:
23 * - certificates: RFC 5280, updated by RFC 6818
24 * - CSRs: PKCS#10 v1.7 aka RFC 2986
25 * - attributes: PKCS#9 v2.0 aka RFC 2985
26 */
27
Gilles Peskinedb09ef62020-06-03 01:43:33 +020028#include "common.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020029
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030#if defined(MBEDTLS_X509_CRT_WRITE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020031
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000032#include "mbedtls/x509_crt.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000033#include "mbedtls/asn1write.h"
Janos Follath73c616b2019-12-18 15:07:04 +000034#include "mbedtls/error.h"
35#include "mbedtls/oid.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050036#include "mbedtls/platform_util.h"
Janos Follath73c616b2019-12-18 15:07:04 +000037#include "mbedtls/sha1.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020038
Rich Evans00ab4702015-02-06 13:43:58 +000039#include <string.h>
40
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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045void mbedtls_x509write_crt_init( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020046{
Hanno Becker81535d02017-09-13 15:39:59 +010047 memset( ctx, 0, sizeof( mbedtls_x509write_cert ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020048
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049 mbedtls_mpi_init( &ctx->serial );
50 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020051}
52
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020053void mbedtls_x509write_crt_free( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055 mbedtls_mpi_free( &ctx->serial );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020056
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057 mbedtls_asn1_free_named_data_list( &ctx->subject );
58 mbedtls_asn1_free_named_data_list( &ctx->issuer );
59 mbedtls_asn1_free_named_data_list( &ctx->extensions );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020060
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050061 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_x509write_cert ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020062}
63
Hanno Becker6ad3fd12019-05-04 07:37:58 +010064void mbedtls_x509write_crt_set_version( mbedtls_x509write_cert *ctx,
65 int version )
Paul Bakker5191e922013-10-11 10:54:28 +020066{
67 ctx->version = version;
68}
69
Hanno Becker6ad3fd12019-05-04 07:37:58 +010070void mbedtls_x509write_crt_set_md_alg( mbedtls_x509write_cert *ctx,
71 mbedtls_md_type_t md_alg )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020072{
73 ctx->md_alg = md_alg;
74}
75
Hanno Becker6ad3fd12019-05-04 07:37:58 +010076void mbedtls_x509write_crt_set_subject_key( mbedtls_x509write_cert *ctx,
77 mbedtls_pk_context *key )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020078{
79 ctx->subject_key = key;
80}
81
Hanno Becker6ad3fd12019-05-04 07:37:58 +010082void mbedtls_x509write_crt_set_issuer_key( mbedtls_x509write_cert *ctx,
83 mbedtls_pk_context *key )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020084{
85 ctx->issuer_key = key;
86}
87
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020088int mbedtls_x509write_crt_set_subject_name( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +010089 const char *subject_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091 return mbedtls_x509_string_to_names( &ctx->subject, subject_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020092}
93
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094int mbedtls_x509write_crt_set_issuer_name( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +010095 const char *issuer_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020096{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097 return mbedtls_x509_string_to_names( &ctx->issuer, issuer_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020098}
99
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100100int mbedtls_x509write_crt_set_serial( mbedtls_x509write_cert *ctx,
101 const mbedtls_mpi *serial )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200102{
Janos Follath865b3eb2019-12-16 11:46:15 +0000103 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200104
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200105 if( ( ret = mbedtls_mpi_copy( &ctx->serial, serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200106 return( ret );
107
108 return( 0 );
109}
110
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100111int mbedtls_x509write_crt_set_validity( mbedtls_x509write_cert *ctx,
112 const char *not_before,
113 const char *not_after )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200114{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 if( strlen( not_before ) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
116 strlen( not_after ) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200119 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120 strncpy( ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN );
121 strncpy( ctx->not_after , not_after , MBEDTLS_X509_RFC5280_UTC_TIME_LEN );
122 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
123 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200124
125 return( 0 );
126}
127
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128int mbedtls_x509write_crt_set_extension( mbedtls_x509write_cert *ctx,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200129 const char *oid, size_t oid_len,
130 int critical,
131 const unsigned char *val, size_t val_len )
132{
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100133 return( mbedtls_x509_set_extension( &ctx->extensions, oid, oid_len,
134 critical, val, val_len ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200135}
136
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137int mbedtls_x509write_crt_set_basic_constraints( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100138 int is_ca, int max_pathlen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200139{
Janos Follath865b3eb2019-12-16 11:46:15 +0000140 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200141 unsigned char buf[9];
142 unsigned char *c = buf + sizeof(buf);
143 size_t len = 0;
144
145 memset( buf, 0, sizeof(buf) );
146
147 if( is_ca && max_pathlen > 127 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200148 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200149
150 if( is_ca )
151 {
152 if( max_pathlen >= 0 )
153 {
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100154 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_int( &c, buf,
155 max_pathlen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200156 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200157 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_bool( &c, buf, 1 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200158 }
159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100161 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &c, buf,
162 MBEDTLS_ASN1_CONSTRUCTED |
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200163 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200164
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100165 return(
166 mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
167 MBEDTLS_OID_SIZE( MBEDTLS_OID_BASIC_CONSTRAINTS ),
168 0, buf + sizeof(buf) - len, len ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200169}
170
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171#if defined(MBEDTLS_SHA1_C)
172int mbedtls_x509write_crt_set_subject_key_identifier( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200173{
Janos Follath865b3eb2019-12-16 11:46:15 +0000174 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200176 unsigned char *c = buf + sizeof(buf);
177 size_t len = 0;
178
Paul Bakker66d5d072014-06-17 16:39:18 +0200179 memset( buf, 0, sizeof(buf) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100180 MBEDTLS_ASN1_CHK_ADD( len,
181 mbedtls_pk_write_pubkey( &c, buf, ctx->subject_key ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200182
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100183 ret = mbedtls_sha1_ret( buf + sizeof( buf ) - len, len,
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100184 buf + sizeof( buf ) - 20 );
185 if( ret != 0 )
186 return( ret );
187 c = buf + sizeof( buf ) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200188 len = 20;
189
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100191 MBEDTLS_ASN1_CHK_ADD( len,
192 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_OCTET_STRING ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200193
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100194 return mbedtls_x509write_crt_set_extension( ctx,
195 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
196 MBEDTLS_OID_SIZE( MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER ),
197 0, buf + sizeof(buf) - len, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200198}
199
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200int mbedtls_x509write_crt_set_authority_key_identifier( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200201{
Janos Follath865b3eb2019-12-16 11:46:15 +0000202 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Hanno Becker81535d02017-09-13 15:39:59 +0100204 unsigned char *c = buf + sizeof( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200205 size_t len = 0;
206
Paul Bakker66d5d072014-06-17 16:39:18 +0200207 memset( buf, 0, sizeof(buf) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100208 MBEDTLS_ASN1_CHK_ADD( len,
209 mbedtls_pk_write_pubkey( &c, buf, ctx->issuer_key ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200210
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100211 ret = mbedtls_sha1_ret( buf + sizeof( buf ) - len, len,
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100212 buf + sizeof( buf ) - 20 );
213 if( ret != 0 )
214 return( ret );
215 c = buf + sizeof( buf ) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200216 len = 20;
217
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100219 MBEDTLS_ASN1_CHK_ADD( len,
220 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200221
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100223 MBEDTLS_ASN1_CHK_ADD( len,
224 mbedtls_asn1_write_tag( &c, buf,
225 MBEDTLS_ASN1_CONSTRUCTED |
226 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200227
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100228 return mbedtls_x509write_crt_set_extension(
229 ctx, MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
230 MBEDTLS_OID_SIZE( MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER ),
231 0, buf + sizeof( buf ) - len, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200232}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233#endif /* MBEDTLS_SHA1_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200234
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200235int mbedtls_x509write_crt_set_key_usage( mbedtls_x509write_cert *ctx,
236 unsigned int key_usage )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200237{
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100238 unsigned char buf[5], ku[2];
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200239 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000240 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100241 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
242 MBEDTLS_X509_KU_NON_REPUDIATION |
243 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
244 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
245 MBEDTLS_X509_KU_KEY_AGREEMENT |
246 MBEDTLS_X509_KU_KEY_CERT_SIGN |
247 MBEDTLS_X509_KU_CRL_SIGN |
248 MBEDTLS_X509_KU_ENCIPHER_ONLY |
249 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200250
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100251 /* Check that nothing other than the allowed flags is set */
252 if( ( key_usage & ~allowed_bits ) != 0 )
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200253 return( MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200254
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100255 c = buf + 5;
256 ku[0] = (unsigned char)( key_usage );
257 ku[1] = (unsigned char)( key_usage >> 8 );
258 ret = mbedtls_asn1_write_named_bitstring( &c, buf, ku, 9 );
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200259
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100260 if( ret < 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200261 return( ret );
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100262 else if( ret < 3 || ret > 5 )
263 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200264
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265 ret = mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_KEY_USAGE,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100266 MBEDTLS_OID_SIZE( MBEDTLS_OID_KEY_USAGE ),
267 1, c, (size_t)ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200268 if( ret != 0 )
269 return( ret );
270
271 return( 0 );
272}
273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274int mbedtls_x509write_crt_set_ns_cert_type( mbedtls_x509write_cert *ctx,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200275 unsigned char ns_cert_type )
276{
277 unsigned char buf[4];
278 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000279 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200280
281 c = buf + 4;
282
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100283 ret = mbedtls_asn1_write_named_bitstring( &c, buf, &ns_cert_type, 8 );
284 if( ret < 3 || ret > 4 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285 return( ret );
286
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200287 ret = mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_NS_CERT_TYPE,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100288 MBEDTLS_OID_SIZE( MBEDTLS_OID_NS_CERT_TYPE ),
289 0, c, (size_t)ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200290 if( ret != 0 )
291 return( ret );
292
293 return( 0 );
294}
295
296static int x509_write_time( unsigned char **p, unsigned char *start,
Hanno Becker61937d42017-04-26 15:01:23 +0100297 const char *t, size_t size )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200298{
Janos Follath865b3eb2019-12-16 11:46:15 +0000299 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200300 size_t len = 0;
301
302 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200303 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200304 */
Hanno Becker61937d42017-04-26 15:01:23 +0100305 if( t[0] == '2' && t[1] == '0' && t[2] < '5' )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_raw_buffer( p, start,
Hanno Becker61937d42017-04-26 15:01:23 +0100308 (const unsigned char *) t + 2,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200309 size - 2 ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100311 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
312 MBEDTLS_ASN1_UTC_TIME ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200313 }
314 else
315 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200316 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_raw_buffer( p, start,
Hanno Becker61937d42017-04-26 15:01:23 +0100317 (const unsigned char *) t,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200318 size ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100320 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
321 MBEDTLS_ASN1_GENERALIZED_TIME ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200322 }
323
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200324 return( (int) len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200325}
326
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100327int mbedtls_x509write_crt_der( mbedtls_x509write_cert *ctx,
328 unsigned char *buf, size_t size,
329 int (*f_rng)(void *, unsigned char *, size_t),
330 void *p_rng )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200331{
Janos Follath865b3eb2019-12-16 11:46:15 +0000332 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200333 const char *sig_oid;
334 size_t sig_oid_len = 0;
335 unsigned char *c, *c2;
336 unsigned char hash[64];
Gilles Peskinebf887802019-11-08 19:21:51 +0100337 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200338 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
339 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200340 mbedtls_pk_type_t pk_alg;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341
342 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100343 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200344 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100345 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200346
347 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100348
349 /* There's no direct way of extracting a signature algorithm
350 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
351 if( mbedtls_pk_can_do( ctx->issuer_key, MBEDTLS_PK_RSA ) )
352 pk_alg = MBEDTLS_PK_RSA;
353 else if( mbedtls_pk_can_do( ctx->issuer_key, MBEDTLS_PK_ECDSA ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200354 pk_alg = MBEDTLS_PK_ECDSA;
Hanno Beckerfc771442017-09-13 08:45:48 +0100355 else
Hanno Beckerd8a6f7c2017-09-22 16:05:43 +0100356 return( MBEDTLS_ERR_X509_INVALID_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 if( ( ret = mbedtls_oid_get_oid_by_sig_alg( pk_alg, ctx->md_alg,
Hanno Becker81535d02017-09-13 15:39:59 +0100359 &sig_oid, &sig_oid_len ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200360 {
361 return( ret );
362 }
363
364 /*
365 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
366 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100367
368 /* Only for v3 */
Hanno Beckera20e33a2017-09-22 15:40:01 +0100369 if( ctx->version == MBEDTLS_X509_CRT_VERSION_3 )
Hanno Beckerd7f35202017-09-13 12:00:15 +0100370 {
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100371 MBEDTLS_ASN1_CHK_ADD( len,
372 mbedtls_x509_write_extensions( &c,
Hanno Beckerdef43052019-05-04 07:54:36 +0100373 buf, ctx->extensions ) );
374 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100375 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100376 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100377 MBEDTLS_ASN1_CONSTRUCTED |
378 MBEDTLS_ASN1_SEQUENCE ) );
Hanno Beckerdef43052019-05-04 07:54:36 +0100379 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100380 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100381 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100382 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
383 MBEDTLS_ASN1_CONSTRUCTED | 3 ) );
Hanno Beckerd7f35202017-09-13 12:00:15 +0100384 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200385
386 /*
387 * SubjectPublicKeyInfo
388 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100389 MBEDTLS_ASN1_CHK_ADD( pub_len,
390 mbedtls_pk_write_pubkey_der( ctx->subject_key,
Hanno Beckerdef43052019-05-04 07:54:36 +0100391 buf, c - buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200392 c -= pub_len;
393 len += pub_len;
394
395 /*
396 * Subject ::= Name
397 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100398 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100399 mbedtls_x509_write_names( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100400 ctx->subject ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200401
402 /*
403 * Validity ::= SEQUENCE {
404 * notBefore Time,
405 * notAfter Time }
406 */
407 sub_len = 0;
408
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100409 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100410 x509_write_time( &c, buf, ctx->not_after,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100411 MBEDTLS_X509_RFC5280_UTC_TIME_LEN ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200412
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100413 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100414 x509_write_time( &c, buf, ctx->not_before,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100415 MBEDTLS_X509_RFC5280_UTC_TIME_LEN ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200416
417 len += sub_len;
Hanno Beckerdef43052019-05-04 07:54:36 +0100418 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, sub_len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100419 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100420 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100421 MBEDTLS_ASN1_CONSTRUCTED |
422 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200423
424 /*
425 * Issuer ::= Name
426 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100427 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_x509_write_names( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100428 ctx->issuer ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200429
430 /*
431 * Signature ::= AlgorithmIdentifier
432 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100433 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100434 mbedtls_asn1_write_algorithm_identifier( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100435 sig_oid, strlen( sig_oid ), 0 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200436
437 /*
438 * Serial ::= INTEGER
439 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100440 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_mpi( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100441 &ctx->serial ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200442
443 /*
444 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
445 */
Hanno Becker47698652017-09-13 11:59:26 +0100446
447 /* Can be omitted for v1 */
Hanno Beckera20e33a2017-09-22 15:40:01 +0100448 if( ctx->version != MBEDTLS_X509_CRT_VERSION_1 )
Hanno Becker47698652017-09-13 11:59:26 +0100449 {
450 sub_len = 0;
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100451 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100452 mbedtls_asn1_write_int( &c, buf, ctx->version ) );
Hanno Becker47698652017-09-13 11:59:26 +0100453 len += sub_len;
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100454 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100455 mbedtls_asn1_write_len( &c, buf, sub_len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100456 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100457 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100458 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
459 MBEDTLS_ASN1_CONSTRUCTED | 0 ) );
Hanno Becker47698652017-09-13 11:59:26 +0100460 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200461
Hanno Beckerdef43052019-05-04 07:54:36 +0100462 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100463 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100464 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_CONSTRUCTED |
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100465 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200466
467 /*
468 * Make signature
469 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100470
471 /* Compute hash of CRT. */
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100472 if( ( ret = mbedtls_md( mbedtls_md_info_from_type( ctx->md_alg ), c,
473 len, hash ) ) != 0 )
474 {
475 return( ret );
476 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200477
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100478 if( ( ret = mbedtls_pk_sign( ctx->issuer_key, ctx->md_alg,
479 hash, 0, sig, &sig_len,
480 f_rng, p_rng ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200481 {
482 return( ret );
483 }
484
Hanno Beckerdef43052019-05-04 07:54:36 +0100485 /* Move CRT to the front of the buffer to have space
486 * for the signature. */
487 memmove( buf, c, len );
488 c = buf + len;
489
490 /* Add signature at the end of the buffer,
491 * making sure that it doesn't underflow
492 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200493 c2 = buf + size;
Hanno Beckerdef43052019-05-04 07:54:36 +0100494 MBEDTLS_ASN1_CHK_ADD( sig_and_oid_len, mbedtls_x509_write_sig( &c2, c,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200495 sig_oid, sig_oid_len, sig, sig_len ) );
496
Hanno Beckerdef43052019-05-04 07:54:36 +0100497 /*
498 * Memory layout after this step:
499 *
500 * buf c=buf+len c2 buf+size
501 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
502 */
Andres AG60dbc932016-09-02 15:23:48 +0100503
Hanno Beckerdef43052019-05-04 07:54:36 +0100504 /* Move raw CRT to just before the signature. */
505 c = c2 - len;
506 memmove( c, buf, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200507
508 len += sig_and_oid_len;
Hanno Beckerdef43052019-05-04 07:54:36 +0100509 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
510 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100511 MBEDTLS_ASN1_CONSTRUCTED |
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200512 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200513
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200514 return( (int) len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200515}
516
517#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
518#define PEM_END_CRT "-----END CERTIFICATE-----\n"
519
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520#if defined(MBEDTLS_PEM_WRITE_C)
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100521int mbedtls_x509write_crt_pem( mbedtls_x509write_cert *crt,
522 unsigned char *buf, size_t size,
523 int (*f_rng)(void *, unsigned char *, size_t),
524 void *p_rng )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200525{
Janos Follath865b3eb2019-12-16 11:46:15 +0000526 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100527 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200528
Hanno Becker67d42592019-05-04 08:13:23 +0100529 if( ( ret = mbedtls_x509write_crt_der( crt, buf, size,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200530 f_rng, p_rng ) ) < 0 )
531 {
532 return( ret );
533 }
534
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200535 if( ( ret = mbedtls_pem_write_buffer( PEM_BEGIN_CRT, PEM_END_CRT,
Hanno Becker67d42592019-05-04 08:13:23 +0100536 buf + size - ret, ret,
537 buf, size, &olen ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200538 {
539 return( ret );
540 }
541
542 return( 0 );
543}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200545
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546#endif /* MBEDTLS_X509_CRT_WRITE_C */