fips_dssvs.c 15.9 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
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
		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)
			{
193 194
			fprintf(out, "c = %d" RESP_EOL, counter);
			fprintf(out, "H = %lx" RESP_EOL RESP_EOL,h);
195 196
			}
		else
197
			{
198
			fprintf(out, "counter = %d" RESP_EOL RESP_EOL, counter);
199
			}
D
Dr. Stephen Henson 已提交
200 201
		}
	    }
202 203 204 205 206 207
	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);
208 209 210 211 212 213
	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);
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 239 240 241
	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 已提交
242 243 244
	}
    }

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

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

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

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

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

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

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

502
static void keypair(FILE *in, FILE *out)
D
Dr. Stephen Henson 已提交
503 504 505 506
    {
    char buf[1024];
    char lbuf[1024];
    char *keyword, *value;
507
    int dsa2, L, N;
D
Dr. Stephen Henson 已提交
508

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

	    dsa = FIPS_dsa_new();
530 531 532 533 534 535
	    if (!dsa2 && !dsa_builtin_paramgen(dsa, L, N, NULL, NULL, 0,
						NULL, NULL, NULL, NULL))
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
536
	    if (dsa2 && dsa_builtin_paramgen2(dsa, L, N, NULL, NULL, 0, -1,
537 538 539 540 541
						NULL, NULL, NULL, NULL) <= 0)
			{
			fprintf(stderr, "Parameter Generation error\n");
			exit(1);
			}
542 543 544
	    do_bn_print_name(out, "P",dsa->p);
	    do_bn_print_name(out, "Q",dsa->q);
	    do_bn_print_name(out, "G",dsa->g);
545
	    fputs(RESP_EOL, out);
D
Dr. Stephen Henson 已提交
546 547 548 549 550 551

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

552 553
		do_bn_print_name(out, "X",dsa->priv_key);
		do_bn_print_name(out, "Y",dsa->pub_key);
554
	    	fputs(RESP_EOL, out);
D
Dr. Stephen Henson 已提交
555 556 557 558 559
		}
	    }
	}
    }

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

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

	    n=hex2bin(value,msg);

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

618 619
	    FIPS_digestinit(&mctx, md);
	    FIPS_digestupdate(&mctx, msg, n);
D
Dr. Stephen Henson 已提交
620 621
	    sig = FIPS_dsa_sign_ctx(dsa, &mctx);

622 623
	    do_bn_print_name(out, "R",sig->r);
	    do_bn_print_name(out, "S",sig->s);
624
	    fputs(RESP_EOL, out);
625
	    FIPS_dsa_sig_free(sig);
626
	    FIPS_md_ctx_cleanup(&mctx);
D
Dr. Stephen Henson 已提交
627 628 629 630 631 632
	    }
	}
	if (dsa)
		FIPS_dsa_free(dsa);
    }

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

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

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

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

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

747 748 749 750 751 752
    if (argc == 4)
	{
	fclose(in);
	fclose(out);
	}

D
Dr. Stephen Henson 已提交
753 754 755 756
    return 0;
    }

#endif