diff options
Diffstat (limited to 'src/lib/libcrypto/rsa')
| -rw-r--r-- | src/lib/libcrypto/rsa/rsa_ameth.c | 351 | ||||
| -rw-r--r-- | src/lib/libcrypto/rsa/rsa_crpt.c | 257 | ||||
| -rw-r--r-- | src/lib/libcrypto/rsa/rsa_pmeth.c | 154 | ||||
| -rw-r--r-- | src/lib/libcrypto/rsa/rsa_pss.c | 81 |
4 files changed, 805 insertions, 38 deletions
diff --git a/src/lib/libcrypto/rsa/rsa_ameth.c b/src/lib/libcrypto/rsa/rsa_ameth.c index 8c3209885e..2460910ab2 100644 --- a/src/lib/libcrypto/rsa/rsa_ameth.c +++ b/src/lib/libcrypto/rsa/rsa_ameth.c | |||
| @@ -265,6 +265,147 @@ static int rsa_priv_print(BIO *bp, const EVP_PKEY *pkey, int indent, | |||
| 265 | return do_rsa_print(bp, pkey->pkey.rsa, indent, 1); | 265 | return do_rsa_print(bp, pkey->pkey.rsa, indent, 1); |
| 266 | } | 266 | } |
| 267 | 267 | ||
| 268 | static RSA_PSS_PARAMS *rsa_pss_decode(const X509_ALGOR *alg, | ||
| 269 | X509_ALGOR **pmaskHash) | ||
| 270 | { | ||
| 271 | const unsigned char *p; | ||
| 272 | int plen; | ||
| 273 | RSA_PSS_PARAMS *pss; | ||
| 274 | |||
| 275 | *pmaskHash = NULL; | ||
| 276 | |||
| 277 | if (!alg->parameter || alg->parameter->type != V_ASN1_SEQUENCE) | ||
| 278 | return NULL; | ||
| 279 | p = alg->parameter->value.sequence->data; | ||
| 280 | plen = alg->parameter->value.sequence->length; | ||
| 281 | pss = d2i_RSA_PSS_PARAMS(NULL, &p, plen); | ||
| 282 | |||
| 283 | if (!pss) | ||
| 284 | return NULL; | ||
| 285 | |||
| 286 | if (pss->maskGenAlgorithm) | ||
| 287 | { | ||
| 288 | ASN1_TYPE *param = pss->maskGenAlgorithm->parameter; | ||
| 289 | if (OBJ_obj2nid(pss->maskGenAlgorithm->algorithm) == NID_mgf1 | ||
| 290 | && param->type == V_ASN1_SEQUENCE) | ||
| 291 | { | ||
| 292 | p = param->value.sequence->data; | ||
| 293 | plen = param->value.sequence->length; | ||
| 294 | *pmaskHash = d2i_X509_ALGOR(NULL, &p, plen); | ||
| 295 | } | ||
| 296 | } | ||
| 297 | |||
| 298 | return pss; | ||
| 299 | } | ||
| 300 | |||
| 301 | static int rsa_pss_param_print(BIO *bp, RSA_PSS_PARAMS *pss, | ||
| 302 | X509_ALGOR *maskHash, int indent) | ||
| 303 | { | ||
| 304 | int rv = 0; | ||
| 305 | if (!pss) | ||
| 306 | { | ||
| 307 | if (BIO_puts(bp, " (INVALID PSS PARAMETERS)\n") <= 0) | ||
| 308 | return 0; | ||
| 309 | return 1; | ||
| 310 | } | ||
| 311 | if (BIO_puts(bp, "\n") <= 0) | ||
| 312 | goto err; | ||
| 313 | if (!BIO_indent(bp, indent, 128)) | ||
| 314 | goto err; | ||
| 315 | if (BIO_puts(bp, "Hash Algorithm: ") <= 0) | ||
| 316 | goto err; | ||
| 317 | |||
| 318 | if (pss->hashAlgorithm) | ||
| 319 | { | ||
| 320 | if (i2a_ASN1_OBJECT(bp, pss->hashAlgorithm->algorithm) <= 0) | ||
| 321 | goto err; | ||
| 322 | } | ||
| 323 | else if (BIO_puts(bp, "sha1 (default)") <= 0) | ||
| 324 | goto err; | ||
| 325 | |||
| 326 | if (BIO_puts(bp, "\n") <= 0) | ||
| 327 | goto err; | ||
| 328 | |||
| 329 | if (!BIO_indent(bp, indent, 128)) | ||
| 330 | goto err; | ||
| 331 | |||
| 332 | if (BIO_puts(bp, "Mask Algorithm: ") <= 0) | ||
| 333 | goto err; | ||
| 334 | if (pss->maskGenAlgorithm) | ||
| 335 | { | ||
| 336 | if (i2a_ASN1_OBJECT(bp, pss->maskGenAlgorithm->algorithm) <= 0) | ||
| 337 | goto err; | ||
| 338 | if (BIO_puts(bp, " with ") <= 0) | ||
| 339 | goto err; | ||
| 340 | if (maskHash) | ||
| 341 | { | ||
| 342 | if (i2a_ASN1_OBJECT(bp, maskHash->algorithm) <= 0) | ||
| 343 | goto err; | ||
| 344 | } | ||
| 345 | else if (BIO_puts(bp, "INVALID") <= 0) | ||
| 346 | goto err; | ||
| 347 | } | ||
| 348 | else if (BIO_puts(bp, "mgf1 with sha1 (default)") <= 0) | ||
| 349 | goto err; | ||
| 350 | BIO_puts(bp, "\n"); | ||
| 351 | |||
| 352 | if (!BIO_indent(bp, indent, 128)) | ||
| 353 | goto err; | ||
| 354 | if (BIO_puts(bp, "Salt Length: ") <= 0) | ||
| 355 | goto err; | ||
| 356 | if (pss->saltLength) | ||
| 357 | { | ||
| 358 | if (i2a_ASN1_INTEGER(bp, pss->saltLength) <= 0) | ||
| 359 | goto err; | ||
| 360 | } | ||
| 361 | else if (BIO_puts(bp, "20 (default)") <= 0) | ||
| 362 | goto err; | ||
| 363 | BIO_puts(bp, "\n"); | ||
| 364 | |||
| 365 | if (!BIO_indent(bp, indent, 128)) | ||
| 366 | goto err; | ||
| 367 | if (BIO_puts(bp, "Trailer Field: ") <= 0) | ||
| 368 | goto err; | ||
| 369 | if (pss->trailerField) | ||
| 370 | { | ||
| 371 | if (i2a_ASN1_INTEGER(bp, pss->trailerField) <= 0) | ||
| 372 | goto err; | ||
| 373 | } | ||
| 374 | else if (BIO_puts(bp, "0xbc (default)") <= 0) | ||
| 375 | goto err; | ||
| 376 | BIO_puts(bp, "\n"); | ||
| 377 | |||
| 378 | rv = 1; | ||
| 379 | |||
| 380 | err: | ||
| 381 | return rv; | ||
| 382 | |||
| 383 | } | ||
| 384 | |||
| 385 | static int rsa_sig_print(BIO *bp, const X509_ALGOR *sigalg, | ||
| 386 | const ASN1_STRING *sig, | ||
| 387 | int indent, ASN1_PCTX *pctx) | ||
| 388 | { | ||
| 389 | if (OBJ_obj2nid(sigalg->algorithm) == NID_rsassaPss) | ||
| 390 | { | ||
| 391 | int rv; | ||
| 392 | RSA_PSS_PARAMS *pss; | ||
| 393 | X509_ALGOR *maskHash; | ||
| 394 | pss = rsa_pss_decode(sigalg, &maskHash); | ||
| 395 | rv = rsa_pss_param_print(bp, pss, maskHash, indent); | ||
| 396 | if (pss) | ||
| 397 | RSA_PSS_PARAMS_free(pss); | ||
| 398 | if (maskHash) | ||
| 399 | X509_ALGOR_free(maskHash); | ||
| 400 | if (!rv) | ||
| 401 | return 0; | ||
| 402 | } | ||
| 403 | else if (!sig && BIO_puts(bp, "\n") <= 0) | ||
| 404 | return 0; | ||
| 405 | if (sig) | ||
| 406 | return X509_signature_dump(bp, sig, indent); | ||
| 407 | return 1; | ||
| 408 | } | ||
| 268 | 409 | ||
| 269 | static int rsa_pkey_ctrl(EVP_PKEY *pkey, int op, long arg1, void *arg2) | 410 | static int rsa_pkey_ctrl(EVP_PKEY *pkey, int op, long arg1, void *arg2) |
| 270 | { | 411 | { |
| @@ -310,6 +451,211 @@ static int rsa_pkey_ctrl(EVP_PKEY *pkey, int op, long arg1, void *arg2) | |||
| 310 | 451 | ||
| 311 | } | 452 | } |
| 312 | 453 | ||
| 454 | /* Customised RSA item verification routine. This is called | ||
| 455 | * when a signature is encountered requiring special handling. We | ||
| 456 | * currently only handle PSS. | ||
| 457 | */ | ||
| 458 | |||
| 459 | |||
| 460 | static int rsa_item_verify(EVP_MD_CTX *ctx, const ASN1_ITEM *it, void *asn, | ||
| 461 | X509_ALGOR *sigalg, ASN1_BIT_STRING *sig, | ||
| 462 | EVP_PKEY *pkey) | ||
| 463 | { | ||
| 464 | int rv = -1; | ||
| 465 | int saltlen; | ||
| 466 | const EVP_MD *mgf1md = NULL, *md = NULL; | ||
| 467 | RSA_PSS_PARAMS *pss; | ||
| 468 | X509_ALGOR *maskHash; | ||
| 469 | EVP_PKEY_CTX *pkctx; | ||
| 470 | /* Sanity check: make sure it is PSS */ | ||
| 471 | if (OBJ_obj2nid(sigalg->algorithm) != NID_rsassaPss) | ||
| 472 | { | ||
| 473 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_UNSUPPORTED_SIGNATURE_TYPE); | ||
| 474 | return -1; | ||
| 475 | } | ||
| 476 | /* Decode PSS parameters */ | ||
| 477 | pss = rsa_pss_decode(sigalg, &maskHash); | ||
| 478 | |||
| 479 | if (pss == NULL) | ||
| 480 | { | ||
| 481 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_INVALID_PSS_PARAMETERS); | ||
| 482 | goto err; | ||
| 483 | } | ||
| 484 | /* Check mask and lookup mask hash algorithm */ | ||
| 485 | if (pss->maskGenAlgorithm) | ||
| 486 | { | ||
| 487 | if (OBJ_obj2nid(pss->maskGenAlgorithm->algorithm) != NID_mgf1) | ||
| 488 | { | ||
| 489 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_UNSUPPORTED_MASK_ALGORITHM); | ||
| 490 | goto err; | ||
| 491 | } | ||
| 492 | if (!maskHash) | ||
| 493 | { | ||
| 494 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_UNSUPPORTED_MASK_PARAMETER); | ||
| 495 | goto err; | ||
| 496 | } | ||
| 497 | mgf1md = EVP_get_digestbyobj(maskHash->algorithm); | ||
| 498 | if (mgf1md == NULL) | ||
| 499 | { | ||
| 500 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_UNKNOWN_MASK_DIGEST); | ||
| 501 | goto err; | ||
| 502 | } | ||
| 503 | } | ||
| 504 | else | ||
| 505 | mgf1md = EVP_sha1(); | ||
| 506 | |||
| 507 | if (pss->hashAlgorithm) | ||
| 508 | { | ||
| 509 | md = EVP_get_digestbyobj(pss->hashAlgorithm->algorithm); | ||
| 510 | if (md == NULL) | ||
| 511 | { | ||
| 512 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_UNKNOWN_PSS_DIGEST); | ||
| 513 | goto err; | ||
| 514 | } | ||
| 515 | } | ||
| 516 | else | ||
| 517 | md = EVP_sha1(); | ||
| 518 | |||
| 519 | if (pss->saltLength) | ||
| 520 | { | ||
| 521 | saltlen = ASN1_INTEGER_get(pss->saltLength); | ||
| 522 | |||
| 523 | /* Could perform more salt length sanity checks but the main | ||
| 524 | * RSA routines will trap other invalid values anyway. | ||
| 525 | */ | ||
| 526 | if (saltlen < 0) | ||
| 527 | { | ||
| 528 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_INVALID_SALT_LENGTH); | ||
| 529 | goto err; | ||
| 530 | } | ||
| 531 | } | ||
| 532 | else | ||
| 533 | saltlen = 20; | ||
| 534 | |||
| 535 | /* low-level routines support only trailer field 0xbc (value 1) | ||
| 536 | * and PKCS#1 says we should reject any other value anyway. | ||
| 537 | */ | ||
| 538 | if (pss->trailerField && ASN1_INTEGER_get(pss->trailerField) != 1) | ||
| 539 | { | ||
| 540 | RSAerr(RSA_F_RSA_ITEM_VERIFY, RSA_R_INVALID_TRAILER); | ||
| 541 | goto err; | ||
| 542 | } | ||
| 543 | |||
| 544 | /* We have all parameters now set up context */ | ||
| 545 | |||
| 546 | if (!EVP_DigestVerifyInit(ctx, &pkctx, md, NULL, pkey)) | ||
| 547 | goto err; | ||
| 548 | |||
| 549 | if (EVP_PKEY_CTX_set_rsa_padding(pkctx, RSA_PKCS1_PSS_PADDING) <= 0) | ||
| 550 | goto err; | ||
| 551 | |||
| 552 | if (EVP_PKEY_CTX_set_rsa_pss_saltlen(pkctx, saltlen) <= 0) | ||
| 553 | goto err; | ||
| 554 | |||
| 555 | if (EVP_PKEY_CTX_set_rsa_mgf1_md(pkctx, mgf1md) <= 0) | ||
| 556 | goto err; | ||
| 557 | /* Carry on */ | ||
| 558 | rv = 2; | ||
| 559 | |||
| 560 | err: | ||
| 561 | RSA_PSS_PARAMS_free(pss); | ||
| 562 | if (maskHash) | ||
| 563 | X509_ALGOR_free(maskHash); | ||
| 564 | return rv; | ||
| 565 | } | ||
| 566 | |||
| 567 | static int rsa_item_sign(EVP_MD_CTX *ctx, const ASN1_ITEM *it, void *asn, | ||
| 568 | X509_ALGOR *alg1, X509_ALGOR *alg2, | ||
| 569 | ASN1_BIT_STRING *sig) | ||
| 570 | { | ||
| 571 | int pad_mode; | ||
| 572 | EVP_PKEY_CTX *pkctx = ctx->pctx; | ||
| 573 | if (EVP_PKEY_CTX_get_rsa_padding(pkctx, &pad_mode) <= 0) | ||
| 574 | return 0; | ||
| 575 | if (pad_mode == RSA_PKCS1_PADDING) | ||
| 576 | return 2; | ||
| 577 | if (pad_mode == RSA_PKCS1_PSS_PADDING) | ||
| 578 | { | ||
| 579 | const EVP_MD *sigmd, *mgf1md; | ||
| 580 | RSA_PSS_PARAMS *pss = NULL; | ||
| 581 | X509_ALGOR *mgf1alg = NULL; | ||
| 582 | ASN1_STRING *os1 = NULL, *os2 = NULL; | ||
| 583 | EVP_PKEY *pk = EVP_PKEY_CTX_get0_pkey(pkctx); | ||
| 584 | int saltlen, rv = 0; | ||
| 585 | sigmd = EVP_MD_CTX_md(ctx); | ||
| 586 | if (EVP_PKEY_CTX_get_rsa_mgf1_md(pkctx, &mgf1md) <= 0) | ||
| 587 | goto err; | ||
| 588 | if (!EVP_PKEY_CTX_get_rsa_pss_saltlen(pkctx, &saltlen)) | ||
| 589 | goto err; | ||
| 590 | if (saltlen == -1) | ||
| 591 | saltlen = EVP_MD_size(sigmd); | ||
| 592 | else if (saltlen == -2) | ||
| 593 | { | ||
| 594 | saltlen = EVP_PKEY_size(pk) - EVP_MD_size(sigmd) - 2; | ||
| 595 | if (((EVP_PKEY_bits(pk) - 1) & 0x7) == 0) | ||
| 596 | saltlen--; | ||
| 597 | } | ||
| 598 | pss = RSA_PSS_PARAMS_new(); | ||
| 599 | if (!pss) | ||
| 600 | goto err; | ||
| 601 | if (saltlen != 20) | ||
| 602 | { | ||
| 603 | pss->saltLength = ASN1_INTEGER_new(); | ||
| 604 | if (!pss->saltLength) | ||
| 605 | goto err; | ||
| 606 | if (!ASN1_INTEGER_set(pss->saltLength, saltlen)) | ||
| 607 | goto err; | ||
| 608 | } | ||
| 609 | if (EVP_MD_type(sigmd) != NID_sha1) | ||
| 610 | { | ||
| 611 | pss->hashAlgorithm = X509_ALGOR_new(); | ||
| 612 | if (!pss->hashAlgorithm) | ||
| 613 | goto err; | ||
| 614 | X509_ALGOR_set_md(pss->hashAlgorithm, sigmd); | ||
| 615 | } | ||
| 616 | if (EVP_MD_type(mgf1md) != NID_sha1) | ||
| 617 | { | ||
| 618 | ASN1_STRING *stmp = NULL; | ||
| 619 | /* need to embed algorithm ID inside another */ | ||
| 620 | mgf1alg = X509_ALGOR_new(); | ||
| 621 | X509_ALGOR_set_md(mgf1alg, mgf1md); | ||
| 622 | if (!ASN1_item_pack(mgf1alg, ASN1_ITEM_rptr(X509_ALGOR), | ||
| 623 | &stmp)) | ||
| 624 | goto err; | ||
| 625 | pss->maskGenAlgorithm = X509_ALGOR_new(); | ||
| 626 | if (!pss->maskGenAlgorithm) | ||
| 627 | goto err; | ||
| 628 | X509_ALGOR_set0(pss->maskGenAlgorithm, | ||
| 629 | OBJ_nid2obj(NID_mgf1), | ||
| 630 | V_ASN1_SEQUENCE, stmp); | ||
| 631 | } | ||
| 632 | /* Finally create string with pss parameter encoding. */ | ||
| 633 | if (!ASN1_item_pack(pss, ASN1_ITEM_rptr(RSA_PSS_PARAMS), &os1)) | ||
| 634 | goto err; | ||
| 635 | if (alg2) | ||
| 636 | { | ||
| 637 | os2 = ASN1_STRING_dup(os1); | ||
| 638 | if (!os2) | ||
| 639 | goto err; | ||
| 640 | X509_ALGOR_set0(alg2, OBJ_nid2obj(NID_rsassaPss), | ||
| 641 | V_ASN1_SEQUENCE, os2); | ||
| 642 | } | ||
| 643 | X509_ALGOR_set0(alg1, OBJ_nid2obj(NID_rsassaPss), | ||
| 644 | V_ASN1_SEQUENCE, os1); | ||
| 645 | os1 = os2 = NULL; | ||
| 646 | rv = 3; | ||
| 647 | err: | ||
| 648 | if (mgf1alg) | ||
| 649 | X509_ALGOR_free(mgf1alg); | ||
| 650 | if (pss) | ||
| 651 | RSA_PSS_PARAMS_free(pss); | ||
| 652 | if (os1) | ||
| 653 | ASN1_STRING_free(os1); | ||
| 654 | return rv; | ||
| 655 | |||
| 656 | } | ||
| 657 | return 2; | ||
| 658 | } | ||
| 313 | 659 | ||
| 314 | const EVP_PKEY_ASN1_METHOD rsa_asn1_meths[] = | 660 | const EVP_PKEY_ASN1_METHOD rsa_asn1_meths[] = |
| 315 | { | 661 | { |
| @@ -335,10 +681,13 @@ const EVP_PKEY_ASN1_METHOD rsa_asn1_meths[] = | |||
| 335 | 681 | ||
| 336 | 0,0,0,0,0,0, | 682 | 0,0,0,0,0,0, |
| 337 | 683 | ||
| 684 | rsa_sig_print, | ||
| 338 | int_rsa_free, | 685 | int_rsa_free, |
| 339 | rsa_pkey_ctrl, | 686 | rsa_pkey_ctrl, |
| 340 | old_rsa_priv_decode, | 687 | old_rsa_priv_decode, |
| 341 | old_rsa_priv_encode | 688 | old_rsa_priv_encode, |
| 689 | rsa_item_verify, | ||
| 690 | rsa_item_sign | ||
| 342 | }, | 691 | }, |
| 343 | 692 | ||
| 344 | { | 693 | { |
diff --git a/src/lib/libcrypto/rsa/rsa_crpt.c b/src/lib/libcrypto/rsa/rsa_crpt.c new file mode 100644 index 0000000000..d3e44785dc --- /dev/null +++ b/src/lib/libcrypto/rsa/rsa_crpt.c | |||
| @@ -0,0 +1,257 @@ | |||
| 1 | /* crypto/rsa/rsa_lib.c */ | ||
| 2 | /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) | ||
| 3 | * All rights reserved. | ||
| 4 | * | ||
| 5 | * This package is an SSL implementation written | ||
| 6 | * by Eric Young (eay@cryptsoft.com). | ||
| 7 | * The implementation was written so as to conform with Netscapes SSL. | ||
| 8 | * | ||
| 9 | * This library is free for commercial and non-commercial use as long as | ||
| 10 | * the following conditions are aheared to. The following conditions | ||
| 11 | * apply to all code found in this distribution, be it the RC4, RSA, | ||
| 12 | * lhash, DES, etc., code; not just the SSL code. The SSL documentation | ||
| 13 | * included with this distribution is covered by the same copyright terms | ||
| 14 | * except that the holder is Tim Hudson (tjh@cryptsoft.com). | ||
| 15 | * | ||
| 16 | * Copyright remains Eric Young's, and as such any Copyright notices in | ||
| 17 | * the code are not to be removed. | ||
| 18 | * If this package is used in a product, Eric Young should be given attribution | ||
| 19 | * as the author of the parts of the library used. | ||
| 20 | * This can be in the form of a textual message at program startup or | ||
| 21 | * in documentation (online or textual) provided with the package. | ||
| 22 | * | ||
| 23 | * Redistribution and use in source and binary forms, with or without | ||
| 24 | * modification, are permitted provided that the following conditions | ||
| 25 | * are met: | ||
| 26 | * 1. Redistributions of source code must retain the copyright | ||
| 27 | * notice, this list of conditions and the following disclaimer. | ||
| 28 | * 2. Redistributions in binary form must reproduce the above copyright | ||
| 29 | * notice, this list of conditions and the following disclaimer in the | ||
| 30 | * documentation and/or other materials provided with the distribution. | ||
| 31 | * 3. All advertising materials mentioning features or use of this software | ||
| 32 | * must display the following acknowledgement: | ||
| 33 | * "This product includes cryptographic software written by | ||
| 34 | * Eric Young (eay@cryptsoft.com)" | ||
| 35 | * The word 'cryptographic' can be left out if the rouines from the library | ||
| 36 | * being used are not cryptographic related :-). | ||
| 37 | * 4. If you include any Windows specific code (or a derivative thereof) from | ||
| 38 | * the apps directory (application code) you must include an acknowledgement: | ||
| 39 | * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)" | ||
| 40 | * | ||
| 41 | * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND | ||
| 42 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | ||
| 43 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | ||
| 44 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE | ||
| 45 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | ||
| 46 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | ||
| 47 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | ||
| 48 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | ||
| 49 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | ||
| 50 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | ||
| 51 | * SUCH DAMAGE. | ||
| 52 | * | ||
| 53 | * The licence and distribution terms for any publically available version or | ||
| 54 | * derivative of this code cannot be changed. i.e. this code cannot simply be | ||
| 55 | * copied and put under another distribution licence | ||
| 56 | * [including the GNU Public Licence.] | ||
| 57 | */ | ||
| 58 | |||
| 59 | #include <stdio.h> | ||
| 60 | #include <openssl/crypto.h> | ||
| 61 | #include "cryptlib.h" | ||
| 62 | #include <openssl/lhash.h> | ||
| 63 | #include <openssl/bn.h> | ||
| 64 | #include <openssl/rsa.h> | ||
| 65 | #include <openssl/rand.h> | ||
| 66 | #ifndef OPENSSL_NO_ENGINE | ||
| 67 | #include <openssl/engine.h> | ||
| 68 | #endif | ||
| 69 | |||
| 70 | int RSA_size(const RSA *r) | ||
| 71 | { | ||
| 72 | return(BN_num_bytes(r->n)); | ||
| 73 | } | ||
| 74 | |||
| 75 | int RSA_public_encrypt(int flen, const unsigned char *from, unsigned char *to, | ||
| 76 | RSA *rsa, int padding) | ||
| 77 | { | ||
| 78 | #ifdef OPENSSL_FIPS | ||
| 79 | if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD) | ||
| 80 | && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) | ||
| 81 | { | ||
| 82 | RSAerr(RSA_F_RSA_PUBLIC_ENCRYPT, RSA_R_NON_FIPS_RSA_METHOD); | ||
| 83 | return -1; | ||
| 84 | } | ||
| 85 | #endif | ||
| 86 | return(rsa->meth->rsa_pub_enc(flen, from, to, rsa, padding)); | ||
| 87 | } | ||
| 88 | |||
| 89 | int RSA_private_encrypt(int flen, const unsigned char *from, unsigned char *to, | ||
| 90 | RSA *rsa, int padding) | ||
| 91 | { | ||
| 92 | #ifdef OPENSSL_FIPS | ||
| 93 | if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD) | ||
| 94 | && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) | ||
| 95 | { | ||
| 96 | RSAerr(RSA_F_RSA_PRIVATE_ENCRYPT, RSA_R_NON_FIPS_RSA_METHOD); | ||
| 97 | return -1; | ||
| 98 | } | ||
| 99 | #endif | ||
| 100 | return(rsa->meth->rsa_priv_enc(flen, from, to, rsa, padding)); | ||
| 101 | } | ||
| 102 | |||
| 103 | int RSA_private_decrypt(int flen, const unsigned char *from, unsigned char *to, | ||
| 104 | RSA *rsa, int padding) | ||
| 105 | { | ||
| 106 | #ifdef OPENSSL_FIPS | ||
| 107 | if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD) | ||
| 108 | && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) | ||
| 109 | { | ||
| 110 | RSAerr(RSA_F_RSA_PRIVATE_DECRYPT, RSA_R_NON_FIPS_RSA_METHOD); | ||
| 111 | return -1; | ||
| 112 | } | ||
| 113 | #endif | ||
| 114 | return(rsa->meth->rsa_priv_dec(flen, from, to, rsa, padding)); | ||
| 115 | } | ||
| 116 | |||
| 117 | int RSA_public_decrypt(int flen, const unsigned char *from, unsigned char *to, | ||
| 118 | RSA *rsa, int padding) | ||
| 119 | { | ||
| 120 | #ifdef OPENSSL_FIPS | ||
| 121 | if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD) | ||
| 122 | && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) | ||
| 123 | { | ||
| 124 | RSAerr(RSA_F_RSA_PUBLIC_DECRYPT, RSA_R_NON_FIPS_RSA_METHOD); | ||
| 125 | return -1; | ||
| 126 | } | ||
| 127 | #endif | ||
| 128 | return(rsa->meth->rsa_pub_dec(flen, from, to, rsa, padding)); | ||
| 129 | } | ||
| 130 | |||
| 131 | int RSA_flags(const RSA *r) | ||
| 132 | { | ||
| 133 | return((r == NULL)?0:r->meth->flags); | ||
| 134 | } | ||
| 135 | |||
| 136 | void RSA_blinding_off(RSA *rsa) | ||
| 137 | { | ||
| 138 | if (rsa->blinding != NULL) | ||
| 139 | { | ||
| 140 | BN_BLINDING_free(rsa->blinding); | ||
| 141 | rsa->blinding=NULL; | ||
| 142 | } | ||
| 143 | rsa->flags &= ~RSA_FLAG_BLINDING; | ||
| 144 | rsa->flags |= RSA_FLAG_NO_BLINDING; | ||
| 145 | } | ||
| 146 | |||
| 147 | int RSA_blinding_on(RSA *rsa, BN_CTX *ctx) | ||
| 148 | { | ||
| 149 | int ret=0; | ||
| 150 | |||
| 151 | if (rsa->blinding != NULL) | ||
| 152 | RSA_blinding_off(rsa); | ||
| 153 | |||
| 154 | rsa->blinding = RSA_setup_blinding(rsa, ctx); | ||
| 155 | if (rsa->blinding == NULL) | ||
| 156 | goto err; | ||
| 157 | |||
| 158 | rsa->flags |= RSA_FLAG_BLINDING; | ||
| 159 | rsa->flags &= ~RSA_FLAG_NO_BLINDING; | ||
| 160 | ret=1; | ||
| 161 | err: | ||
| 162 | return(ret); | ||
| 163 | } | ||
| 164 | |||
| 165 | static BIGNUM *rsa_get_public_exp(const BIGNUM *d, const BIGNUM *p, | ||
| 166 | const BIGNUM *q, BN_CTX *ctx) | ||
| 167 | { | ||
| 168 | BIGNUM *ret = NULL, *r0, *r1, *r2; | ||
| 169 | |||
| 170 | if (d == NULL || p == NULL || q == NULL) | ||
| 171 | return NULL; | ||
| 172 | |||
| 173 | BN_CTX_start(ctx); | ||
| 174 | r0 = BN_CTX_get(ctx); | ||
| 175 | r1 = BN_CTX_get(ctx); | ||
| 176 | r2 = BN_CTX_get(ctx); | ||
| 177 | if (r2 == NULL) | ||
| 178 | goto err; | ||
| 179 | |||
| 180 | if (!BN_sub(r1, p, BN_value_one())) goto err; | ||
| 181 | if (!BN_sub(r2, q, BN_value_one())) goto err; | ||
| 182 | if (!BN_mul(r0, r1, r2, ctx)) goto err; | ||
| 183 | |||
| 184 | ret = BN_mod_inverse(NULL, d, r0, ctx); | ||
| 185 | err: | ||
| 186 | BN_CTX_end(ctx); | ||
| 187 | return ret; | ||
| 188 | } | ||
| 189 | |||
| 190 | BN_BLINDING *RSA_setup_blinding(RSA *rsa, BN_CTX *in_ctx) | ||
| 191 | { | ||
| 192 | BIGNUM local_n; | ||
| 193 | BIGNUM *e,*n; | ||
| 194 | BN_CTX *ctx; | ||
| 195 | BN_BLINDING *ret = NULL; | ||
| 196 | |||
| 197 | if (in_ctx == NULL) | ||
| 198 | { | ||
| 199 | if ((ctx = BN_CTX_new()) == NULL) return 0; | ||
| 200 | } | ||
| 201 | else | ||
| 202 | ctx = in_ctx; | ||
| 203 | |||
| 204 | BN_CTX_start(ctx); | ||
| 205 | e = BN_CTX_get(ctx); | ||
| 206 | if (e == NULL) | ||
| 207 | { | ||
| 208 | RSAerr(RSA_F_RSA_SETUP_BLINDING, ERR_R_MALLOC_FAILURE); | ||
| 209 | goto err; | ||
| 210 | } | ||
| 211 | |||
| 212 | if (rsa->e == NULL) | ||
| 213 | { | ||
| 214 | e = rsa_get_public_exp(rsa->d, rsa->p, rsa->q, ctx); | ||
| 215 | if (e == NULL) | ||
| 216 | { | ||
| 217 | RSAerr(RSA_F_RSA_SETUP_BLINDING, RSA_R_NO_PUBLIC_EXPONENT); | ||
| 218 | goto err; | ||
| 219 | } | ||
| 220 | } | ||
| 221 | else | ||
| 222 | e = rsa->e; | ||
| 223 | |||
| 224 | |||
| 225 | if ((RAND_status() == 0) && rsa->d != NULL && rsa->d->d != NULL) | ||
| 226 | { | ||
| 227 | /* if PRNG is not properly seeded, resort to secret | ||
| 228 | * exponent as unpredictable seed */ | ||
| 229 | RAND_add(rsa->d->d, rsa->d->dmax * sizeof rsa->d->d[0], 0.0); | ||
| 230 | } | ||
| 231 | |||
| 232 | if (!(rsa->flags & RSA_FLAG_NO_CONSTTIME)) | ||
| 233 | { | ||
| 234 | /* Set BN_FLG_CONSTTIME flag */ | ||
| 235 | n = &local_n; | ||
| 236 | BN_with_flags(n, rsa->n, BN_FLG_CONSTTIME); | ||
| 237 | } | ||
| 238 | else | ||
| 239 | n = rsa->n; | ||
| 240 | |||
| 241 | ret = BN_BLINDING_create_param(NULL, e, n, ctx, | ||
| 242 | rsa->meth->bn_mod_exp, rsa->_method_mod_n); | ||
| 243 | if (ret == NULL) | ||
| 244 | { | ||
| 245 | RSAerr(RSA_F_RSA_SETUP_BLINDING, ERR_R_BN_LIB); | ||
| 246 | goto err; | ||
| 247 | } | ||
| 248 | CRYPTO_THREADID_current(BN_BLINDING_thread_id(ret)); | ||
| 249 | err: | ||
| 250 | BN_CTX_end(ctx); | ||
| 251 | if (in_ctx == NULL) | ||
| 252 | BN_CTX_free(ctx); | ||
| 253 | if(rsa->e == NULL) | ||
| 254 | BN_free(e); | ||
| 255 | |||
| 256 | return ret; | ||
| 257 | } | ||
diff --git a/src/lib/libcrypto/rsa/rsa_pmeth.c b/src/lib/libcrypto/rsa/rsa_pmeth.c index c6892ecd09..5b2ecf56ad 100644 --- a/src/lib/libcrypto/rsa/rsa_pmeth.c +++ b/src/lib/libcrypto/rsa/rsa_pmeth.c | |||
| @@ -63,6 +63,12 @@ | |||
| 63 | #include <openssl/rsa.h> | 63 | #include <openssl/rsa.h> |
| 64 | #include <openssl/bn.h> | 64 | #include <openssl/bn.h> |
| 65 | #include <openssl/evp.h> | 65 | #include <openssl/evp.h> |
| 66 | #ifndef OPENSSL_NO_CMS | ||
| 67 | #include <openssl/cms.h> | ||
| 68 | #endif | ||
| 69 | #ifdef OPENSSL_FIPS | ||
| 70 | #include <openssl/fips.h> | ||
| 71 | #endif | ||
| 66 | #include "evp_locl.h" | 72 | #include "evp_locl.h" |
| 67 | #include "rsa_locl.h" | 73 | #include "rsa_locl.h" |
| 68 | 74 | ||
| @@ -79,6 +85,8 @@ typedef struct | |||
| 79 | int pad_mode; | 85 | int pad_mode; |
| 80 | /* message digest */ | 86 | /* message digest */ |
| 81 | const EVP_MD *md; | 87 | const EVP_MD *md; |
| 88 | /* message digest for MGF1 */ | ||
| 89 | const EVP_MD *mgf1md; | ||
| 82 | /* PSS/OAEP salt length */ | 90 | /* PSS/OAEP salt length */ |
| 83 | int saltlen; | 91 | int saltlen; |
| 84 | /* Temp buffer */ | 92 | /* Temp buffer */ |
| @@ -95,6 +103,7 @@ static int pkey_rsa_init(EVP_PKEY_CTX *ctx) | |||
| 95 | rctx->pub_exp = NULL; | 103 | rctx->pub_exp = NULL; |
| 96 | rctx->pad_mode = RSA_PKCS1_PADDING; | 104 | rctx->pad_mode = RSA_PKCS1_PADDING; |
| 97 | rctx->md = NULL; | 105 | rctx->md = NULL; |
| 106 | rctx->mgf1md = NULL; | ||
| 98 | rctx->tbuf = NULL; | 107 | rctx->tbuf = NULL; |
| 99 | 108 | ||
| 100 | rctx->saltlen = -2; | 109 | rctx->saltlen = -2; |
| @@ -147,6 +156,31 @@ static void pkey_rsa_cleanup(EVP_PKEY_CTX *ctx) | |||
| 147 | OPENSSL_free(rctx); | 156 | OPENSSL_free(rctx); |
| 148 | } | 157 | } |
| 149 | } | 158 | } |
| 159 | #ifdef OPENSSL_FIPS | ||
| 160 | /* FIP checker. Return value indicates status of context parameters: | ||
| 161 | * 1 : redirect to FIPS. | ||
| 162 | * 0 : don't redirect to FIPS. | ||
| 163 | * -1 : illegal operation in FIPS mode. | ||
| 164 | */ | ||
| 165 | |||
| 166 | static int pkey_fips_check_ctx(EVP_PKEY_CTX *ctx) | ||
| 167 | { | ||
| 168 | RSA_PKEY_CTX *rctx = ctx->data; | ||
| 169 | RSA *rsa = ctx->pkey->pkey.rsa; | ||
| 170 | int rv = -1; | ||
| 171 | if (!FIPS_mode()) | ||
| 172 | return 0; | ||
| 173 | if (rsa->flags & RSA_FLAG_NON_FIPS_ALLOW) | ||
| 174 | rv = 0; | ||
| 175 | if (!(rsa->meth->flags & RSA_FLAG_FIPS_METHOD) && rv) | ||
| 176 | return -1; | ||
| 177 | if (rctx->md && !(rctx->md->flags & EVP_MD_FLAG_FIPS)) | ||
| 178 | return rv; | ||
| 179 | if (rctx->mgf1md && !(rctx->mgf1md->flags & EVP_MD_FLAG_FIPS)) | ||
| 180 | return rv; | ||
| 181 | return 1; | ||
| 182 | } | ||
| 183 | #endif | ||
| 150 | 184 | ||
| 151 | static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen, | 185 | static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen, |
| 152 | const unsigned char *tbs, size_t tbslen) | 186 | const unsigned char *tbs, size_t tbslen) |
| @@ -155,6 +189,15 @@ static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen, | |||
| 155 | RSA_PKEY_CTX *rctx = ctx->data; | 189 | RSA_PKEY_CTX *rctx = ctx->data; |
| 156 | RSA *rsa = ctx->pkey->pkey.rsa; | 190 | RSA *rsa = ctx->pkey->pkey.rsa; |
| 157 | 191 | ||
| 192 | #ifdef OPENSSL_FIPS | ||
| 193 | ret = pkey_fips_check_ctx(ctx); | ||
| 194 | if (ret < 0) | ||
| 195 | { | ||
| 196 | RSAerr(RSA_F_PKEY_RSA_SIGN, RSA_R_OPERATION_NOT_ALLOWED_IN_FIPS_MODE); | ||
| 197 | return -1; | ||
| 198 | } | ||
| 199 | #endif | ||
| 200 | |||
| 158 | if (rctx->md) | 201 | if (rctx->md) |
| 159 | { | 202 | { |
| 160 | if (tbslen != (size_t)EVP_MD_size(rctx->md)) | 203 | if (tbslen != (size_t)EVP_MD_size(rctx->md)) |
| @@ -163,7 +206,36 @@ static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen, | |||
| 163 | RSA_R_INVALID_DIGEST_LENGTH); | 206 | RSA_R_INVALID_DIGEST_LENGTH); |
| 164 | return -1; | 207 | return -1; |
| 165 | } | 208 | } |
| 166 | if (rctx->pad_mode == RSA_X931_PADDING) | 209 | #ifdef OPENSSL_FIPS |
| 210 | if (ret > 0) | ||
| 211 | { | ||
| 212 | unsigned int slen; | ||
| 213 | ret = FIPS_rsa_sign_digest(rsa, tbs, tbslen, rctx->md, | ||
| 214 | rctx->pad_mode, | ||
| 215 | rctx->saltlen, | ||
| 216 | rctx->mgf1md, | ||
| 217 | sig, &slen); | ||
| 218 | if (ret > 0) | ||
| 219 | *siglen = slen; | ||
| 220 | else | ||
| 221 | *siglen = 0; | ||
| 222 | return ret; | ||
| 223 | } | ||
| 224 | #endif | ||
| 225 | |||
| 226 | if (EVP_MD_type(rctx->md) == NID_mdc2) | ||
| 227 | { | ||
| 228 | unsigned int sltmp; | ||
| 229 | if (rctx->pad_mode != RSA_PKCS1_PADDING) | ||
| 230 | return -1; | ||
| 231 | ret = RSA_sign_ASN1_OCTET_STRING(NID_mdc2, | ||
| 232 | tbs, tbslen, sig, &sltmp, rsa); | ||
| 233 | |||
| 234 | if (ret <= 0) | ||
| 235 | return ret; | ||
| 236 | ret = sltmp; | ||
| 237 | } | ||
| 238 | else if (rctx->pad_mode == RSA_X931_PADDING) | ||
| 167 | { | 239 | { |
| 168 | if (!setup_tbuf(rctx, ctx)) | 240 | if (!setup_tbuf(rctx, ctx)) |
| 169 | return -1; | 241 | return -1; |
| @@ -186,8 +258,10 @@ static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen, | |||
| 186 | { | 258 | { |
| 187 | if (!setup_tbuf(rctx, ctx)) | 259 | if (!setup_tbuf(rctx, ctx)) |
| 188 | return -1; | 260 | return -1; |
| 189 | if (!RSA_padding_add_PKCS1_PSS(rsa, rctx->tbuf, tbs, | 261 | if (!RSA_padding_add_PKCS1_PSS_mgf1(rsa, |
| 190 | rctx->md, rctx->saltlen)) | 262 | rctx->tbuf, tbs, |
| 263 | rctx->md, rctx->mgf1md, | ||
| 264 | rctx->saltlen)) | ||
| 191 | return -1; | 265 | return -1; |
| 192 | ret = RSA_private_encrypt(RSA_size(rsa), rctx->tbuf, | 266 | ret = RSA_private_encrypt(RSA_size(rsa), rctx->tbuf, |
| 193 | sig, rsa, RSA_NO_PADDING); | 267 | sig, rsa, RSA_NO_PADDING); |
| @@ -269,8 +343,30 @@ static int pkey_rsa_verify(EVP_PKEY_CTX *ctx, | |||
| 269 | RSA_PKEY_CTX *rctx = ctx->data; | 343 | RSA_PKEY_CTX *rctx = ctx->data; |
| 270 | RSA *rsa = ctx->pkey->pkey.rsa; | 344 | RSA *rsa = ctx->pkey->pkey.rsa; |
| 271 | size_t rslen; | 345 | size_t rslen; |
| 346 | #ifdef OPENSSL_FIPS | ||
| 347 | int rv; | ||
| 348 | rv = pkey_fips_check_ctx(ctx); | ||
| 349 | if (rv < 0) | ||
| 350 | { | ||
| 351 | RSAerr(RSA_F_PKEY_RSA_VERIFY, RSA_R_OPERATION_NOT_ALLOWED_IN_FIPS_MODE); | ||
| 352 | return -1; | ||
| 353 | } | ||
| 354 | #endif | ||
| 272 | if (rctx->md) | 355 | if (rctx->md) |
| 273 | { | 356 | { |
| 357 | #ifdef OPENSSL_FIPS | ||
| 358 | if (rv > 0) | ||
| 359 | { | ||
| 360 | return FIPS_rsa_verify_digest(rsa, | ||
| 361 | tbs, tbslen, | ||
| 362 | rctx->md, | ||
| 363 | rctx->pad_mode, | ||
| 364 | rctx->saltlen, | ||
| 365 | rctx->mgf1md, | ||
| 366 | sig, siglen); | ||
| 367 | |||
| 368 | } | ||
| 369 | #endif | ||
| 274 | if (rctx->pad_mode == RSA_PKCS1_PADDING) | 370 | if (rctx->pad_mode == RSA_PKCS1_PADDING) |
| 275 | return RSA_verify(EVP_MD_type(rctx->md), tbs, tbslen, | 371 | return RSA_verify(EVP_MD_type(rctx->md), tbs, tbslen, |
| 276 | sig, siglen, rsa); | 372 | sig, siglen, rsa); |
| @@ -289,7 +385,8 @@ static int pkey_rsa_verify(EVP_PKEY_CTX *ctx, | |||
| 289 | rsa, RSA_NO_PADDING); | 385 | rsa, RSA_NO_PADDING); |
| 290 | if (ret <= 0) | 386 | if (ret <= 0) |
| 291 | return 0; | 387 | return 0; |
| 292 | ret = RSA_verify_PKCS1_PSS(rsa, tbs, rctx->md, | 388 | ret = RSA_verify_PKCS1_PSS_mgf1(rsa, tbs, |
| 389 | rctx->md, rctx->mgf1md, | ||
| 293 | rctx->tbuf, rctx->saltlen); | 390 | rctx->tbuf, rctx->saltlen); |
| 294 | if (ret <= 0) | 391 | if (ret <= 0) |
| 295 | return 0; | 392 | return 0; |
| @@ -403,15 +500,25 @@ static int pkey_rsa_ctrl(EVP_PKEY_CTX *ctx, int type, int p1, void *p2) | |||
| 403 | RSA_R_ILLEGAL_OR_UNSUPPORTED_PADDING_MODE); | 500 | RSA_R_ILLEGAL_OR_UNSUPPORTED_PADDING_MODE); |
| 404 | return -2; | 501 | return -2; |
| 405 | 502 | ||
| 503 | case EVP_PKEY_CTRL_GET_RSA_PADDING: | ||
| 504 | *(int *)p2 = rctx->pad_mode; | ||
| 505 | return 1; | ||
| 506 | |||
| 406 | case EVP_PKEY_CTRL_RSA_PSS_SALTLEN: | 507 | case EVP_PKEY_CTRL_RSA_PSS_SALTLEN: |
| 407 | if (p1 < -2) | 508 | case EVP_PKEY_CTRL_GET_RSA_PSS_SALTLEN: |
| 408 | return -2; | ||
| 409 | if (rctx->pad_mode != RSA_PKCS1_PSS_PADDING) | 509 | if (rctx->pad_mode != RSA_PKCS1_PSS_PADDING) |
| 410 | { | 510 | { |
| 411 | RSAerr(RSA_F_PKEY_RSA_CTRL, RSA_R_INVALID_PSS_SALTLEN); | 511 | RSAerr(RSA_F_PKEY_RSA_CTRL, RSA_R_INVALID_PSS_SALTLEN); |
| 412 | return -2; | 512 | return -2; |
| 413 | } | 513 | } |
| 414 | rctx->saltlen = p1; | 514 | if (type == EVP_PKEY_CTRL_GET_RSA_PSS_SALTLEN) |
| 515 | *(int *)p2 = rctx->saltlen; | ||
| 516 | else | ||
| 517 | { | ||
| 518 | if (p1 < -2) | ||
| 519 | return -2; | ||
| 520 | rctx->saltlen = p1; | ||
| 521 | } | ||
| 415 | return 1; | 522 | return 1; |
| 416 | 523 | ||
| 417 | case EVP_PKEY_CTRL_RSA_KEYGEN_BITS: | 524 | case EVP_PKEY_CTRL_RSA_KEYGEN_BITS: |
| @@ -435,16 +542,45 @@ static int pkey_rsa_ctrl(EVP_PKEY_CTX *ctx, int type, int p1, void *p2) | |||
| 435 | rctx->md = p2; | 542 | rctx->md = p2; |
| 436 | return 1; | 543 | return 1; |
| 437 | 544 | ||
| 545 | case EVP_PKEY_CTRL_RSA_MGF1_MD: | ||
| 546 | case EVP_PKEY_CTRL_GET_RSA_MGF1_MD: | ||
| 547 | if (rctx->pad_mode != RSA_PKCS1_PSS_PADDING) | ||
| 548 | { | ||
| 549 | RSAerr(RSA_F_PKEY_RSA_CTRL, RSA_R_INVALID_MGF1_MD); | ||
| 550 | return -2; | ||
| 551 | } | ||
| 552 | if (type == EVP_PKEY_CTRL_GET_RSA_MGF1_MD) | ||
| 553 | { | ||
| 554 | if (rctx->mgf1md) | ||
| 555 | *(const EVP_MD **)p2 = rctx->mgf1md; | ||
| 556 | else | ||
| 557 | *(const EVP_MD **)p2 = rctx->md; | ||
| 558 | } | ||
| 559 | else | ||
| 560 | rctx->mgf1md = p2; | ||
| 561 | return 1; | ||
| 562 | |||
| 438 | case EVP_PKEY_CTRL_DIGESTINIT: | 563 | case EVP_PKEY_CTRL_DIGESTINIT: |
| 439 | case EVP_PKEY_CTRL_PKCS7_ENCRYPT: | 564 | case EVP_PKEY_CTRL_PKCS7_ENCRYPT: |
| 440 | case EVP_PKEY_CTRL_PKCS7_DECRYPT: | 565 | case EVP_PKEY_CTRL_PKCS7_DECRYPT: |
| 441 | case EVP_PKEY_CTRL_PKCS7_SIGN: | 566 | case EVP_PKEY_CTRL_PKCS7_SIGN: |
| 567 | return 1; | ||
| 442 | #ifndef OPENSSL_NO_CMS | 568 | #ifndef OPENSSL_NO_CMS |
| 443 | case EVP_PKEY_CTRL_CMS_ENCRYPT: | ||
| 444 | case EVP_PKEY_CTRL_CMS_DECRYPT: | 569 | case EVP_PKEY_CTRL_CMS_DECRYPT: |
| 570 | { | ||
| 571 | X509_ALGOR *alg = NULL; | ||
| 572 | ASN1_OBJECT *encalg = NULL; | ||
| 573 | if (p2) | ||
| 574 | CMS_RecipientInfo_ktri_get0_algs(p2, NULL, NULL, &alg); | ||
| 575 | if (alg) | ||
| 576 | X509_ALGOR_get0(&encalg, NULL, NULL, alg); | ||
| 577 | if (encalg && OBJ_obj2nid(encalg) == NID_rsaesOaep) | ||
| 578 | rctx->pad_mode = RSA_PKCS1_OAEP_PADDING; | ||
| 579 | } | ||
| 580 | case EVP_PKEY_CTRL_CMS_ENCRYPT: | ||
| 445 | case EVP_PKEY_CTRL_CMS_SIGN: | 581 | case EVP_PKEY_CTRL_CMS_SIGN: |
| 446 | #endif | ||
| 447 | return 1; | 582 | return 1; |
| 583 | #endif | ||
| 448 | case EVP_PKEY_CTRL_PEER_KEY: | 584 | case EVP_PKEY_CTRL_PEER_KEY: |
| 449 | RSAerr(RSA_F_PKEY_RSA_CTRL, | 585 | RSAerr(RSA_F_PKEY_RSA_CTRL, |
| 450 | RSA_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE); | 586 | RSA_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE); |
diff --git a/src/lib/libcrypto/rsa/rsa_pss.c b/src/lib/libcrypto/rsa/rsa_pss.c index ac211e2ffe..5f9f533d0c 100644 --- a/src/lib/libcrypto/rsa/rsa_pss.c +++ b/src/lib/libcrypto/rsa/rsa_pss.c | |||
| @@ -73,6 +73,13 @@ static const unsigned char zeroes[] = {0,0,0,0,0,0,0,0}; | |||
| 73 | int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | 73 | int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, |
| 74 | const EVP_MD *Hash, const unsigned char *EM, int sLen) | 74 | const EVP_MD *Hash, const unsigned char *EM, int sLen) |
| 75 | { | 75 | { |
| 76 | return RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash, NULL, EM, sLen); | ||
| 77 | } | ||
| 78 | |||
| 79 | int RSA_verify_PKCS1_PSS_mgf1(RSA *rsa, const unsigned char *mHash, | ||
| 80 | const EVP_MD *Hash, const EVP_MD *mgf1Hash, | ||
| 81 | const unsigned char *EM, int sLen) | ||
| 82 | { | ||
| 76 | int i; | 83 | int i; |
| 77 | int ret = 0; | 84 | int ret = 0; |
| 78 | int hLen, maskedDBLen, MSBits, emLen; | 85 | int hLen, maskedDBLen, MSBits, emLen; |
| @@ -80,6 +87,10 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 80 | unsigned char *DB = NULL; | 87 | unsigned char *DB = NULL; |
| 81 | EVP_MD_CTX ctx; | 88 | EVP_MD_CTX ctx; |
| 82 | unsigned char H_[EVP_MAX_MD_SIZE]; | 89 | unsigned char H_[EVP_MAX_MD_SIZE]; |
| 90 | EVP_MD_CTX_init(&ctx); | ||
| 91 | |||
| 92 | if (mgf1Hash == NULL) | ||
| 93 | mgf1Hash = Hash; | ||
| 83 | 94 | ||
| 84 | hLen = EVP_MD_size(Hash); | 95 | hLen = EVP_MD_size(Hash); |
| 85 | if (hLen < 0) | 96 | if (hLen < 0) |
| @@ -94,7 +105,7 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 94 | else if (sLen == -2) sLen = -2; | 105 | else if (sLen == -2) sLen = -2; |
| 95 | else if (sLen < -2) | 106 | else if (sLen < -2) |
| 96 | { | 107 | { |
| 97 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_SLEN_CHECK_FAILED); | 108 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_SLEN_CHECK_FAILED); |
| 98 | goto err; | 109 | goto err; |
| 99 | } | 110 | } |
| 100 | 111 | ||
| @@ -102,7 +113,7 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 102 | emLen = RSA_size(rsa); | 113 | emLen = RSA_size(rsa); |
| 103 | if (EM[0] & (0xFF << MSBits)) | 114 | if (EM[0] & (0xFF << MSBits)) |
| 104 | { | 115 | { |
| 105 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_FIRST_OCTET_INVALID); | 116 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_FIRST_OCTET_INVALID); |
| 106 | goto err; | 117 | goto err; |
| 107 | } | 118 | } |
| 108 | if (MSBits == 0) | 119 | if (MSBits == 0) |
| @@ -112,12 +123,12 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 112 | } | 123 | } |
| 113 | if (emLen < (hLen + sLen + 2)) /* sLen can be small negative */ | 124 | if (emLen < (hLen + sLen + 2)) /* sLen can be small negative */ |
| 114 | { | 125 | { |
| 115 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_DATA_TOO_LARGE); | 126 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_DATA_TOO_LARGE); |
| 116 | goto err; | 127 | goto err; |
| 117 | } | 128 | } |
| 118 | if (EM[emLen - 1] != 0xbc) | 129 | if (EM[emLen - 1] != 0xbc) |
| 119 | { | 130 | { |
| 120 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_LAST_OCTET_INVALID); | 131 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_LAST_OCTET_INVALID); |
| 121 | goto err; | 132 | goto err; |
| 122 | } | 133 | } |
| 123 | maskedDBLen = emLen - hLen - 1; | 134 | maskedDBLen = emLen - hLen - 1; |
| @@ -125,10 +136,10 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 125 | DB = OPENSSL_malloc(maskedDBLen); | 136 | DB = OPENSSL_malloc(maskedDBLen); |
| 126 | if (!DB) | 137 | if (!DB) |
| 127 | { | 138 | { |
| 128 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, ERR_R_MALLOC_FAILURE); | 139 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, ERR_R_MALLOC_FAILURE); |
| 129 | goto err; | 140 | goto err; |
| 130 | } | 141 | } |
| 131 | if (PKCS1_MGF1(DB, maskedDBLen, H, hLen, Hash) < 0) | 142 | if (PKCS1_MGF1(DB, maskedDBLen, H, hLen, mgf1Hash) < 0) |
| 132 | goto err; | 143 | goto err; |
| 133 | for (i = 0; i < maskedDBLen; i++) | 144 | for (i = 0; i < maskedDBLen; i++) |
| 134 | DB[i] ^= EM[i]; | 145 | DB[i] ^= EM[i]; |
| @@ -137,25 +148,28 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 137 | for (i = 0; DB[i] == 0 && i < (maskedDBLen-1); i++) ; | 148 | for (i = 0; DB[i] == 0 && i < (maskedDBLen-1); i++) ; |
| 138 | if (DB[i++] != 0x1) | 149 | if (DB[i++] != 0x1) |
| 139 | { | 150 | { |
| 140 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_SLEN_RECOVERY_FAILED); | 151 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_SLEN_RECOVERY_FAILED); |
| 141 | goto err; | 152 | goto err; |
| 142 | } | 153 | } |
| 143 | if (sLen >= 0 && (maskedDBLen - i) != sLen) | 154 | if (sLen >= 0 && (maskedDBLen - i) != sLen) |
| 144 | { | 155 | { |
| 145 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_SLEN_CHECK_FAILED); | 156 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_SLEN_CHECK_FAILED); |
| 146 | goto err; | 157 | goto err; |
| 147 | } | 158 | } |
| 148 | EVP_MD_CTX_init(&ctx); | 159 | if (!EVP_DigestInit_ex(&ctx, Hash, NULL) |
| 149 | EVP_DigestInit_ex(&ctx, Hash, NULL); | 160 | || !EVP_DigestUpdate(&ctx, zeroes, sizeof zeroes) |
| 150 | EVP_DigestUpdate(&ctx, zeroes, sizeof zeroes); | 161 | || !EVP_DigestUpdate(&ctx, mHash, hLen)) |
| 151 | EVP_DigestUpdate(&ctx, mHash, hLen); | 162 | goto err; |
| 152 | if (maskedDBLen - i) | 163 | if (maskedDBLen - i) |
| 153 | EVP_DigestUpdate(&ctx, DB + i, maskedDBLen - i); | 164 | { |
| 154 | EVP_DigestFinal(&ctx, H_, NULL); | 165 | if (!EVP_DigestUpdate(&ctx, DB + i, maskedDBLen - i)) |
| 155 | EVP_MD_CTX_cleanup(&ctx); | 166 | goto err; |
| 167 | } | ||
| 168 | if (!EVP_DigestFinal_ex(&ctx, H_, NULL)) | ||
| 169 | goto err; | ||
| 156 | if (memcmp(H_, H, hLen)) | 170 | if (memcmp(H_, H, hLen)) |
| 157 | { | 171 | { |
| 158 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS, RSA_R_BAD_SIGNATURE); | 172 | RSAerr(RSA_F_RSA_VERIFY_PKCS1_PSS_MGF1, RSA_R_BAD_SIGNATURE); |
| 159 | ret = 0; | 173 | ret = 0; |
| 160 | } | 174 | } |
| 161 | else | 175 | else |
| @@ -164,6 +178,7 @@ int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, | |||
| 164 | err: | 178 | err: |
| 165 | if (DB) | 179 | if (DB) |
| 166 | OPENSSL_free(DB); | 180 | OPENSSL_free(DB); |
| 181 | EVP_MD_CTX_cleanup(&ctx); | ||
| 167 | 182 | ||
| 168 | return ret; | 183 | return ret; |
| 169 | 184 | ||
| @@ -173,12 +188,22 @@ int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, | |||
| 173 | const unsigned char *mHash, | 188 | const unsigned char *mHash, |
| 174 | const EVP_MD *Hash, int sLen) | 189 | const EVP_MD *Hash, int sLen) |
| 175 | { | 190 | { |
| 191 | return RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash, NULL, sLen); | ||
| 192 | } | ||
| 193 | |||
| 194 | int RSA_padding_add_PKCS1_PSS_mgf1(RSA *rsa, unsigned char *EM, | ||
| 195 | const unsigned char *mHash, | ||
| 196 | const EVP_MD *Hash, const EVP_MD *mgf1Hash, int sLen) | ||
| 197 | { | ||
| 176 | int i; | 198 | int i; |
| 177 | int ret = 0; | 199 | int ret = 0; |
| 178 | int hLen, maskedDBLen, MSBits, emLen; | 200 | int hLen, maskedDBLen, MSBits, emLen; |
| 179 | unsigned char *H, *salt = NULL, *p; | 201 | unsigned char *H, *salt = NULL, *p; |
| 180 | EVP_MD_CTX ctx; | 202 | EVP_MD_CTX ctx; |
| 181 | 203 | ||
| 204 | if (mgf1Hash == NULL) | ||
| 205 | mgf1Hash = Hash; | ||
| 206 | |||
| 182 | hLen = EVP_MD_size(Hash); | 207 | hLen = EVP_MD_size(Hash); |
| 183 | if (hLen < 0) | 208 | if (hLen < 0) |
| 184 | goto err; | 209 | goto err; |
| @@ -192,7 +217,7 @@ int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, | |||
| 192 | else if (sLen == -2) sLen = -2; | 217 | else if (sLen == -2) sLen = -2; |
| 193 | else if (sLen < -2) | 218 | else if (sLen < -2) |
| 194 | { | 219 | { |
| 195 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS, RSA_R_SLEN_CHECK_FAILED); | 220 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS_MGF1, RSA_R_SLEN_CHECK_FAILED); |
| 196 | goto err; | 221 | goto err; |
| 197 | } | 222 | } |
| 198 | 223 | ||
| @@ -209,8 +234,7 @@ int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, | |||
| 209 | } | 234 | } |
| 210 | else if (emLen < (hLen + sLen + 2)) | 235 | else if (emLen < (hLen + sLen + 2)) |
| 211 | { | 236 | { |
| 212 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS, | 237 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS_MGF1,RSA_R_DATA_TOO_LARGE_FOR_KEY_SIZE); |
| 213 | RSA_R_DATA_TOO_LARGE_FOR_KEY_SIZE); | ||
| 214 | goto err; | 238 | goto err; |
| 215 | } | 239 | } |
| 216 | if (sLen > 0) | 240 | if (sLen > 0) |
| @@ -218,8 +242,7 @@ int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, | |||
| 218 | salt = OPENSSL_malloc(sLen); | 242 | salt = OPENSSL_malloc(sLen); |
| 219 | if (!salt) | 243 | if (!salt) |
| 220 | { | 244 | { |
| 221 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS, | 245 | RSAerr(RSA_F_RSA_PADDING_ADD_PKCS1_PSS_MGF1,ERR_R_MALLOC_FAILURE); |
| 222 | ERR_R_MALLOC_FAILURE); | ||
| 223 | goto err; | 246 | goto err; |
| 224 | } | 247 | } |
| 225 | if (RAND_bytes(salt, sLen) <= 0) | 248 | if (RAND_bytes(salt, sLen) <= 0) |
| @@ -228,16 +251,18 @@ int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, | |||
| 228 | maskedDBLen = emLen - hLen - 1; | 251 | maskedDBLen = emLen - hLen - 1; |
| 229 | H = EM + maskedDBLen; | 252 | H = EM + maskedDBLen; |
| 230 | EVP_MD_CTX_init(&ctx); | 253 | EVP_MD_CTX_init(&ctx); |
| 231 | EVP_DigestInit_ex(&ctx, Hash, NULL); | 254 | if (!EVP_DigestInit_ex(&ctx, Hash, NULL) |
| 232 | EVP_DigestUpdate(&ctx, zeroes, sizeof zeroes); | 255 | || !EVP_DigestUpdate(&ctx, zeroes, sizeof zeroes) |
| 233 | EVP_DigestUpdate(&ctx, mHash, hLen); | 256 | || !EVP_DigestUpdate(&ctx, mHash, hLen)) |
| 234 | if (sLen) | 257 | goto err; |
| 235 | EVP_DigestUpdate(&ctx, salt, sLen); | 258 | if (sLen && !EVP_DigestUpdate(&ctx, salt, sLen)) |
| 236 | EVP_DigestFinal(&ctx, H, NULL); | 259 | goto err; |
| 260 | if (!EVP_DigestFinal_ex(&ctx, H, NULL)) | ||
| 261 | goto err; | ||
| 237 | EVP_MD_CTX_cleanup(&ctx); | 262 | EVP_MD_CTX_cleanup(&ctx); |
| 238 | 263 | ||
| 239 | /* Generate dbMask in place then perform XOR on it */ | 264 | /* Generate dbMask in place then perform XOR on it */ |
| 240 | if (PKCS1_MGF1(EM, maskedDBLen, H, hLen, Hash)) | 265 | if (PKCS1_MGF1(EM, maskedDBLen, H, hLen, mgf1Hash)) |
| 241 | goto err; | 266 | goto err; |
| 242 | 267 | ||
| 243 | p = EM; | 268 | p = EM; |
