fips_dssvs.c 16.3 KB
Newer Older
1 2

#define OPENSSL_FIPSAPI
D
Dr. Stephen Henson 已提交
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
#include <openssl/opensslconf.h>

#ifndef OPENSSL_FIPS
#include <stdio.h>

int main(int argc, char **argv)
{
    printf("No FIPS DSA support\n");
    return(0);
}
#else

#include <openssl/bn.h>
#include <openssl/dsa.h>
#include <openssl/fips.h>
#include <openssl/err.h>
#include <openssl/evp.h>
#include <string.h>
#include <ctype.h>

#include "fips_utl.h"

25 26 27 28 29 30 31 32 33 34 35 36 37
static int parse_mod(char *line, int *pdsa2, int *pL, int *pN,
				const EVP_MD **pmd)
	{
	char lbuf[10240];
	char *keyword, *value;

	char *p;
	p = strchr(line, ',');
	if (!p)
		{
		*pL = atoi(line);
		*pdsa2 = 0;
		*pN = 160;
38 39
		if (pmd)
			*pmd = EVP_sha1();
40 41 42 43
		return 1;
		}
	*pdsa2 = 1;
	*p = 0;
44
	if (!parse_line2(&keyword, &value, lbuf, line, 0))
45 46 47 48 49
		return 0;
	if (strcmp(keyword, "L"))
		return 0;
	*pL = atoi(value);
	strcpy(line, p + 1);
50 51 52 53
	if (pmd)
		p = strchr(line, ',');
	else
		p = strchr(line, ']');
54 55 56
	if (!p)
		return 0;
	*p = 0;
57
	if (!parse_line2(&keyword, &value, lbuf, line, 0))
58 59 60 61
		return 0;
	if (strcmp(keyword, "N"))
		return 0;
	*pN = atoi(value);
62 63
	if (!pmd)
		return 1;
64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86
	strcpy(line, p + 1);
	p = strchr(line, ']');
	if (!p)
		return 0;
	*p = 0;
	p = line;
	while(isspace(*p))
		p++;
	if (!strcmp(p, "SHA-1"))
		*pmd = EVP_sha1();
	else if (!strcmp(p, "SHA-224"))
		*pmd = EVP_sha224();
	else if (!strcmp(p, "SHA-256"))
		*pmd = EVP_sha256();
	else if (!strcmp(p, "SHA-384"))
		*pmd = EVP_sha384();
	else if (!strcmp(p, "SHA-512"))
		*pmd = EVP_sha512();
	else
		return 0;
	return 1;
	}

