xref: /freebsd/secure/lib/libcrypto/man/man3/PKCS7_verify.3 (revision ba3c1f5972d7b90feb6e6da47905ff2757e0fe57)
Automatically generated by Pod::Man 4.14 (Pod::Simple 3.40)

Standard preamble:
========================================================================
..
..
.. Set up some character translations and predefined strings. \*(-- will
give an unbreakable dash, \*(PI will give pi, \*(L" will give a left
double quote, and \*(R" will give a right double quote. \*(C+ will
give a nicer C++. Capital omega is used to do unbreakable dashes and
therefore won't be available. \*(C` and \*(C' expand to `' in nroff,
nothing in troff, for use with C<>.
.tr \(*W- . ds -- \(*W- . ds PI pi . if (\n(.H=4u)&(1m=24u) .ds -- \(*W\h'-12u'\(*W\h'-12u'-\" diablo 10 pitch . if (\n(.H=4u)&(1m=20u) .ds -- \(*W\h'-12u'\(*W\h'-8u'-\" diablo 12 pitch . ds L" "" . ds R" "" . ds C` "" . ds C' "" 'br\} . ds -- \|\(em\| . ds PI \(*p . ds L" `` . ds R" '' . ds C` . ds C' 'br\}
Escape single quotes in literal strings from groff's Unicode transform.

If the F register is >0, we'll generate index entries on stderr for
titles (.TH), headers (.SH), subsections (.SS), items (.Ip), and index
entries marked with X<> in POD. Of course, you'll have to process the
output yourself in some meaningful fashion.

Avoid warning from groff about undefined register 'F'.
.. .nr rF 0 . if \nF \{\ . de IX . tm Index:\\$1\t\\n%\t"\\$2" .. . if !\nF==2 \{\ . nr % 0 . nr F 2 . \} . \} .\} .rr rF
Accent mark definitions (@(#)ms.acc 1.5 88/02/08 SMI; from UCB 4.2).
Fear. Run. Save yourself. No user-serviceable parts.
. \" fudge factors for nroff and troff . ds #H 0 . ds #V .8m . ds #F .3m . ds #[ \f1 . ds #] .\} . ds #H ((1u-(\\\\n(.fu%2u))*.13m) . ds #V .6m . ds #F 0 . ds #[ \& . ds #] \& .\} . \" simple accents for nroff and troff . ds ' \& . ds ` \& . ds ^ \& . ds , \& . ds ~ ~ . ds / .\} . ds ' \\k:\h'-(\\n(.wu*8/10-\*(#H)'\'\h"|\\n:u" . ds ` \\k:\h'-(\\n(.wu*8/10-\*(#H)'\`\h'|\\n:u' . ds ^ \\k:\h'-(\\n(.wu*10/11-\*(#H)'^\h'|\\n:u' . ds , \\k:\h'-(\\n(.wu*8/10)',\h'|\\n:u' . ds ~ \\k:\h'-(\\n(.wu-\*(#H-.1m)'~\h'|\\n:u' . ds / \\k:\h'-(\\n(.wu*8/10-\*(#H)'\z\(sl\h'|\\n:u' .\} . \" troff and (daisy-wheel) nroff accents . \" corrections for vroff . \" for low resolution devices (crt and lpr) \{\ . ds : e . ds 8 ss . ds o a . ds d- d\h'-1'\(ga . ds D- D\h'-1'\(hy . ds th \o'bp' . ds Th \o'LP' . ds ae ae . ds Ae AE .\} ========================================================================

Title "PKCS7_VERIFY 3"
PKCS7_VERIFY 3 "2023-05-30" "3.0.9" "OpenSSL"
For nroff, turn off justification. Always turn off hyphenation; it makes
way too many mistakes in technical documents.
"NAME"
PKCS7_verify, PKCS7_get0_signers - verify a PKCS#7 signedData structure
"SYNOPSIS"
Header "SYNOPSIS" .Vb 1 #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); .Ve
"DESCRIPTION"
Header "DESCRIPTION" \fBPKCS7_verify() is very similar to CMS_verify\|(3). It verifies a PKCS#7 signedData structure given in p7. The optional certs parameter refers to a set of certificates in which to search for signer's certificates. \fIp7 may contain extra untrusted \s-1CA\s0 certificates that may be used for chain building as well as CRLs that may be used for certificate validation. \fIstore may be \s-1NULL\s0 or point to the trusted certificate store to use for chain verification. \fIindata refers to the signed data if the content is detached from p7. Otherwise indata should be \s-1NULL,\s0 and then the signed data must be in p7. The content is written to the \s-1BIO\s0 out unless it is \s-1NULL.\s0 \fIflags is an optional set of flags, which can be used to modify the operation.

\fBPKCS7_get0_signers() retrieves the signer's certificates from p7, it does \fBnot check their validity or whether any signatures are valid. The certs and flags parameters have the same meanings as in PKCS7_verify().

"VERIFY PROCESS"
Header "VERIFY PROCESS" Normally the verify process proceeds as follows.

Initially some sanity checks are performed on p7. The type of p7 must be SignedData. There must be at least one signature on the data and if the content is detached indata cannot be \s-1NULL.\s0 If the content is not detached and indata is not \s-1NULL\s0 then the structure has both embedded and external content. To treat this as an error, use the flag \fB\s-1PKCS7_NO_DUAL_CONTENT\s0. 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 certs parameter (if it is not \s-1NULL\s0). Then they are looked up in any certificates contained in the p7 structure unless \s-1PKCS7_NOINTERN\s0 is set. If any signer's certificates cannot be located the operation fails.

Each signer's certificate is chain verified using the smimesign purpose and using the trusted certificate store store if supplied. Any internal certificates in the message, which may have been added using \fBPKCS7_add_certificate\|(3), are used as untrusted CAs unless \s-1PKCS7_NOCHAIN\s0 is set. If \s-1CRL\s0 checking is enabled in store and \s-1PKCS7_NOCRL\s0 is not set, any internal CRLs, which may have been added using PKCS7_add_crl\|(3), are used in addition to attempting to look them up in store. If store is not \s-1NULL\s0 and any chain verify fails an error code is returned.

Finally the signed content is read (and written to out unless it is \s-1NULL\s0) and the signature is checked.

If all signatures verify correctly then the function is successful.

Any of the following flags (ored together) can be passed in the flags parameter to change the default verify behaviour. Only the flag \s-1PKCS7_NOINTERN\s0 is meaningful to PKCS7_get0_signers().

If \s-1PKCS7_NOINTERN\s0 is set the certificates in the message itself are not searched when locating the signer's certificates. This means that all the signer's certificates must be in the certs parameter.

If \s-1PKCS7_NOCRL\s0 is set and \s-1CRL\s0 checking is enabled in store then any CRLs in the message itself are ignored.

If the \s-1PKCS7_TEXT\s0 flag is set \s-1MIME\s0 headers for type \*(C`text/plain\*(C' are deleted from the content. If the content is not of type \*(C`text/plain\*(C' then an error is returned.

If \s-1PKCS7_NOVERIFY\s0 is set the signer's certificates are not chain verified.

If \s-1PKCS7_NOCHAIN\s0 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 certificates) must be contained in the trusted store.

If \s-1PKCS7_NOSIGS\s0 is set then the signatures on the data are not checked.

"NOTES"
Header "NOTES" One application of \s-1PKCS7_NOINTERN\s0 is to only accept messages signed by a small number of certificates. The acceptable certificates would be passed in the certs parameter. In this case if the signer's certificate is not one of the certificates supplied in 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 \*(C`PKCS7_NOVERIFY|PKCS7_NOSIGS\*(C' 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 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).

"RETURN VALUES"
Header "RETURN VALUES" \fBPKCS7_verify() returns 1 for a successful verification and 0 if an error occurs.

\fBPKCS7_get0_signers() returns all signers or \s-1NULL\s0 if an error occurred.

The error can be obtained from ERR_get_error\|(3).

"BUGS"
Header "BUGS" The trusted certificate store is not searched for the signer's certificates. This is primarily due to the inadequacies of the current X509_STORE functionality.

The lack of single pass processing means that the signed content must all be held in memory if it is not detached.

"SEE ALSO"
Header "SEE ALSO" \fBCMS_verify\|(3), PKCS7_add_certificate\|(3), PKCS7_add_crl\|(3), \fBERR_get_error\|(3), PKCS7_sign\|(3)
"COPYRIGHT"
Header "COPYRIGHT" Copyright 2002-2022 The OpenSSL Project Authors. All Rights Reserved.

Licensed under the Apache License 2.0 (the \*(L"License\*(R"). You may not use this file except in compliance with the License. You can obtain a copy in the file \s-1LICENSE\s0 in the source distribution or at <https://www.openssl.org/source/license.html>.