blob: 9100980f68a22555cb1c9d74c1ceaf9793c93f7f [file] [log] [blame]
Nick Child5d881c32022-02-28 10:09:16 -06001/*
2 * Copyright The Mbed TLS Contributors
3 * SPDX-License-Identifier: Apache-2.0
Nayna Jainc9deb182020-11-16 19:03:12 +00004 *
Nick Child5d881c32022-02-28 10:09:16 -06005 * Licensed under the Apache License, Version 2.0 (the "License"); you may
6 * not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
Nayna Jainc9deb182020-11-16 19:03:12 +00008 *
Nick Child5d881c32022-02-28 10:09:16 -06009 * http://www.apache.org/licenses/LICENSE-2.0
Nayna Jainc9deb182020-11-16 19:03:12 +000010 *
Nick Child5d881c32022-02-28 10:09:16 -060011 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
13 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
Nayna Jainc9deb182020-11-16 19:03:12 +000016 */
17#include "common.h"
18
19#include "mbedtls/build_info.h"
20#if defined(MBEDTLS_PKCS7_C)
21#include "mbedtls/pkcs7.h"
22#include "mbedtls/x509.h"
23#include "mbedtls/asn1.h"
24#include "mbedtls/x509_crt.h"
25#include "mbedtls/x509_crl.h"
26#include "mbedtls/oid.h"
Nick Child9f4fb3e2022-09-12 16:21:02 -050027#include "mbedtls/error.h"
Nayna Jainc9deb182020-11-16 19:03:12 +000028
29#include <stdlib.h>
30#include <stdio.h>
31#include <string.h>
32#if defined(MBEDTLS_FS_IO)
33#include <sys/types.h>
34#include <sys/stat.h>
35#endif
36
Nayna Jainc9deb182020-11-16 19:03:12 +000037#include "mbedtls/platform.h"
38#include "mbedtls/platform_util.h"
Nayna Jainc9deb182020-11-16 19:03:12 +000039
40#if defined(MBEDTLS_HAVE_TIME)
41#include "mbedtls/platform_time.h"
42#endif
43#if defined(MBEDTLS_HAVE_TIME_DATE)
44#include <time.h>
45#endif
46
47/**
48 * Initializes the pkcs7 structure.
49 */
50void mbedtls_pkcs7_init( mbedtls_pkcs7 *pkcs7 )
51{
Nick Child8ce1b1a2022-09-14 14:51:23 -050052 memset( pkcs7, 0, sizeof( *pkcs7 ) );
Nayna Jainc9deb182020-11-16 19:03:12 +000053}
54
55static int pkcs7_get_next_content_len( unsigned char **p, unsigned char *end,
56 size_t *len )
57{
Nick Child9f4fb3e2022-09-12 16:21:02 -050058 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +000059
Nick Child9f4fb3e2022-09-12 16:21:02 -050060 ret = mbedtls_asn1_get_tag( p, end, len, MBEDTLS_ASN1_CONSTRUCTED
61 | MBEDTLS_ASN1_CONTEXT_SPECIFIC );
62 if( ret != 0 )
Nayna Jainc9deb182020-11-16 19:03:12 +000063 {
Nick Child9f4fb3e2022-09-12 16:21:02 -050064 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000065 }
66
Nick Child9f4fb3e2022-09-12 16:21:02 -050067 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000068}
69
70/**
71 * version Version
72 * Version ::= INTEGER
73 **/
74static int pkcs7_get_version( unsigned char **p, unsigned char *end, int *ver )
75{
Nick Child9f4fb3e2022-09-12 16:21:02 -050076 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +000077
Nick Child9f4fb3e2022-09-12 16:21:02 -050078 ret = mbedtls_asn1_get_int( p, end, ver );
79 if( ret != 0 )
80 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_VERSION, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000081
82 /* If version != 1, return invalid version */
83 if( *ver != MBEDTLS_PKCS7_SUPPORTED_VERSION )
Nick Child9f4fb3e2022-09-12 16:21:02 -050084 ret = MBEDTLS_ERR_PKCS7_INVALID_VERSION;
Nayna Jainc9deb182020-11-16 19:03:12 +000085
Nick Child9f4fb3e2022-09-12 16:21:02 -050086 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000087}
88
89/**
90 * ContentInfo ::= SEQUENCE {
91 * contentType ContentType,
92 * content
93 * [0] EXPLICIT ANY DEFINED BY contentType OPTIONAL }
94 **/
95static int pkcs7_get_content_info_type( unsigned char **p, unsigned char *end,
96 mbedtls_pkcs7_buf *pkcs7 )
97{
98 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -050099 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jain673a2262020-12-14 22:44:49 +0000100 unsigned char *start = *p;
Nayna Jainc9deb182020-11-16 19:03:12 +0000101
102 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
103 | MBEDTLS_ASN1_SEQUENCE );
Nick Childc448c942021-07-01 15:29:50 -0400104 if( ret != 0 ) {
105 *p = start;
Gilles Peskine47a73262022-11-27 21:46:56 +0100106 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO, ret ) );
Nick Childc448c942021-07-01 15:29:50 -0400107 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000108
109 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_OID );
Nayna Jain673a2262020-12-14 22:44:49 +0000110 if( ret != 0 ) {
111 *p = start;
Gilles Peskine47a73262022-11-27 21:46:56 +0100112 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO, ret ) );
Nayna Jain673a2262020-12-14 22:44:49 +0000113 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000114
115 pkcs7->tag = MBEDTLS_ASN1_OID;
116 pkcs7->len = len;
117 pkcs7->p = *p;
Nick Childbb82ab72022-10-28 12:28:54 -0500118 *p += len;
Nayna Jainc9deb182020-11-16 19:03:12 +0000119
120 return( ret );
121}
122
123/**
124 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
125 *
126 * This is from x509.h
127 **/
128static int pkcs7_get_digest_algorithm( unsigned char **p, unsigned char *end,
129 mbedtls_x509_buf *alg )
130{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500131 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000132
133 if( ( ret = mbedtls_asn1_get_alg_null( p, end, alg ) ) != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500134 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000135
Nick Child9f4fb3e2022-09-12 16:21:02 -0500136 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000137}
138
139/**
140 * DigestAlgorithmIdentifiers :: SET of DigestAlgorithmIdentifier
141 **/
142static int pkcs7_get_digest_algorithm_set( unsigned char **p,
143 unsigned char *end,
144 mbedtls_x509_buf *alg )
145{
146 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500147 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000148
149 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
150 | MBEDTLS_ASN1_SET );
151 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500152 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100153 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret ) );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500154 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000155
156 end = *p + len;
157
Nayna Jainc9deb182020-11-16 19:03:12 +0000158 ret = mbedtls_asn1_get_alg_null( p, end, alg );
159 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500160 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100161 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret ) );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500162 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000163
Nick Child34d5e932022-09-14 14:44:03 -0500164 /** For now, it assumes there is only one digest algorithm specified **/
Nayna Jainc9deb182020-11-16 19:03:12 +0000165 if ( *p != end )
Gilles Peskine47a73262022-11-27 21:46:56 +0100166 return( MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE );
Nayna Jainc9deb182020-11-16 19:03:12 +0000167
Gilles Peskine47a73262022-11-27 21:46:56 +0100168 return( 0 );
Nayna Jainc9deb182020-11-16 19:03:12 +0000169}
170
171/**
172 * certificates :: SET OF ExtendedCertificateOrCertificate,
173 * ExtendedCertificateOrCertificate ::= CHOICE {
174 * certificate Certificate -- x509,
175 * extendedCertificate[0] IMPLICIT ExtendedCertificate }
176 * Return number of certificates added to the signed data,
177 * 0 or higher is valid.
178 * Return negative error code for failure.
179 **/
180static int pkcs7_get_certificates( unsigned char **p, unsigned char *end,
181 mbedtls_x509_crt *certs )
182{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500183 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000184 size_t len1 = 0;
185 size_t len2 = 0;
Nick Childbb82ab72022-10-28 12:28:54 -0500186 unsigned char *end_set, *end_cert, *start;
Nayna Jainc9deb182020-11-16 19:03:12 +0000187
188 if( ( ret = mbedtls_asn1_get_tag( p, end, &len1, MBEDTLS_ASN1_CONSTRUCTED
189 | MBEDTLS_ASN1_CONTEXT_SPECIFIC ) ) != 0 )
190 {
191 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Gilles Peskine47a73262022-11-27 21:46:56 +0100192 return( 0 );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500193 else
Gilles Peskine47a73262022-11-27 21:46:56 +0100194 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret ) );
Nayna Jainc9deb182020-11-16 19:03:12 +0000195 }
196 start = *p;
197 end_set = *p + len1;
198
199 ret = mbedtls_asn1_get_tag( p, end_set, &len2, MBEDTLS_ASN1_CONSTRUCTED
200 | MBEDTLS_ASN1_SEQUENCE );
201 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500202 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100203 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CERT, ret ) );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500204 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000205
206 end_cert = *p + len2;
207
208 /*
209 * This is to verify that there is only one signer certificate. It seems it is
210 * not easy to differentiate between the chain vs different signer's certificate.
211 * So, we support only the root certificate and the single signer.
212 * The behaviour would be improved with addition of multiple signer support.
213 */
Nick Child8ce1b1a2022-09-14 14:51:23 -0500214 if ( end_cert != end_set )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500215 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100216 return( MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500217 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000218
219 *p = start;
Nick Childbb82ab72022-10-28 12:28:54 -0500220 if( ( ret = mbedtls_x509_crt_parse_der( certs, *p, len1 ) ) < 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500221 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100222 return( MBEDTLS_ERR_PKCS7_INVALID_CERT );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500223 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000224
225 *p = *p + len1;
226
Nick Child5f9456f2022-09-19 10:01:25 -0500227 /*
Nick Child9f4fb3e2022-09-12 16:21:02 -0500228 * Since in this version we strictly support single certificate, and reaching
Nick Child5f9456f2022-09-19 10:01:25 -0500229 * here implies we have parsed successfully, we return 1.
Nick Child9f4fb3e2022-09-12 16:21:02 -0500230 */
Gilles Peskine47a73262022-11-27 21:46:56 +0100231 return( 1 );
Nayna Jainc9deb182020-11-16 19:03:12 +0000232}
233
234/**
235 * EncryptedDigest ::= OCTET STRING
236 **/
237static int pkcs7_get_signature( unsigned char **p, unsigned char *end,
238 mbedtls_pkcs7_buf *signature )
239{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500240 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000241 size_t len = 0;
242
243 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_OCTET_STRING );
244 if( ret != 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100245 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000246
247 signature->tag = MBEDTLS_ASN1_OCTET_STRING;
248 signature->len = len;
249 signature->p = *p;
250
251 *p = *p + len;
252
Gilles Peskine47a73262022-11-27 21:46:56 +0100253 return( 0 );
Nayna Jainc9deb182020-11-16 19:03:12 +0000254}
255
Bence Szépkútif7641542022-12-12 21:37:36 +0100256static void pkcs7_free_signer_info( mbedtls_pkcs7_signer_info *signer )
257{
258 mbedtls_x509_name *name_cur;
259 mbedtls_x509_name *name_prv;
260
261 if( signer == NULL )
262 return;
263
264 name_cur = signer->issuer.next;
265 while( name_cur != NULL )
266 {
267 name_prv = name_cur;
268 name_cur = name_cur->next;
269 mbedtls_free( name_prv );
270 }
271 signer->issuer.next = NULL;
272}
273
Nayna Jainc9deb182020-11-16 19:03:12 +0000274/**
Nayna Jainc9deb182020-11-16 19:03:12 +0000275 * SignerInfo ::= SEQUENCE {
276 * version Version;
277 * issuerAndSerialNumber IssuerAndSerialNumber,
278 * digestAlgorithm DigestAlgorithmIdentifier,
279 * authenticatedAttributes
280 * [0] IMPLICIT Attributes OPTIONAL,
281 * digestEncryptionAlgorithm DigestEncryptionAlgorithmIdentifier,
282 * encryptedDigest EncryptedDigest,
283 * unauthenticatedAttributes
284 * [1] IMPLICIT Attributes OPTIONAL,
Daniel Axtens35384792020-09-02 14:48:45 +1000285 * Returns 0 if the signerInfo is valid.
286 * Return negative error code for failure.
Nick Childbb82ab72022-10-28 12:28:54 -0500287 * Structure must not contain vales for authenticatedAttributes
288 * and unauthenticatedAttributes.
Daniel Axtens35384792020-09-02 14:48:45 +1000289 **/
290static int pkcs7_get_signer_info( unsigned char **p, unsigned char *end,
291 mbedtls_pkcs7_signer_info *signer )
292{
293 unsigned char *end_signer;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500294 int asn1_ret = 0, ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel Axtens35384792020-09-02 14:48:45 +1000295 size_t len = 0;
296
Nick Child9f4fb3e2022-09-12 16:21:02 -0500297 asn1_ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
Daniel Axtens35384792020-09-02 14:48:45 +1000298 | MBEDTLS_ASN1_SEQUENCE );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500299 if( asn1_ret != 0 )
300 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000301
302 end_signer = *p + len;
303
304 ret = pkcs7_get_version( p, end_signer, &signer->version );
305 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500306 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000307
Nick Child9f4fb3e2022-09-12 16:21:02 -0500308 asn1_ret = mbedtls_asn1_get_tag( p, end_signer, &len,
309 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
310 if( asn1_ret != 0 )
311 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000312
313 /* Parsing IssuerAndSerialNumber */
314 signer->issuer_raw.p = *p;
315
Nick Child9f4fb3e2022-09-12 16:21:02 -0500316 asn1_ret = mbedtls_asn1_get_tag( p, end_signer, &len,
317 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
318 if( asn1_ret != 0 )
319 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000320
321 ret = mbedtls_x509_get_name( p, *p + len, &signer->issuer );
322 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500323 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000324
325 signer->issuer_raw.len = *p - signer->issuer_raw.p;
326
327 ret = mbedtls_x509_get_serial( p, end_signer, &signer->serial );
328 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500329 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000330
331 ret = pkcs7_get_digest_algorithm( p, end_signer, &signer->alg_identifier );
332 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500333 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000334
Tom Cosgrove1797b052022-12-04 17:19:59 +0000335 /* Assume authenticatedAttributes is nonexistent */
Nick Childbb82ab72022-10-28 12:28:54 -0500336
Daniel Axtens35384792020-09-02 14:48:45 +1000337 ret = pkcs7_get_digest_algorithm( p, end_signer, &signer->sig_alg_identifier );
338 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500339 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000340
341 ret = pkcs7_get_signature( p, end_signer, &signer->sig );
342 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500343 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000344
345 /* Do not permit any unauthenticated attributes */
346 if( *p != end_signer )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500347 ret = MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO;
Daniel Axtens35384792020-09-02 14:48:45 +1000348
Nick Child9f4fb3e2022-09-12 16:21:02 -0500349out:
Bence Szépkútif7641542022-12-12 21:37:36 +0100350 if( asn1_ret != 0 || ret != 0 )
351 {
352 pkcs7_free_signer_info( signer );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500353 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO,
354 asn1_ret );
Bence Szépkútif7641542022-12-12 21:37:36 +0100355 }
Nick Child9f4fb3e2022-09-12 16:21:02 -0500356
357 return( ret );
Daniel Axtens35384792020-09-02 14:48:45 +1000358}
359
Daniel Axtens35384792020-09-02 14:48:45 +1000360/**
361 * SignerInfos ::= SET of SignerInfo
Nayna Jainc9deb182020-11-16 19:03:12 +0000362 * Return number of signers added to the signed data,
363 * 0 or higher is valid.
364 * Return negative error code for failure.
365 **/
366static int pkcs7_get_signers_info_set( unsigned char **p, unsigned char *end,
367 mbedtls_pkcs7_signer_info *signers_set )
368{
Daniel Axtens35384792020-09-02 14:48:45 +1000369 unsigned char *end_set;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500370 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel Axtens35384792020-09-02 14:48:45 +1000371 int count = 0;
Nayna Jainc9deb182020-11-16 19:03:12 +0000372 size_t len = 0;
373
374 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
375 | MBEDTLS_ASN1_SET );
376 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500377 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100378 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO, ret ) );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500379 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000380
Daniel Axtens35384792020-09-02 14:48:45 +1000381 /* Detect zero signers */
382 if( len == 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500383 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100384 return( 0 );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500385 }
Daniel Axtens35384792020-09-02 14:48:45 +1000386
Nayna Jainc9deb182020-11-16 19:03:12 +0000387 end_set = *p + len;
388
Daniel Axtens35384792020-09-02 14:48:45 +1000389 ret = pkcs7_get_signer_info( p, end_set, signers_set );
Nayna Jainc9deb182020-11-16 19:03:12 +0000390 if( ret != 0 )
Bence Szépkútif7641542022-12-12 21:37:36 +0100391 return( ret );
Daniel Axtens35384792020-09-02 14:48:45 +1000392 count++;
Nayna Jainc9deb182020-11-16 19:03:12 +0000393
Gilles Peskine47a73262022-11-27 21:46:56 +0100394 mbedtls_pkcs7_signer_info *prev = signers_set;
Daniel Axtens35384792020-09-02 14:48:45 +1000395 while( *p != end_set )
396 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100397 mbedtls_pkcs7_signer_info *signer =
398 mbedtls_calloc( 1, sizeof( mbedtls_pkcs7_signer_info ) );
Daniel Axtens35384792020-09-02 14:48:45 +1000399 if( !signer )
400 {
401 ret = MBEDTLS_ERR_PKCS7_ALLOC_FAILED;
402 goto cleanup;
403 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000404
Daniel Axtens35384792020-09-02 14:48:45 +1000405 ret = pkcs7_get_signer_info( p, end_set, signer );
406 if( ret != 0 ) {
407 mbedtls_free( signer );
408 goto cleanup;
409 }
410 prev->next = signer;
411 prev = signer;
412 count++;
413 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000414
Gilles Peskine47a73262022-11-27 21:46:56 +0100415 return( count );
Nayna Jainc9deb182020-11-16 19:03:12 +0000416
Daniel Axtens35384792020-09-02 14:48:45 +1000417cleanup:
Daniel Axtens35384792020-09-02 14:48:45 +1000418 pkcs7_free_signer_info( signers_set );
Gilles Peskine47a73262022-11-27 21:46:56 +0100419 mbedtls_pkcs7_signer_info *signer = signers_set->next;
Gilles Peskine290f01b2022-11-27 21:28:31 +0100420 while( signer != NULL )
Daniel Axtens35384792020-09-02 14:48:45 +1000421 {
422 prev = signer;
423 signer = signer->next;
424 pkcs7_free_signer_info( prev );
425 mbedtls_free( prev );
426 }
Gilles Peskine290f01b2022-11-27 21:28:31 +0100427 signers_set->next = NULL;
Daniel Axtens35384792020-09-02 14:48:45 +1000428 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000429}
430
431/**
432 * SignedData ::= SEQUENCE {
433 * version Version,
434 * digestAlgorithms DigestAlgorithmIdentifiers,
435 * contentInfo ContentInfo,
436 * certificates
437 * [0] IMPLICIT ExtendedCertificatesAndCertificates
438 * OPTIONAL,
439 * crls
440 * [0] IMPLICIT CertificateRevocationLists OPTIONAL,
441 * signerInfos SignerInfos }
442 */
443static int pkcs7_get_signed_data( unsigned char *buf, size_t buflen,
444 mbedtls_pkcs7_signed_data *signed_data )
445{
446 unsigned char *p = buf;
447 unsigned char *end = buf + buflen;
448 unsigned char *end_set;
449 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500450 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000451 mbedtls_md_type_t md_alg;
452
453 ret = mbedtls_asn1_get_tag( &p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
454 | MBEDTLS_ASN1_SEQUENCE );
455 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500456 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100457 return( MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret ) );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500458 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000459
460 end_set = p + len;
461
462 /* Get version of signed data */
463 ret = pkcs7_get_version( &p, end_set, &signed_data->version );
464 if( ret != 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100465 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000466
467 /* Get digest algorithm */
468 ret = pkcs7_get_digest_algorithm_set( &p, end_set,
469 &signed_data->digest_alg_identifiers );
470 if( ret != 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100471 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000472
473 ret = mbedtls_oid_get_md_alg( &signed_data->digest_alg_identifiers, &md_alg );
474 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500475 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100476 return( MBEDTLS_ERR_PKCS7_INVALID_ALG );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500477 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000478
479 /* Do not expect any content */
480 ret = pkcs7_get_content_info_type( &p, end_set, &signed_data->content.oid );
481 if( ret != 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100482 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000483
484 if( MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DATA, &signed_data->content.oid ) )
485 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100486 return( MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO );
Nayna Jainc9deb182020-11-16 19:03:12 +0000487 }
488
Nayna Jainc9deb182020-11-16 19:03:12 +0000489 /* Look for certificates, there may or may not be any */
490 mbedtls_x509_crt_init( &signed_data->certs );
491 ret = pkcs7_get_certificates( &p, end_set, &signed_data->certs );
492 if( ret < 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100493 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000494
495 signed_data->no_of_certs = ret;
496
497 /*
498 * Currently CRLs are not supported. If CRL exist, the parsing will fail
499 * at next step of getting signers info and return error as invalid
500 * signer info.
501 */
502
503 signed_data->no_of_crls = 0;
504
505 /* Get signers info */
506 ret = pkcs7_get_signers_info_set( &p, end_set, &signed_data->signers );
507 if( ret < 0 )
Gilles Peskine47a73262022-11-27 21:46:56 +0100508 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000509
510 signed_data->no_of_signers = ret;
511
Daniel Axtens35384792020-09-02 14:48:45 +1000512 /* Don't permit trailing data */
Nayna Jainc9deb182020-11-16 19:03:12 +0000513 if ( p != end )
Gilles Peskine47a73262022-11-27 21:46:56 +0100514 return( MBEDTLS_ERR_PKCS7_INVALID_FORMAT );
Nayna Jainc9deb182020-11-16 19:03:12 +0000515
Gilles Peskine47a73262022-11-27 21:46:56 +0100516 return( 0 );
Nayna Jainc9deb182020-11-16 19:03:12 +0000517}
518
519int mbedtls_pkcs7_parse_der( mbedtls_pkcs7 *pkcs7, const unsigned char *buf,
520 const size_t buflen )
521{
Nick Childbb82ab72022-10-28 12:28:54 -0500522 unsigned char *p;
Nayna Jainc9deb182020-11-16 19:03:12 +0000523 unsigned char *end;
524 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500525 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jain673a2262020-12-14 22:44:49 +0000526 int isoidset = 0;
Nayna Jainc9deb182020-11-16 19:03:12 +0000527
Gilles Peskine47a73262022-11-27 21:46:56 +0100528 if( pkcs7 == NULL )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500529 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100530 return( MBEDTLS_ERR_PKCS7_BAD_INPUT_DATA );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500531 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000532
533 /* make an internal copy of the buffer for parsing */
Nick Childbb82ab72022-10-28 12:28:54 -0500534 pkcs7->raw.p = p = mbedtls_calloc( 1, buflen );
Nayna Jainc9deb182020-11-16 19:03:12 +0000535 if( pkcs7->raw.p == NULL )
536 {
Nick Child9f4fb3e2022-09-12 16:21:02 -0500537 ret = MBEDTLS_ERR_PKCS7_ALLOC_FAILED;
538 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000539 }
Nick Childbb82ab72022-10-28 12:28:54 -0500540 memcpy( p, buf, buflen );
Nayna Jainc9deb182020-11-16 19:03:12 +0000541 pkcs7->raw.len = buflen;
Nick Childbb82ab72022-10-28 12:28:54 -0500542 end = p + buflen;
Nayna Jainc9deb182020-11-16 19:03:12 +0000543
Nick Childbb82ab72022-10-28 12:28:54 -0500544 ret = pkcs7_get_content_info_type( &p, end, &pkcs7->content_type_oid );
Nayna Jainc9deb182020-11-16 19:03:12 +0000545 if( ret != 0 )
Nayna Jain673a2262020-12-14 22:44:49 +0000546 {
547 len = buflen;
548 goto try_data;
549 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000550
551 if( ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DATA, &pkcs7->content_type_oid )
552 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENCRYPTED_DATA, &pkcs7->content_type_oid )
553 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENVELOPED_DATA, &pkcs7->content_type_oid )
554 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_SIGNED_AND_ENVELOPED_DATA, &pkcs7->content_type_oid )
555 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DIGESTED_DATA, &pkcs7->content_type_oid )
556 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENCRYPTED_DATA, &pkcs7->content_type_oid ) )
557 {
558 ret = MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE;
559 goto out;
560 }
561
562 if( MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_SIGNED_DATA, &pkcs7->content_type_oid ) )
563 {
564 ret = MBEDTLS_ERR_PKCS7_BAD_INPUT_DATA;
565 goto out;
566 }
567
Nayna Jain673a2262020-12-14 22:44:49 +0000568 isoidset = 1;
Nayna Jainc9deb182020-11-16 19:03:12 +0000569
Nick Childbb82ab72022-10-28 12:28:54 -0500570 ret = pkcs7_get_next_content_len( &p, end, &len );
Nayna Jainc9deb182020-11-16 19:03:12 +0000571 if( ret != 0 )
572 goto out;
573
Nayna Jain673a2262020-12-14 22:44:49 +0000574try_data:
Nick Childbb82ab72022-10-28 12:28:54 -0500575 ret = pkcs7_get_signed_data( p, len, &pkcs7->signed_data );
Nayna Jain673a2262020-12-14 22:44:49 +0000576 if ( ret != 0 )
577 goto out;
578
579 if ( !isoidset )
580 {
581 pkcs7->content_type_oid.tag = MBEDTLS_ASN1_OID;
582 pkcs7->content_type_oid.len = MBEDTLS_OID_SIZE( MBEDTLS_OID_PKCS7_SIGNED_DATA );
583 pkcs7->content_type_oid.p = (unsigned char *)MBEDTLS_OID_PKCS7_SIGNED_DATA;
584 }
585
586 ret = MBEDTLS_PKCS7_SIGNED_DATA;
Nayna Jainc9deb182020-11-16 19:03:12 +0000587
588out:
Nayna Jain673a2262020-12-14 22:44:49 +0000589 if ( ret < 0 )
Nayna Jainc9deb182020-11-16 19:03:12 +0000590 mbedtls_pkcs7_free( pkcs7 );
Nayna Jain673a2262020-12-14 22:44:49 +0000591
Nayna Jainc9deb182020-11-16 19:03:12 +0000592 return( ret );
593}
594
Nick Child73621ef2022-10-28 11:23:15 -0500595static int mbedtls_pkcs7_data_or_hash_verify( mbedtls_pkcs7 *pkcs7,
596 const mbedtls_x509_crt *cert,
597 const unsigned char *data,
598 size_t datalen,
599 const int is_data_hash )
Nayna Jainc9deb182020-11-16 19:03:12 +0000600{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500601 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000602 unsigned char *hash;
603 mbedtls_pk_context pk_cxt = cert->pk;
604 const mbedtls_md_info_t *md_info;
605 mbedtls_md_type_t md_alg;
Daniel Axtens35384792020-09-02 14:48:45 +1000606 mbedtls_pkcs7_signer_info *signer;
Nayna Jainc9deb182020-11-16 19:03:12 +0000607
Daniel Axtens35384792020-09-02 14:48:45 +1000608 if( pkcs7->signed_data.no_of_signers == 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500609 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100610 return( MBEDTLS_ERR_PKCS7_INVALID_CERT );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500611 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000612
Nick Child73621ef2022-10-28 11:23:15 -0500613 if( mbedtls_x509_time_is_past( &cert->valid_to ) ||
614 mbedtls_x509_time_is_future( &cert->valid_from ))
615 {
Gilles Peskine47a73262022-11-27 21:46:56 +0100616 return( MBEDTLS_ERR_PKCS7_CERT_DATE_INVALID );
Nick Child73621ef2022-10-28 11:23:15 -0500617 }
618
Daniel Axtens35384792020-09-02 14:48:45 +1000619 /*
620 * Potential TODOs
621 * Currently we iterate over all signers and return success if any of them
622 * verify.
623 *
624 * However, we could make this better by checking against the certificate's
625 * identification and SignerIdentifier fields first. That would also allow
626 * us to distinguish between 'no signature for key' and 'signature for key
627 * failed to validate'.
628 *
629 * We could also cache hashes by md, so if there are several sigs all using
630 * the same algo we don't recalculate the hash each time.
631 */
Nick Child7089ce82022-09-14 14:10:00 -0500632 for( signer = &pkcs7->signed_data.signers; signer; signer = signer->next )
Nick Child66718412022-02-22 17:19:59 -0600633 {
Daniel Axtens35384792020-09-02 14:48:45 +1000634 ret = mbedtls_oid_get_md_alg( &signer->alg_identifier, &md_alg );
635 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500636 {
637 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
Nick Child7089ce82022-09-14 14:10:00 -0500638 continue;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500639 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000640
Daniel Axtens35384792020-09-02 14:48:45 +1000641 md_info = mbedtls_md_info_from_type( md_alg );
Nick Child7089ce82022-09-14 14:10:00 -0500642 if( md_info == NULL )
643 {
644 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
645 continue;
646 }
Daniel Axtens35384792020-09-02 14:48:45 +1000647
648 hash = mbedtls_calloc( mbedtls_md_get_size( md_info ), 1 );
649 if( hash == NULL ) {
Gilles Peskine47a73262022-11-27 21:46:56 +0100650 return( MBEDTLS_ERR_PKCS7_ALLOC_FAILED );
Daniel Axtens35384792020-09-02 14:48:45 +1000651 }
Gilles Peskine47a73262022-11-27 21:46:56 +0100652 /* BEGIN must free hash before jumping out */
Nick Child73621ef2022-10-28 11:23:15 -0500653 if( is_data_hash )
654 {
655 if( datalen != mbedtls_md_get_size( md_info ))
656 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
657 else
658 memcpy(hash, data, datalen);
659 }
660 else
661 {
662 ret = mbedtls_md( md_info, data, datalen, hash );
663 }
Daniel Axtens35384792020-09-02 14:48:45 +1000664 if( ret != 0 )
665 {
Nick Child7089ce82022-09-14 14:10:00 -0500666 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
Daniel Axtens35384792020-09-02 14:48:45 +1000667 mbedtls_free( hash );
Nick Child7089ce82022-09-14 14:10:00 -0500668 continue;
Daniel Axtens35384792020-09-02 14:48:45 +1000669 }
670
671 ret = mbedtls_pk_verify( &pk_cxt, md_alg, hash,
672 mbedtls_md_get_size( md_info ),
673 signer->sig.p, signer->sig.len );
Daniel Axtens35384792020-09-02 14:48:45 +1000674 mbedtls_free( hash );
Gilles Peskine47a73262022-11-27 21:46:56 +0100675 /* END must free hash before jumping out */
Daniel Axtens35384792020-09-02 14:48:45 +1000676
677 if( ret == 0 )
678 break;
Daniel Axtens35384792020-09-02 14:48:45 +1000679 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000680
681 return( ret );
682}
Nick Child73621ef2022-10-28 11:23:15 -0500683int mbedtls_pkcs7_signed_data_verify( mbedtls_pkcs7 *pkcs7,
684 const mbedtls_x509_crt *cert,
685 const unsigned char *data,
686 size_t datalen )
687{
688 return( mbedtls_pkcs7_data_or_hash_verify( pkcs7, cert, data, datalen, 0 ) );
689}
Nayna Jainc9deb182020-11-16 19:03:12 +0000690
691int mbedtls_pkcs7_signed_hash_verify( mbedtls_pkcs7 *pkcs7,
692 const mbedtls_x509_crt *cert,
Nick Child5f9456f2022-09-19 10:01:25 -0500693 const unsigned char *hash,
Nick Child8ce1b1a2022-09-14 14:51:23 -0500694 size_t hashlen )
Nayna Jainc9deb182020-11-16 19:03:12 +0000695{
Nick Child73621ef2022-10-28 11:23:15 -0500696 return( mbedtls_pkcs7_data_or_hash_verify( pkcs7, cert, hash, hashlen, 1 ) );
Nayna Jainc9deb182020-11-16 19:03:12 +0000697}
698
699/*
700 * Unallocate all pkcs7 data
701 */
702void mbedtls_pkcs7_free( mbedtls_pkcs7 *pkcs7 )
703{
Daniel Axtens35384792020-09-02 14:48:45 +1000704 mbedtls_pkcs7_signer_info *signer_cur;
705 mbedtls_pkcs7_signer_info *signer_prev;
Nayna Jainc9deb182020-11-16 19:03:12 +0000706
707 if( pkcs7 == NULL || pkcs7->raw.p == NULL )
708 return;
709
710 mbedtls_free( pkcs7->raw.p );
711
712 mbedtls_x509_crt_free( &pkcs7->signed_data.certs );
713 mbedtls_x509_crl_free( &pkcs7->signed_data.crl );
714
Daniel Axtens35384792020-09-02 14:48:45 +1000715 signer_cur = pkcs7->signed_data.signers.next;
716 pkcs7_free_signer_info( &pkcs7->signed_data.signers );
717 while( signer_cur != NULL )
Nayna Jainc9deb182020-11-16 19:03:12 +0000718 {
Daniel Axtens35384792020-09-02 14:48:45 +1000719 signer_prev = signer_cur;
720 signer_cur = signer_prev->next;
721 pkcs7_free_signer_info( signer_prev );
722 mbedtls_free( signer_prev );
Nayna Jainc9deb182020-11-16 19:03:12 +0000723 }
724
725 pkcs7->raw.p = NULL;
726}
727
728#endif