blob: 56b6bb6170a72839eebb650310d8e03a77339131 [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
37#if defined(MBEDTLS_PLATFORM_C)
38#include "mbedtls/platform.h"
39#include "mbedtls/platform_util.h"
40#else
41#include <stdio.h>
42#include <stdlib.h>
43#define mbedtls_free free
44#define mbedtls_calloc calloc
45#define mbedtls_printf printf
46#define mbedtls_snprintf snprintf
47#endif
48
49#if defined(MBEDTLS_HAVE_TIME)
50#include "mbedtls/platform_time.h"
51#endif
52#if defined(MBEDTLS_HAVE_TIME_DATE)
53#include <time.h>
54#endif
55
56/**
57 * Initializes the pkcs7 structure.
58 */
59void mbedtls_pkcs7_init( mbedtls_pkcs7 *pkcs7 )
60{
Nick Child8ce1b1a2022-09-14 14:51:23 -050061 memset( pkcs7, 0, sizeof( *pkcs7 ) );
Nayna Jainc9deb182020-11-16 19:03:12 +000062}
63
64static int pkcs7_get_next_content_len( unsigned char **p, unsigned char *end,
65 size_t *len )
66{
Nick Child9f4fb3e2022-09-12 16:21:02 -050067 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +000068
Nick Child9f4fb3e2022-09-12 16:21:02 -050069 ret = mbedtls_asn1_get_tag( p, end, len, MBEDTLS_ASN1_CONSTRUCTED
70 | MBEDTLS_ASN1_CONTEXT_SPECIFIC );
71 if( ret != 0 )
Nayna Jainc9deb182020-11-16 19:03:12 +000072 {
Nick Child9f4fb3e2022-09-12 16:21:02 -050073 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000074 }
75
Nick Child9f4fb3e2022-09-12 16:21:02 -050076 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000077}
78
79/**
80 * version Version
81 * Version ::= INTEGER
82 **/
83static int pkcs7_get_version( unsigned char **p, unsigned char *end, int *ver )
84{
Nick Child9f4fb3e2022-09-12 16:21:02 -050085 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +000086
Nick Child9f4fb3e2022-09-12 16:21:02 -050087 ret = mbedtls_asn1_get_int( p, end, ver );
88 if( ret != 0 )
89 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_VERSION, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000090
91 /* If version != 1, return invalid version */
92 if( *ver != MBEDTLS_PKCS7_SUPPORTED_VERSION )
Nick Child9f4fb3e2022-09-12 16:21:02 -050093 ret = MBEDTLS_ERR_PKCS7_INVALID_VERSION;
Nayna Jainc9deb182020-11-16 19:03:12 +000094
Nick Child9f4fb3e2022-09-12 16:21:02 -050095 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +000096}
97
98/**
99 * ContentInfo ::= SEQUENCE {
100 * contentType ContentType,
101 * content
102 * [0] EXPLICIT ANY DEFINED BY contentType OPTIONAL }
103 **/
104static int pkcs7_get_content_info_type( unsigned char **p, unsigned char *end,
105 mbedtls_pkcs7_buf *pkcs7 )
106{
107 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500108 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jain673a2262020-12-14 22:44:49 +0000109 unsigned char *start = *p;
Nayna Jainc9deb182020-11-16 19:03:12 +0000110
111 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
112 | MBEDTLS_ASN1_SEQUENCE );
Nick Childc448c942021-07-01 15:29:50 -0400113 if( ret != 0 ) {
114 *p = start;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500115 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO, ret );
116 goto out;
Nick Childc448c942021-07-01 15:29:50 -0400117 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000118
119 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_OID );
Nayna Jain673a2262020-12-14 22:44:49 +0000120 if( ret != 0 ) {
121 *p = start;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500122 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO, ret );
123 goto out;
Nayna Jain673a2262020-12-14 22:44:49 +0000124 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000125
126 pkcs7->tag = MBEDTLS_ASN1_OID;
127 pkcs7->len = len;
128 pkcs7->p = *p;
129
Nick Child9f4fb3e2022-09-12 16:21:02 -0500130out:
Nayna Jainc9deb182020-11-16 19:03:12 +0000131 return( ret );
132}
133
134/**
135 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
136 *
137 * This is from x509.h
138 **/
139static int pkcs7_get_digest_algorithm( unsigned char **p, unsigned char *end,
140 mbedtls_x509_buf *alg )
141{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500142 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000143
144 if( ( ret = mbedtls_asn1_get_alg_null( p, end, alg ) ) != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500145 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000146
Nick Child9f4fb3e2022-09-12 16:21:02 -0500147 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000148}
149
150/**
151 * DigestAlgorithmIdentifiers :: SET of DigestAlgorithmIdentifier
152 **/
153static int pkcs7_get_digest_algorithm_set( unsigned char **p,
154 unsigned char *end,
155 mbedtls_x509_buf *alg )
156{
157 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500158 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000159
160 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
161 | MBEDTLS_ASN1_SET );
162 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500163 {
164 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret );
165 goto out;
166 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000167
168 end = *p + len;
169
Nayna Jainc9deb182020-11-16 19:03:12 +0000170 ret = mbedtls_asn1_get_alg_null( p, end, alg );
171 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500172 {
173 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_ALG, ret );
174 goto out;
175 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000176
Nick Child34d5e932022-09-14 14:44:03 -0500177 /** For now, it assumes there is only one digest algorithm specified **/
Nayna Jainc9deb182020-11-16 19:03:12 +0000178 if ( *p != end )
Nick Child34d5e932022-09-14 14:44:03 -0500179 ret = MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE;
Nayna Jainc9deb182020-11-16 19:03:12 +0000180
Nick Child9f4fb3e2022-09-12 16:21:02 -0500181out:
182 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000183}
184
185/**
186 * certificates :: SET OF ExtendedCertificateOrCertificate,
187 * ExtendedCertificateOrCertificate ::= CHOICE {
188 * certificate Certificate -- x509,
189 * extendedCertificate[0] IMPLICIT ExtendedCertificate }
190 * Return number of certificates added to the signed data,
191 * 0 or higher is valid.
192 * Return negative error code for failure.
193 **/
194static int pkcs7_get_certificates( unsigned char **p, unsigned char *end,
195 mbedtls_x509_crt *certs )
196{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500197 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000198 size_t len1 = 0;
199 size_t len2 = 0;
200 unsigned char *end_set, *end_cert;
201 unsigned char *start = *p;
202
203 if( ( ret = mbedtls_asn1_get_tag( p, end, &len1, MBEDTLS_ASN1_CONSTRUCTED
204 | MBEDTLS_ASN1_CONTEXT_SPECIFIC ) ) != 0 )
205 {
206 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500207 ret = 0;
208 else
209 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret );
210 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000211 }
212 start = *p;
213 end_set = *p + len1;
214
215 ret = mbedtls_asn1_get_tag( p, end_set, &len2, MBEDTLS_ASN1_CONSTRUCTED
216 | MBEDTLS_ASN1_SEQUENCE );
217 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500218 {
219 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_CERT, ret );
220 goto out;
221 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000222
223 end_cert = *p + len2;
224
225 /*
226 * This is to verify that there is only one signer certificate. It seems it is
227 * not easy to differentiate between the chain vs different signer's certificate.
228 * So, we support only the root certificate and the single signer.
229 * The behaviour would be improved with addition of multiple signer support.
230 */
Nick Child8ce1b1a2022-09-14 14:51:23 -0500231 if ( end_cert != end_set )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500232 {
Nick Child34d5e932022-09-14 14:44:03 -0500233 ret = MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500234 goto out;
235 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000236
237 *p = start;
238 if( ( ret = mbedtls_x509_crt_parse( certs, *p, len1 ) ) < 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500239 {
240 ret = MBEDTLS_ERR_PKCS7_INVALID_CERT;
241 goto out;
242 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000243
244 *p = *p + len1;
245
Nick Child5f9456f2022-09-19 10:01:25 -0500246 /*
Nick Child9f4fb3e2022-09-12 16:21:02 -0500247 * Since in this version we strictly support single certificate, and reaching
Nick Child5f9456f2022-09-19 10:01:25 -0500248 * here implies we have parsed successfully, we return 1.
Nick Child9f4fb3e2022-09-12 16:21:02 -0500249 */
250 ret = 1;
Nayna Jainc9deb182020-11-16 19:03:12 +0000251
Nick Child9f4fb3e2022-09-12 16:21:02 -0500252out:
253 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000254}
255
256/**
257 * EncryptedDigest ::= OCTET STRING
258 **/
259static int pkcs7_get_signature( unsigned char **p, unsigned char *end,
260 mbedtls_pkcs7_buf *signature )
261{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500262 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000263 size_t len = 0;
264
265 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_OCTET_STRING );
266 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500267 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000268
269 signature->tag = MBEDTLS_ASN1_OCTET_STRING;
270 signature->len = len;
271 signature->p = *p;
272
273 *p = *p + len;
274
Nick Child9f4fb3e2022-09-12 16:21:02 -0500275out:
276 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000277}
278
279/**
Nayna Jainc9deb182020-11-16 19:03:12 +0000280 * SignerInfo ::= SEQUENCE {
281 * version Version;
282 * issuerAndSerialNumber IssuerAndSerialNumber,
283 * digestAlgorithm DigestAlgorithmIdentifier,
284 * authenticatedAttributes
285 * [0] IMPLICIT Attributes OPTIONAL,
286 * digestEncryptionAlgorithm DigestEncryptionAlgorithmIdentifier,
287 * encryptedDigest EncryptedDigest,
288 * unauthenticatedAttributes
289 * [1] IMPLICIT Attributes OPTIONAL,
Daniel Axtens35384792020-09-02 14:48:45 +1000290 * Returns 0 if the signerInfo is valid.
291 * Return negative error code for failure.
292 **/
293static int pkcs7_get_signer_info( unsigned char **p, unsigned char *end,
294 mbedtls_pkcs7_signer_info *signer )
295{
296 unsigned char *end_signer;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500297 int asn1_ret = 0, ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel Axtens35384792020-09-02 14:48:45 +1000298 size_t len = 0;
299
Nick Child9f4fb3e2022-09-12 16:21:02 -0500300 asn1_ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
Daniel Axtens35384792020-09-02 14:48:45 +1000301 | MBEDTLS_ASN1_SEQUENCE );
Nick Child9f4fb3e2022-09-12 16:21:02 -0500302 if( asn1_ret != 0 )
303 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000304
305 end_signer = *p + len;
306
307 ret = pkcs7_get_version( p, end_signer, &signer->version );
308 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500309 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000310
Nick Child9f4fb3e2022-09-12 16:21:02 -0500311 asn1_ret = mbedtls_asn1_get_tag( p, end_signer, &len,
312 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
313 if( asn1_ret != 0 )
314 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000315
316 /* Parsing IssuerAndSerialNumber */
317 signer->issuer_raw.p = *p;
318
Nick Child9f4fb3e2022-09-12 16:21:02 -0500319 asn1_ret = mbedtls_asn1_get_tag( p, end_signer, &len,
320 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE );
321 if( asn1_ret != 0 )
322 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000323
324 ret = mbedtls_x509_get_name( p, *p + len, &signer->issuer );
325 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500326 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000327
328 signer->issuer_raw.len = *p - signer->issuer_raw.p;
329
330 ret = mbedtls_x509_get_serial( p, end_signer, &signer->serial );
331 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500332 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000333
334 ret = pkcs7_get_digest_algorithm( p, end_signer, &signer->alg_identifier );
335 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500336 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000337
338 ret = pkcs7_get_digest_algorithm( p, end_signer, &signer->sig_alg_identifier );
339 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500340 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000341
342 ret = pkcs7_get_signature( p, end_signer, &signer->sig );
343 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500344 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000345
346 /* Do not permit any unauthenticated attributes */
347 if( *p != end_signer )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500348 ret = MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO;
Daniel Axtens35384792020-09-02 14:48:45 +1000349
Nick Child9f4fb3e2022-09-12 16:21:02 -0500350out:
351 if( asn1_ret != 0 )
352 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO,
353 asn1_ret );
354 else if( ret != 0 )
355 ret = MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO;
356
357 return( ret );
Daniel Axtens35384792020-09-02 14:48:45 +1000358}
359
360static void pkcs7_free_signer_info( mbedtls_pkcs7_signer_info *signer )
361{
362 mbedtls_x509_name *name_cur;
363 mbedtls_x509_name *name_prv;
364
365 if( signer == NULL )
366 return;
367
368 name_cur = signer->issuer.next;
369 while( name_cur != NULL )
370 {
371 name_prv = name_cur;
372 name_cur = name_cur->next;
373 mbedtls_free( name_prv );
374 }
375}
376
377/**
378 * SignerInfos ::= SET of SignerInfo
Nayna Jainc9deb182020-11-16 19:03:12 +0000379 * Return number of signers added to the signed data,
380 * 0 or higher is valid.
381 * Return negative error code for failure.
382 **/
383static int pkcs7_get_signers_info_set( unsigned char **p, unsigned char *end,
384 mbedtls_pkcs7_signer_info *signers_set )
385{
Daniel Axtens35384792020-09-02 14:48:45 +1000386 unsigned char *end_set;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500387 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel Axtens35384792020-09-02 14:48:45 +1000388 int count = 0;
Nayna Jainc9deb182020-11-16 19:03:12 +0000389 size_t len = 0;
Daniel Axtens35384792020-09-02 14:48:45 +1000390 mbedtls_pkcs7_signer_info *signer, *prev;
Nayna Jainc9deb182020-11-16 19:03:12 +0000391
392 ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
393 | MBEDTLS_ASN1_SET );
394 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500395 {
396 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_SIGNER_INFO, ret );
397 goto out;
398 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000399
Daniel Axtens35384792020-09-02 14:48:45 +1000400 /* Detect zero signers */
401 if( len == 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500402 {
403 ret = 0;
404 goto out;
405 }
Daniel Axtens35384792020-09-02 14:48:45 +1000406
Nayna Jainc9deb182020-11-16 19:03:12 +0000407 end_set = *p + len;
408
Daniel Axtens35384792020-09-02 14:48:45 +1000409 ret = pkcs7_get_signer_info( p, end_set, signers_set );
Nayna Jainc9deb182020-11-16 19:03:12 +0000410 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500411 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000412 count++;
Nayna Jainc9deb182020-11-16 19:03:12 +0000413
Daniel Axtens35384792020-09-02 14:48:45 +1000414 prev = signers_set;
415 while( *p != end_set )
416 {
417 signer = mbedtls_calloc( 1, sizeof( mbedtls_pkcs7_signer_info ) );
418 if( !signer )
419 {
420 ret = MBEDTLS_ERR_PKCS7_ALLOC_FAILED;
421 goto cleanup;
422 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000423
Daniel Axtens35384792020-09-02 14:48:45 +1000424 ret = pkcs7_get_signer_info( p, end_set, signer );
425 if( ret != 0 ) {
426 mbedtls_free( signer );
427 goto cleanup;
428 }
429 prev->next = signer;
430 prev = signer;
431 count++;
432 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000433
Nick Child9f4fb3e2022-09-12 16:21:02 -0500434 ret = count;
435 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000436
Daniel Axtens35384792020-09-02 14:48:45 +1000437cleanup:
438 signer = signers_set->next;
439 pkcs7_free_signer_info( signers_set );
440 while( signer )
441 {
442 prev = signer;
443 signer = signer->next;
444 pkcs7_free_signer_info( prev );
445 mbedtls_free( prev );
446 }
Nick Child9f4fb3e2022-09-12 16:21:02 -0500447
448out:
Daniel Axtens35384792020-09-02 14:48:45 +1000449 return( ret );
Nayna Jainc9deb182020-11-16 19:03:12 +0000450}
451
452/**
453 * SignedData ::= SEQUENCE {
454 * version Version,
455 * digestAlgorithms DigestAlgorithmIdentifiers,
456 * contentInfo ContentInfo,
457 * certificates
458 * [0] IMPLICIT ExtendedCertificatesAndCertificates
459 * OPTIONAL,
460 * crls
461 * [0] IMPLICIT CertificateRevocationLists OPTIONAL,
462 * signerInfos SignerInfos }
463 */
464static int pkcs7_get_signed_data( unsigned char *buf, size_t buflen,
465 mbedtls_pkcs7_signed_data *signed_data )
466{
467 unsigned char *p = buf;
468 unsigned char *end = buf + buflen;
469 unsigned char *end_set;
470 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500471 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000472 mbedtls_md_type_t md_alg;
473
474 ret = mbedtls_asn1_get_tag( &p, end, &len, MBEDTLS_ASN1_CONSTRUCTED
475 | MBEDTLS_ASN1_SEQUENCE );
476 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500477 {
478 ret = MBEDTLS_ERROR_ADD( MBEDTLS_ERR_PKCS7_INVALID_FORMAT, ret );
479 goto out;
480 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000481
482 end_set = p + len;
483
484 /* Get version of signed data */
485 ret = pkcs7_get_version( &p, end_set, &signed_data->version );
486 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500487 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000488
489 /* Get digest algorithm */
490 ret = pkcs7_get_digest_algorithm_set( &p, end_set,
491 &signed_data->digest_alg_identifiers );
492 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500493 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000494
495 ret = mbedtls_oid_get_md_alg( &signed_data->digest_alg_identifiers, &md_alg );
496 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500497 {
498 ret = MBEDTLS_ERR_PKCS7_INVALID_ALG;
499 goto out;
500 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000501
502 /* Do not expect any content */
503 ret = pkcs7_get_content_info_type( &p, end_set, &signed_data->content.oid );
504 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500505 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000506
507 if( MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DATA, &signed_data->content.oid ) )
508 {
Nick Child9f4fb3e2022-09-12 16:21:02 -0500509 ret = MBEDTLS_ERR_PKCS7_INVALID_CONTENT_INFO;
510 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000511 }
512
513 p = p + signed_data->content.oid.len;
514
515 /* Look for certificates, there may or may not be any */
516 mbedtls_x509_crt_init( &signed_data->certs );
517 ret = pkcs7_get_certificates( &p, end_set, &signed_data->certs );
518 if( ret < 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500519 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000520
521 signed_data->no_of_certs = ret;
522
523 /*
524 * Currently CRLs are not supported. If CRL exist, the parsing will fail
525 * at next step of getting signers info and return error as invalid
526 * signer info.
527 */
528
529 signed_data->no_of_crls = 0;
530
531 /* Get signers info */
532 ret = pkcs7_get_signers_info_set( &p, end_set, &signed_data->signers );
533 if( ret < 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500534 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000535
536 signed_data->no_of_signers = ret;
537
Daniel Axtens35384792020-09-02 14:48:45 +1000538 /* Don't permit trailing data */
Nayna Jainc9deb182020-11-16 19:03:12 +0000539 if ( p != end )
540 ret = MBEDTLS_ERR_PKCS7_INVALID_FORMAT;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500541 else
542 ret = 0;
Nayna Jainc9deb182020-11-16 19:03:12 +0000543
Nick Child9f4fb3e2022-09-12 16:21:02 -0500544out:
Nayna Jainc9deb182020-11-16 19:03:12 +0000545 return( ret );
546}
547
548int mbedtls_pkcs7_parse_der( mbedtls_pkcs7 *pkcs7, const unsigned char *buf,
549 const size_t buflen )
550{
551 unsigned char *start;
552 unsigned char *end;
553 size_t len = 0;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500554 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jain673a2262020-12-14 22:44:49 +0000555 int isoidset = 0;
Nayna Jainc9deb182020-11-16 19:03:12 +0000556
557 if( !pkcs7 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500558 {
559 ret = MBEDTLS_ERR_PKCS7_BAD_INPUT_DATA;
560 goto out;
561 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000562
563 /* make an internal copy of the buffer for parsing */
564 pkcs7->raw.p = start = mbedtls_calloc( 1, buflen );
565 if( pkcs7->raw.p == NULL )
566 {
Nick Child9f4fb3e2022-09-12 16:21:02 -0500567 ret = MBEDTLS_ERR_PKCS7_ALLOC_FAILED;
568 goto out;
Nayna Jainc9deb182020-11-16 19:03:12 +0000569 }
570 memcpy( start, buf, buflen );
571 pkcs7->raw.len = buflen;
572 end = start + buflen;
573
574 ret = pkcs7_get_content_info_type( &start, end, &pkcs7->content_type_oid );
575 if( ret != 0 )
Nayna Jain673a2262020-12-14 22:44:49 +0000576 {
577 len = buflen;
578 goto try_data;
579 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000580
581 if( ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DATA, &pkcs7->content_type_oid )
582 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENCRYPTED_DATA, &pkcs7->content_type_oid )
583 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENVELOPED_DATA, &pkcs7->content_type_oid )
584 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_SIGNED_AND_ENVELOPED_DATA, &pkcs7->content_type_oid )
585 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_DIGESTED_DATA, &pkcs7->content_type_oid )
586 || ! MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_ENCRYPTED_DATA, &pkcs7->content_type_oid ) )
587 {
588 ret = MBEDTLS_ERR_PKCS7_FEATURE_UNAVAILABLE;
589 goto out;
590 }
591
592 if( MBEDTLS_OID_CMP( MBEDTLS_OID_PKCS7_SIGNED_DATA, &pkcs7->content_type_oid ) )
593 {
594 ret = MBEDTLS_ERR_PKCS7_BAD_INPUT_DATA;
595 goto out;
596 }
597
Nayna Jain673a2262020-12-14 22:44:49 +0000598 isoidset = 1;
Nayna Jainc9deb182020-11-16 19:03:12 +0000599 start = start + pkcs7->content_type_oid.len;
600
601 ret = pkcs7_get_next_content_len( &start, end, &len );
602 if( ret != 0 )
603 goto out;
604
Nayna Jain673a2262020-12-14 22:44:49 +0000605try_data:
Nayna Jainc9deb182020-11-16 19:03:12 +0000606 ret = pkcs7_get_signed_data( start, len, &pkcs7->signed_data );
Nayna Jain673a2262020-12-14 22:44:49 +0000607 if ( ret != 0 )
608 goto out;
609
610 if ( !isoidset )
611 {
612 pkcs7->content_type_oid.tag = MBEDTLS_ASN1_OID;
613 pkcs7->content_type_oid.len = MBEDTLS_OID_SIZE( MBEDTLS_OID_PKCS7_SIGNED_DATA );
614 pkcs7->content_type_oid.p = (unsigned char *)MBEDTLS_OID_PKCS7_SIGNED_DATA;
615 }
616
617 ret = MBEDTLS_PKCS7_SIGNED_DATA;
Nayna Jainc9deb182020-11-16 19:03:12 +0000618
619out:
Nayna Jain673a2262020-12-14 22:44:49 +0000620 if ( ret < 0 )
Nayna Jainc9deb182020-11-16 19:03:12 +0000621 mbedtls_pkcs7_free( pkcs7 );
Nayna Jain673a2262020-12-14 22:44:49 +0000622
Nayna Jainc9deb182020-11-16 19:03:12 +0000623 return( ret );
624}
625
Nick Child73621ef2022-10-28 11:23:15 -0500626static int mbedtls_pkcs7_data_or_hash_verify( mbedtls_pkcs7 *pkcs7,
627 const mbedtls_x509_crt *cert,
628 const unsigned char *data,
629 size_t datalen,
630 const int is_data_hash )
Nayna Jainc9deb182020-11-16 19:03:12 +0000631{
Nick Child9f4fb3e2022-09-12 16:21:02 -0500632 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Nayna Jainc9deb182020-11-16 19:03:12 +0000633 unsigned char *hash;
634 mbedtls_pk_context pk_cxt = cert->pk;
635 const mbedtls_md_info_t *md_info;
636 mbedtls_md_type_t md_alg;
Daniel Axtens35384792020-09-02 14:48:45 +1000637 mbedtls_pkcs7_signer_info *signer;
Nayna Jainc9deb182020-11-16 19:03:12 +0000638
Daniel Axtens35384792020-09-02 14:48:45 +1000639 if( pkcs7->signed_data.no_of_signers == 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500640 {
641 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
642 goto out;
643 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000644
Nick Child73621ef2022-10-28 11:23:15 -0500645 if( mbedtls_x509_time_is_past( &cert->valid_to ) ||
646 mbedtls_x509_time_is_future( &cert->valid_from ))
647 {
648 printf("EXPRED\n");
649 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
650 goto out;
651 }
652
Daniel Axtens35384792020-09-02 14:48:45 +1000653 /*
654 * Potential TODOs
655 * Currently we iterate over all signers and return success if any of them
656 * verify.
657 *
658 * However, we could make this better by checking against the certificate's
659 * identification and SignerIdentifier fields first. That would also allow
660 * us to distinguish between 'no signature for key' and 'signature for key
661 * failed to validate'.
662 *
663 * We could also cache hashes by md, so if there are several sigs all using
664 * the same algo we don't recalculate the hash each time.
665 */
Nick Child7089ce82022-09-14 14:10:00 -0500666 for( signer = &pkcs7->signed_data.signers; signer; signer = signer->next )
Nick Child66718412022-02-22 17:19:59 -0600667 {
Daniel Axtens35384792020-09-02 14:48:45 +1000668 ret = mbedtls_oid_get_md_alg( &signer->alg_identifier, &md_alg );
669 if( ret != 0 )
Nick Child9f4fb3e2022-09-12 16:21:02 -0500670 {
671 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
Nick Child7089ce82022-09-14 14:10:00 -0500672 continue;
Nick Child9f4fb3e2022-09-12 16:21:02 -0500673 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000674
Daniel Axtens35384792020-09-02 14:48:45 +1000675 md_info = mbedtls_md_info_from_type( md_alg );
Nick Child7089ce82022-09-14 14:10:00 -0500676 if( md_info == NULL )
677 {
678 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
679 continue;
680 }
Daniel Axtens35384792020-09-02 14:48:45 +1000681
682 hash = mbedtls_calloc( mbedtls_md_get_size( md_info ), 1 );
683 if( hash == NULL ) {
Nick Child9f4fb3e2022-09-12 16:21:02 -0500684 ret = MBEDTLS_ERR_PKCS7_ALLOC_FAILED;
685 goto out;
Daniel Axtens35384792020-09-02 14:48:45 +1000686 }
Nick Child73621ef2022-10-28 11:23:15 -0500687 if( is_data_hash )
688 {
689 if( datalen != mbedtls_md_get_size( md_info ))
690 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
691 else
692 memcpy(hash, data, datalen);
693 }
694 else
695 {
696 ret = mbedtls_md( md_info, data, datalen, hash );
697 }
Daniel Axtens35384792020-09-02 14:48:45 +1000698 if( ret != 0 )
699 {
Nick Child7089ce82022-09-14 14:10:00 -0500700 ret = MBEDTLS_ERR_PKCS7_VERIFY_FAIL;
Daniel Axtens35384792020-09-02 14:48:45 +1000701 mbedtls_free( hash );
Nick Child7089ce82022-09-14 14:10:00 -0500702 continue;
Daniel Axtens35384792020-09-02 14:48:45 +1000703 }
704
705 ret = mbedtls_pk_verify( &pk_cxt, md_alg, hash,
706 mbedtls_md_get_size( md_info ),
707 signer->sig.p, signer->sig.len );
Daniel Axtens35384792020-09-02 14:48:45 +1000708 mbedtls_free( hash );
709
710 if( ret == 0 )
711 break;
Daniel Axtens35384792020-09-02 14:48:45 +1000712 }
Nayna Jainc9deb182020-11-16 19:03:12 +0000713
Nick Child9f4fb3e2022-09-12 16:21:02 -0500714out:
Nayna Jainc9deb182020-11-16 19:03:12 +0000715 return( ret );
716}
Nick Child73621ef2022-10-28 11:23:15 -0500717int mbedtls_pkcs7_signed_data_verify( mbedtls_pkcs7 *pkcs7,
718 const mbedtls_x509_crt *cert,
719 const unsigned char *data,
720 size_t datalen )
721{
722 return( mbedtls_pkcs7_data_or_hash_verify( pkcs7, cert, data, datalen, 0 ) );
723}
Nayna Jainc9deb182020-11-16 19:03:12 +0000724
725int mbedtls_pkcs7_signed_hash_verify( mbedtls_pkcs7 *pkcs7,
726 const mbedtls_x509_crt *cert,
Nick Child5f9456f2022-09-19 10:01:25 -0500727 const unsigned char *hash,
Nick Child8ce1b1a2022-09-14 14:51:23 -0500728 size_t hashlen )
Nayna Jainc9deb182020-11-16 19:03:12 +0000729{
Nick Child73621ef2022-10-28 11:23:15 -0500730 return( mbedtls_pkcs7_data_or_hash_verify( pkcs7, cert, hash, hashlen, 1 ) );
Nayna Jainc9deb182020-11-16 19:03:12 +0000731}
732
733/*
734 * Unallocate all pkcs7 data
735 */
736void mbedtls_pkcs7_free( mbedtls_pkcs7 *pkcs7 )
737{
Daniel Axtens35384792020-09-02 14:48:45 +1000738 mbedtls_pkcs7_signer_info *signer_cur;
739 mbedtls_pkcs7_signer_info *signer_prev;
Nayna Jainc9deb182020-11-16 19:03:12 +0000740
741 if( pkcs7 == NULL || pkcs7->raw.p == NULL )
742 return;
743
744 mbedtls_free( pkcs7->raw.p );
745
746 mbedtls_x509_crt_free( &pkcs7->signed_data.certs );
747 mbedtls_x509_crl_free( &pkcs7->signed_data.crl );
748
Daniel Axtens35384792020-09-02 14:48:45 +1000749 signer_cur = pkcs7->signed_data.signers.next;
750 pkcs7_free_signer_info( &pkcs7->signed_data.signers );
751 while( signer_cur != NULL )
Nayna Jainc9deb182020-11-16 19:03:12 +0000752 {
Daniel Axtens35384792020-09-02 14:48:45 +1000753 signer_prev = signer_cur;
754 signer_cur = signer_prev->next;
755 pkcs7_free_signer_info( signer_prev );
756 mbedtls_free( signer_prev );
Nayna Jainc9deb182020-11-16 19:03:12 +0000757 }
758
759 pkcs7->raw.p = NULL;
760}
761
762#endif