blob: 0db6b509f8dd0b31d15760cf4b5e0dab97912ff5 [file] [log] [blame]
Matt Caswell0f113f32015-01-22 03:40:55 +00001/*
Rich Salz846e33c2016-05-17 14:18:30 -04002 * Copyright 2006-2016 The OpenSSL Project Authors. All Rights Reserved.
Ulf Möllerc7235be2006-02-12 23:11:56 +00003 *
Rich Salz846e33c2016-05-17 14:18:30 -04004 * Licensed under the OpenSSL license (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
Ulf Möllerc7235be2006-02-12 23:11:56 +00008 */
9
Richard Levittef3852632016-03-18 20:06:29 +010010#include <openssl/opensslconf.h>
Matt Caswell7188f1f2016-03-21 16:24:30 +000011#ifdef OPENSSL_NO_TS
12NON_EMPTY_TRANSLATION_UNIT
13#else
Richard Levittef3852632016-03-18 20:06:29 +010014# include <stdio.h>
15# include <stdlib.h>
16# include <string.h>
17# include "apps.h"
18# include <openssl/bio.h>
19# include <openssl/err.h>
20# include <openssl/pem.h>
21# include <openssl/rand.h>
22# include <openssl/ts.h>
23# include <openssl/bn.h>
Ulf Möllerc7235be2006-02-12 23:11:56 +000024
Rich Salz18cd23d2015-05-07 23:41:07 -040025/* Request nonce length, in bits (must be a multiple of 8). */
Richard Levittef3852632016-03-18 20:06:29 +010026# define NONCE_LENGTH 64
Ulf Möllerc7235be2006-02-12 23:11:56 +000027
Rich Salz18cd23d2015-05-07 23:41:07 -040028/* Name of config entry that defines the OID file. */
Richard Levittef3852632016-03-18 20:06:29 +010029# define ENV_OID_FILE "oid_file"
Ulf Möllerc7235be2006-02-12 23:11:56 +000030
Rich Salz18cd23d2015-05-07 23:41:07 -040031/* Is |EXACTLY_ONE| of three pointers set? */
Richard Levittef3852632016-03-18 20:06:29 +010032# define EXACTLY_ONE(a, b, c) \
Rich Salz18cd23d2015-05-07 23:41:07 -040033 (( a && !b && !c) || \
34 ( b && !a && !c) || \
35 ( c && !a && !b))
Ulf Möllerc7235be2006-02-12 23:11:56 +000036
37static ASN1_OBJECT *txt2obj(const char *oid);
38static CONF *load_config_file(const char *configfile);
39
40/* Query related functions. */
FdaSilvaYYcc696292016-08-04 23:52:22 +020041static int query_command(const char *data, const char *digest,
Matt Caswell0f113f32015-01-22 03:40:55 +000042 const EVP_MD *md, const char *policy, int no_nonce,
43 int cert, const char *in, const char *out, int text);
FdaSilvaYYcc696292016-08-04 23:52:22 +020044static TS_REQ *create_query(BIO *data_bio, const char *digest, const EVP_MD *md,
Matt Caswell0f113f32015-01-22 03:40:55 +000045 const char *policy, int no_nonce, int cert);
FdaSilvaYYcc696292016-08-04 23:52:22 +020046static int create_digest(BIO *input, const char *digest,
Matt Caswell0f113f32015-01-22 03:40:55 +000047 const EVP_MD *md, unsigned char **md_value);
Ulf Möllerc7235be2006-02-12 23:11:56 +000048static ASN1_INTEGER *create_nonce(int bits);
49
50/* Reply related functions. */
FdaSilvaYYcc696292016-08-04 23:52:22 +020051static int reply_command(CONF *conf, const char *section, const char *engine,
52 const char *queryfile, const char *passin, const char *inkey,
53 const EVP_MD *md, const char *signer, const char *chain,
54 const char *policy, const char *in, int token_in,
55 const char *out, int token_out, int text);
Ulf Möllerc7235be2006-02-12 23:11:56 +000056static TS_RESP *read_PKCS7(BIO *in_bio);
FdaSilvaYYcc696292016-08-04 23:52:22 +020057static TS_RESP *create_response(CONF *conf, const char *section, const char *engine,
58 const char *queryfile, const char *passin,
59 const char *inkey, const EVP_MD *md, const char *signer,
60 const char *chain, const char *policy);
Matt Caswell0f113f32015-01-22 03:40:55 +000061static ASN1_INTEGER *serial_cb(TS_RESP_CTX *ctx, void *data);
Ulf Möllerc7235be2006-02-12 23:11:56 +000062static ASN1_INTEGER *next_serial(const char *serialfile);
63static int save_ts_serial(const char *serialfile, ASN1_INTEGER *serial);
64
65/* Verify related functions. */
FdaSilvaYYcc696292016-08-04 23:52:22 +020066static int verify_command(const char *data, const char *digest, const char *queryfile,
67 const char *in, int token_in,
68 const char *CApath, const char *CAfile, const char *untrusted,
fbroda08538fc2016-03-15 10:08:49 +010069 X509_VERIFY_PARAM *vpm);
FdaSilvaYYcc696292016-08-04 23:52:22 +020070static TS_VERIFY_CTX *create_verify_ctx(const char *data, const char *digest,
71 const char *queryfile,
72 const char *CApath, const char *CAfile,
73 const char *untrusted,
fbroda08538fc2016-03-15 10:08:49 +010074 X509_VERIFY_PARAM *vpm);
FdaSilvaYYcc696292016-08-04 23:52:22 +020075static X509_STORE *create_cert_store(const char *CApath, const char *CAfile,
fbroda08538fc2016-03-15 10:08:49 +010076 X509_VERIFY_PARAM *vpm);
Rich Salz6d23cf92015-01-12 17:29:26 -050077static int verify_cb(int ok, X509_STORE_CTX *ctx);
Ulf Möllerc7235be2006-02-12 23:11:56 +000078
Rich Salz7e1b7482015-04-24 15:26:15 -040079typedef enum OPTION_choice {
80 OPT_ERR = -1, OPT_EOF = 0, OPT_HELP,
81 OPT_ENGINE, OPT_CONFIG, OPT_SECTION, OPT_QUERY, OPT_DATA,
fbroda08538fc2016-03-15 10:08:49 +010082 OPT_DIGEST, OPT_RAND, OPT_TSPOLICY, OPT_NO_NONCE, OPT_CERT,
Rich Salz7e1b7482015-04-24 15:26:15 -040083 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_UNTRUSTED,
fbroda08538fc2016-03-15 10:08:49 +010086 OPT_MD, OPT_V_ENUM
Rich Salz7e1b7482015-04-24 15:26:15 -040087} OPTION_CHOICE;
Ulf Möllerc7235be2006-02-12 23:11:56 +000088
FdaSilvaYY44c83eb2016-03-13 14:07:50 +010089const OPTIONS ts_options[] = {
Rich Salz7e1b7482015-04-24 15:26:15 -040090 {"help", OPT_HELP, '-', "Display this summary"},
91 {"config", OPT_CONFIG, '<', "Configuration file"},
92 {"section", OPT_SECTION, 's', "Section to use within config file"},
93 {"query", OPT_QUERY, '-', "Generate a TS query"},
94 {"data", OPT_DATA, '<', "File to hash"},
95 {"digest", OPT_DIGEST, 's', "Digest (as a hex string)"},
96 {"rand", OPT_RAND, 's',
97 "Load the file(s) into the random number generator"},
fbroda08538fc2016-03-15 10:08:49 +010098 {"tspolicy", OPT_TSPOLICY, 's', "Policy OID to use"},
Rich Salz7e1b7482015-04-24 15:26:15 -040099 {"no_nonce", OPT_NO_NONCE, '-', "Do not include a nonce"},
100 {"cert", OPT_CERT, '-', "Put cert request into query"},
101 {"in", OPT_IN, '<', "Input file"},
102 {"token_in", OPT_TOKEN_IN, '-', "Input is a PKCS#7 file"},
103 {"out", OPT_OUT, '>', "Output file"},
104 {"token_out", OPT_TOKEN_OUT, '-', "Output is a PKCS#7 file"},
105 {"text", OPT_TEXT, '-', "Output text (not DER)"},
106 {"reply", OPT_REPLY, '-', "Generate a TS reply"},
107 {"queryfile", OPT_QUERYFILE, '<', "File containing a TS query"},
FdaSilvaYY16e1b282016-03-20 21:14:10 +0100108 {"passin", OPT_PASSIN, 's', "Input file pass phrase source"},
Rich Salz7e1b7482015-04-24 15:26:15 -0400109 {"inkey", OPT_INKEY, '<', "File with private key for reply"},
FdaSilvaYY12d56b22016-07-31 19:02:50 +0200110 {"signer", OPT_SIGNER, 's', "Signer certificate file"},
Rich Salz7e1b7482015-04-24 15:26:15 -0400111 {"chain", OPT_CHAIN, '<', "File with signer CA chain"},
112 {"verify", OPT_VERIFY, '-', "Verify a TS response"},
113 {"CApath", OPT_CAPATH, '/', "Path to trusted CA files"},
114 {"CAfile", OPT_CAFILE, '<', "File with trusted CA certs"},
115 {"untrusted", OPT_UNTRUSTED, '<', "File with untrusted certs"},
Rich Salz9c3bcfa2015-05-15 13:50:38 -0400116 {"", OPT_MD, '-', "Any supported digest"},
Richard Levittef3852632016-03-18 20:06:29 +0100117# ifndef OPENSSL_NO_ENGINE
Rich Salz7e1b7482015-04-24 15:26:15 -0400118 {"engine", OPT_ENGINE, 's', "Use engine, possibly a hardware device"},
Richard Levittef3852632016-03-18 20:06:29 +0100119# endif
fbroda08538fc2016-03-15 10:08:49 +0100120 {OPT_HELP_STR, 1, '-', "\nOptions specific to 'ts -verify': \n"},
121 OPT_V_OPTIONS,
122 {OPT_HELP_STR, 1, '-', "\n"},
Rich Salz7e1b7482015-04-24 15:26:15 -0400123 {NULL}
124};
125
126/*
klemens60250012016-08-05 19:56:58 +0200127 * This command is so complex, special help is needed.
Rich Salz7e1b7482015-04-24 15:26:15 -0400128 */
129static char* opt_helplist[] = {
130 "Typical uses:",
131 "ts -query [-rand file...] [-config file] [-data file]",
fbroda08538fc2016-03-15 10:08:49 +0100132 " [-digest hexstring] [-tspolicy oid] [-no_nonce] [-cert]",
Rich Salz7e1b7482015-04-24 15:26:15 -0400133 " [-in file] [-out file] [-text]",
134 " or",
135 "ts -reply [-config file] [-section tsa_section]",
136 " [-queryfile file] [-passin password]",
137 " [-signer tsa_cert.pem] [-inkey private_key.pem]",
fbroda08538fc2016-03-15 10:08:49 +0100138 " [-chain certs_file.pem] [-tspolicy oid]",
Rich Salz7e1b7482015-04-24 15:26:15 -0400139 " [-in file] [-token_in] [-out file] [-token_out]",
Richard Levittef3852632016-03-18 20:06:29 +0100140# ifndef OPENSSL_NO_ENGINE
Rich Salz7e1b7482015-04-24 15:26:15 -0400141 " [-text] [-engine id]",
FdaSilvaYY15b083e2016-05-10 23:39:25 +0200142# else
143 " [-text]",
Richard Levittef3852632016-03-18 20:06:29 +0100144# endif
Rich Salz7e1b7482015-04-24 15:26:15 -0400145 " or",
146 "ts -verify -CApath dir -CAfile file.pem -untrusted file.pem",
147 " [-data file] [-digest hexstring]",
148 " [-queryfile file] -in file [-token_in]",
fbroda08538fc2016-03-15 10:08:49 +0100149 " [[options specific to 'ts -verify']]",
Rich Salz7e1b7482015-04-24 15:26:15 -0400150 NULL,
151};
152
153int ts_main(int argc, char **argv)
Matt Caswell0f113f32015-01-22 03:40:55 +0000154{
Matt Caswell0f113f32015-01-22 03:40:55 +0000155 CONF *conf = NULL;
FdaSilvaYYcc696292016-08-04 23:52:22 +0200156 const char *CAfile = NULL, *untrusted = NULL, *prog;
157 const char *configfile = default_config_file, *engine = NULL;
158 const char *section = NULL;
159 char **helpp;
160 char *password = NULL;
Rich Salz7e1b7482015-04-24 15:26:15 -0400161 char *data = NULL, *digest = NULL, *rnd = NULL, *policy = NULL;
162 char *in = NULL, *out = NULL, *queryfile = NULL, *passin = NULL;
163 char *inkey = NULL, *signer = NULL, *chain = NULL, *CApath = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000164 const EVP_MD *md = NULL;
Rich Salz7e1b7482015-04-24 15:26:15 -0400165 OPTION_CHOICE o, mode = OPT_ERR;
166 int ret = 1, no_nonce = 0, cert = 0, text = 0;
fbroda08538fc2016-03-15 10:08:49 +0100167 int vpmtouched = 0;
168 X509_VERIFY_PARAM *vpm = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000169 /* Input is ContentInfo instead of TimeStampResp. */
170 int token_in = 0;
171 /* Output is ContentInfo instead of TimeStampResp. */
172 int token_out = 0;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000173
fbroda08538fc2016-03-15 10:08:49 +0100174 if ((vpm = X509_VERIFY_PARAM_new()) == NULL)
175 goto end;
176
Rich Salz7e1b7482015-04-24 15:26:15 -0400177 prog = opt_init(argc, argv, ts_options);
178 while ((o = opt_next()) != OPT_EOF) {
179 switch (o) {
180 case OPT_EOF:
181 case OPT_ERR:
182 opthelp:
183 BIO_printf(bio_err, "%s: Use -help for summary.\n", prog);
184 goto end;
185 case OPT_HELP:
186 opt_help(ts_options);
187 for (helpp = opt_helplist; *helpp; ++helpp)
188 BIO_printf(bio_err, "%s\n", *helpp);
189 ret = 0;
190 goto end;
191 case OPT_CONFIG:
192 configfile = opt_arg();
193 break;
194 case OPT_SECTION:
195 section = opt_arg();
196 break;
197 case OPT_QUERY:
198 case OPT_REPLY:
199 case OPT_VERIFY:
200 if (mode != OPT_ERR)
201 goto opthelp;
202 mode = o;
203 break;
204 case OPT_DATA:
205 data = opt_arg();
206 break;
207 case OPT_DIGEST:
208 digest = opt_arg();
209 break;
210 case OPT_RAND:
211 rnd = opt_arg();
212 break;
fbroda08538fc2016-03-15 10:08:49 +0100213 case OPT_TSPOLICY:
Rich Salz7e1b7482015-04-24 15:26:15 -0400214 policy = opt_arg();
215 break;
216 case OPT_NO_NONCE:
Matt Caswell0f113f32015-01-22 03:40:55 +0000217 no_nonce = 1;
Rich Salz7e1b7482015-04-24 15:26:15 -0400218 break;
219 case OPT_CERT:
Matt Caswell0f113f32015-01-22 03:40:55 +0000220 cert = 1;
Rich Salz7e1b7482015-04-24 15:26:15 -0400221 break;
222 case OPT_IN:
223 in = opt_arg();
224 break;
225 case OPT_TOKEN_IN:
Matt Caswell0f113f32015-01-22 03:40:55 +0000226 token_in = 1;
Rich Salz7e1b7482015-04-24 15:26:15 -0400227 break;
228 case OPT_OUT:
229 out = opt_arg();
230 break;
231 case OPT_TOKEN_OUT:
Matt Caswell0f113f32015-01-22 03:40:55 +0000232 token_out = 1;
Rich Salz7e1b7482015-04-24 15:26:15 -0400233 break;
234 case OPT_TEXT:
Matt Caswell0f113f32015-01-22 03:40:55 +0000235 text = 1;
Rich Salz7e1b7482015-04-24 15:26:15 -0400236 break;
237 case OPT_QUERYFILE:
238 queryfile = opt_arg();
239 break;
240 case OPT_PASSIN:
241 passin = opt_arg();
242 break;
243 case OPT_INKEY:
244 inkey = opt_arg();
245 break;
246 case OPT_SIGNER:
247 signer = opt_arg();
248 break;
249 case OPT_CHAIN:
250 chain = opt_arg();
251 break;
252 case OPT_CAPATH:
253 CApath = opt_arg();
254 break;
255 case OPT_CAFILE:
256 CAfile = opt_arg();
257 break;
258 case OPT_UNTRUSTED:
259 untrusted = opt_arg();
260 break;
261 case OPT_ENGINE:
262 engine = opt_arg();
263 break;
264 case OPT_MD:
265 if (!opt_md(opt_unknown(), &md))
266 goto opthelp;
267 break;
fbroda08538fc2016-03-15 10:08:49 +0100268 case OPT_V_CASES:
269 if (!opt_verify(o, vpm))
270 goto end;
271 vpmtouched++;
272 break;
Rich Salz7e1b7482015-04-24 15:26:15 -0400273 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000274 }
Matt Caswell5d94e5b2016-04-21 10:01:19 +0100275 if (mode == OPT_ERR || opt_num_rest() != 0)
Rich Salz7e1b7482015-04-24 15:26:15 -0400276 goto opthelp;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000277
Matt Caswell0f113f32015-01-22 03:40:55 +0000278 /* Seed the random number generator if it is going to be used. */
Rich Salz7e1b7482015-04-24 15:26:15 -0400279 if (mode == OPT_QUERY && !no_nonce) {
280 if (!app_RAND_load_file(NULL, 1) && rnd == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000281 BIO_printf(bio_err, "warning, not much extra random "
282 "data, consider using the -rand option\n");
283 if (rnd != NULL)
284 BIO_printf(bio_err, "%ld semi-random bytes loaded\n",
285 app_RAND_load_files(rnd));
286 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000287
Rich Salz7e1b7482015-04-24 15:26:15 -0400288 if (mode == OPT_REPLY && passin &&
289 !app_passwd(passin, NULL, &password, NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000290 BIO_printf(bio_err, "Error getting password.\n");
Rich Salz7e1b7482015-04-24 15:26:15 -0400291 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000292 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000293
Richard Levitte296f54e2015-05-29 08:07:10 +0200294 conf = load_config_file(configfile);
Dr. Stephen Hensonc821def2016-05-15 18:43:03 +0100295 if (configfile != default_config_file && !app_load_modules(conf))
Richard Levitte296f54e2015-05-29 08:07:10 +0200296 goto end;
297
Rich Salz18cd23d2015-05-07 23:41:07 -0400298 /* Check parameter consistency and execute the appropriate function. */
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400299 if (mode == OPT_QUERY) {
fbroda08538fc2016-03-15 10:08:49 +0100300 if (vpmtouched)
301 goto opthelp;
Rich Salz18cd23d2015-05-07 23:41:07 -0400302 if ((data != NULL) && (digest != NULL))
Rich Salz7e1b7482015-04-24 15:26:15 -0400303 goto opthelp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000304 ret = !query_command(data, digest, md, policy, no_nonce, cert,
305 in, out, text);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400306 } else if (mode == OPT_REPLY) {
fbroda08538fc2016-03-15 10:08:49 +0100307 if (vpmtouched)
308 goto opthelp;
Rich Salz18cd23d2015-05-07 23:41:07 -0400309 if ((in != NULL) && (queryfile != NULL))
310 goto opthelp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000311 if (in == NULL) {
Rich Salz18cd23d2015-05-07 23:41:07 -0400312 if ((conf == NULL) || (token_in != 0))
Rich Salz7e1b7482015-04-24 15:26:15 -0400313 goto opthelp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000314 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000315 ret = !reply_command(conf, section, engine, queryfile,
Dr. Stephen Hensone20b4722015-09-11 16:58:57 +0100316 password, inkey, md, signer, chain, policy,
Matt Caswell0f113f32015-01-22 03:40:55 +0000317 in, token_in, out, token_out, text);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400318
319 } else if (mode == OPT_VERIFY) {
Rich Salz18cd23d2015-05-07 23:41:07 -0400320 if ((in == NULL) || !EXACTLY_ONE(queryfile, data, digest))
Rich Salz7e1b7482015-04-24 15:26:15 -0400321 goto opthelp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000322 ret = !verify_command(data, digest, queryfile, in, token_in,
FdaSilvaYY6b4a77f2016-06-28 22:51:51 +0200323 CApath, CAfile, untrusted,
fbroda08538fc2016-03-15 10:08:49 +0100324 vpmtouched ? vpm : NULL);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400325 } else {
326 goto opthelp;
Matt Caswell0f113f32015-01-22 03:40:55 +0000327 }
328
Rich Salz7e1b7482015-04-24 15:26:15 -0400329 end:
fbroda08538fc2016-03-15 10:08:49 +0100330 X509_VERIFY_PARAM_free(vpm);
Rich Salz7e1b7482015-04-24 15:26:15 -0400331 app_RAND_write_file(NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +0000332 NCONF_free(conf);
333 OPENSSL_free(password);
Rich Salz7e1b7482015-04-24 15:26:15 -0400334 return (ret);
Matt Caswell0f113f32015-01-22 03:40:55 +0000335}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000336
337/*
338 * Configuration file-related function definitions.
339 */
340
341static ASN1_OBJECT *txt2obj(const char *oid)
Matt Caswell0f113f32015-01-22 03:40:55 +0000342{
343 ASN1_OBJECT *oid_obj = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000344
Rich Salz75ebbd92015-05-06 13:43:59 -0400345 if ((oid_obj = OBJ_txt2obj(oid, 0)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000346 BIO_printf(bio_err, "cannot convert %s to OID\n", oid);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000347
Matt Caswell0f113f32015-01-22 03:40:55 +0000348 return oid_obj;
349}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000350
351static CONF *load_config_file(const char *configfile)
Matt Caswell0f113f32015-01-22 03:40:55 +0000352{
Rich Salzcc01d212015-05-28 13:52:55 -0400353 CONF *conf = app_load_config(configfile);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000354
Matt Caswell0f113f32015-01-22 03:40:55 +0000355 if (conf != NULL) {
356 const char *p;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000357
Matt Caswell0f113f32015-01-22 03:40:55 +0000358 BIO_printf(bio_err, "Using configuration from %s\n", configfile);
359 p = NCONF_get_string(conf, NULL, ENV_OID_FILE);
360 if (p != NULL) {
361 BIO *oid_bio = BIO_new_file(p, "r");
362 if (!oid_bio)
363 ERR_print_errors(bio_err);
364 else {
365 OBJ_create_objects(oid_bio);
366 BIO_free_all(oid_bio);
367 }
368 } else
369 ERR_clear_error();
Rich Salz7e1b7482015-04-24 15:26:15 -0400370 if (!add_oid_section(conf))
Matt Caswell0f113f32015-01-22 03:40:55 +0000371 ERR_print_errors(bio_err);
372 }
373 return conf;
374}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000375
376/*
377 * Query-related method definitions.
378 */
FdaSilvaYYcc696292016-08-04 23:52:22 +0200379static int query_command(const char *data, const char *digest, const EVP_MD *md,
Matt Caswell0f113f32015-01-22 03:40:55 +0000380 const char *policy, int no_nonce,
381 int cert, const char *in, const char *out, int text)
382{
383 int ret = 0;
384 TS_REQ *query = NULL;
385 BIO *in_bio = NULL;
386 BIO *data_bio = NULL;
387 BIO *out_bio = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000388
Rich Salz18cd23d2015-05-07 23:41:07 -0400389 /* Build query object. */
Matt Caswell0f113f32015-01-22 03:40:55 +0000390 if (in != NULL) {
Richard Levittebdd58d92015-09-04 12:49:06 +0200391 if ((in_bio = bio_open_default(in, 'r', FORMAT_ASN1)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000392 goto end;
393 query = d2i_TS_REQ_bio(in_bio, NULL);
394 } else {
Rich Salz75ebbd92015-05-06 13:43:59 -0400395 if (digest == NULL
Richard Levittebdd58d92015-09-04 12:49:06 +0200396 && (data_bio = bio_open_default(data, 'r', FORMAT_ASN1)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000397 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000398 query = create_query(data_bio, digest, md, policy, no_nonce, cert);
Matt Caswell0f113f32015-01-22 03:40:55 +0000399 }
400 if (query == NULL)
401 goto end;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000402
Matt Caswell0f113f32015-01-22 03:40:55 +0000403 if (text) {
Richard Levittebdd58d92015-09-04 12:49:06 +0200404 if ((out_bio = bio_open_default(out, 'w', FORMAT_TEXT)) == NULL)
405 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000406 if (!TS_REQ_print_bio(out_bio, query))
407 goto end;
408 } else {
Richard Levittebdd58d92015-09-04 12:49:06 +0200409 if ((out_bio = bio_open_default(out, 'w', FORMAT_ASN1)) == NULL)
410 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000411 if (!i2d_TS_REQ_bio(out_bio, query))
412 goto end;
413 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000414
Matt Caswell0f113f32015-01-22 03:40:55 +0000415 ret = 1;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000416
417 end:
Matt Caswell0f113f32015-01-22 03:40:55 +0000418 ERR_print_errors(bio_err);
Matt Caswell0f113f32015-01-22 03:40:55 +0000419 BIO_free_all(in_bio);
420 BIO_free_all(data_bio);
421 BIO_free_all(out_bio);
422 TS_REQ_free(query);
Matt Caswell0f113f32015-01-22 03:40:55 +0000423 return ret;
424}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000425
FdaSilvaYYcc696292016-08-04 23:52:22 +0200426static TS_REQ *create_query(BIO *data_bio, const char *digest, const EVP_MD *md,
Matt Caswell0f113f32015-01-22 03:40:55 +0000427 const char *policy, int no_nonce, int cert)
428{
429 int ret = 0;
430 TS_REQ *ts_req = NULL;
431 int len;
432 TS_MSG_IMPRINT *msg_imprint = NULL;
433 X509_ALGOR *algo = NULL;
434 unsigned char *data = NULL;
435 ASN1_OBJECT *policy_obj = NULL;
436 ASN1_INTEGER *nonce_asn1 = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000437
Rich Salz75ebbd92015-05-06 13:43:59 -0400438 if (md == NULL && (md = EVP_get_digestbyname("sha1")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000439 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400440 if ((ts_req = TS_REQ_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000441 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000442 if (!TS_REQ_set_version(ts_req, 1))
443 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400444 if ((msg_imprint = TS_MSG_IMPRINT_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000445 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400446 if ((algo = X509_ALGOR_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000447 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400448 if ((algo->algorithm = OBJ_nid2obj(EVP_MD_type(md))) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000449 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400450 if ((algo->parameter = ASN1_TYPE_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000451 goto err;
452 algo->parameter->type = V_ASN1_NULL;
453 if (!TS_MSG_IMPRINT_set_algo(msg_imprint, algo))
454 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000455 if ((len = create_digest(data_bio, digest, md, &data)) == 0)
456 goto err;
457 if (!TS_MSG_IMPRINT_set_msg(msg_imprint, data, len))
458 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000459 if (!TS_REQ_set_msg_imprint(ts_req, msg_imprint))
460 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400461 if (policy && (policy_obj = txt2obj(policy)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000462 goto err;
463 if (policy_obj && !TS_REQ_set_policy_id(ts_req, policy_obj))
464 goto err;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000465
Matt Caswell0f113f32015-01-22 03:40:55 +0000466 /* Setting nonce if requested. */
Rich Salz75ebbd92015-05-06 13:43:59 -0400467 if (!no_nonce && (nonce_asn1 = create_nonce(NONCE_LENGTH)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000468 goto err;
469 if (nonce_asn1 && !TS_REQ_set_nonce(ts_req, nonce_asn1))
470 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000471 if (!TS_REQ_set_cert_req(ts_req, cert))
472 goto err;
473
474 ret = 1;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000475 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000476 if (!ret) {
477 TS_REQ_free(ts_req);
478 ts_req = NULL;
479 BIO_printf(bio_err, "could not create query\n");
Rich Salz18cd23d2015-05-07 23:41:07 -0400480 ERR_print_errors(bio_err);
Matt Caswell0f113f32015-01-22 03:40:55 +0000481 }
482 TS_MSG_IMPRINT_free(msg_imprint);
483 X509_ALGOR_free(algo);
484 OPENSSL_free(data);
485 ASN1_OBJECT_free(policy_obj);
486 ASN1_INTEGER_free(nonce_asn1);
487 return ts_req;
488}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000489
FdaSilvaYYcc696292016-08-04 23:52:22 +0200490static int create_digest(BIO *input, const char *digest, const EVP_MD *md,
Matt Caswell0f113f32015-01-22 03:40:55 +0000491 unsigned char **md_value)
492{
493 int md_value_len;
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100494 int rv = 0;
495 EVP_MD_CTX *md_ctx = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000496
Matt Caswell0f113f32015-01-22 03:40:55 +0000497 md_value_len = EVP_MD_size(md);
498 if (md_value_len < 0)
Rich Salz18cd23d2015-05-07 23:41:07 -0400499 return 0;
500
Matt Caswell0f113f32015-01-22 03:40:55 +0000501 if (input) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000502 unsigned char buffer[4096];
503 int length;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000504
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100505 md_ctx = EVP_MD_CTX_new();
Richard Levitte6e59a892015-11-27 14:02:12 +0100506 if (md_ctx == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000507 return 0;
Richard Levitte6e59a892015-11-27 14:02:12 +0100508 *md_value = app_malloc(md_value_len, "digest buffer");
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100509 if (!EVP_DigestInit(md_ctx, md))
510 goto err;
Richard Levitte6e59a892015-11-27 14:02:12 +0100511 while ((length = BIO_read(input, buffer, sizeof(buffer))) > 0) {
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100512 if (!EVP_DigestUpdate(md_ctx, buffer, length))
513 goto err;
Richard Levitte6e59a892015-11-27 14:02:12 +0100514 }
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100515 if (!EVP_DigestFinal(md_ctx, *md_value, NULL))
516 goto err;
517 md_value_len = EVP_MD_size(md);
Matt Caswell0f113f32015-01-22 03:40:55 +0000518 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +0000519 long digest_len;
Rich Salz14f051a2016-04-13 15:58:28 -0400520 *md_value = OPENSSL_hexstr2buf(digest, &digest_len);
Matt Caswell0f113f32015-01-22 03:40:55 +0000521 if (!*md_value || md_value_len != digest_len) {
522 OPENSSL_free(*md_value);
523 *md_value = NULL;
524 BIO_printf(bio_err, "bad digest, %d bytes "
525 "must be specified\n", md_value_len);
Rich Salz18cd23d2015-05-07 23:41:07 -0400526 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000527 }
528 }
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +0100529 rv = md_value_len;
530 err:
531 EVP_MD_CTX_free(md_ctx);
532 return rv;
Matt Caswell0f113f32015-01-22 03:40:55 +0000533}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000534
535static ASN1_INTEGER *create_nonce(int bits)
Matt Caswell0f113f32015-01-22 03:40:55 +0000536{
537 unsigned char buf[20];
538 ASN1_INTEGER *nonce = NULL;
539 int len = (bits - 1) / 8 + 1;
540 int i;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000541
Matt Caswell0f113f32015-01-22 03:40:55 +0000542 if (len > (int)sizeof(buf))
543 goto err;
544 if (RAND_bytes(buf, len) <= 0)
545 goto err;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000546
Matt Caswell0f113f32015-01-22 03:40:55 +0000547 /* Find the first non-zero byte and creating ASN1_INTEGER object. */
Rich Salz75ebbd92015-05-06 13:43:59 -0400548 for (i = 0; i < len && !buf[i]; ++i)
549 continue;
550 if ((nonce = ASN1_INTEGER_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000551 goto err;
552 OPENSSL_free(nonce->data);
Matt Caswell0f113f32015-01-22 03:40:55 +0000553 nonce->length = len - i;
Rich Salz68dc6822015-04-30 17:48:31 -0400554 nonce->data = app_malloc(nonce->length + 1, "nonce buffer");
Matt Caswell0f113f32015-01-22 03:40:55 +0000555 memcpy(nonce->data, buf + i, nonce->length);
Matt Caswell0f113f32015-01-22 03:40:55 +0000556 return nonce;
Rich Salz18cd23d2015-05-07 23:41:07 -0400557
Ulf Möllerc7235be2006-02-12 23:11:56 +0000558 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000559 BIO_printf(bio_err, "could not create nonce\n");
560 ASN1_INTEGER_free(nonce);
561 return NULL;
562}
563
Ulf Möllerc7235be2006-02-12 23:11:56 +0000564/*
565 * Reply-related method definitions.
566 */
567
FdaSilvaYYcc696292016-08-04 23:52:22 +0200568static int reply_command(CONF *conf, const char *section, const char *engine,
569 const char *queryfile, const char *passin, const char *inkey,
570 const EVP_MD *md, const char *signer, const char *chain,
571 const char *policy, const char *in, int token_in,
572 const char *out, int token_out, int text)
Matt Caswell0f113f32015-01-22 03:40:55 +0000573{
574 int ret = 0;
575 TS_RESP *response = NULL;
576 BIO *in_bio = NULL;
577 BIO *query_bio = NULL;
578 BIO *inkey_bio = NULL;
579 BIO *signer_bio = NULL;
580 BIO *out_bio = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000581
Matt Caswell0f113f32015-01-22 03:40:55 +0000582 if (in != NULL) {
583 if ((in_bio = BIO_new_file(in, "rb")) == NULL)
584 goto end;
585 if (token_in) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000586 response = read_PKCS7(in_bio);
587 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +0000588 response = d2i_TS_RESP_bio(in_bio, NULL);
589 }
590 } else {
591 response = create_response(conf, section, engine, queryfile,
Dr. Stephen Hensone20b4722015-09-11 16:58:57 +0100592 passin, inkey, md, signer, chain, policy);
Matt Caswell0f113f32015-01-22 03:40:55 +0000593 if (response)
594 BIO_printf(bio_err, "Response has been generated.\n");
595 else
596 BIO_printf(bio_err, "Response is not generated.\n");
597 }
598 if (response == NULL)
599 goto end;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000600
Rich Salz18cd23d2015-05-07 23:41:07 -0400601 /* Write response. */
Matt Caswell0f113f32015-01-22 03:40:55 +0000602 if (text) {
Richard Levittebdd58d92015-09-04 12:49:06 +0200603 if ((out_bio = bio_open_default(out, 'w', FORMAT_TEXT)) == NULL)
604 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000605 if (token_out) {
606 TS_TST_INFO *tst_info = TS_RESP_get_tst_info(response);
607 if (!TS_TST_INFO_print_bio(out_bio, tst_info))
608 goto end;
609 } else {
610 if (!TS_RESP_print_bio(out_bio, response))
611 goto end;
612 }
613 } else {
Richard Levittebdd58d92015-09-04 12:49:06 +0200614 if ((out_bio = bio_open_default(out, 'w', FORMAT_ASN1)) == NULL)
615 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000616 if (token_out) {
617 PKCS7 *token = TS_RESP_get_token(response);
618 if (!i2d_PKCS7_bio(out_bio, token))
619 goto end;
620 } else {
621 if (!i2d_TS_RESP_bio(out_bio, response))
622 goto end;
623 }
624 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000625
Matt Caswell0f113f32015-01-22 03:40:55 +0000626 ret = 1;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000627
628 end:
Matt Caswell0f113f32015-01-22 03:40:55 +0000629 ERR_print_errors(bio_err);
Matt Caswell0f113f32015-01-22 03:40:55 +0000630 BIO_free_all(in_bio);
631 BIO_free_all(query_bio);
632 BIO_free_all(inkey_bio);
633 BIO_free_all(signer_bio);
634 BIO_free_all(out_bio);
635 TS_RESP_free(response);
Matt Caswell0f113f32015-01-22 03:40:55 +0000636 return ret;
637}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000638
639/* Reads a PKCS7 token and adds default 'granted' status info to it. */
640static TS_RESP *read_PKCS7(BIO *in_bio)
Matt Caswell0f113f32015-01-22 03:40:55 +0000641{
642 int ret = 0;
643 PKCS7 *token = NULL;
644 TS_TST_INFO *tst_info = NULL;
645 TS_RESP *resp = NULL;
646 TS_STATUS_INFO *si = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000647
Rich Salz75ebbd92015-05-06 13:43:59 -0400648 if ((token = d2i_PKCS7_bio(in_bio, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000649 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400650 if ((tst_info = PKCS7_to_TS_TST_INFO(token)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000651 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400652 if ((resp = TS_RESP_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000653 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400654 if ((si = TS_STATUS_INFO_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000655 goto end;
Rich Salzca4a4942015-06-10 14:07:40 -0400656 if (!TS_STATUS_INFO_set_status(si, TS_STATUS_GRANTED))
Matt Caswell0f113f32015-01-22 03:40:55 +0000657 goto end;
658 if (!TS_RESP_set_status_info(resp, si))
659 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000660 TS_RESP_set_tst_info(resp, token, tst_info);
661 token = NULL; /* Ownership is lost. */
662 tst_info = NULL; /* Ownership is lost. */
Matt Caswell0f113f32015-01-22 03:40:55 +0000663 ret = 1;
Rich Salz18cd23d2015-05-07 23:41:07 -0400664
Ulf Möllerc7235be2006-02-12 23:11:56 +0000665 end:
Matt Caswell0f113f32015-01-22 03:40:55 +0000666 PKCS7_free(token);
667 TS_TST_INFO_free(tst_info);
668 if (!ret) {
669 TS_RESP_free(resp);
670 resp = NULL;
671 }
672 TS_STATUS_INFO_free(si);
673 return resp;
674}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000675
FdaSilvaYYcc696292016-08-04 23:52:22 +0200676static TS_RESP *create_response(CONF *conf, const char *section, const char *engine,
677 const char *queryfile, const char *passin,
678 const char *inkey, const EVP_MD *md, const char *signer,
679 const char *chain, const char *policy)
Matt Caswell0f113f32015-01-22 03:40:55 +0000680{
681 int ret = 0;
682 TS_RESP *response = NULL;
683 BIO *query_bio = NULL;
684 TS_RESP_CTX *resp_ctx = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000685
Rich Salz75ebbd92015-05-06 13:43:59 -0400686 if ((query_bio = BIO_new_file(queryfile, "rb")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000687 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400688 if ((section = TS_CONF_get_tsa_section(conf, section)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000689 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400690 if ((resp_ctx = TS_RESP_CTX_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000691 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000692 if (!TS_CONF_set_serial(conf, section, serial_cb, resp_ctx))
693 goto end;
Richard Levittef3852632016-03-18 20:06:29 +0100694# ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +0000695 if (!TS_CONF_set_crypto_device(conf, section, engine))
696 goto end;
Richard Levittef3852632016-03-18 20:06:29 +0100697# endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000698 if (!TS_CONF_set_signer_cert(conf, section, signer, resp_ctx))
699 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000700 if (!TS_CONF_set_certs(conf, section, chain, resp_ctx))
701 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000702 if (!TS_CONF_set_signer_key(conf, section, inkey, passin, resp_ctx))
703 goto end;
Dr. Stephen Hensone20b4722015-09-11 16:58:57 +0100704
705 if (md) {
706 if (!TS_RESP_CTX_set_signer_digest(resp_ctx, md))
707 goto end;
708 } else if (!TS_CONF_set_signer_digest(conf, section, NULL, resp_ctx)) {
709 goto end;
710 }
711
Matt Caswell0f113f32015-01-22 03:40:55 +0000712 if (!TS_CONF_set_def_policy(conf, section, policy, resp_ctx))
713 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000714 if (!TS_CONF_set_policies(conf, section, resp_ctx))
715 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000716 if (!TS_CONF_set_digests(conf, section, resp_ctx))
717 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000718 if (!TS_CONF_set_accuracy(conf, section, resp_ctx))
719 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000720 if (!TS_CONF_set_clock_precision_digits(conf, section, resp_ctx))
721 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000722 if (!TS_CONF_set_ordering(conf, section, resp_ctx))
723 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000724 if (!TS_CONF_set_tsa_name(conf, section, resp_ctx))
725 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000726 if (!TS_CONF_set_ess_cert_id_chain(conf, section, resp_ctx))
727 goto end;
Rich Salz75ebbd92015-05-06 13:43:59 -0400728 if ((response = TS_RESP_create_response(resp_ctx, query_bio)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000729 goto end;
Matt Caswell0f113f32015-01-22 03:40:55 +0000730 ret = 1;
Rich Salz18cd23d2015-05-07 23:41:07 -0400731
Ulf Möllerc7235be2006-02-12 23:11:56 +0000732 end:
Matt Caswell0f113f32015-01-22 03:40:55 +0000733 if (!ret) {
734 TS_RESP_free(response);
735 response = NULL;
736 }
737 TS_RESP_CTX_free(resp_ctx);
738 BIO_free_all(query_bio);
Matt Caswell0f113f32015-01-22 03:40:55 +0000739 return response;
740}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000741
Matt Caswell0f113f32015-01-22 03:40:55 +0000742static ASN1_INTEGER *serial_cb(TS_RESP_CTX *ctx, void *data)
743{
744 const char *serial_file = (const char *)data;
745 ASN1_INTEGER *serial = next_serial(serial_file);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000746
Matt Caswell0f113f32015-01-22 03:40:55 +0000747 if (!serial) {
748 TS_RESP_CTX_set_status_info(ctx, TS_STATUS_REJECTION,
749 "Error during serial number "
750 "generation.");
751 TS_RESP_CTX_add_failure_info(ctx, TS_INFO_ADD_INFO_NOT_AVAILABLE);
752 } else
753 save_ts_serial(serial_file, serial);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000754
Matt Caswell0f113f32015-01-22 03:40:55 +0000755 return serial;
756}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000757
758static ASN1_INTEGER *next_serial(const char *serialfile)
Matt Caswell0f113f32015-01-22 03:40:55 +0000759{
760 int ret = 0;
761 BIO *in = NULL;
762 ASN1_INTEGER *serial = NULL;
763 BIGNUM *bn = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000764
Rich Salz75ebbd92015-05-06 13:43:59 -0400765 if ((serial = ASN1_INTEGER_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000766 goto err;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000767
Rich Salz75ebbd92015-05-06 13:43:59 -0400768 if ((in = BIO_new_file(serialfile, "r")) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000769 ERR_clear_error();
770 BIO_printf(bio_err, "Warning: could not open file %s for "
771 "reading, using serial number: 1\n", serialfile);
772 if (!ASN1_INTEGER_set(serial, 1))
773 goto err;
774 } else {
775 char buf[1024];
776 if (!a2i_ASN1_INTEGER(in, serial, buf, sizeof(buf))) {
777 BIO_printf(bio_err, "unable to load number from %s\n",
778 serialfile);
779 goto err;
780 }
Rich Salz75ebbd92015-05-06 13:43:59 -0400781 if ((bn = ASN1_INTEGER_to_BN(serial, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000782 goto err;
783 ASN1_INTEGER_free(serial);
784 serial = NULL;
785 if (!BN_add_word(bn, 1))
786 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400787 if ((serial = BN_to_ASN1_INTEGER(bn, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000788 goto err;
789 }
790 ret = 1;
Rich Salz18cd23d2015-05-07 23:41:07 -0400791
Ulf Möllerc7235be2006-02-12 23:11:56 +0000792 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000793 if (!ret) {
794 ASN1_INTEGER_free(serial);
795 serial = NULL;
796 }
797 BIO_free_all(in);
798 BN_free(bn);
799 return serial;
800}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000801
802static int save_ts_serial(const char *serialfile, ASN1_INTEGER *serial)
Matt Caswell0f113f32015-01-22 03:40:55 +0000803{
804 int ret = 0;
805 BIO *out = NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000806
Rich Salz75ebbd92015-05-06 13:43:59 -0400807 if ((out = BIO_new_file(serialfile, "w")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000808 goto err;
809 if (i2a_ASN1_INTEGER(out, serial) <= 0)
810 goto err;
811 if (BIO_puts(out, "\n") <= 0)
812 goto err;
813 ret = 1;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000814 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000815 if (!ret)
816 BIO_printf(bio_err, "could not save serial number to %s\n",
817 serialfile);
818 BIO_free_all(out);
819 return ret;
820}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000821
Rich Salz18cd23d2015-05-07 23:41:07 -0400822
Ulf Möllerc7235be2006-02-12 23:11:56 +0000823/*
824 * Verify-related method definitions.
825 */
826
FdaSilvaYYcc696292016-08-04 23:52:22 +0200827static int verify_command(const char *data, const char *digest, const char *queryfile,
828 const char *in, int token_in,
829 const char *CApath, const char *CAfile, const char *untrusted,
fbroda08538fc2016-03-15 10:08:49 +0100830 X509_VERIFY_PARAM *vpm)
Matt Caswell0f113f32015-01-22 03:40:55 +0000831{
832 BIO *in_bio = NULL;
833 PKCS7 *token = NULL;
834 TS_RESP *response = NULL;
835 TS_VERIFY_CTX *verify_ctx = NULL;
836 int ret = 0;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000837
Rich Salz75ebbd92015-05-06 13:43:59 -0400838 if ((in_bio = BIO_new_file(in, "rb")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000839 goto end;
840 if (token_in) {
Rich Salz75ebbd92015-05-06 13:43:59 -0400841 if ((token = d2i_PKCS7_bio(in_bio, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000842 goto end;
843 } else {
Rich Salz75ebbd92015-05-06 13:43:59 -0400844 if ((response = d2i_TS_RESP_bio(in_bio, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000845 goto end;
846 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000847
Rich Salz75ebbd92015-05-06 13:43:59 -0400848 if ((verify_ctx = create_verify_ctx(data, digest, queryfile,
fbroda08538fc2016-03-15 10:08:49 +0100849 CApath, CAfile, untrusted,
850 vpm)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000851 goto end;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000852
Rich Salz18cd23d2015-05-07 23:41:07 -0400853 ret = token_in
854 ? TS_RESP_verify_token(verify_ctx, token)
855 : TS_RESP_verify_response(verify_ctx, response);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000856
857 end:
Matt Caswell0f113f32015-01-22 03:40:55 +0000858 printf("Verification: ");
859 if (ret)
860 printf("OK\n");
861 else {
862 printf("FAILED\n");
Matt Caswell0f113f32015-01-22 03:40:55 +0000863 ERR_print_errors(bio_err);
864 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000865
Matt Caswell0f113f32015-01-22 03:40:55 +0000866 BIO_free_all(in_bio);
867 PKCS7_free(token);
868 TS_RESP_free(response);
869 TS_VERIFY_CTX_free(verify_ctx);
870 return ret;
871}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000872
FdaSilvaYYcc696292016-08-04 23:52:22 +0200873static TS_VERIFY_CTX *create_verify_ctx(const char *data, const char *digest,
874 const char *queryfile,
875 const char *CApath, const char *CAfile,
876 const char *untrusted,
fbroda08538fc2016-03-15 10:08:49 +0100877 X509_VERIFY_PARAM *vpm)
Matt Caswell0f113f32015-01-22 03:40:55 +0000878{
879 TS_VERIFY_CTX *ctx = NULL;
880 BIO *input = NULL;
881 TS_REQ *request = NULL;
882 int ret = 0;
Rich Salzca4a4942015-06-10 14:07:40 -0400883 int f = 0;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000884
Matt Caswell0f113f32015-01-22 03:40:55 +0000885 if (data != NULL || digest != NULL) {
Rich Salz75ebbd92015-05-06 13:43:59 -0400886 if ((ctx = TS_VERIFY_CTX_new()) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000887 goto err;
Rich Salzca4a4942015-06-10 14:07:40 -0400888 f = TS_VFY_VERSION | TS_VFY_SIGNER;
Matt Caswell0f113f32015-01-22 03:40:55 +0000889 if (data != NULL) {
Yuchie0670972017-02-05 19:33:47 -0500890 BIO *out = NULL;
891
Rich Salzca4a4942015-06-10 14:07:40 -0400892 f |= TS_VFY_DATA;
Yuchie0670972017-02-05 19:33:47 -0500893 if ((out = BIO_new_file(data, "rb")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000894 goto err;
Yuchie0670972017-02-05 19:33:47 -0500895 if (TS_VERIFY_CTX_set_data(ctx, out) == NULL) {
896 BIO_free_all(out);
897 goto err;
898 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000899 } else if (digest != NULL) {
900 long imprint_len;
Rich Salz14f051a2016-04-13 15:58:28 -0400901 unsigned char *hexstr = OPENSSL_hexstr2buf(digest, &imprint_len);
Rich Salzca4a4942015-06-10 14:07:40 -0400902 f |= TS_VFY_IMPRINT;
903 if (TS_VERIFY_CTX_set_imprint(ctx, hexstr, imprint_len) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000904 BIO_printf(bio_err, "invalid digest string\n");
905 goto err;
906 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000907 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000908
Matt Caswell0f113f32015-01-22 03:40:55 +0000909 } else if (queryfile != NULL) {
Rich Salz75ebbd92015-05-06 13:43:59 -0400910 if ((input = BIO_new_file(queryfile, "rb")) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000911 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400912 if ((request = d2i_TS_REQ_bio(input, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000913 goto err;
Rich Salz75ebbd92015-05-06 13:43:59 -0400914 if ((ctx = TS_REQ_to_TS_VERIFY_CTX(request, NULL)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000915 goto err;
916 } else
917 return NULL;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000918
Matt Caswell0f113f32015-01-22 03:40:55 +0000919 /* Add the signature verification flag and arguments. */
Rich Salzca4a4942015-06-10 14:07:40 -0400920 TS_VERIFY_CTX_add_flags(ctx, f | TS_VFY_SIGNATURE);
Ulf Möllerc7235be2006-02-12 23:11:56 +0000921
Matt Caswell0f113f32015-01-22 03:40:55 +0000922 /* Initialising the X509_STORE object. */
fbroda08538fc2016-03-15 10:08:49 +0100923 if (TS_VERIFY_CTX_set_store(ctx, create_cert_store(CApath, CAfile, vpm))
Rich Salzca4a4942015-06-10 14:07:40 -0400924 == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000925 goto err;
926
927 /* Loading untrusted certificates. */
Rich Salzca4a4942015-06-10 14:07:40 -0400928 if (untrusted
929 && TS_VERIFY_CTS_set_certs(ctx, TS_CONF_load_certs(untrusted)) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000930 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000931 ret = 1;
Rich Salz18cd23d2015-05-07 23:41:07 -0400932
Ulf Möllerc7235be2006-02-12 23:11:56 +0000933 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000934 if (!ret) {
935 TS_VERIFY_CTX_free(ctx);
936 ctx = NULL;
937 }
938 BIO_free_all(input);
939 TS_REQ_free(request);
940 return ctx;
941}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000942
FdaSilvaYYcc696292016-08-04 23:52:22 +0200943static X509_STORE *create_cert_store(const char *CApath, const char *CAfile,
944 X509_VERIFY_PARAM *vpm)
Matt Caswell0f113f32015-01-22 03:40:55 +0000945{
946 X509_STORE *cert_ctx = NULL;
947 X509_LOOKUP *lookup = NULL;
948 int i;
Ulf Möllerc7235be2006-02-12 23:11:56 +0000949
Matt Caswell0f113f32015-01-22 03:40:55 +0000950 cert_ctx = X509_STORE_new();
Matt Caswell0f113f32015-01-22 03:40:55 +0000951 X509_STORE_set_verify_cb(cert_ctx, verify_cb);
Matt Caswell96487cd2015-10-30 11:18:04 +0000952 if (CApath != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000953 lookup = X509_STORE_add_lookup(cert_ctx, X509_LOOKUP_hash_dir());
954 if (lookup == NULL) {
955 BIO_printf(bio_err, "memory allocation failure\n");
956 goto err;
957 }
Rich Salz7e1b7482015-04-24 15:26:15 -0400958 i = X509_LOOKUP_add_dir(lookup, CApath, X509_FILETYPE_PEM);
Matt Caswell0f113f32015-01-22 03:40:55 +0000959 if (!i) {
Rich Salz7e1b7482015-04-24 15:26:15 -0400960 BIO_printf(bio_err, "Error loading directory %s\n", CApath);
Matt Caswell0f113f32015-01-22 03:40:55 +0000961 goto err;
962 }
963 }
Ulf Möllerc7235be2006-02-12 23:11:56 +0000964
Matt Caswell96487cd2015-10-30 11:18:04 +0000965 if (CAfile != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000966 lookup = X509_STORE_add_lookup(cert_ctx, X509_LOOKUP_file());
967 if (lookup == NULL) {
968 BIO_printf(bio_err, "memory allocation failure\n");
969 goto err;
970 }
Rich Salz7e1b7482015-04-24 15:26:15 -0400971 i = X509_LOOKUP_load_file(lookup, CAfile, X509_FILETYPE_PEM);
Matt Caswell0f113f32015-01-22 03:40:55 +0000972 if (!i) {
Rich Salz7e1b7482015-04-24 15:26:15 -0400973 BIO_printf(bio_err, "Error loading file %s\n", CAfile);
Matt Caswell0f113f32015-01-22 03:40:55 +0000974 goto err;
975 }
976 }
fbroda08538fc2016-03-15 10:08:49 +0100977
FdaSilvaYY6b4a77f2016-06-28 22:51:51 +0200978 if (vpm != NULL)
fbroda08538fc2016-03-15 10:08:49 +0100979 X509_STORE_set1_param(cert_ctx, vpm);
980
Matt Caswell0f113f32015-01-22 03:40:55 +0000981 return cert_ctx;
Rich Salz18cd23d2015-05-07 23:41:07 -0400982
Ulf Möllerc7235be2006-02-12 23:11:56 +0000983 err:
Matt Caswell0f113f32015-01-22 03:40:55 +0000984 X509_STORE_free(cert_ctx);
985 return NULL;
986}
Ulf Möllerc7235be2006-02-12 23:11:56 +0000987
Rich Salz6d23cf92015-01-12 17:29:26 -0500988static int verify_cb(int ok, X509_STORE_CTX *ctx)
Matt Caswell0f113f32015-01-22 03:40:55 +0000989{
Matt Caswell0f113f32015-01-22 03:40:55 +0000990 return ok;
991}
FdaSilvaYYa8db2cf2016-06-10 22:37:32 +0200992#endif /* ndef OPENSSL_NO_TS */