fips_dssvs.c 15.5 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\n",
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
static void pqg(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
120 121 122 123
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
D
Dr. Stephen Henson 已提交
124 125
    int dsa2, L, N;
    const EVP_MD *md = NULL;
126 127 128 129 130
    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 已提交
131

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

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

D
Dr. Stephen Henson 已提交
169 170 171 172 173 174 175 176
		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,
177
						NULL, 0, -1, seed,
D
Dr. Stephen Henson 已提交
178 179 180
						&counter, &h, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
D
Dr. Stephen Henson 已提交
181
			exit(1);
D
Dr. Stephen Henson 已提交
182 183
			}
 
184 185
		do_bn_print_name(out, "P",dsa->p);
		do_bn_print_name(out, "Q",dsa->q);
186 187 188 189 190 191 192 193 194 195 196
		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)
			{
			fprintf(out, "c = %d\n",counter);
			fprintf(out, "H = %lx\n\n",h);
			}
		else
			fputs("\n", out);
D
Dr. Stephen Henson 已提交
197 198
		}
	    }
199 200 201 202 203 204
	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);
205 206 207 208 209 210
	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);
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238
	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 已提交
239 240 241
	}
    }

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

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

/* 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.
 */

376
static int dss_paramcheck(int L, int N, BIGNUM *p, BIGNUM *q, BIGNUM *g,
D
Dr. Stephen Henson 已提交
377 378 379
							BN_CTX *ctx)
    {
    BIGNUM *rem = NULL;
380
    if (BN_num_bits(p) != L)
D
Dr. Stephen Henson 已提交
381
	return 0;
382
    if (BN_num_bits(q) != N)
D
Dr. Stephen Henson 已提交
383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
	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;
    }

401
static void keyver(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
402 403 404 405 406 407 408
    {
    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;
409 410
    int dsa2, L, N;
    int paramcheck = 0;
D
Dr. Stephen Henson 已提交
411 412 413 414

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

415
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
416 417 418
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
419
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
420 421 422 423 424 425 426 427 428 429 430 431 432 433
		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;
434 435 436 437 438
	    if (!parse_mod(value, &dsa2, &L, &N, NULL))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
D
Dr. Stephen Henson 已提交
439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455
	    }
	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);
		}
456 457 458 459 460
	    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 已提交
461 462
	    if (!paramcheck)
		{
463
		if (dss_paramcheck(L, N, p, q, g, ctx))
D
Dr. Stephen Henson 已提交
464 465 466 467 468
			paramcheck = 1;
		else
			paramcheck = -1;
		}
	    if (paramcheck != 1)
469
	   	fprintf(out, "Result = F\n");
D
Dr. Stephen Henson 已提交
470 471 472
	    else
		{
		if (!BN_mod_exp(Y2, g, X, p, ctx) || BN_cmp(Y2, Y))
473
	    		fprintf(out, "Result = F\n");
D
Dr. Stephen Henson 已提交
474
	        else
475
	    		fprintf(out, "Result = P\n");
D
Dr. Stephen Henson 已提交
476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492
		}
	    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);
    }

493
static void keypair(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
494 495 496 497
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
498
    int dsa2, L, N;
D
Dr. Stephen Henson 已提交
499

500
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
501 502 503 504 505 506
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
		continue;
		}
	if(!strcmp(keyword,"[mod"))
507 508 509 510 511 512
	    {
	    if (!parse_mod(value, &dsa2, &L, &N, NULL))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
513
	    fputs(buf,out);
514
	    }
D
Dr. Stephen Henson 已提交
515 516 517 518 519 520
	else if(!strcmp(keyword,"N"))
	    {
	    DSA *dsa;
	    int n=atoi(value);

	    dsa = FIPS_dsa_new();
521 522 523 524 525 526
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, NULL, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
527
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, NULL, NULL, 0, -1,
528 529 530 531 532
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
533 534 535 536
	    do_bn_print_name(out, "P",dsa->p);
	    do_bn_print_name(out, "Q",dsa->q);
	    do_bn_print_name(out, "G",dsa->g);
	    fputs("\n", out);
D
Dr. Stephen Henson 已提交
537 538 539 540 541 542

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

543 544 545
		do_bn_print_name(out, "X",dsa->priv_key);
		do_bn_print_name(out, "Y",dsa->pub_key);
	    	fputs("\n", out);
D
Dr. Stephen Henson 已提交
546 547 548 549 550
		}
	    }
	}
    }

551
static void siggen(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
552 553 554 555
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
D
Dr. Stephen Henson 已提交
556 557
    int dsa2, L, N;
    const EVP_MD *md = NULL;
D
Dr. Stephen Henson 已提交
558 559
    DSA *dsa=NULL;

560
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
561 562 563
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
564
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
565 566
		continue;
		}
567
	fputs(buf,out);