87
static void primes(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
88 89 90 91 92
    {
    char buf[10240];
    char lbuf[10240];
    char *keyword, *value;

93
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
94
	{
95
	fputs(buf,out);
D
Dr. Stephen Henson 已提交
96 97 98 99 100 101 102 103
	if (!parse_line(&keyword, &value, lbuf, buf))
		continue;
	if(!strcmp(keyword,"Prime"))
	    {
	    BIGNUM *pp;

	    pp=BN_new();
	    do_hex2bn(&pp,value);
104
	    fprintf(out, "result= %c" RESP_EOL,
D
Dr. Stephen Henson 已提交
105 106 107 108 109 110 111 112 113
		   BN_is_prime_ex(pp,20,NULL,NULL) ? 'P' : 'F');
	    }	    
	}
    }

int dsa_builtin_paramgen(DSA *ret, size_t bits, size_t qbits,
	const EVP_MD *evpmd, const unsigned char *seed_in, size_t seed_len,
	unsigned char *seed_out,
	int *counter_ret, unsigned long *h_ret, BN_GENCB *cb);
114
int dsa_builtin_paramgen2(DSA *ret, size_t L, size_t N,
115
	const EVP_MD *evpmd, const unsigned char *seed_in, size_t seed_len,
116
	int idx, unsigned char *seed_out,
117
	int *counter_ret, unsigned long *h_ret, BN_GENCB *cb);
D
Dr. Stephen Henson 已提交
118

119 120
int dsa_paramgen_check_g(DSA *dsa);

121
static void pqg(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
122 123 124 125
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
D
Dr. Stephen Henson 已提交
126 127
    int dsa2, L, N;
    const EVP_MD *md = NULL;
128 129 130 131 132
    BIGNUM *p = NULL, *q = NULL;
    enum pqtype { PQG_NONE, PQG_PQ, PQG_G, PQG_GCANON}
		pqg_type = PQG_NONE;
    int seedlen=-1, idxlen, idx = -1;
    unsigned char seed[1024], idtmp[1024];
D
Dr. Stephen Henson 已提交
133

134
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
135
	{
136 137 138 139 140 141 142 143 144
	if (buf[0] == '[')
		{
	    	if (strstr(buf, "Probable"))
			pqg_type = PQG_PQ;
	    	else if (strstr(buf, "Unverifiable"))
			pqg_type = PQG_G;
	    	else if (strstr(buf, "Canonical"))
			pqg_type = PQG_GCANON;
		}
D
Dr. Stephen Henson 已提交
145 146
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
147
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
148 149
		continue;
		}
150
	if (strcmp(keyword, "Num"))
151
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
152
	if(!strcmp(keyword,"[mod"))
153
	    {
D
Dr. Stephen Henson 已提交
154 155 156 157 158
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
159
	    }
160 161
	else if(!strcmp(keyword,"N") 
		|| (!strcmp(keyword, "Num") && pqg_type == PQG_PQ))
D
Dr. Stephen Henson 已提交
162 163 164 165 166 167 168 169 170 171
	    {
	    int n=atoi(value);

	    while(n--)
		{
		DSA *dsa;
		int counter;
		unsigned long h;
		dsa = FIPS_dsa_new();

D
Dr. Stephen Henson 已提交
172 173 174 175 176 177 178 179
		if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, md,
						NULL, 0, seed,
						&counter, &h, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
		if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, md,
180
						NULL, 0, -1, seed,
D
Dr. Stephen Henson 已提交
181 182 183
						&counter, &h, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
D
Dr. Stephen Henson 已提交
184
			exit(1);
D
Dr. Stephen Henson 已提交
185 186
			}
 
187 188
		do_bn_print_name(out, "P",dsa->p);
		do_bn_print_name(out, "Q",dsa->q);
189 190 191 192 193 194
		if (!dsa2)
			do_bn_print_name(out, "G",dsa->g);
		OutputValue(dsa2 ? "domain_parameter_seed" : "Seed",
				seed, M_EVP_MD_size(md), out, 0);
		if (!dsa2)
			{
195 196
			fprintf(out, "c = %d" RESP_EOL, counter);
			fprintf(out, "H = %lx" RESP_EOL RESP_EOL,h);
197 198
			}
		else
199
			{
200
			fprintf(out, "counter = %d" RESP_EOL RESP_EOL, counter);
201
			}
D
Dr. Stephen Henson 已提交
202 203
		}
	    }
204 205 206 207 208 209
	else if(!strcmp(keyword,"P"))
	    p=hex2bn(value);
	else if(!strcmp(keyword,"Q"))
	    q=hex2bn(value);
	else if(!strcmp(keyword,"domain_parameter_seed"))
	    seedlen = hex2bin(value, seed);
210 211 212 213 214 215
	else if(!strcmp(keyword,"firstseed"))
	    seedlen = hex2bin(value, seed);
	else if(!strcmp(keyword,"pseed"))
	    seedlen += hex2bin(value, seed + seedlen);
	else if(!strcmp(keyword,"qseed"))
	    seedlen += hex2bin(value, seed + seedlen);
216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243
	else if(!strcmp(keyword,"index"))
	    {
	    idxlen = hex2bin(value, idtmp);
            if (idxlen != 1)
		{
		fprintf(stderr, "Index value error\n");
		exit (1);
		}
	    idx = idtmp[0];
	    }
	if ((idx >= 0 && pqg_type == PQG_GCANON) || (q && pqg_type == PQG_G))
		{
		DSA *dsa;
		dsa = FIPS_dsa_new();
		dsa->p = p;
		dsa->q = q;
		p = q = NULL;
		if (dsa_builtin_paramgen2(dsa, L, N, md,
						seed, seedlen, idx, NULL,
						NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
		do_bn_print_name(out, "G",dsa->g);
		FIPS_dsa_free(dsa);
		idx = -1;
		}
D
Dr. Stephen Henson 已提交
244 245 246
	}
    }

247
static void pqgver(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
248 249 250 251 252
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
    BIGNUM *p = NULL, *q = NULL, *g = NULL;
D
Dr. Stephen Henson 已提交
253
    int counter=-1, counter2;
D
Dr. Stephen Henson 已提交
254
    unsigned long h=0, h2;
D
Dr. Stephen Henson 已提交
255
    DSA *dsa=NULL;
256
    int dsa2, L, N, part_test = 0;
257
    const EVP_MD *md = NULL;
258 259
    int seedlen=-1, idxlen, idx = -1;
    unsigned char seed[1024], idtmp[1024];
D
Dr. Stephen Henson 已提交
260

261
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
262 263 264
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
265 266 267 268 269
		if (p && q)
			{
			part_test = 1;
			goto partial;
			}
270
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
271 272
		continue;
		}
273
	fputs(buf, out);
D
Dr. Stephen Henson 已提交
274
	if(!strcmp(keyword,"[mod"))
275 276 277 278 279 280 281
	    {
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
	    }
D
Dr. Stephen Henson 已提交
282 283 284 285 286 287
	else if(!strcmp(keyword,"P"))
	    p=hex2bn(value);
	else if(!strcmp(keyword,"Q"))
	    q=hex2bn(value);
	else if(!strcmp(keyword,"G"))
	    g=hex2bn(value);
288 289 290 291 292 293
	else if(!strcmp(keyword,"firstseed"))
	    seedlen = hex2bin(value, seed);
	else if(!strcmp(keyword,"pseed"))
	    seedlen += hex2bin(value, seed + seedlen);
	else if(!strcmp(keyword,"qseed"))
	    seedlen += hex2bin(value, seed + seedlen);
294 295
	else if(!strcmp(keyword,"Seed")
		|| !strcmp(keyword,"domain_parameter_seed"))
D
Dr. Stephen Henson 已提交
296
	    {
297 298
	    seedlen = hex2bin(value, seed);
	    if (!dsa2 && seedlen != 20)
D
Dr. Stephen Henson 已提交
299 300 301 302
		{
		fprintf(stderr, "Seed parse length error\n");
		exit (1);
		}
303 304 305 306 307 308 309 310 311 312 313 314
	    if (idx > 0)
		part_test = 1;
	    }
	else if(!strcmp(keyword,"index"))
	    {
	    idxlen = hex2bin(value, idtmp);
            if (idxlen != 1)
		{
		fprintf(stderr, "Index value error\n");
		exit (1);
		}
	    idx = idtmp[0];
D
Dr. Stephen Henson 已提交
315 316
	    }
	else if(!strcmp(keyword,"c"))
317
	    counter = atoi(buf+4);
318
	partial:
319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339
	if (part_test && idx < 0 && h == 0 && g)
	    {
	    dsa = FIPS_dsa_new();
	    dsa->p = BN_dup(p);
	    dsa->q = BN_dup(q);
	    dsa->g = BN_dup(g);
	    if (dsa_paramgen_check_g(dsa))
		fprintf(out, "Result = P" RESP_EOL);
	    else
		fprintf(out, "Result = F" RESP_EOL);
	    BN_free(p);
	    BN_free(q);
	    BN_free(g);
	    p = NULL;
	    q = NULL;
	    g = NULL;
	    FIPS_dsa_free(dsa);
	    dsa = NULL;
	    part_test = 0;
	    }
	else if(!strcmp(keyword,"H") || part_test)
D
Dr. Stephen Henson 已提交
340
	    {
341 342 343
	    if (!part_test)
	    	h = atoi(value);
	    if (!p || !q || (!g && !part_test))
D
Dr. Stephen Henson 已提交
344 345 346 347 348
		{
		fprintf(stderr, "Parse Error\n");
		exit (1);
		}
	    dsa = FIPS_dsa_new();
349 350 351 352 353
	    if (idx >= 0)
		{
		dsa->p = BN_dup(p);
		dsa->q = BN_dup(q);
		}
354
	    no_err = 1;
355 356 357 358 359 360 361 362
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, md,
					seed, seedlen, NULL,
					&counter2, &h2, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, md,
363
					seed, seedlen, idx, NULL,
364 365 366
					&counter2, &h2, NULL) < 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
D
Dr. Stephen Henson 已提交
367
			exit(1);
368
			}
