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
	if (strcmp(keyword, "Num"))
149
		fputs(buf,out);
D
Dr. Stephen Henson 已提交
150
	if(!strcmp(keyword,"[mod"))
151
	    {
D
Dr. Stephen Henson 已提交
152 153 154 155 156
	    if (!parse_mod(value, &dsa2, &L, &N, &md))
		{
		fprintf(stderr, "Mod Parse Error\n");
		exit (1);
		}
157
	    }
158 159
	else if(!strcmp(keyword,"N") 
		|| (!strcmp(keyword, "Num") && pqg_type == PQG_PQ))
D
Dr. Stephen Henson 已提交
160 161 162 163 164 165 166 167 168 169
	    {
	    int n=atoi(value);

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

D
Dr. Stephen Henson 已提交
170 171 172 173 174 175 176 177
		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,
178
						NULL, 0, -1, seed,
D
Dr. Stephen Henson 已提交
179 180 181
						&counter, &h, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
D
Dr. Stephen Henson 已提交
182
			exit(1);
D
Dr. Stephen Henson 已提交
183 184
			}
 
185 186
		do_bn_print_name(out, "P",dsa->p);
		do_bn_print_name(out, "Q",dsa->q);
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
197 198
			{
			fprintf(out, "counter = %d\n",counter);
199
			fputs("\n", out);
200
			}
D
Dr. Stephen Henson 已提交
201 202
		}
	    }
203 204 205 206 207 208
	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);
209 210 211 212 213 214
	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);
215 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
	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 已提交
243 244 245
	}
    }

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

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

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

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

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

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

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

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

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

	    dsa = FIPS_dsa_new();
525 526 527 528 529 530
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, NULL, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
531
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, NULL, NULL, 0, -1,
532 533 534 535 536
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
537 538 539 540
	    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 已提交
541 542 543 544 545 546

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

547 548 549
		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 已提交
550 551 552 553 554
		}
	    }
	}
    }

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

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

	    n=hex2bin(value,msg);

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

613 614
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
615 616
	    sig = FIPS_dsa_sign_ctx(dsa, &mctx);

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

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

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

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

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

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

742 743 744 745 746 747
    if (argc == 4)
	{
	fclose(in);
	fclose(out);
	}

D
Dr. Stephen Henson 已提交
748 749 750 751
    return 0;
    }

#endif