Blum–Goldwasser cryptosystem

The Blum-Goldwasser (BG) cryptosystem is an asymmetric key encryption algorithm proposed by Manuel Blum and Shafi Goldwasser in 1984. Blum-Goldwasser is a probabilistic, semantically secure cryptosystem with a constant-size ciphertext expansion. The encryption algorithm implements an XOR-based stream cipher using the Blum Blum Shub (BBS) pseudo-random number generator to generate the keystream. Decryption is accomplished by manipulating the final state of the BBS generator using the private key, in order to find the initial seed and reconstruct the keystream.

The BG cryptosystem is semantically secure based on the assumed intractability of integer factorization; specifically, factoring a composite value $N = pq$ where $p, q$ are large primes. BG has multiple advantages over earlier probabilistic encryption schemes such as the Goldwasser-Micali cryptosystem. First, its semantic security reduces solely to integer factorization, without requiring any additional assumptions (e.g., hardness of the quadratic residuosity problem or the RSA problem). Secondly, BG is efficient in terms of storage, inducing a constant-size ciphertext expansion regardless of message length. BG is also relatively efficient in terms of computation, and fares well even in comparison with cryptosystems such as RSA (depending on message length and exponent choices). However, BG is highly vulnerable to adaptive chosen ciphertext attacks (see below).

Because encryption is performed using a probabilistic algorithm, a given plaintext may produce very different ciphertexts each time it is encrypted. This has significant advantages, as it prevents an adversary from recognizing intercepted messages by comparing them to a dictionary of known ciphertexts.

Scheme definition

Note that the following description is a draft, and may contain errors!

Blum-Goldwasser consists of three algorithms: a probabilistic key generation algorithm which produces a public and a private key, a probabilistic encryption algorithm, and a deterministic decryption algorithm.

Key generation

To allow for decryption, the modulus used in Blum-Goldwasser encryption should be a Blum integer. This value is generated in the same manner as an RSA modulus, except that the prime factors $(p, q)$ must be congruent to 3 mod 4. (See RSA, key generation for details.)

Alice generates two large prime numbers $p\,$ and $q \,$ such that $p\neq q$ , randomly and independently of each other, where $p \equiv q \equiv 3$ mod $4$ .^[1]
Alice computes $N = p q$ .

The public key is $N$ . The private key is the factorization $(p, q)$ . ^[1]

Alice keeps the private key secret.

Alice gives $N$ to Bob.

Message encryption

Suppose Bob wishes to send a message m to Alice:

Bob first encodes $m$ as a string of $L$ bits $(m_0, \dots, m_{L-1})$ .
Bob selects a random element $r$ , where $1 < r < N$ , and computes $x_0 = r^2~mod~N$ .
Bob uses the BBS pseudo-random number generator to generate $L$ random bits ${\vec b} = (b_0, \dots, b_{L-1})$ (the keystream), as follows:
1. For $i=0$ to $L$ :
2. Set $b_{i}$ equal to the least-significant bit of $x_{i}$ .
3. Increment $i$ .
4. Compute $x_i = (x_{i-1})^2~mod~N$ .
Bob computes the ciphertext bits using the bits from the BBS as a stream cipher keystream, XORing the plaintext bits with the keystream:
1. For $i=0$ to $L-1$ :
2. ${\vec c} = {\vec m} \oplus {\vec b}$

Bob sends a message to Alice -- the enciphered bits and the final $x_L$ value $(c_0, \dots, c_{L-1}), x_L$ .

(The value $x_L$ is equal to $x_L = x_{0}^{2^{L}}~mod~N$ . )

To improve performance, the BBS generator can securely output up to $O(log log N)$ of the least-significant bits of $x_{i}$ during each round. See Blum Blum Shub for details.

Message decryption

Alice receives $(c_0, \dots, c_{L-1}), y$ . She can recover $m$ using the following procedure:

Using the prime factorization $(p, q)$ , Alice computes $r_p = y^{((p+1)/4)^{L}}~mod~p$ and $r_q = y^{((q+1)/4)^{L}}~mod~q$ .
Compute the initial seed $x_0=(q(q^{-1}~{mod}~p)r_p + p(p^{-1}~{mod}~q)r_q)~{mod}~N$
From $x_{0}$ , recompute the bit-vector ${\vec b}$ using the BBS generator, as in the encryption algorithm.
Compute the plaintext by XORing the keystream with the ciphertext: ${\vec m} = {\vec c} \oplus {\vec b}$ .

Alice recovers the plaintext $m=(m_0, \dots, m_{L-1})$ .

Security and efficiency

The Blum-Goldwasser scheme is semantically-secure based on the hardness of predicting the keystream bits given only the final BBS state $y$ and the public key $N$ . However, ciphertexts of the form ${\vec c}, y$ are vulnerable to an adaptive chosen ciphertext attack in which the adversary requests the decryption $m^{\prime}$ of a chosen ciphertext ${\vec a}, y$ . The decryption $m$ of the original ciphertext can be computed as ${\vec a} \oplus m^{\prime} \oplus {\vec c}$ .

Depending on plaintext size, BG may be more or less computationally expensive than RSA. Because most RSA deployments use a fixed encryption exponent optimized to minimize encryption time, RSA encryption will typically outperform BG for all but the shortest messages. However, as the RSA decryption exponent is randomly distributed, modular exponentiation may require a comparable number of squarings/multiplications to BG decryption for a ciphertext of the same length. BG has the advantage of scaling more efficiently to longer ciphertexts, where RSA requires multiple separate encryptions. In these cases, BG may be significantly more efficient.

References

1 2 RFC 4086 section "6.2.2. The Blum Blum Shub Sequence Generator"

M. Blum, S. Goldwasser, "An Efficient Probabilistic Public Key Encryption Scheme which Hides All Partial Information", Proceedings of Advances in Cryptology - CRYPTO '84, pp. 289–299, Springer Verlag, 1985.
Menezes, Alfred; van Oorschot, Paul C.; and Vanstone, Scott A. Handbook of Applied Cryptography. CRC Press, October 1996. ISBN 0-8493-8523-7

External links

Menezes, Oorschot, Vanstone, Scott: Handbook of Applied Cryptography (free PDF downloads), see Chapter 8

Public-key cryptography

Algorithms

Integer Factorization	Benaloh Blum–Goldwasser Cayley–Purser Damgård–Jurik GMR Goldwasser–Micali Paillier Rabin RSA Okamoto–Uchiyama Schmidt–Samoa

Discrete logarithm	Cramer–Shoup DH DSA ECDH ECDSA EdDSA EKE ElGamal signature scheme MQV Schnorr SPEKE SRP STS

Others	AE CEILIDH EPOC HFE IES Lamport McEliece Merkle–Hellman Naccache–Stern Naccache–Stern knapsack cryptosystem NTRUEncrypt NTRUSign Three-pass protocol XTR

Theory

Standardization

Topics

Cryptography

History of cryptography Cryptanalysis Outline of cryptography

Symmetric-key algorithm Block cipher Stream cipher Public-key cryptography Cryptographic hash function Message authentication code Random numbers Steganography

Category Portal WikiProject

This article is issued from Wikipedia - version of the 11/30/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.