369
	    no_err = 0;
370 371 372
	    if (idx >= 0)
		{
		if (BN_cmp(dsa->g, g))
373
			fprintf(out, "Result = F" RESP_EOL);
374
		else
375
			fprintf(out, "Result = P" RESP_EOL);
376 377
		}
            else if (BN_cmp(dsa->p, p) || BN_cmp(dsa->q, q) || 
378 379
		(!part_test &&
		((BN_cmp(dsa->g, g) || (counter != counter2) || (h != h2)))))
380
	    	fprintf(out, "Result = F" RESP_EOL);
D
Dr. Stephen Henson 已提交
381
	    else
382
	    	fprintf(out, "Result = P" RESP_EOL);
D
Dr. Stephen Henson 已提交
383 384 385 386 387 388 389 390
	    BN_free(p);
	    BN_free(q);
	    BN_free(g);
	    p = NULL;
	    q = NULL;
	    g = NULL;
	    FIPS_dsa_free(dsa);
	    dsa = NULL;
391 392
	    if (part_test)
		{
393 394
		if (idx == -1)
			fputs(buf,out);
395 396
		part_test = 0;
		}
397
	    idx = -1;
D
Dr. Stephen Henson 已提交
398 399 400 401 402 403 404 405 406
	    }
	}
    }