D
Dr. Stephen Henson 已提交
568 569
	if(!strcmp(keyword,"[mod"))
	    {
D
Dr. Stephen Henson 已提交
570 571 572 573 574
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
D
Dr. Stephen Henson 已提交
575 576 577
	    if (dsa)
		FIPS_dsa_free(dsa);
	    dsa = FIPS_dsa_new();
D
Dr. Stephen Henson 已提交
578 579 580 581 582 583
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, md, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
584
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, md, NULL, 0, -1,
D
Dr. Stephen Henson 已提交
585 586 587 588 589
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
590 591 592 593
	    do_bn_print_name(out, "P",dsa->p);
	    do_bn_print_name(out, "Q",dsa->q);
	    do_bn_print_name(out, "G",dsa->g);
	    fputs("\n", out);
D
Dr. Stephen Henson 已提交
594 595 596 597 598 599 600
	    }
	else if(!strcmp(keyword,"Msg"))
	    {
	    unsigned char msg[1024];
	    int n;
	    EVP_MD_CTX mctx;
	    DSA_SIG *sig;
601
	    FIPS_md_ctx_init(&mctx);
D
Dr. Stephen Henson 已提交
602 603 604 605 606

	    n=hex2bin(value,msg);

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

609 610
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
611 612
	    sig = FIPS_dsa_sign_ctx(dsa, &mctx);

613 614 615
	    do_bn_print_name(out, "R",sig->r);
	    do_bn_print_name(out, "S",sig->s);
	    fputs("\n", out);
616
	    FIPS_dsa_sig_free(sig);
617
	    FIPS_md_ctx_cleanup(&mctx);
D
Dr. Stephen Henson 已提交
618 619 620 621 622 623
	    }
	}
	if (dsa)
		FIPS_dsa_free(dsa);
    }

624
static void sigver(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
625 626 627 628 629 630
    {
    DSA *dsa=NULL;
    char buf[1024];
    char lbuf[1024];
    unsigned char msg[1024];
    char *keyword, *value;
631 632 633
    int n=0;
    int dsa2, L, N;
    const EVP_MD *md = NULL;
D
Dr. Stephen Henson 已提交
634 635 636 637 638
    DSA_SIG sg, *sig = &sg;

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

639
    while(fgets(buf,sizeof buf,in) != NULL)
D
Dr. Stephen Henson 已提交
640 641 642
	{
	if (!parse_line(&keyword, &value, lbuf, buf))
		{
643
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
644 645
		continue;
		}
646
	fputs(buf,out);
D
Dr. Stephen Henson 已提交
647 648
	if(!strcmp(keyword,"[mod"))
	    {
649 650 651 652 653 654
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
	    if (dsa)
D
Dr. Stephen Henson 已提交
655
		FIPS_dsa_free(dsa);
656
	    dsa = FIPS_dsa_new();
D
Dr. Stephen Henson 已提交
657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673
	    }
	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;
674
	    FIPS_md_ctx_init(&mctx);
D
Dr. Stephen Henson 已提交
675
	    sig->s=hex2bn(value);
D
Dr. Stephen Henson 已提交
676

677 678
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
679 680 681
	    no_err = 1;
	    r = FIPS_dsa_verify_ctx(dsa, &mctx, sig);
	    no_err = 0;
682
	    FIPS_md_ctx_cleanup(&mctx);
D
Dr. Stephen Henson 已提交
683
	
684
	    fprintf(out, "Result = %c\n\n", r == 1 ? 'P' : 'F');
D
Dr. Stephen Henson 已提交
685 686 687 688 689 690
	    }
	}
    }

int main(int argc,char **argv)
    {
691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712
    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 已提交
713
	{
714
	fprintf(stderr,"%s [prime|pqg|pqgver|keypair|keyver|siggen|sigver]\n",argv[0]);
D
Dr. Stephen Henson 已提交
715 716
	exit(1);
	}
717
    fips_algtest_init();
D
Dr. Stephen Henson 已提交
718
    if(!strcmp(argv[1],"prime"))
719
	primes(in, out);
D
Dr. Stephen Henson 已提交
720
    else if(!strcmp(argv[1],"pqg"))
721
	pqg(in, out);
D
Dr. Stephen Henson 已提交
722
    else if(!strcmp(argv[1],"pqgver"))
723
	pqgver(in, out);
D
Dr. Stephen Henson 已提交
724
    else if(!strcmp(argv[1],"keypair"))
725
	keypair(in, out);
D
Dr. Stephen Henson 已提交
726
    else if(!strcmp(argv[1],"keyver"))
727
	keyver(in, out);
D
Dr. Stephen Henson 已提交
728
    else if(!strcmp(argv[1],"siggen"))
729
	siggen(in, out);
D
Dr. Stephen Henson 已提交
730
    else if(!strcmp(argv[1],"sigver"))
731
	sigver(in, out);
D
Dr. Stephen Henson 已提交
732 733 734 735 736 737
    else
	{
	fprintf(stderr,"Don't know how to %s.\n",argv[1]);
	exit(1);
	}

738 739 740 741 742 743
    if (argc == 4)
	{
	fclose(in);
	fclose(out);
	}

D
Dr. Stephen Henson 已提交
744 745 746 747
    return 0;
    }

#endif