blob: 17b3e7966ba004e8770099679392a853c406489d [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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043void mbedtls_x509write_crt_init( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020044{
Hanno Becker81535d02017-09-13 15:39:59 +010045 memset( ctx, 0, sizeof( mbedtls_x509write_cert ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047 mbedtls_mpi_init( &ctx->serial );
48 ctx->version = MBEDTLS_X509_CRT_VERSION_3;
Paul Bakker7c6b2c32013-09-16 13:49:26 +020049}
50
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020051void mbedtls_x509write_crt_free( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020052{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020053 mbedtls_mpi_free( &ctx->serial );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055 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
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050059 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_x509write_cert ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020060}
61
Hanno Becker6ad3fd12019-05-04 07:37:58 +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
Hanno Becker6ad3fd12019-05-04 07:37:58 +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
Hanno Becker6ad3fd12019-05-04 07:37:58 +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
Hanno Becker6ad3fd12019-05-04 07:37:58 +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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086int mbedtls_x509write_crt_set_subject_name( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +010087 const char *subject_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020088{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089 return mbedtls_x509_string_to_names( &ctx->subject, subject_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020090}
91
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092int mbedtls_x509write_crt_set_issuer_name( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +010093 const char *issuer_name )
Paul Bakker7c6b2c32013-09-16 13:49:26 +020094{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020095 return mbedtls_x509_string_to_names( &ctx->issuer, issuer_name );
Paul Bakker7c6b2c32013-09-16 13:49:26 +020096}
97
Hanno Becker6ad3fd12019-05-04 07:37:58 +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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 if( ( ret = mbedtls_mpi_copy( &ctx->serial, serial ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200104 return( ret );
105
106 return( 0 );
107}
108
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100109int mbedtls_x509write_crt_set_validity( mbedtls_x509write_cert *ctx,
110 const char *not_before,
111 const char *not_after )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200112{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200113 if( strlen( not_before ) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 ||
114 strlen( not_after ) != MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200115 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200117 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 strncpy( ctx->not_before, not_before, MBEDTLS_X509_RFC5280_UTC_TIME_LEN );
119 strncpy( ctx->not_after , not_after , MBEDTLS_X509_RFC5280_UTC_TIME_LEN );
120 ctx->not_before[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
121 ctx->not_after[MBEDTLS_X509_RFC5280_UTC_TIME_LEN - 1] = 'Z';
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200122
123 return( 0 );
124}
125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126int mbedtls_x509write_crt_set_extension( mbedtls_x509write_cert *ctx,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200127 const char *oid, size_t oid_len,
128 int critical,
129 const unsigned char *val, size_t val_len )
130{
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100131 return( mbedtls_x509_set_extension( &ctx->extensions, oid, oid_len,
132 critical, val, val_len ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200133}
134
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135int mbedtls_x509write_crt_set_basic_constraints( mbedtls_x509write_cert *ctx,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100136 int is_ca, int max_pathlen )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200137{
Janos Follath865b3eb2019-12-16 11:46:15 +0000138 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200139 unsigned char buf[9];
140 unsigned char *c = buf + sizeof(buf);
141 size_t len = 0;
142
143 memset( buf, 0, sizeof(buf) );
144
145 if( is_ca && max_pathlen > 127 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200146 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200147
148 if( is_ca )
149 {
150 if( max_pathlen >= 0 )
151 {
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100152 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_int( &c, buf,
153 max_pathlen ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200154 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200155 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_bool( &c, buf, 1 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200156 }
157
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100159 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &c, buf,
160 MBEDTLS_ASN1_CONSTRUCTED |
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200162
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100163 return(
164 mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_BASIC_CONSTRAINTS,
165 MBEDTLS_OID_SIZE( MBEDTLS_OID_BASIC_CONSTRAINTS ),
Darren Krahne560be32020-09-21 17:40:50 -0700166 is_ca, buf + sizeof(buf) - len, len ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200167}
168
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200169#if defined(MBEDTLS_SHA1_C)
170int mbedtls_x509write_crt_set_subject_key_identifier( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200171{
Janos Follath865b3eb2019-12-16 11:46:15 +0000172 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200174 unsigned char *c = buf + sizeof(buf);
175 size_t len = 0;
176
Paul Bakker66d5d072014-06-17 16:39:18 +0200177 memset( buf, 0, sizeof(buf) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100178 MBEDTLS_ASN1_CHK_ADD( len,
179 mbedtls_pk_write_pubkey( &c, buf, ctx->subject_key ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200180
TRodziewicz26371e42021-06-08 16:45:41 +0200181 ret = mbedtls_sha1( buf + sizeof( buf ) - len, len,
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100182 buf + sizeof( buf ) - 20 );
183 if( ret != 0 )
184 return( ret );
185 c = buf + sizeof( buf ) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200186 len = 20;
187
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100189 MBEDTLS_ASN1_CHK_ADD( len,
190 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_OCTET_STRING ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200191
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100192 return mbedtls_x509write_crt_set_extension( ctx,
193 MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER,
194 MBEDTLS_OID_SIZE( MBEDTLS_OID_SUBJECT_KEY_IDENTIFIER ),
195 0, buf + sizeof(buf) - len, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200196}
197
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198int mbedtls_x509write_crt_set_authority_key_identifier( mbedtls_x509write_cert *ctx )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200199{
Janos Follath865b3eb2019-12-16 11:46:15 +0000200 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201 unsigned char buf[MBEDTLS_MPI_MAX_SIZE * 2 + 20]; /* tag, length + 2xMPI */
Hanno Becker81535d02017-09-13 15:39:59 +0100202 unsigned char *c = buf + sizeof( buf );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200203 size_t len = 0;
204
Paul Bakker66d5d072014-06-17 16:39:18 +0200205 memset( buf, 0, sizeof(buf) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100206 MBEDTLS_ASN1_CHK_ADD( len,
207 mbedtls_pk_write_pubkey( &c, buf, ctx->issuer_key ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200208
TRodziewicz26371e42021-06-08 16:45:41 +0200209 ret = mbedtls_sha1( buf + sizeof( buf ) - len, len,
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100210 buf + sizeof( buf ) - 20 );
211 if( ret != 0 )
212 return( ret );
213 c = buf + sizeof( buf ) - 20;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200214 len = 20;
215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100217 MBEDTLS_ASN1_CHK_ADD( len,
218 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_CONTEXT_SPECIFIC | 0 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200219
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100221 MBEDTLS_ASN1_CHK_ADD( len,
222 mbedtls_asn1_write_tag( &c, buf,
223 MBEDTLS_ASN1_CONSTRUCTED |
224 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200225
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100226 return mbedtls_x509write_crt_set_extension(
227 ctx, MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER,
228 MBEDTLS_OID_SIZE( MBEDTLS_OID_AUTHORITY_KEY_IDENTIFIER ),
229 0, buf + sizeof( buf ) - len, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200230}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231#endif /* MBEDTLS_SHA1_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200232
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200233int mbedtls_x509write_crt_set_key_usage( mbedtls_x509write_cert *ctx,
234 unsigned int key_usage )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200235{
Shawn Careyaa13e932021-05-06 15:11:30 -0400236 unsigned char buf[5] = {0}, ku[2] = {0};
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200237 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000238 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100239 const unsigned int allowed_bits = MBEDTLS_X509_KU_DIGITAL_SIGNATURE |
240 MBEDTLS_X509_KU_NON_REPUDIATION |
241 MBEDTLS_X509_KU_KEY_ENCIPHERMENT |
242 MBEDTLS_X509_KU_DATA_ENCIPHERMENT |
243 MBEDTLS_X509_KU_KEY_AGREEMENT |
244 MBEDTLS_X509_KU_KEY_CERT_SIGN |
245 MBEDTLS_X509_KU_CRL_SIGN |
246 MBEDTLS_X509_KU_ENCIPHER_ONLY |
247 MBEDTLS_X509_KU_DECIPHER_ONLY;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200248
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100249 /* Check that nothing other than the allowed flags is set */
250 if( ( key_usage & ~allowed_bits ) != 0 )
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200251 return( MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200252
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100253 c = buf + 5;
Joe Subbiani6dd73642021-07-19 11:56:54 +0100254 MBEDTLS_PUT_UINT16_LE( key_usage, ku, 0 );
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100255 ret = mbedtls_asn1_write_named_bitstring( &c, buf, ku, 9 );
Manuel Pégourié-Gonnard1cd10ad2015-06-23 11:07:37 +0200256
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100257 if( ret < 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200258 return( ret );
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100259 else if( ret < 3 || ret > 5 )
260 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200261
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200262 ret = mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_KEY_USAGE,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100263 MBEDTLS_OID_SIZE( MBEDTLS_OID_KEY_USAGE ),
264 1, c, (size_t)ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200265 if( ret != 0 )
266 return( ret );
267
268 return( 0 );
269}
270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271int mbedtls_x509write_crt_set_ns_cert_type( mbedtls_x509write_cert *ctx,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200272 unsigned char ns_cert_type )
273{
Shawn Careyaa13e932021-05-06 15:11:30 -0400274 unsigned char buf[4] = {0};
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200275 unsigned char *c;
Janos Follath865b3eb2019-12-16 11:46:15 +0000276 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200277
278 c = buf + 4;
279
Andres Amaya Garcia6e959142018-09-26 10:48:24 +0100280 ret = mbedtls_asn1_write_named_bitstring( &c, buf, &ns_cert_type, 8 );
281 if( ret < 3 || ret > 4 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200282 return( ret );
283
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284 ret = mbedtls_x509write_crt_set_extension( ctx, MBEDTLS_OID_NS_CERT_TYPE,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100285 MBEDTLS_OID_SIZE( MBEDTLS_OID_NS_CERT_TYPE ),
286 0, c, (size_t)ret );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200287 if( ret != 0 )
288 return( ret );
289
290 return( 0 );
291}
292
293static int x509_write_time( unsigned char **p, unsigned char *start,
Hanno Becker61937d42017-04-26 15:01:23 +0100294 const char *t, size_t size )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200295{
Janos Follath865b3eb2019-12-16 11:46:15 +0000296 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200297 size_t len = 0;
298
299 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200300 * write MBEDTLS_ASN1_UTC_TIME if year < 2050 (2 bytes shorter)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200301 */
Hanno Becker61937d42017-04-26 15:01:23 +0100302 if( t[0] == '2' && t[1] == '0' && t[2] < '5' )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200303 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_raw_buffer( p, start,
Hanno Becker61937d42017-04-26 15:01:23 +0100305 (const unsigned char *) t + 2,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306 size - 2 ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100308 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
309 MBEDTLS_ASN1_UTC_TIME ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200310 }
311 else
312 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_raw_buffer( p, start,
Hanno Becker61937d42017-04-26 15:01:23 +0100314 (const unsigned char *) t,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200315 size ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200316 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100317 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
318 MBEDTLS_ASN1_GENERALIZED_TIME ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200319 }
320
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200321 return( (int) len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200322}
323
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100324int mbedtls_x509write_crt_der( mbedtls_x509write_cert *ctx,
325 unsigned char *buf, size_t size,
326 int (*f_rng)(void *, unsigned char *, size_t),
327 void *p_rng )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200328{
Janos Follath865b3eb2019-12-16 11:46:15 +0000329 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200330 const char *sig_oid;
331 size_t sig_oid_len = 0;
332 unsigned char *c, *c2;
333 unsigned char hash[64];
Gilles Peskinebf887802019-11-08 19:21:51 +0100334 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335 size_t sub_len = 0, pub_len = 0, sig_and_oid_len = 0, sig_len;
336 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337 mbedtls_pk_type_t pk_alg;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200338
339 /*
Hanno Beckerdef43052019-05-04 07:54:36 +0100340 * Prepare data to be signed at the end of the target buffer
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100342 c = buf + size;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200343
344 /* Signature algorithm needed in TBS, and later for actual signature */
Hanno Beckerfc771442017-09-13 08:45:48 +0100345
346 /* There's no direct way of extracting a signature algorithm
347 * (represented as an element of mbedtls_pk_type_t) from a PK instance. */
348 if( mbedtls_pk_can_do( ctx->issuer_key, MBEDTLS_PK_RSA ) )
349 pk_alg = MBEDTLS_PK_RSA;
350 else if( mbedtls_pk_can_do( ctx->issuer_key, MBEDTLS_PK_ECDSA ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351 pk_alg = MBEDTLS_PK_ECDSA;
Hanno Beckerfc771442017-09-13 08:45:48 +0100352 else
Hanno Beckerd8a6f7c2017-09-22 16:05:43 +0100353 return( MBEDTLS_ERR_X509_INVALID_ALG );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200354
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 if( ( ret = mbedtls_oid_get_oid_by_sig_alg( pk_alg, ctx->md_alg,
Hanno Becker81535d02017-09-13 15:39:59 +0100356 &sig_oid, &sig_oid_len ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200357 {
358 return( ret );
359 }
360
361 /*
362 * Extensions ::= SEQUENCE SIZE (1..MAX) OF Extension
363 */
Hanno Beckerd7f35202017-09-13 12:00:15 +0100364
365 /* Only for v3 */
Hanno Beckera20e33a2017-09-22 15:40:01 +0100366 if( ctx->version == MBEDTLS_X509_CRT_VERSION_3 )
Hanno Beckerd7f35202017-09-13 12:00:15 +0100367 {
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100368 MBEDTLS_ASN1_CHK_ADD( len,
369 mbedtls_x509_write_extensions( &c,
Hanno Beckerdef43052019-05-04 07:54:36 +0100370 buf, ctx->extensions ) );
371 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100372 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100373 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100374 MBEDTLS_ASN1_CONSTRUCTED |
375 MBEDTLS_ASN1_SEQUENCE ) );
Hanno Beckerdef43052019-05-04 07:54:36 +0100376 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100377 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100378 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100379 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
380 MBEDTLS_ASN1_CONSTRUCTED | 3 ) );
Hanno Beckerd7f35202017-09-13 12:00:15 +0100381 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200382
383 /*
384 * SubjectPublicKeyInfo
385 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100386 MBEDTLS_ASN1_CHK_ADD( pub_len,
387 mbedtls_pk_write_pubkey_der( ctx->subject_key,
Hanno Beckerdef43052019-05-04 07:54:36 +0100388 buf, c - buf ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200389 c -= pub_len;
390 len += pub_len;
391
392 /*
393 * Subject ::= Name
394 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100395 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100396 mbedtls_x509_write_names( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100397 ctx->subject ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200398
399 /*
400 * Validity ::= SEQUENCE {
401 * notBefore Time,
402 * notAfter Time }
403 */
404 sub_len = 0;
405
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100406 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100407 x509_write_time( &c, buf, ctx->not_after,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100408 MBEDTLS_X509_RFC5280_UTC_TIME_LEN ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200409
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100410 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100411 x509_write_time( &c, buf, ctx->not_before,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100412 MBEDTLS_X509_RFC5280_UTC_TIME_LEN ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200413
414 len += sub_len;
Hanno Beckerdef43052019-05-04 07:54:36 +0100415 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, sub_len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100416 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100417 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100418 MBEDTLS_ASN1_CONSTRUCTED |
419 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420
421 /*
422 * Issuer ::= Name
423 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100424 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_x509_write_names( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100425 ctx->issuer ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200426
427 /*
428 * Signature ::= AlgorithmIdentifier
429 */
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100430 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100431 mbedtls_asn1_write_algorithm_identifier( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100432 sig_oid, strlen( sig_oid ), 0 ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200433
434 /*
435 * Serial ::= INTEGER
436 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100437 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_mpi( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100438 &ctx->serial ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200439
440 /*
441 * Version ::= INTEGER { v1(0), v2(1), v3(2) }
442 */
Hanno Becker47698652017-09-13 11:59:26 +0100443
444 /* Can be omitted for v1 */
Hanno Beckera20e33a2017-09-22 15:40:01 +0100445 if( ctx->version != MBEDTLS_X509_CRT_VERSION_1 )
Hanno Becker47698652017-09-13 11:59:26 +0100446 {
447 sub_len = 0;
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100448 MBEDTLS_ASN1_CHK_ADD( sub_len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100449 mbedtls_asn1_write_int( &c, buf, ctx->version ) );
Hanno Becker47698652017-09-13 11:59:26 +0100450 len += sub_len;
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100451 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100452 mbedtls_asn1_write_len( &c, buf, sub_len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100453 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100454 mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100455 MBEDTLS_ASN1_CONTEXT_SPECIFIC |
456 MBEDTLS_ASN1_CONSTRUCTED | 0 ) );
Hanno Becker47698652017-09-13 11:59:26 +0100457 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458
Hanno Beckerdef43052019-05-04 07:54:36 +0100459 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100460 MBEDTLS_ASN1_CHK_ADD( len,
Hanno Beckerdef43052019-05-04 07:54:36 +0100461 mbedtls_asn1_write_tag( &c, buf, MBEDTLS_ASN1_CONSTRUCTED |
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100462 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200463
464 /*
465 * Make signature
466 */
Hanno Beckerdef43052019-05-04 07:54:36 +0100467
468 /* Compute hash of CRT. */
Andres Amaya Garcia8d8204f2017-06-28 11:07:30 +0100469 if( ( ret = mbedtls_md( mbedtls_md_info_from_type( ctx->md_alg ), c,
470 len, hash ) ) != 0 )
471 {
472 return( ret );
473 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200474
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100475 if( ( ret = mbedtls_pk_sign( ctx->issuer_key, ctx->md_alg,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200476 hash, 0, sig, sizeof( sig ), &sig_len,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100477 f_rng, p_rng ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200478 {
479 return( ret );
480 }
481
Hanno Beckerdef43052019-05-04 07:54:36 +0100482 /* Move CRT to the front of the buffer to have space
483 * for the signature. */
484 memmove( buf, c, len );
485 c = buf + len;
486
487 /* Add signature at the end of the buffer,
488 * making sure that it doesn't underflow
489 * into the CRT buffer. */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200490 c2 = buf + size;
Hanno Beckerdef43052019-05-04 07:54:36 +0100491 MBEDTLS_ASN1_CHK_ADD( sig_and_oid_len, mbedtls_x509_write_sig( &c2, c,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200492 sig_oid, sig_oid_len, sig, sig_len ) );
493
Hanno Beckerdef43052019-05-04 07:54:36 +0100494 /*
495 * Memory layout after this step:
496 *
497 * buf c=buf+len c2 buf+size
498 * [CRT0,...,CRTn, UNUSED, ..., UNUSED, SIG0, ..., SIGm]
499 */
Andres AG60dbc932016-09-02 15:23:48 +0100500
Hanno Beckerdef43052019-05-04 07:54:36 +0100501 /* Move raw CRT to just before the signature. */
502 c = c2 - len;
503 memmove( c, buf, len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200504
505 len += sig_and_oid_len;
Hanno Beckerdef43052019-05-04 07:54:36 +0100506 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &c, buf, len ) );
507 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &c, buf,
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100508 MBEDTLS_ASN1_CONSTRUCTED |
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509 MBEDTLS_ASN1_SEQUENCE ) );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200510
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200511 return( (int) len );
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200512}
513
514#define PEM_BEGIN_CRT "-----BEGIN CERTIFICATE-----\n"
515#define PEM_END_CRT "-----END CERTIFICATE-----\n"
516
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200517#if defined(MBEDTLS_PEM_WRITE_C)
Hanno Becker6ad3fd12019-05-04 07:37:58 +0100518int mbedtls_x509write_crt_pem( mbedtls_x509write_cert *crt,
519 unsigned char *buf, size_t size,
520 int (*f_rng)(void *, unsigned char *, size_t),
521 void *p_rng )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200522{
Janos Follath865b3eb2019-12-16 11:46:15 +0000523 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker67d42592019-05-04 08:13:23 +0100524 size_t olen;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200525
Hanno Becker67d42592019-05-04 08:13:23 +0100526 if( ( ret = mbedtls_x509write_crt_der( crt, buf, size,
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200527 f_rng, p_rng ) ) < 0 )
528 {
529 return( ret );
530 }
531
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 if( ( ret = mbedtls_pem_write_buffer( PEM_BEGIN_CRT, PEM_END_CRT,
Hanno Becker67d42592019-05-04 08:13:23 +0100533 buf + size - ret, ret,
534 buf, size, &olen ) ) != 0 )
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200535 {
536 return( ret );
537 }
538
539 return( 0 );
540}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541#endif /* MBEDTLS_PEM_WRITE_C */
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200542
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543#endif /* MBEDTLS_X509_CRT_WRITE_C */