/* Keypair verification routine. NB: this isn't part of the standard FIPS140-2
 * algorithm tests. It is an additional test to perform sanity checks on the
 * output of the KeyPair test.
 */

407
static int dss_paramcheck(int L, int N, BIGNUM *p, BIGNUM *q, BIGNUM *g,
D
Dr. Stephen Henson 已提交
408 409 410
							BN_CTX *ctx)
    {
    BIGNUM *rem = NULL;
411
    if (BN_num_bits(p) != L)
D
Dr. Stephen Henson 已提交
412
	return 0;
413
    if (BN_num_bits(q) != N)
D
Dr. Stephen Henson 已提交
414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
	return 0;
    if (BN_is_prime_ex(p, BN_prime_checks, ctx, NULL) != 1)
	return 0;
    if (BN_is_prime_ex(q, BN_prime_checks, ctx, NULL) != 1)
	return 0;
    rem = BN_new();
    if (!BN_mod(rem, p, q, ctx) || !BN_is_one(rem)
    	|| (BN_cmp(g, BN_value_one()) <= 0)
	|| !BN_mod_exp(rem, g, q, p, ctx) || !BN_is_one(rem))
	{
	BN_free(rem);
	return 0;
	}
    /* Todo: check g */
    BN_free(rem);
    return 1;
    }

432
static void keyver(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
433 434 435 436 437 438 439
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
    BIGNUM *p = NULL, *q = NULL, *g = NULL, *X = NULL, *Y = NULL;
    BIGNUM *Y2;
    BN_CTX *ctx = NULL;
440 441
    int dsa2, L, N;
    int paramcheck = 0;
D
Dr. Stephen Henson 已提交
442 443 444 445

    ctx = BN_CTX_new();
    Y2 = BN_new();

446
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
447 448 449
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
450
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
451 452 453 454 455 456 457 458 459 460 461 462 463 464
		continue;
		}
	if(!strcmp(keyword,"[mod"))
	    {
	    if (p)
		BN_free(p);
	    p = NULL;
	    if (q)
		BN_free(q);
	    q = NULL;
	    if (g)
		BN_free(g);
	    g = NULL;
	    paramcheck = 0;
465 466 467 468 469
	    if (!parse_mod(value, &dsa2, &L, &N, NULL))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
D
Dr. Stephen Henson 已提交
470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486
	    }
	else if(!strcmp(keyword,"P"))
	    p=hex2bn(value);
	else if(!strcmp(keyword,"Q"))
	    q=hex2bn(value);
	else if(!strcmp(keyword,"G"))
	    g=hex2bn(value);
	else if(!strcmp(keyword,"X"))
	    X=hex2bn(value);
	else if(!strcmp(keyword,"Y"))
	    {
	    Y=hex2bn(value);
	    if (!p || !q || !g || !X || !Y)
		{
		fprintf(stderr, "Parse Error\n");
		exit (1);
		}
487 488 489 490 491
	    do_bn_print_name(out, "P",p);
	    do_bn_print_name(out, "Q",q);
	    do_bn_print_name(out, "G",g);
	    do_bn_print_name(out, "X",X);
	    do_bn_print_name(out, "Y",Y);
D
Dr. Stephen Henson 已提交
492 493
	    if (!paramcheck)
		{
494
		if (dss_paramcheck(L, N, p, q, g, ctx))
D
Dr. Stephen Henson 已提交
495 496 497 498 499
			paramcheck = 1;
		else
			paramcheck = -1;
		}
	    if (paramcheck != 1)
500
	   	fprintf(out, "Result = F" RESP_EOL);
D
Dr. Stephen Henson 已提交
501 502 503
	    else
		{
		if (!BN_mod_exp(Y2, g, X, p, ctx) || BN_cmp(Y2, Y))
504
	    		fprintf(out, "Result = F" RESP_EOL);
D
Dr. Stephen Henson 已提交
505
	        else
506
	    		fprintf(out, "Result = P" RESP_EOL);
D
Dr. Stephen Henson 已提交
507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523
		}
	    BN_free(X);
	    BN_free(Y);
	    X = NULL;
	    Y = NULL;
	    }
	}
	if (p)
	    BN_free(p);
	if (q)
	    BN_free(q);
	if (g)
	    BN_free(g);
	if (Y2)
	    BN_free(Y2);
    }

