=pod

=head1 NAME

PKCS7_verify, PKCS7_get0_signers - verify a PKCS#7 signedData structure

=head1 SYNOPSIS

 #include <openssl/pkcs7.h>

 int PKCS7_verify(PKCS7 *p7, STACK_OF(X509) *certs, X509_STORE *store,

                  BIO *indata, BIO *out, int flags);

 STACK_OF(X509) *PKCS7_get0_signers(PKCS7 *p7, STACK_OF(X509) *certs, int flags);

=head1 DESCRIPTION

PKCS7_verify() verifies a PKCS#7 signedData structure. B<p7> is the PKCS7

structure to verify. B<certs> is a set of certificates in which to search for

the signer's certificate. B<store> is a trusted certificate store (used for

chain verification). B<indata> is the signed data if the content is not

present in B<p7> (that is it is detached). The content is written to B<out>

if it is not NULL.

B<flags> is an optional set of flags, which can be used to modify the verify

operation.

PKCS7_get0_signers() retrieves the signer's certificates from B<p7>, it does

B<not> check their validity or whether any signatures are valid. The B<certs>

and B<flags> parameters have the same meanings as in PKCS7_verify().

=head1 VERIFY PROCESS

Normally the verify process proceeds as follows.

Initially some sanity checks are performed on B<p7>. The type of B<p7> must

be signedData. There must be at least one signature on the data and if

the content is detached B<indata> cannot be B<NULL>.  If the content is

not detached and B<indata> is not B<NULL>, then the structure has both

embedded and external content. To treat this as an error, use the flag

B<PKCS7_NO_DUAL_CONTENT>.

The default behavior allows this, for compatibility with older

versions of OpenSSL.

An attempt is made to locate all the signer's certificates, first looking in

the B<certs> parameter (if it is not B<NULL>) and then looking in any certificates

contained in the B<p7> structure itself. If any signer's certificates cannot be

located the operation fails.

Each signer's certificate is chain verified using the B<smimesign> purpose and

the supplied trusted certificate store. Any internal certificates in the message

are used as untrusted CAs. If any chain verify fails an error code is returned.

Finally the signed content is read (and written to B<out> is it is not NULL) and

the signature's checked.

If all signature's verify correctly then the function is successful.

Any of the following flags (ored together) can be passed in the B<flags> parameter

to change the default verify behaviour. Only the flag B<PKCS7_NOINTERN> is

meaningful to PKCS7_get0_signers().

If B<PKCS7_NOINTERN> is set the certificates in the message itself are not

searched when locating the signer's certificate. This means that all the signers

certificates must be in the B<certs> parameter.

If the B<PKCS7_TEXT> flag is set MIME headers for type B<text/plain> are deleted

from the content. If the content is not of type B<text/plain> then an error is

returned.

If B<PKCS7_NOVERIFY> is set the signer's certificates are not chain verified.

If B<PKCS7_NOCHAIN> is set then the certificates contained in the message are

not used as untrusted CAs. This means that the whole verify chain (apart from

the signer's certificate) must be contained in the trusted store.

If B<PKCS7_NOSIGS> is set then the signatures on the data are not checked.

=head1 NOTES

One application of B<PKCS7_NOINTERN> is to only accept messages signed by

a small number of certificates. The acceptable certificates would be passed

in the B<certs> parameter. In this case if the signer is not one of the

certificates supplied in B<certs> then the verify will fail because the

signer cannot be found.

Care should be taken when modifying the default verify behaviour, for example

setting B<PKCS7_NOVERIFY|PKCS7_NOSIGS> will totally disable all verification

and any signed message will be considered valid. This combination is however

useful if one merely wishes to write the content to B<out> and its validity

is not considered important.

Chain verification should arguably be performed  using the signing time rather

than the current time. However since the signing time is supplied by the

signer it cannot be trusted without additional evidence (such as a trusted

timestamp).

=head1 RETURN VALUES

PKCS7_verify() returns one for a successful verification and zero

if an error occurs.

PKCS7_get0_signers() returns all signers or B<NULL> if an error occurred.

The error can be obtained from L<ERR_get_error(3)>

=head1 BUGS

The trusted certificate store is not searched for the signers certificate,

this is primarily due to the inadequacies of the current B<X509_STORE>

functionality.

The lack of single pass processing and need to hold all data in memory as

mentioned in PKCS7_sign() also applies to PKCS7_verify().

=head1 SEE ALSO

L<ERR_get_error(3)>, L<PKCS7_sign(3)>

=head1 COPYRIGHT

Copyright 2002-2016 The OpenSSL Project Authors. All Rights Reserved.

Licensed under the OpenSSL license (the "License").  You may not use

this file except in compliance with the License.  You can obtain a copy

in the file LICENSE in the source distribution or at

L<https://www.openssl.org/source/license.html>.

=cut