crypto/pkcs7/verify.c

   1 /* crypto/pkcs7/verify.c */
   2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
   3  * All rights reserved.
   4  *
   5  * This package is an SSL implementation written
   6  * by Eric Young (eay@cryptsoft.com).
   7  * The implementation was written so as to conform with Netscapes SSL.
   8  *
   9  * This library is free for commercial and non-commercial use as long as
  10  * the following conditions are aheared to.  The following conditions
  11  * apply to all code found in this distribution, be it the RC4, RSA,
  12  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
  13  * included with this distribution is covered by the same copyright terms
  14  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
  15  *
  16  * Copyright remains Eric Young's, and as such any Copyright notices in
  17  * the code are not to be removed.
  18  * If this package is used in a product, Eric Young should be given attribution
  19  * as the author of the parts of the library used.
  20  * This can be in the form of a textual message at program startup or
  21  * in documentation (online or textual) provided with the package.
  22  *
  23  * Redistribution and use in source and binary forms, with or without
  24  * modification, are permitted provided that the following conditions
  25  * are met:
  26  * 1. Redistributions of source code must retain the copyright
  27  *    notice, this list of conditions and the following disclaimer.
  28  * 2. Redistributions in binary form must reproduce the above copyright
  29  *    notice, this list of conditions and the following disclaimer in the
  30  *    documentation and/or other materials provided with the distribution.
  31  * 3. All advertising materials mentioning features or use of this software
  32  *    must display the following acknowledgement:
  33  *    "This product includes cryptographic software written by
  34  *     Eric Young (eay@cryptsoft.com)"
  35  *    The word 'cryptographic' can be left out if the rouines from the library
  36  *    being used are not cryptographic related :-).
  37  * 4. If you include any Windows specific code (or a derivative thereof) from
  38  *    the apps directory (application code) you must include an acknowledgement:
  39  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
  40  *
  41  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  42  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  43  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  44  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  45  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  46  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  47  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  49  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  50  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  51  * SUCH DAMAGE.
  52  *
  53  * The licence and distribution terms for any publically available version or
  54  * derivative of this code cannot be changed.  i.e. this code cannot simply be
  55  * copied and put under another distribution licence
  56  * [including the GNU Public Licence.]
  57  */
  58 #include <stdio.h>
  59 #include "asn1.h"
  60 #include "bio.h"
  61 #include "x509.h"
  62 #include "pem.h"
  63
  64 int verify_callback(int ok, X509_STORE_CTX *ctx);
  65
  66 BIO *bio_err=NULL;
  67
  68 main(argc,argv)
  69 int argc;
  70 char *argv[];
  71         {
  72         X509 *x509,*x;
  73         PKCS7 *p7;
  74         PKCS7_SIGNED *s;
  75         PKCS7_SIGNER_INFO *si;
  76         PKCS7_ISSUER_AND_SERIAL *ias;
  77         X509_STORE_CTX cert_ctx;
  78         X509_STORE *cert_store=NULL;
  79         X509_LOOKUP *lookup=NULL;
  80         BIO *data,*detached=NULL,*p7bio=NULL;
  81         char buf[1024*4];
  82         unsigned char *p,*pp;
  83         int i,j,printit=0;
  84         STACK *sk;
  85
  86         bio_err=BIO_new_fp(stderr,BIO_NOCLOSE);
  87         EVP_add_digest(EVP_md2());
  88         EVP_add_digest(EVP_md5());
  89         EVP_add_digest(EVP_sha1());
  90         EVP_add_digest(EVP_mdc2());
  91
  92         data=BIO_new(BIO_s_file());
  93 again:
  94         pp=NULL;
  95         while (argc > 1)
  96                 {
  97                 argc--;
  98                 argv++;
  99                 if (strcmp(argv[0],"-p") == 0)
 100                         {
 101                         printit=1;
 102                         }
 103                 else if ((strcmp(argv[0],"-d") == 0) && (argc >= 2))
 104                         {
 105                         detached=BIO_new(BIO_s_file());
 106                         if (!BIO_read_filename(detached,argv[1]))
 107                                 goto err;
 108                         argc--;
 109                         argv++;
 110                         }
 111                 else
 112                         {
 113                         pp=argv[0];
 114                         if (!BIO_read_filename(data,argv[0]))
 115                                 goto err;
 116                         }
 117                 }
 118
 119         if (pp == NULL)
 120                 BIO_set_fp(data,stdin,BIO_NOCLOSE);
 121
 122
 123         /* Load the PKCS7 object from a file */
 124         if ((p7=PEM_read_bio_PKCS7(data,NULL,NULL)) == NULL) goto err;
 125
 126         /* This stuff is being setup for certificate verification.
 127          * When using SSL, it could be replaced with a
 128          * cert_stre=SSL_CTX_get_cert_store(ssl_ctx); */
 129         cert_store=X509_STORE_new();
 130         X509_STORE_set_default_paths(cert_store);
 131         X509_STORE_load_locations(cert_store,NULL,"../../certs");
 132         X509_STORE_set_verify_cb_func(cert_store,verify_callback);
 133
 134         ERR_clear_errors();
 135
 136         /* We need to process the data */
 137         if (PKCS7_get_detached(p7))
 138                 {
 139                 if (detached == NULL)
 140                         {
 141                         printf("no data to verify the signature on\n");
 142                         exit(1);
 143                         }
 144                 else
 145                         p7bio=PKCS7_dataInit(p7,detached);
 146                 }
 147         else
 148                 {
 149                 p7bio=PKCS7_dataInit(p7,NULL);
 150                 }
 151
 152         /* We now have to 'read' from p7bio to calculate digests etc. */
 153         for (;;)
 154                 {
 155                 i=BIO_read(p7bio,buf,sizeof(buf));
 156                 /* print it? */
 157                 if (i <= 0) break;
 158                 }
 159
 160         /* We can now verify signatures */
 161         sk=PKCS7_get_signer_info(p7);
 162         if (sk == NULL)
 163                 {
 164                 printf("there are no signatures on this data\n");
 165                 exit(1);
 166                 }
 167
 168         /* Ok, first we need to, for each subject entry, see if we can verify */
 169         for (i=0; i<sk_num(sk); i++)
 170                 {
 171                 si=(PKCS7_SIGNER_INFO *)sk_value(sk,i);
 172                 i=PKCS7_dataVerify(cert_store,&cert_ctx,p7bio,p7,si);
 173                 if (i <= 0)
 174                         goto err;
 175                 }
 176
 177         X509_STORE_free(cert_store);
 178
 179         printf("done\n");
 180         exit(0);
 181 err:
 182         ERR_load_crypto_strings();
 183         ERR_print_errors_fp(stderr);
 184         exit(1);
 185         }
 186
 187 /* should be X509 * but we can just have them as char *. */
 188 int verify_callback(ok, ctx)
 189 int ok;
 190 X509_STORE_CTX *ctx;
 191         {
 192         char buf[256];
 193         X509 *err_cert;
 194         int err,depth;
 195
 196         err_cert=X509_STORE_CTX_get_current_cert(ctx);
 197         err=    X509_STORE_CTX_get_error(ctx);
 198         depth=  X509_STORE_CTX_get_error_depth(ctx);
 199
 200         X509_NAME_oneline(X509_get_subject_name(err_cert),buf,256);
 201         BIO_printf(bio_err,"depth=%d %s\n",depth,buf);
 202         if (!ok)
 203                 {
 204                 BIO_printf(bio_err,"verify error:num=%d:%s\n",err,
 205                         X509_verify_cert_error_string(err));
 206                 if (depth < 6)
 207                         {
 208                         ok=1;
 209                         X509_STORE_CTX_set_error(ctx,X509_V_OK);
 210                         }
 211                 else
 212                         {
 213                         ok=0;
 214                         X509_STORE_CTX_set_error(ctx,X509_V_ERR_CERT_CHAIN_TOO_LONG);
 215                         }
 216                 }
 217         switch (ctx->error)
 218                 {
 219         case X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT:
 220                 X509_NAME_oneline(X509_get_issuer_name(ctx->current_cert),buf,256);
 221                 BIO_printf(bio_err,"issuer= %s\n",buf);
 222                 break;
 223         case X509_V_ERR_CERT_NOT_YET_VALID:
 224         case X509_V_ERR_ERROR_IN_CERT_NOT_BEFORE_FIELD:
 225                 BIO_printf(bio_err,"notBefore=");
 226                 ASN1_UTCTIME_print(bio_err,X509_get_notBefore(ctx->current_cert));
 227                 BIO_printf(bio_err,"\n");
 228                 break;
 229         case X509_V_ERR_CERT_HAS_EXPIRED:
 230         case X509_V_ERR_ERROR_IN_CERT_NOT_AFTER_FIELD:
 231                 BIO_printf(bio_err,"notAfter=");
 232                 ASN1_UTCTIME_print(bio_err,X509_get_notAfter(ctx->current_cert));
 233                 BIO_printf(bio_err,"\n");
 234                 break;
 235                 }
 236         BIO_printf(bio_err,"verify return:%d\n",ok);
 237         return(ok);
 238         }