524
static void keypair(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
525 526 527 528
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
529
    int dsa2, L, N;
D
Dr. Stephen Henson 已提交
530

531
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
532 533 534 535 536 537
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
		continue;
		}
	if(!strcmp(keyword,"[mod"))
538 539 540 541 542 543
	    {
	    if (!parse_mod(value, &dsa2, &L, &N, NULL))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
544
	    fputs(buf,out);
545
	    }
D
Dr. Stephen Henson 已提交
546 547 548 549 550 551
	else if(!strcmp(keyword,"N"))
	    {
	    DSA *dsa;
	    int n=atoi(value);

	    dsa = FIPS_dsa_new();
552 553 554 555 556 557
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, NULL, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
558
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, NULL, NULL, 0, -1,
559 560 561 562 563
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
564 565 566
	    do_bn_print_name(out, "P",dsa->p);
	    do_bn_print_name(out, "Q",dsa->q);
	    do_bn_print_name(out, "G",dsa->g);
567
	    fputs(RESP_EOL, out);
D
Dr. Stephen Henson 已提交
568 569 570 571 572 573

	    while(n--)
		{
		if (!DSA_generate_key(dsa))
			exit(1);

574 575
		do_bn_print_name(out, "X",dsa->priv_key);
		do_bn_print_name(out, "Y",dsa->pub_key);
576
	    	fputs(RESP_EOL, out);
D
Dr. Stephen Henson 已提交
577 578 579 580 581
		}
	    }
	}
    }

582
static void siggen(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
583 584 585 586
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
D
Dr. Stephen Henson 已提交
587 588
    int dsa2, L, N;
    const EVP_MD *md = NULL;
D
Dr. Stephen Henson 已提交
589 590
    DSA *dsa=NULL;

591
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
592 593 594
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
595
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
596 597
		continue;
		}
598
	fputs(buf,out);
D
Dr. Stephen Henson 已提交
599 600
	if(!strcmp(keyword,"[mod"))
	    {
D
Dr. Stephen Henson 已提交
601 602 603 604 605
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
D
Dr. Stephen Henson 已提交
606 607 608
	    if (dsa)
		FIPS_dsa_free(dsa);
	    dsa = FIPS_dsa_new();
D
Dr. Stephen Henson 已提交
609 610 611 612 613 614
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, md, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
615
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, md, NULL, 0, -1,
D
Dr. Stephen Henson 已提交
616 617 618 619 620
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
621 622 623
	    do_bn_print_name(out, "P",dsa->p);
	    do_bn_print_name(out, "Q",dsa->q);
	    do_bn_print_name(out, "G",dsa->g);
624
	    fputs(RESP_EOL, out);
D
Dr. Stephen Henson 已提交
625 626 627 628 629 630 631
	    }
	else if(!strcmp(keyword,"Msg"))
	    {
	    unsigned char msg[1024];
	    int n;
	    EVP_MD_CTX mctx;
	    DSA_SIG *sig;
632
	    FIPS_md_ctx_init(&mctx);
D
Dr. Stephen Henson 已提交
633 634 635 636 637

	    n=hex2bin(value,msg);

	    if (!DSA_generate_key(dsa))
		exit(1);
638
	    do_bn_print_name(out, "Y",dsa->pub_key);
D
Dr. Stephen Henson 已提交
639

640 641
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
642 643
	    sig = FIPS_dsa_sign_ctx(dsa, &mctx);

644 645
	    do_bn_print_name(out, "R",sig->r);
	    do_bn_print_name(out, "S",sig->s);
646
	    fputs(RESP_EOL, out);
647
	    FIPS_dsa_sig_free(sig);
648
	    FIPS_md_ctx_cleanup(&mctx);
D
Dr. Stephen Henson 已提交
649 650 651 652 653 654
	    }
	}
	if (dsa)
		FIPS_dsa_free(dsa);
    }

