apps/ts.c

   1 /*
   2  * Copyright 2006-2020 The OpenSSL Project Authors. All Rights Reserved.
   3  *
   4  * Licensed under the Apache License 2.0 (the "License").  You may not use
   5  * this file except in compliance with the License.  You can obtain a copy
   6  * in the file LICENSE in the source distribution or at
   7  * https://www.openssl.org/source/license.html
   8  */
   9
  10 #include <openssl/opensslconf.h>
  11 #include <stdio.h>
  12 #include <stdlib.h>
  13 #include <string.h>
  14 #include "apps.h"
  15 #include "progs.h"
  16 #include <openssl/bio.h>
  17 #include <openssl/err.h>
  18 #include <openssl/pem.h>
  19 #include <openssl/rand.h>
  20 #include <openssl/ts.h>
  21 #include <openssl/bn.h>
  22
  23 /* Request nonce length, in bits (must be a multiple of 8). */
  24 #define NONCE_LENGTH            64
  25
  26 /* Name of config entry that defines the OID file. */
  27 #define ENV_OID_FILE            "oid_file"
  28
  29 /* Is |EXACTLY_ONE| of three pointers set? */
  30 #define EXACTLY_ONE(a, b, c) \
  31         (( a && !b && !c) || \
  32          ( b && !a && !c) || \
  33          ( c && !a && !b))
  34
  35 static ASN1_OBJECT *txt2obj(const char *oid);
  36 static CONF *load_config_file(const char *configfile);
  37
  38 /* Query related functions. */
  39 static int query_command(const char *data, const char *digest,
  40                          const EVP_MD *md, const char *policy, int no_nonce,
  41                          int cert, const char *in, const char *out, int text);
  42 static TS_REQ *create_query(BIO *data_bio, const char *digest, const EVP_MD *md,
  43                             const char *policy, int no_nonce, int cert);
  44 static int create_digest(BIO *input, const char *digest,
  45                          const EVP_MD *md, unsigned char **md_value);
  46 static ASN1_INTEGER *create_nonce(int bits);
  47
  48 /* Reply related functions. */
  49 static int reply_command(CONF *conf, const char *section, const char *engine,
  50                          const char *queryfile, const char *passin, const char *inkey,
  51                          const EVP_MD *md, const char *signer, const char *chain,
  52                          const char *policy, const char *in, int token_in,
  53                          const char *out, int token_out, int text);
  54 static TS_RESP *read_PKCS7(BIO *in_bio);
  55 static TS_RESP *create_response(CONF *conf, const char *section, const char *engine,
  56                                 const char *queryfile, const char *passin,
  57                                 const char *inkey, const EVP_MD *md, const char *signer,
  58                                 const char *chain, const char *policy);
  59 static ASN1_INTEGER *serial_cb(TS_RESP_CTX *ctx, void *data);
  60 static ASN1_INTEGER *next_serial(const char *serialfile);
  61 static int save_ts_serial(const char *serialfile, ASN1_INTEGER *serial);
  62
  63 /* Verify related functions. */
  64 static int verify_command(const char *data, const char *digest, const char *queryfile,
  65                           const char *in, int token_in,
  66                           const char *CApath, const char *CAfile,
  67                           const char *CAstore,
  68                           const char *untrusted, X509_VERIFY_PARAM *vpm);
  69 static TS_VERIFY_CTX *create_verify_ctx(const char *data, const char *digest,
  70                                         const char *queryfile,
  71                                         const char *CApath, const char *CAfile,
  72                                         const char *CAstore,
  73                                         const char *untrusted,
  74                                         X509_VERIFY_PARAM *vpm);
  75 static X509_STORE *create_cert_store(const char *CApath, const char *CAfile,
  76                                      const char *CAstore, X509_VERIFY_PARAM *vpm);
  77 static int verify_cb(int ok, X509_STORE_CTX *ctx);
  78
  79 typedef enum OPTION_choice {
  80     OPT_ERR = -1, OPT_EOF = 0, OPT_HELP,
  81     OPT_ENGINE, OPT_CONFIG, OPT_SECTION, OPT_QUERY, OPT_DATA,
  82     OPT_DIGEST, OPT_TSPOLICY, OPT_NO_NONCE, OPT_CERT,
  83     OPT_IN, OPT_TOKEN_IN, OPT_OUT, OPT_TOKEN_OUT, OPT_TEXT,
  84     OPT_REPLY, OPT_QUERYFILE, OPT_PASSIN, OPT_INKEY, OPT_SIGNER,
  85     OPT_CHAIN, OPT_VERIFY, OPT_CAPATH, OPT_CAFILE, OPT_CASTORE, OPT_UNTRUSTED,
  86     OPT_MD, OPT_V_ENUM, OPT_R_ENUM, OPT_PROV_ENUM
  87 } OPTION_CHOICE;
  88
  89 const OPTIONS ts_options[] = {
  90     OPT_SECTION("General"),
  91     {"help", OPT_HELP, '-', "Display this summary"},
  92     {"config", OPT_CONFIG, '<', "Configuration file"},
  93     {"section", OPT_SECTION, 's', "Section to use within config file"},
  94 #ifndef OPENSSL_NO_ENGINE
  95     {"engine", OPT_ENGINE, 's', "Use engine, possibly a hardware device"},
  96 #endif
  97     {"inkey", OPT_INKEY, 's', "File with private key for reply"},
  98     {"signer", OPT_SIGNER, 's', "Signer certificate file"},
  99     {"chain", OPT_CHAIN, '<', "File with signer CA chain"},
 100     {"CAfile", OPT_CAFILE, '<', "File with trusted CA certs"},
 101     {"CApath", OPT_CAPATH, '/', "Path to trusted CA files"},
 102     {"CAstore", OPT_CASTORE, ':', "URI to trusted CA store"},
 103     {"untrusted", OPT_UNTRUSTED, '<', "File with untrusted certs"},
 104     {"token_in", OPT_TOKEN_IN, '-', "Input is a PKCS#7 file"},
 105     {"token_out", OPT_TOKEN_OUT, '-', "Output is a PKCS#7 file"},
 106     {"passin", OPT_PASSIN, 's', "Input file pass phrase source"},
 107     {"", OPT_MD, '-', "Any supported digest"},
 108
 109     OPT_SECTION("Query"),
 110     {"query", OPT_QUERY, '-', "Generate a TS query"},
 111     {"data", OPT_DATA, '<', "File to hash"},
 112     {"digest", OPT_DIGEST, 's', "Digest (as a hex string)"},
 113     {"queryfile", OPT_QUERYFILE, '<', "File containing a TS query"},
 114     {"cert", OPT_CERT, '-', "Put cert request into query"},
 115     {"in", OPT_IN, '<', "Input file"},
 116
 117     OPT_SECTION("Verify"),
 118     {"verify", OPT_VERIFY, '-', "Verify a TS response"},
 119     {"reply", OPT_REPLY, '-', "Generate a TS reply"},
 120     {"tspolicy", OPT_TSPOLICY, 's', "Policy OID to use"},
 121     {"no_nonce", OPT_NO_NONCE, '-', "Do not include a nonce"},
 122     {"out", OPT_OUT, '>', "Output file"},
 123     {"text", OPT_TEXT, '-', "Output text (not DER)"},
 124
 125     OPT_R_OPTIONS,
 126     OPT_V_OPTIONS,
 127     OPT_PROV_OPTIONS,
 128     {NULL}
 129 };
 130
 131 /*
 132  * This command is so complex, special help is needed.
 133  */
 134 static char* opt_helplist[] = {
 135     "",
 136     "Typical uses:",
 137     " openssl ts -query [-rand file...] [-config file] [-data file]",
 138     "    [-digest hexstring] [-tspolicy oid] [-no_nonce] [-cert]",
 139     "    [-in file] [-out file] [-text]",
 140     "",
 141     " openssl ts -reply [-config file] [-section tsa_section]",
 142     "    [-queryfile file] [-passin password]",
 143     "    [-signer tsa_cert.pem] [-inkey private_key.pem]",
 144     "    [-chain certs_file.pem] [-tspolicy oid]",
 145     "    [-in file] [-token_in] [-out file] [-token_out]",
 146 #ifndef OPENSSL_NO_ENGINE
 147     "    [-text] [-engine id]",
 148 #else
 149     "    [-text]",
 150 #endif
 151     "",
 152     " openssl ts -verify -CApath dir -CAfile file.pem -CAstore uri",
 153     "   -untrusted file.pem [-data file] [-digest hexstring]",
 154     "    [-queryfile file] -in file [-token_in] ...",
 155     NULL,
 156 };
 157
 158 int ts_main(int argc, char **argv)
 159 {
 160     CONF *conf = NULL;
 161     const char *CAfile = NULL, *untrusted = NULL, *prog;
 162     const char *configfile = default_config_file, *engine = NULL;
 163     const char *section = NULL;
 164     char **helpp;
 165     char *password = NULL;
 166     char *data = NULL, *digest = NULL, *policy = NULL;
 167     char *in = NULL, *out = NULL, *queryfile = NULL, *passin = NULL;
 168     char *inkey = NULL, *signer = NULL, *chain = NULL, *CApath = NULL;
 169     char *CAstore = NULL;
 170     const EVP_MD *md = NULL;
 171     OPTION_CHOICE o, mode = OPT_ERR;
 172     int ret = 1, no_nonce = 0, cert = 0, text = 0;
 173     int vpmtouched = 0;
 174     X509_VERIFY_PARAM *vpm = NULL;
 175     /* Input is ContentInfo instead of TimeStampResp. */
 176     int token_in = 0;
 177     /* Output is ContentInfo instead of TimeStampResp. */
 178     int token_out = 0;
 179
 180     if ((vpm = X509_VERIFY_PARAM_new()) == NULL)
 181         goto end;
 182
 183     prog = opt_init(argc, argv, ts_options);
 184     while ((o = opt_next()) != OPT_EOF) {
 185         switch (o) {
 186         case OPT_EOF:
 187         case OPT_ERR:
 188  opthelp:
 189             BIO_printf(bio_err, "%s: Use -help for summary.\n", prog);
 190             goto end;
 191         case OPT_HELP:
 192             opt_help(ts_options);
 193             for (helpp = opt_helplist; *helpp; ++helpp)
 194                 BIO_printf(bio_err, "%s\n", *helpp);
 195             ret = 0;
 196             goto end;
 197         case OPT_CONFIG:
 198             configfile = opt_arg();
 199             break;
 200         case OPT_SECTION:
 201             section = opt_arg();
 202             break;
 203         case OPT_QUERY:
 204         case OPT_REPLY:
 205         case OPT_VERIFY:
 206             if (mode != OPT_ERR)
 207                 goto opthelp;
 208             mode = o;
 209             break;
 210         case OPT_DATA:
 211             data = opt_arg();
 212             break;
 213         case OPT_DIGEST:
 214             digest = opt_arg();
 215             break;
 216         case OPT_R_CASES:
 217             if (!opt_rand(o))
 218                 goto end;
 219             break;
 220         case OPT_PROV_CASES:
 221             if (!opt_provider(o))
 222                 goto end;
 223             break;
 224         case OPT_TSPOLICY:
 225             policy = opt_arg();
 226             break;
 227         case OPT_NO_NONCE:
 228             no_nonce = 1;
 229             break;
 230         case OPT_CERT:
 231             cert = 1;
 232             break;
 233         case OPT_IN:
 234             in = opt_arg();
 235             break;
 236         case OPT_TOKEN_IN:
 237             token_in = 1;
 238             break;
 239         case OPT_OUT:
 240             out = opt_arg();
 241             break;
 242         case OPT_TOKEN_OUT:
 243             token_out = 1;
 244             break;
 245         case OPT_TEXT:
 246             text = 1;
 247             break;
 248         case OPT_QUERYFILE:
 249             queryfile = opt_arg();
 250             break;
 251         case OPT_PASSIN:
 252             passin = opt_arg();
 253             break;
 254         case OPT_INKEY:
 255             inkey = opt_arg();
 256             break;
 257         case OPT_SIGNER:
 258             signer = opt_arg();
 259             break;
 260         case OPT_CHAIN:
 261             chain = opt_arg();
 262             break;
 263         case OPT_CAPATH:
 264             CApath = opt_arg();
 265             break;
 266         case OPT_CAFILE:
 267             CAfile = opt_arg();
 268             break;
 269         case OPT_CASTORE:
 270             CAstore = opt_arg();
 271             break;
 272         case OPT_UNTRUSTED:
 273             untrusted = opt_arg();
 274             break;
 275         case OPT_ENGINE:
 276             engine = opt_arg();
 277             break;
 278         case OPT_MD:
 279             if (!opt_md(opt_unknown(), &md))
 280                 goto opthelp;
 281             break;
 282         case OPT_V_CASES:
 283             if (!opt_verify(o, vpm))
 284                 goto end;
 285             vpmtouched++;
 286             break;
 287         }
 288     }
 289     if (mode == OPT_ERR || opt_num_rest() != 0)
 290         goto opthelp;
 291
 292     if (mode == OPT_REPLY && passin &&
 293         !app_passwd(passin, NULL, &password, NULL)) {
 294         BIO_printf(bio_err, "Error getting password.\n");
 295         goto end;
 296     }
 297
 298     if ((conf = load_config_file(configfile)) == NULL)
 299         goto end;
 300     if (configfile != default_config_file && !app_load_modules(conf))
 301         goto end;
 302
 303     /* Check parameter consistency and execute the appropriate function. */
 304     if (mode == OPT_QUERY) {
 305         if (vpmtouched)
 306             goto opthelp;
 307         if ((data != NULL) && (digest != NULL))
 308             goto opthelp;
 309         ret = !query_command(data, digest, md, policy, no_nonce, cert,
 310                              in, out, text);
 311     } else if (mode == OPT_REPLY) {
 312         if (vpmtouched)
 313             goto opthelp;
 314         if ((in != NULL) && (queryfile != NULL))
 315             goto opthelp;
 316         if (in == NULL) {
 317             if ((conf == NULL) || (token_in != 0))
 318                 goto opthelp;
 319         }
 320         ret = !reply_command(conf, section, engine, queryfile,
 321                              password, inkey, md, signer, chain, policy,
 322                              in, token_in, out, token_out, text);
 323
 324     } else if (mode == OPT_VERIFY) {
 325         if ((in == NULL) || !EXACTLY_ONE(queryfile, data, digest))
 326             goto opthelp;
 327         ret = !verify_command(data, digest, queryfile, in, token_in,
 328                               CApath, CAfile, CAstore, untrusted,
 329                               vpmtouched ? vpm : NULL);
 330     } else {
 331         goto opthelp;
 332     }
 333
 334  end:
 335     X509_VERIFY_PARAM_free(vpm);
 336     NCONF_free(conf);
 337     OPENSSL_free(password);
 338     return ret;
 339 }
 340
 341 /*
 342  * Configuration file-related function definitions.
 343  */
 344
 345 static ASN1_OBJECT *txt2obj(const char *oid)
 346 {
 347     ASN1_OBJECT *oid_obj = NULL;
 348
 349     if ((oid_obj = OBJ_txt2obj(oid, 0)) == NULL)
 350         BIO_printf(bio_err, "cannot convert %s to OID\n", oid);
 351
 352     return oid_obj;
 353 }
 354
 355 static CONF *load_config_file(const char *configfile)
 356 {
 357     CONF *conf = app_load_config(configfile);
 358
 359     if (conf != NULL) {
 360         const char *p;
 361
 362         BIO_printf(bio_err, "Using configuration from %s\n", configfile);
 363         p = NCONF_get_string(conf, NULL, ENV_OID_FILE);
 364         if (p != NULL) {
 365             BIO *oid_bio = BIO_new_file(p, "r");
 366             if (!oid_bio)
 367                 ERR_print_errors(bio_err);
 368             else {
 369                 OBJ_create_objects(oid_bio);
 370                 BIO_free_all(oid_bio);
 371             }
 372         } else
 373             ERR_clear_error();
 374         if (!add_oid_section(conf))
 375             ERR_print_errors(bio_err);
 376     }
 377     return conf;
 378 }
 379
 380 /*
 381  * Query-related method definitions.
 382  */
 383 static int query_command(const char *data, const char *digest, const EVP_MD *md,
 384                          const char *policy, int no_nonce,
 385                          int cert, const char *in, const char *out, int text)
 386 {
 387     int ret = 0;
 388     TS_REQ *query = NULL;
 389     BIO *in_bio = NULL;
 390     BIO *data_bio = NULL;
 391     BIO *out_bio = NULL;
 392
 393     /* Build query object. */
 394     if (in != NULL) {
 395         if ((in_bio = bio_open_default(in, 'r', FORMAT_ASN1)) == NULL)
 396             goto end;
 397         query = d2i_TS_REQ_bio(in_bio, NULL);
 398     } else {
 399         if (digest == NULL
 400             && (data_bio = bio_open_default(data, 'r', FORMAT_ASN1)) == NULL)
 401             goto end;
 402         query = create_query(data_bio, digest, md, policy, no_nonce, cert);
 403     }
 404     if (query == NULL)
 405         goto end;
 406
 407     if (text) {
 408         if ((out_bio = bio_open_default(out, 'w', FORMAT_TEXT)) == NULL)
 409             goto end;
 410         if (!TS_REQ_print_bio(out_bio, query))
 411             goto end;
 412     } else {
 413         if ((out_bio = bio_open_default(out, 'w', FORMAT_ASN1)) == NULL)
 414             goto end;
 415         if (!i2d_TS_REQ_bio(out_bio, query))
 416             goto end;
 417     }
 418
 419     ret = 1;
 420
 421  end:
 422     ERR_print_errors(bio_err);
 423     BIO_free_all(in_bio);
 424     BIO_free_all(data_bio);
 425     BIO_free_all(out_bio);
 426     TS_REQ_free(query);
 427     return ret;
 428 }
 429
 430 static TS_REQ *create_query(BIO *data_bio, const char *digest, const EVP_MD *md,
 431                             const char *policy, int no_nonce, int cert)
 432 {
 433     int ret = 0;
 434     TS_REQ *ts_req = NULL;
 435     int len;
 436     TS_MSG_IMPRINT *msg_imprint = NULL;
 437     X509_ALGOR *algo = NULL;
 438     unsigned char *data = NULL;
 439     ASN1_OBJECT *policy_obj = NULL;
 440     ASN1_INTEGER *nonce_asn1 = NULL;
 441
 442     if (md == NULL && (md = EVP_get_digestbyname("sha256")) == NULL)
 443         goto err;
 444     if ((ts_req = TS_REQ_new()) == NULL)
 445         goto err;
 446     if (!TS_REQ_set_version(ts_req, 1))
 447         goto err;
 448     if ((msg_imprint = TS_MSG_IMPRINT_new()) == NULL)
 449         goto err;
 450     if ((algo = X509_ALGOR_new()) == NULL)
 451         goto err;
 452     if ((algo->algorithm = OBJ_nid2obj(EVP_MD_type(md))) == NULL)
 453         goto err;
 454     if ((algo->parameter = ASN1_TYPE_new()) == NULL)
 455         goto err;
 456     algo->parameter->type = V_ASN1_NULL;
 457     if (!TS_MSG_IMPRINT_set_algo(msg_imprint, algo))
 458         goto err;
 459     if ((len = create_digest(data_bio, digest, md, &data)) == 0)
 460         goto err;
 461     if (!TS_MSG_IMPRINT_set_msg(msg_imprint, data, len))
 462         goto err;
 463     if (!TS_REQ_set_msg_imprint(ts_req, msg_imprint))
 464         goto err;
 465     if (policy && (policy_obj = txt2obj(policy)) == NULL)
 466         goto err;
 467     if (policy_obj && !TS_REQ_set_policy_id(ts_req, policy_obj))
 468         goto err;
 469
 470     /* Setting nonce if requested. */
 471     if (!no_nonce && (nonce_asn1 = create_nonce(NONCE_LENGTH)) == NULL)
 472         goto err;
 473     if (nonce_asn1 && !TS_REQ_set_nonce(ts_req, nonce_asn1))
 474         goto err;
 475     if (!TS_REQ_set_cert_req(ts_req, cert))
 476         goto err;
 477
 478     ret = 1;
 479  err:
 480     if (!ret) {
 481         TS_REQ_free(ts_req);
 482         ts_req = NULL;
 483         BIO_printf(bio_err, "could not create query\n");
 484         ERR_print_errors(bio_err);
 485     }
 486     TS_MSG_IMPRINT_free(msg_imprint);
 487     X509_ALGOR_free(algo);
 488     OPENSSL_free(data);
 489     ASN1_OBJECT_free(policy_obj);
 490     ASN1_INTEGER_free(nonce_asn1);
 491     return ts_req;
 492 }
 493
 494 static int create_digest(BIO *input, const char *digest, const EVP_MD *md,
 495                          unsigned char **md_value)
 496 {
 497     int md_value_len;
 498     int rv = 0;
 499     EVP_MD_CTX *md_ctx = NULL;
 500
 501     md_value_len = EVP_MD_size(md);
 502     if (md_value_len < 0)
 503         return 0;
 504
 505     if (input != NULL) {
 506         unsigned char buffer[4096];
 507         int length;
 508
 509         md_ctx = EVP_MD_CTX_new();
 510         if (md_ctx == NULL)
 511             return 0;
 512         *md_value = app_malloc(md_value_len, "digest buffer");
 513         if (!EVP_DigestInit(md_ctx, md))
 514             goto err;
 515         while ((length = BIO_read(input, buffer, sizeof(buffer))) > 0) {
 516             if (!EVP_DigestUpdate(md_ctx, buffer, length))
 517                 goto err;
 518         }
 519         if (!EVP_DigestFinal(md_ctx, *md_value, NULL))
 520             goto err;
 521         md_value_len = EVP_MD_size(md);
 522     } else {
 523         long digest_len;
 524
 525         *md_value = OPENSSL_hexstr2buf(digest, &digest_len);
 526         if (*md_value == NULL || md_value_len != digest_len) {
 527             OPENSSL_free(*md_value);
 528             *md_value = NULL;
 529             BIO_printf(bio_err, "bad digest, %d bytes "
 530                        "must be specified\n", md_value_len);
 531             return 0;
 532         }
 533     }
 534     rv = md_value_len;
 535  err:
 536     EVP_MD_CTX_free(md_ctx);
 537     return rv;
 538 }
 539
 540 static ASN1_INTEGER *create_nonce(int bits)
 541 {
 542     unsigned char buf[20];
 543     ASN1_INTEGER *nonce = NULL;
 544     int len = (bits - 1) / 8 + 1;
 545     int i;
 546
 547     if (len > (int)sizeof(buf))
 548         goto err;
 549     if (RAND_bytes(buf, len) <= 0)
 550         goto err;
 551
 552     /* Find the first non-zero byte and creating ASN1_INTEGER object. */
 553     for (i = 0; i < len && !buf[i]; ++i)
 554         continue;
 555     if ((nonce = ASN1_INTEGER_new()) == NULL)
 556         goto err;
 557     OPENSSL_free(nonce->data);
 558     nonce->length = len - i;
 559     nonce->data = app_malloc(nonce->length + 1, "nonce buffer");
 560     memcpy(nonce->data, buf + i, nonce->length);
 561     return nonce;
 562
 563  err:
 564     BIO_printf(bio_err, "could not create nonce\n");
 565     ASN1_INTEGER_free(nonce);
 566     return NULL;
 567 }
 568
 569 /*
 570  * Reply-related method definitions.
 571  */
 572
 573 static int reply_command(CONF *conf, const char *section, const char *engine,
 574                          const char *queryfile, const char *passin, const char *inkey,
 575                          const EVP_MD *md, const char *signer, const char *chain,
 576                          const char *policy, const char *in, int token_in,
 577                          const char *out, int token_out, int text)
 578 {
 579     int ret = 0;
 580     TS_RESP *response = NULL;
 581     BIO *in_bio = NULL;
 582     BIO *query_bio = NULL;
 583     BIO *inkey_bio = NULL;
 584     BIO *signer_bio = NULL;
 585     BIO *out_bio = NULL;
 586
 587     if (in != NULL) {
 588         if ((in_bio = BIO_new_file(in, "rb")) == NULL)
 589             goto end;
 590         if (token_in) {
 591             response = read_PKCS7(in_bio);
 592         } else {
 593             response = d2i_TS_RESP_bio(in_bio, NULL);
 594         }
 595     } else {
 596         response = create_response(conf, section, engine, queryfile,
 597                                    passin, inkey, md, signer, chain, policy);
 598         if (response != NULL)
 599             BIO_printf(bio_err, "Response has been generated.\n");
 600         else
 601             BIO_printf(bio_err, "Response is not generated.\n");
 602     }
 603     if (response == NULL)
 604         goto end;
 605
 606     /* Write response. */
 607     if (text) {
 608         if ((out_bio = bio_open_default(out, 'w', FORMAT_TEXT)) == NULL)
 609         goto end;
 610         if (token_out) {
 611             TS_TST_INFO *tst_info = TS_RESP_get_tst_info(response);
 612             if (!TS_TST_INFO_print_bio(out_bio, tst_info))
 613                 goto end;
 614         } else {
 615             if (!TS_RESP_print_bio(out_bio, response))
 616                 goto end;
 617         }
 618     } else {
 619         if ((out_bio = bio_open_default(out, 'w', FORMAT_ASN1)) == NULL)
 620             goto end;
 621         if (token_out) {
 622             PKCS7 *token = TS_RESP_get_token(response);
 623             if (!i2d_PKCS7_bio(out_bio, token))
 624                 goto end;
 625         } else {
 626             if (!i2d_TS_RESP_bio(out_bio, response))
 627                 goto end;
 628         }
 629     }
 630
 631     ret = 1;
 632
 633  end:
 634     ERR_print_errors(bio_err);
 635     BIO_free_all(in_bio);
 636     BIO_free_all(query_bio);
 637     BIO_free_all(inkey_bio);
 638     BIO_free_all(signer_bio);
 639     BIO_free_all(out_bio);
 640     TS_RESP_free(response);
 641     return ret;
 642 }
 643
 644 /* Reads a PKCS7 token and adds default 'granted' status info to it. */
 645 static TS_RESP *read_PKCS7(BIO *in_bio)
 646 {
 647     int ret = 0;
 648     PKCS7 *token = NULL;
 649     TS_TST_INFO *tst_info = NULL;
 650     TS_RESP *resp = NULL;
 651     TS_STATUS_INFO *si = NULL;
 652
 653     if ((token = d2i_PKCS7_bio(in_bio, NULL)) == NULL)
 654         goto end;
 655     if ((tst_info = PKCS7_to_TS_TST_INFO(token)) == NULL)
 656         goto end;
 657     if ((resp = TS_RESP_new()) == NULL)
 658         goto end;
 659     if ((si = TS_STATUS_INFO_new()) == NULL)
 660         goto end;
 661     if (!TS_STATUS_INFO_set_status(si, TS_STATUS_GRANTED))
 662         goto end;
 663     if (!TS_RESP_set_status_info(resp, si))
 664         goto end;
 665     TS_RESP_set_tst_info(resp, token, tst_info);
 666     token = NULL;               /* Ownership is lost. */
 667     tst_info = NULL;            /* Ownership is lost. */
 668     ret = 1;
 669
 670  end:
 671     PKCS7_free(token);
 672     TS_TST_INFO_free(tst_info);
 673     if (!ret) {
 674         TS_RESP_free(resp);
 675         resp = NULL;
 676     }
 677     TS_STATUS_INFO_free(si);
 678     return resp;
 679 }
 680
 681 static TS_RESP *create_response(CONF *conf, const char *section, const char *engine,
 682                                 const char *queryfile, const char *passin,
 683                                 const char *inkey, const EVP_MD *md, const char *signer,
 684                                 const char *chain, const char *policy)
 685 {
 686     int ret = 0;
 687     TS_RESP *response = NULL;
 688     BIO *query_bio = NULL;
 689     TS_RESP_CTX *resp_ctx = NULL;
 690
 691     if ((query_bio = BIO_new_file(queryfile, "rb")) == NULL)
 692         goto end;
 693     if ((section = TS_CONF_get_tsa_section(conf, section)) == NULL)
 694         goto end;
 695     if ((resp_ctx = TS_RESP_CTX_new()) == NULL)
 696         goto end;
 697     if (!TS_CONF_set_serial(conf, section, serial_cb, resp_ctx))
 698         goto end;
 699 #ifndef OPENSSL_NO_ENGINE
 700     if (!TS_CONF_set_crypto_device(conf, section, engine))
 701         goto end;
 702 #endif
 703     if (!TS_CONF_set_signer_cert(conf, section, signer, resp_ctx))
 704         goto end;
 705     if (!TS_CONF_set_certs(conf, section, chain, resp_ctx))
 706         goto end;
 707     if (!TS_CONF_set_signer_key(conf, section, inkey, passin, resp_ctx))
 708         goto end;
 709
 710     if (md) {
 711         if (!TS_RESP_CTX_set_signer_digest(resp_ctx, md))
 712             goto end;
 713     } else if (!TS_CONF_set_signer_digest(conf, section, NULL, resp_ctx)) {
 714             goto end;
 715     }
 716
 717     if (!TS_CONF_set_ess_cert_id_digest(conf, section, resp_ctx))
 718         goto end;
 719     if (!TS_CONF_set_def_policy(conf, section, policy, resp_ctx))
 720         goto end;
 721     if (!TS_CONF_set_policies(conf, section, resp_ctx))
 722         goto end;
 723     if (!TS_CONF_set_digests(conf, section, resp_ctx))
 724         goto end;
 725     if (!TS_CONF_set_accuracy(conf, section, resp_ctx))
 726         goto end;
 727     if (!TS_CONF_set_clock_precision_digits(conf, section, resp_ctx))
 728         goto end;
 729     if (!TS_CONF_set_ordering(conf, section, resp_ctx))
 730         goto end;
 731     if (!TS_CONF_set_tsa_name(conf, section, resp_ctx))
 732         goto end;
 733     if (!TS_CONF_set_ess_cert_id_chain(conf, section, resp_ctx))
 734         goto end;
 735     if ((response = TS_RESP_create_response(resp_ctx, query_bio)) == NULL)
 736         goto end;
 737     ret = 1;
 738
 739  end:
 740     if (!ret) {
 741         TS_RESP_free(response);
 742         response = NULL;
 743     }
 744     TS_RESP_CTX_free(resp_ctx);
 745     BIO_free_all(query_bio);
 746     return response;
 747 }
 748
 749 static ASN1_INTEGER *serial_cb(TS_RESP_CTX *ctx, void *data)
 750 {
 751     const char *serial_file = (const char *)data;
 752     ASN1_INTEGER *serial = next_serial(serial_file);
 753
 754     if (serial == NULL) {
 755         TS_RESP_CTX_set_status_info(ctx, TS_STATUS_REJECTION,
 756                                     "Error during serial number "
 757                                     "generation.");
 758         TS_RESP_CTX_add_failure_info(ctx, TS_INFO_ADD_INFO_NOT_AVAILABLE);
 759     } else {
 760         save_ts_serial(serial_file, serial);
 761     }
 762
 763     return serial;
 764 }
 765
 766 static ASN1_INTEGER *next_serial(const char *serialfile)
 767 {
 768     int ret = 0;
 769     BIO *in = NULL;
 770     ASN1_INTEGER *serial = NULL;
 771     BIGNUM *bn = NULL;
 772
 773     if ((serial = ASN1_INTEGER_new()) == NULL)
 774         goto err;
 775
 776     if ((in = BIO_new_file(serialfile, "r")) == NULL) {
 777         ERR_clear_error();
 778         BIO_printf(bio_err, "Warning: could not open file %s for "
 779                    "reading, using serial number: 1\n", serialfile);
 780         if (!ASN1_INTEGER_set(serial, 1))
 781             goto err;
 782     } else {
 783         char buf[1024];
 784         if (!a2i_ASN1_INTEGER(in, serial, buf, sizeof(buf))) {
 785             BIO_printf(bio_err, "unable to load number from %s\n",
 786                        serialfile);
 787             goto err;
 788         }
 789         if ((bn = ASN1_INTEGER_to_BN(serial, NULL)) == NULL)
 790             goto err;
 791         ASN1_INTEGER_free(serial);
 792         serial = NULL;
 793         if (!BN_add_word(bn, 1))
 794             goto err;
 795         if ((serial = BN_to_ASN1_INTEGER(bn, NULL)) == NULL)
 796             goto err;
 797     }
 798     ret = 1;
 799
 800  err:
 801     if (!ret) {
 802         ASN1_INTEGER_free(serial);
 803         serial = NULL;
 804     }
 805     BIO_free_all(in);
 806     BN_free(bn);
 807     return serial;
 808 }
 809
 810 static int save_ts_serial(const char *serialfile, ASN1_INTEGER *serial)
 811 {
 812     int ret = 0;
 813     BIO *out = NULL;
 814
 815     if ((out = BIO_new_file(serialfile, "w")) == NULL)
 816         goto err;
 817     if (i2a_ASN1_INTEGER(out, serial) <= 0)
 818         goto err;
 819     if (BIO_puts(out, "\n") <= 0)
 820         goto err;
 821     ret = 1;
 822  err:
 823     if (!ret)
 824         BIO_printf(bio_err, "could not save serial number to %s\n",
 825                    serialfile);
 826     BIO_free_all(out);
 827     return ret;
 828 }
 829
 830
 831 /*
 832  * Verify-related method definitions.
 833  */
 834
 835 static int verify_command(const char *data, const char *digest, const char *queryfile,
 836                           const char *in, int token_in,
 837                           const char *CApath, const char *CAfile,
 838                           const char *CAstore, const char *untrusted,
 839                           X509_VERIFY_PARAM *vpm)
 840 {
 841     BIO *in_bio = NULL;
 842     PKCS7 *token = NULL;
 843     TS_RESP *response = NULL;
 844     TS_VERIFY_CTX *verify_ctx = NULL;
 845     int ret = 0;
 846
 847     if ((in_bio = BIO_new_file(in, "rb")) == NULL)
 848         goto end;
 849     if (token_in) {
 850         if ((token = d2i_PKCS7_bio(in_bio, NULL)) == NULL)
 851             goto end;
 852     } else {
 853         if ((response = d2i_TS_RESP_bio(in_bio, NULL)) == NULL)
 854             goto end;
 855     }
 856
 857     if ((verify_ctx = create_verify_ctx(data, digest, queryfile,
 858                                         CApath, CAfile, CAstore, untrusted,
 859                                         vpm)) == NULL)
 860         goto end;
 861
 862     ret = token_in
 863         ? TS_RESP_verify_token(verify_ctx, token)
 864         : TS_RESP_verify_response(verify_ctx, response);
 865
 866  end:
 867     printf("Verification: ");
 868     if (ret)
 869         printf("OK\n");
 870     else {
 871         printf("FAILED\n");
 872         ERR_print_errors(bio_err);
 873     }
 874
 875     BIO_free_all(in_bio);
 876     PKCS7_free(token);
 877     TS_RESP_free(response);
 878     TS_VERIFY_CTX_free(verify_ctx);
 879     return ret;
 880 }
 881
 882 static TS_VERIFY_CTX *create_verify_ctx(const char *data, const char *digest,
 883                                         const char *queryfile,
 884                                         const char *CApath, const char *CAfile,
 885                                         const char *CAstore,
 886                                         const char *untrusted,
 887                                         X509_VERIFY_PARAM *vpm)
 888 {
 889     TS_VERIFY_CTX *ctx = NULL;
 890     BIO *input = NULL;
 891     TS_REQ *request = NULL;
 892     int ret = 0;
 893     int f = 0;
 894
 895     if (data != NULL || digest != NULL) {
 896         if ((ctx = TS_VERIFY_CTX_new()) == NULL)
 897             goto err;
 898         f = TS_VFY_VERSION | TS_VFY_SIGNER;
 899         if (data != NULL) {
 900             BIO *out = NULL;
 901
 902             f |= TS_VFY_DATA;
 903             if ((out = BIO_new_file(data, "rb")) == NULL)
 904                 goto err;
 905             if (TS_VERIFY_CTX_set_data(ctx, out) == NULL) {
 906                 BIO_free_all(out);
 907                 goto err;
 908             }
 909         } else if (digest != NULL) {
 910             long imprint_len;
 911             unsigned char *hexstr = OPENSSL_hexstr2buf(digest, &imprint_len);
 912             f |= TS_VFY_IMPRINT;
 913             if (TS_VERIFY_CTX_set_imprint(ctx, hexstr, imprint_len) == NULL) {
 914                 BIO_printf(bio_err, "invalid digest string\n");
 915                 goto err;
 916             }
 917         }
 918
 919     } else if (queryfile != NULL) {
 920         if ((input = BIO_new_file(queryfile, "rb")) == NULL)
 921             goto err;
 922         if ((request = d2i_TS_REQ_bio(input, NULL)) == NULL)
 923             goto err;
 924         if ((ctx = TS_REQ_to_TS_VERIFY_CTX(request, NULL)) == NULL)
 925             goto err;
 926     } else {
 927         return NULL;
 928     }
 929
 930     /* Add the signature verification flag and arguments. */
 931     TS_VERIFY_CTX_add_flags(ctx, f | TS_VFY_SIGNATURE);
 932
 933     /* Initialising the X509_STORE object. */
 934     if (TS_VERIFY_CTX_set_store(ctx,
 935                                 create_cert_store(CApath, CAfile, CAstore, vpm))
 936             == NULL)
 937         goto err;
 938
 939     /* Loading untrusted certificates. */
 940     if (untrusted
 941         && TS_VERIFY_CTX_set_certs(ctx, TS_CONF_load_certs(untrusted)) == NULL)
 942         goto err;
 943     ret = 1;
 944
 945  err:
 946     if (!ret) {
 947         TS_VERIFY_CTX_free(ctx);
 948         ctx = NULL;
 949     }
 950     BIO_free_all(input);
 951     TS_REQ_free(request);
 952     return ctx;
 953 }
 954
 955 static X509_STORE *create_cert_store(const char *CApath, const char *CAfile,
 956                                      const char *CAstore, X509_VERIFY_PARAM *vpm)
 957 {
 958     X509_STORE *cert_ctx = NULL;
 959     X509_LOOKUP *lookup = NULL;
 960
 961     cert_ctx = X509_STORE_new();
 962     X509_STORE_set_verify_cb(cert_ctx, verify_cb);
 963     if (CApath != NULL) {
 964         lookup = X509_STORE_add_lookup(cert_ctx, X509_LOOKUP_hash_dir());
 965         if (lookup == NULL) {
 966             BIO_printf(bio_err, "memory allocation failure\n");
 967             goto err;
 968         }
 969         if (!X509_LOOKUP_add_dir(lookup, CApath, X509_FILETYPE_PEM)) {
 970             BIO_printf(bio_err, "Error loading directory %s\n", CApath);
 971             goto err;
 972         }
 973     }
 974
 975     if (CAfile != NULL) {
 976         lookup = X509_STORE_add_lookup(cert_ctx, X509_LOOKUP_file());
 977         if (lookup == NULL) {
 978             BIO_printf(bio_err, "memory allocation failure\n");
 979             goto err;
 980         }
 981         if (!X509_LOOKUP_load_file(lookup, CAfile, X509_FILETYPE_PEM)) {
 982             BIO_printf(bio_err, "Error loading file %s\n", CAfile);
 983             goto err;
 984         }
 985     }
 986
 987     if (CAstore != NULL) {
 988         lookup = X509_STORE_add_lookup(cert_ctx, X509_LOOKUP_store());
 989         if (lookup == NULL) {
 990             BIO_printf(bio_err, "memory allocation failure\n");
 991             goto err;
 992         }
 993         if (!X509_LOOKUP_load_store(lookup, CAstore)) {
 994             BIO_printf(bio_err, "Error loading store URI %s\n", CAstore);
 995             goto err;
 996         }
 997     }
 998
 999     if (vpm != NULL)
1000         X509_STORE_set1_param(cert_ctx, vpm);
1001
1002     return cert_ctx;
1003
1004  err:
1005     X509_STORE_free(cert_ctx);
1006     return NULL;
1007 }
1008
1009 static int verify_cb(int ok, X509_STORE_CTX *ctx)
1010 {
1011     return ok;
1012 }