apps/ts.c

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