655
static void sigver(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
656 657 658 659 660 661
    {
    DSA *dsa=NULL;
    char buf[1024];
    char lbuf[1024];
    unsigned char msg[1024];
    char *keyword, *value;
662 663 664
    int n=0;
    int dsa2, L, N;
    const EVP_MD *md = NULL;
D
Dr. Stephen Henson 已提交
665 666 667 668 669
    DSA_SIG sg, *sig = &sg;

    sig->r = NULL;
    sig->s = NULL;

670
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
671 672 673
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
674
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
675 676
		continue;
		}
677
	fputs(buf,out);
D
Dr. Stephen Henson 已提交
678 679
	if(!strcmp(keyword,"[mod"))
	    {
680 681 682 683 684 685
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
	    if (dsa)
D
Dr. Stephen Henson 已提交
686
		FIPS_dsa_free(dsa);
687
	    dsa = FIPS_dsa_new();
D
Dr. Stephen Henson 已提交
688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704
	    }
	else if(!strcmp(keyword,"P"))
	    dsa->p=hex2bn(value);
	else if(!strcmp(keyword,"Q"))
	    dsa->q=hex2bn(value);
	else if(!strcmp(keyword,"G"))
	    dsa->g=hex2bn(value);
	else if(!strcmp(keyword,"Msg"))
	    n=hex2bin(value,msg);
	else if(!strcmp(keyword,"Y"))
	    dsa->pub_key=hex2bn(value);
	else if(!strcmp(keyword,"R"))
	    sig->r=hex2bn(value);
	else if(!strcmp(keyword,"S"))
	    {
	    EVP_MD_CTX mctx;
	    int r;
705
	    FIPS_md_ctx_init(&mctx);
D
Dr. Stephen Henson 已提交
706
	    sig->s=hex2bn(value);
D
Dr. Stephen Henson 已提交
707

708 709
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
710 711 712
	    no_err = 1;
	    r = FIPS_dsa_verify_ctx(dsa, &mctx, sig);
	    no_err = 0;
713
	    FIPS_md_ctx_cleanup(&mctx);
D
Dr. Stephen Henson 已提交
714
	
715
	    fprintf(out, "Result = %c" RESP_EOL RESP_EOL, r == 1 ? 'P' : 'F');
D
Dr. Stephen Henson 已提交
716 717 718 719 720 721
	    }
	}
    }

int main(int argc,char **argv)
    {
722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743
    FILE *in, *out;
    if (argc == 4)
	{
	in = fopen(argv[2], "r");
	if (!in)
		{
		fprintf(stderr, "Error opening input file\n");
		exit(1);
		}
	out = fopen(argv[3], "w");
	if (!out)
		{
		fprintf(stderr, "Error opening output file\n");
		exit(1);
		}
	}
    else if (argc == 2)
	{
	in = stdin;
	out = stdout;
	}
    else
D
Dr. Stephen Henson 已提交
744
	{
745
	fprintf(stderr,"%s [prime|pqg|pqgver|keypair|keyver|siggen|sigver]\n",argv[0]);
D
Dr. Stephen Henson 已提交
746 747
	exit(1);
	}
748
    fips_algtest_init();
D
Dr. Stephen Henson 已提交
749
    if(!strcmp(argv[1],"prime"))
750
	primes(in, out);
D
Dr. Stephen Henson 已提交
751
    else if(!strcmp(argv[1],"pqg"))
752
	pqg(in, out);
D
Dr. Stephen Henson 已提交
753
    else if(!strcmp(argv[1],"pqgver"))
754
	pqgver(in, out);
D
Dr. Stephen Henson 已提交
755
    else if(!strcmp(argv[1],"keypair"))
756
	keypair(in, out);
D
Dr. Stephen Henson 已提交
757
    else if(!strcmp(argv[1],"keyver"))
758
	keyver(in, out);
D
Dr. Stephen Henson 已提交
759
    else if(!strcmp(argv[1],"siggen"))
760
	siggen(in, out);
D
Dr. Stephen Henson 已提交
761
    else if(!strcmp(argv[1],"sigver"))
762
	sigver(in, out);
D
Dr. Stephen Henson 已提交
763 764 765 766 767 768
    else
	{
	fprintf(stderr,"Don't know how to %s.\n",argv[1]);
	exit(1);
	}

769 770 771 772 773 774
    if (argc == 4)
	{
	fclose(in);
	fclose(out);
	}

D
Dr. Stephen Henson 已提交
775 776 777 778
    return 0;
    }

#endif