sl@0: /* crypto/pkcs7/verify.c */
sl@0: /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
sl@0:  * All rights reserved.
sl@0:  *
sl@0:  * This package is an SSL implementation written
sl@0:  * by Eric Young (eay@cryptsoft.com).
sl@0:  * The implementation was written so as to conform with Netscapes SSL.
sl@0:  * 
sl@0:  * This library is free for commercial and non-commercial use as long as
sl@0:  * the following conditions are aheared to.  The following conditions
sl@0:  * apply to all code found in this distribution, be it the RC4, RSA,
sl@0:  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
sl@0:  * included with this distribution is covered by the same copyright terms
sl@0:  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
sl@0:  * 
sl@0:  * Copyright remains Eric Young's, and as such any Copyright notices in
sl@0:  * the code are not to be removed.
sl@0:  * If this package is used in a product, Eric Young should be given attribution
sl@0:  * as the author of the parts of the library used.
sl@0:  * This can be in the form of a textual message at program startup or
sl@0:  * in documentation (online or textual) provided with the package.
sl@0:  * 
sl@0:  * Redistribution and use in source and binary forms, with or without
sl@0:  * modification, are permitted provided that the following conditions
sl@0:  * are met:
sl@0:  * 1. Redistributions of source code must retain the copyright
sl@0:  *    notice, this list of conditions and the following disclaimer.
sl@0:  * 2. Redistributions in binary form must reproduce the above copyright
sl@0:  *    notice, this list of conditions and the following disclaimer in the
sl@0:  *    documentation and/or other materials provided with the distribution.
sl@0:  * 3. All advertising materials mentioning features or use of this software
sl@0:  *    must display the following acknowledgement:
sl@0:  *    "This product includes cryptographic software written by
sl@0:  *     Eric Young (eay@cryptsoft.com)"
sl@0:  *    The word 'cryptographic' can be left out if the rouines from the library
sl@0:  *    being used are not cryptographic related :-).
sl@0:  * 4. If you include any Windows specific code (or a derivative thereof) from 
sl@0:  *    the apps directory (application code) you must include an acknowledgement:
sl@0:  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
sl@0:  * 
sl@0:  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
sl@0:  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
sl@0:  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
sl@0:  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
sl@0:  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
sl@0:  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
sl@0:  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
sl@0:  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
sl@0:  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
sl@0:  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
sl@0:  * SUCH DAMAGE.
sl@0:  * 
sl@0:  * The licence and distribution terms for any publically available version or
sl@0:  * derivative of this code cannot be changed.  i.e. this code cannot simply be
sl@0:  * copied and put under another distribution licence
sl@0:  * [including the GNU Public Licence.]
sl@0:  */
sl@0: #include <stdio.h>
sl@0: #include <string.h>
sl@0: #include <openssl/bio.h>
sl@0: #include <openssl/asn1.h>
sl@0: #include <openssl/x509.h>
sl@0: #include <openssl/pem.h>
sl@0: #include <openssl/err.h>
sl@0: #include "example.h"
sl@0: 
sl@0: int verify_callback(int ok, X509_STORE_CTX *ctx);
sl@0: 
sl@0: BIO *bio_err=NULL;
sl@0: BIO *bio_out=NULL;
sl@0: 
sl@0: int main(argc,argv)
sl@0: int argc;
sl@0: char *argv[];
sl@0: 	{
sl@0: 	PKCS7 *p7;
sl@0: 	PKCS7_SIGNER_INFO *si;
sl@0: 	X509_STORE_CTX cert_ctx;
sl@0: 	X509_STORE *cert_store=NULL;
sl@0: 	BIO *data,*detached=NULL,*p7bio=NULL;
sl@0: 	char buf[1024*4];
sl@0: 	char *pp;
sl@0: 	int i,printit=0;
sl@0: 	STACK_OF(PKCS7_SIGNER_INFO) *sk;
sl@0: 
sl@0: 	bio_err=BIO_new_fp(stderr,BIO_NOCLOSE);
sl@0: 	bio_out=BIO_new_fp(stdout,BIO_NOCLOSE);
sl@0: #ifndef OPENSSL_NO_MD2
sl@0: 	EVP_add_digest(EVP_md2());
sl@0: #endif
sl@0: #ifndef OPENSSL_NO_MD5
sl@0: 	EVP_add_digest(EVP_md5());
sl@0: #endif
sl@0: #ifndef OPENSSL_NO_SHA1
sl@0: 	EVP_add_digest(EVP_sha1());
sl@0: #endif
sl@0: #ifndef OPENSSL_NO_MDC2
sl@0: 	EVP_add_digest(EVP_mdc2());
sl@0: #endif
sl@0: 
sl@0: 	data=BIO_new(BIO_s_file());
sl@0: 
sl@0: 	pp=NULL;
sl@0: 	while (argc > 1)
sl@0: 		{
sl@0: 		argc--;
sl@0: 		argv++;
sl@0: 		if (strcmp(argv[0],"-p") == 0)
sl@0: 			{
sl@0: 			printit=1;
sl@0: 			}
sl@0: 		else if ((strcmp(argv[0],"-d") == 0) && (argc >= 2))
sl@0: 			{
sl@0: 			detached=BIO_new(BIO_s_file());
sl@0: 			if (!BIO_read_filename(detached,argv[1]))
sl@0: 				goto err;
sl@0: 			argc--;
sl@0: 			argv++;
sl@0: 			}
sl@0: 		else
sl@0: 			{
sl@0: 			pp=argv[0];
sl@0: 			if (!BIO_read_filename(data,argv[0]))
sl@0: 				goto err;
sl@0: 			}
sl@0: 		}
sl@0: 
sl@0: 	if (pp == NULL)
sl@0: 		BIO_set_fp(data,stdin,BIO_NOCLOSE);
sl@0: 
sl@0: 
sl@0: 	/* Load the PKCS7 object from a file */
sl@0: 	if ((p7=PEM_read_bio_PKCS7(data,NULL,NULL,NULL)) == NULL) goto err;
sl@0: 
sl@0: 	/* This stuff is being setup for certificate verification.
sl@0: 	 * When using SSL, it could be replaced with a 
sl@0: 	 * cert_stre=SSL_CTX_get_cert_store(ssl_ctx); */
sl@0: 	cert_store=X509_STORE_new();
sl@0: 	X509_STORE_set_default_paths(cert_store);
sl@0: 	X509_STORE_load_locations(cert_store,NULL,"../../certs");
sl@0: 	X509_STORE_set_verify_cb_func(cert_store,verify_callback);
sl@0: 
sl@0: 	ERR_clear_error();
sl@0: 
sl@0: 	/* We need to process the data */
sl@0: 	if ((PKCS7_get_detached(p7) || detached))
sl@0: 		{
sl@0: 		if (detached == NULL)
sl@0: 			{
sl@0: 			printf("no data to verify the signature on\n");
sl@0: 			exit(1);
sl@0: 			}
sl@0: 		else
sl@0: 			p7bio=PKCS7_dataInit(p7,detached);
sl@0: 		}
sl@0: 	else
sl@0: 		{
sl@0: 		p7bio=PKCS7_dataInit(p7,NULL);
sl@0: 		}
sl@0: 
sl@0: 	/* We now have to 'read' from p7bio to calculate digests etc. */
sl@0: 	for (;;)
sl@0: 		{
sl@0: 		i=BIO_read(p7bio,buf,sizeof(buf));
sl@0: 		/* print it? */
sl@0: 		if (i <= 0) break;
sl@0: 		}
sl@0: 
sl@0: 	/* We can now verify signatures */
sl@0: 	sk=PKCS7_get_signer_info(p7);
sl@0: 	if (sk == NULL)
sl@0: 		{
sl@0: 		printf("there are no signatures on this data\n");
sl@0: 		exit(1);
sl@0: 		}
sl@0: 
sl@0: 	/* Ok, first we need to, for each subject entry, see if we can verify */
sl@0: 	for (i=0; i<sk_PKCS7_SIGNER_INFO_num(sk); i++)
sl@0: 		{
sl@0: 		ASN1_UTCTIME *tm;
sl@0: 		char *str1,*str2;
sl@0: 		int rc;
sl@0: 
sl@0: 		si=sk_PKCS7_SIGNER_INFO_value(sk,i);
sl@0: 		rc=PKCS7_dataVerify(cert_store,&cert_ctx,p7bio,p7,si);
sl@0: 		if (rc <= 0)
sl@0: 			goto err;
sl@0: 		printf("signer info\n");
sl@0: 		if ((tm=get_signed_time(si)) != NULL)
sl@0: 			{
sl@0: 			BIO_printf(bio_out,"Signed time:");
sl@0: 			ASN1_UTCTIME_print(bio_out,tm);
sl@0: 			ASN1_UTCTIME_free(tm);
sl@0: 			BIO_printf(bio_out,"\n");
sl@0: 			}
sl@0: 		if (get_signed_seq2string(si,&str1,&str2))
sl@0: 			{
sl@0: 			BIO_printf(bio_out,"String 1 is %s\n",str1);
sl@0: 			BIO_printf(bio_out,"String 2 is %s\n",str2);
sl@0: 			}
sl@0: 
sl@0: 		}
sl@0: 
sl@0: 	X509_STORE_free(cert_store);
sl@0: 
sl@0: 	printf("done\n");
sl@0: 	exit(0);
sl@0: err:
sl@0: 	ERR_load_crypto_strings();
sl@0: 	ERR_print_errors_fp(stderr);
sl@0: 	exit(1);
sl@0: 	}
sl@0: 
sl@0: /* should be X509 * but we can just have them as char *. */
sl@0: int verify_callback(int ok, X509_STORE_CTX *ctx)
sl@0: 	{
sl@0: 	char buf[256];
sl@0: 	X509 *err_cert;
sl@0: 	int err,depth;
sl@0: 
sl@0: 	err_cert=X509_STORE_CTX_get_current_cert(ctx);
sl@0: 	err=	X509_STORE_CTX_get_error(ctx);
sl@0: 	depth=	X509_STORE_CTX_get_error_depth(ctx);
sl@0: 
sl@0: 	X509_NAME_oneline(X509_get_subject_name(err_cert),buf,256);
sl@0: 	BIO_printf(bio_err,"depth=%d %s\n",depth,buf);
sl@0: 	if (!ok)
sl@0: 		{
sl@0: 		BIO_printf(bio_err,"verify error:num=%d:%s\n",err,
sl@0: 			X509_verify_cert_error_string(err));
sl@0: 		if (depth < 6)
sl@0: 			{
sl@0: 			ok=1;
sl@0: 			X509_STORE_CTX_set_error(ctx,X509_V_OK);
sl@0: 			}
sl@0: 		else
sl@0: 			{
sl@0: 			ok=0;
sl@0: 			X509_STORE_CTX_set_error(ctx,X509_V_ERR_CERT_CHAIN_TOO_LONG);
sl@0: 			}
sl@0: 		}
sl@0: 	switch (ctx->error)
sl@0: 		{
sl@0: 	case X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT:
sl@0: 		X509_NAME_oneline(X509_get_issuer_name(ctx->current_cert),buf,256);
sl@0: 		BIO_printf(bio_err,"issuer= %s\n",buf);
sl@0: 		break;
sl@0: 	case X509_V_ERR_CERT_NOT_YET_VALID:
sl@0: 	case X509_V_ERR_ERROR_IN_CERT_NOT_BEFORE_FIELD:
sl@0: 		BIO_printf(bio_err,"notBefore=");
sl@0: 		ASN1_UTCTIME_print(bio_err,X509_get_notBefore(ctx->current_cert));
sl@0: 		BIO_printf(bio_err,"\n");
sl@0: 		break;
sl@0: 	case X509_V_ERR_CERT_HAS_EXPIRED:
sl@0: 	case X509_V_ERR_ERROR_IN_CERT_NOT_AFTER_FIELD:
sl@0: 		BIO_printf(bio_err,"notAfter=");
sl@0: 		ASN1_UTCTIME_print(bio_err,X509_get_notAfter(ctx->current_cert));
sl@0: 		BIO_printf(bio_err,"\n");
sl@0: 		break;
sl@0: 		}
sl@0: 	BIO_printf(bio_err,"verify return:%d\n",ok);
sl@0: 	return(ok);
sl@0: 	}