Английская Википедия:Digital Signature Algorithm
Шаблон:Short description The Digital Signature Algorithm (DSA) is a public-key cryptosystem and Federal Information Processing Standard for digital signatures, based on the mathematical concept of modular exponentiation and the discrete logarithm problem. DSA is a variant of the Schnorr and ElGamal signature schemes.[1]Шаблон:Rp
The National Institute of Standards and Technology (NIST) proposed DSA for use in their Digital Signature Standard (DSS) in 1991, and adopted it as FIPS 186 in 1994.[2] Five revisions to the initial specification have been released. The newest specification is: FIPS 186-5 from February 2023.[3] DSA is patented but NIST has made this patent available worldwide royalty-free. Specification FIPS 186-5 indicates DSA will no longer be approved for digital signature generation, but may be used to verify signatures generated prior to the implementation date of that standard.
Overview
The DSA works in the framework of public-key cryptosystems and is based on the algebraic properties of modular exponentiation, together with the discrete logarithm problem, which is considered to be computationally intractable. The algorithm uses a key pair consisting of a public key and a private key. The private key is used to generate a digital signature for a message, and such a signature can be verified by using the signer's corresponding public key. The digital signature provides message authentication (the receiver can verify the origin of the message), integrity (the receiver can verify that the message has not been modified since it was signed) and non-repudiation (the sender cannot falsely claim that they have not signed the message).
History
In 1982, the U.S government solicited proposals for a public key signature standard. In August 1991 the National Institute of Standards and Technology (NIST) proposed DSA for use in their Digital Signature Standard (DSS). Initially there was significant criticism, especially from software companies that had already invested effort in developing digital signature software based on the RSA cryptosystem.[1]Шаблон:Rp Nevertheless, NIST adopted DSA as a Federal standard (FIPS 186) in 1994. Five revisions to the initial specification have been released: FIPS 186–1 in 1998,[4] FIPS 186–2 in 2000,[5] FIPS 186–3 in 2009,[6] FIPS 186–4 in 2013,[3] and FIPS 186–5 in 2023.[7] Standard FIPS 186-5 forbids signing with DSA, while allowing verification of signatures generated prior to the implementation date of the standard as a document. It is to be replaced by newer signature schemes such as EdDSA.[8]
DSA is covered by Шаблон:US patent, filed July 26, 1991 and now expired, and attributed to David W. Kravitz,[9] a former NSA employee. This patent was given to "The United States of America as represented by the Secretary of Commerce, Washington, D.C.", and NIST has made this patent available worldwide royalty-free.[10] Claus P. Schnorr claims that his Шаблон:US patent (also now expired) covered DSA; this claim is disputed.[11]
In 1993, Dave Banisar managed to get confirmation, via a FOIA request, that the DSA algorithm hasn't been designed by the NIST, but by the NSA.[12]
OpenSSH announced that DSA is scheduled to be removed in 2025.[13]
Operation
The DSA algorithm involves four operations: key generation (which creates the key pair), key distribution, signing and signature verification.
1. Key generation
Key generation has two phases. The first phase is a choice of algorithm parameters which may be shared between different users of the system, while the second phase computes a single key pair for one user.
Parameter generation
- Choose an approved cryptographic hash function <math>H</math> with output length <math>|H|</math> bits. In the original DSS, <math>H</math> was always SHA-1, but the stronger SHA-2 hash functions are approved for use in the current DSS.[3][14] If <math>|H|</math> is greater than the modulus length <math>N</math>, only the leftmost <math>N</math> bits of the hash output are used.
- Choose a key length <math>L</math>. The original DSS constrained <math>L</math> to be a multiple of 64 between 512 and 1024 inclusive. NIST 800-57 recommends lengths of 2048 (or 3072) for keys with security lifetimes extending beyond 2010 (or 2030).[15]
- Choose the modulus length <math>N</math> such that <math>N < L</math> and <math>N \leq |H|</math>. FIPS 186-4 specifies <math>L</math> and <math>N</math> to have one of the values: (1024, 160), (2048, 224), (2048, 256), or (3072, 256).[3]
- Choose an <math>N</math>-bit prime <math>q</math>.
- Choose an <math>L</math>-bit prime <math>p</math> such that <math>p - 1</math> is a multiple of <math>q</math>.
- Choose an integer <math>h</math> randomly from <math>\{ 2 \ldots p-2 \}</math>.
- Compute <math>g := h^{(p - 1)/q} \mod p</math>. In the rare case that <math>g=1</math> try again with a different <math>h</math>. Commonly <math>h=2</math> is used. This modular exponentiation can be computed efficiently even if the values are large.
The algorithm parameters are (<math>p</math>, <math>q</math>, <math>g</math>). These may be shared between different users of the system.
Per-user keys
Given a set of parameters, the second phase computes the key pair for a single user:
- Choose an integer <math>x</math> randomly from <math>\{ 1 \ldots q-1 \}</math>.
- Compute <math>y := g^x \mod p</math>.
<math>x</math> is the private key and <math>y</math> is the public key.
2. Key distribution
The signer should publish the public key <math>y</math>. That is, they should send the key to the receiver via a reliable, but not necessarily secret, mechanism. The signer should keep the private key <math>x</math> secret.
3. Signing
A message <math>m</math> is signed as follows:
- Choose an integer <math>k</math> randomly from <math>\{ 1 \ldots q-1 \}</math>
- Compute <math>r := \left(g^{k}\bmod\,p\right)\bmod\,q</math>. In the unlikely case that <math>r=0</math>, start again with a different random <math>k</math>.
- Compute <math>s := \left(k^{-1}\left(H(m)+xr\right)\right)\bmod\,q</math>. In the unlikely case that <math>s=0</math>, start again with a different random <math>k</math>.
The signature is <math>\left(r,s\right)</math>
The calculation of <math>k</math> and <math>r</math> amounts to creating a new per-message key. The modular exponentiation in computing <math>r</math> is the most computationally expensive part of the signing operation, but it may be computed before the message is known. Calculating the modular inverse <math>k^{-1}\bmod\,q</math> is the second most expensive part, and it may also be computed before the message is known. It may be computed using the extended Euclidean algorithm or using Fermat's little theorem as <math>k^{q-2}\bmod\,q</math>.
4. Signature Verification
One can verify that a signature <math>\left(r,s\right)</math> is a valid signature for a message <math>m</math> as follows:
- Verify that <math>0 < r < q</math> and <math>0 < s < q</math>.
- Compute <math> w := s^{-1} \bmod\,q</math>.
- Compute <math>u_1 := H(m) \cdot w\, \bmod\,q</math>.
- Compute <math>u_2 := r \cdot w\, \bmod\,q</math>.
- Compute <math> v := \left(g^{u_1}y^{u_2} \bmod\,p\right) \bmod\,q</math>.
- The signature is valid if and only if <math>v = r</math>.
Correctness of the algorithm
The signature scheme is correct in the sense that the verifier will always accept genuine signatures. This can be shown as follows:
First, since <math display="inline">g=h^{(p-1)/q}~\text{mod}~p</math>, it follows that <math display="inline">g^q \equiv h^{p-1} \equiv 1 \mod p</math> by Fermat's little theorem. Since <math>g>0</math> and <math>q</math> is prime, <math>g</math> must have order <math>q</math>.
The signer computes
- <math>s=k^{-1}(H(m)+xr)\bmod\,q</math>
Thus
- <math>
\begin{align} k & \equiv H(m)s^{-1}+xrs^{-1}\\
& \equiv H(m)w + xrw \pmod{q}
\end{align} </math>
Since <math>g</math> has order <math>q</math> we have
- <math>
\begin{align} g^k & \equiv g^{H(m)w}g^{xrw}\\
& \equiv g^{H(m)w}y^{rw}\\ & \equiv g^{u_1}y^{u_2} \pmod{p}
\end{align} </math>
Finally, the correctness of DSA follows from
- <math>\begin{align}
r &= (g^k \bmod\,p) \bmod\,q\\ &= (g^{u_1}y^{u_2} \bmod\,p) \bmod\,q\\ &= v
\end{align}</math>
Sensitivity
With DSA, the entropy, secrecy, and uniqueness of the random signature value <math>k</math> are critical. It is so critical that violating any one of those three requirements can reveal the entire private key to an attacker.[16] Using the same value twice (even while keeping <math>k</math> secret), using a predictable value, or leaking even a few bits of <math>k</math> in each of several signatures, is enough to reveal the private key <math>x</math>.[17]
This issue affects both DSA and Elliptic Curve Digital Signature Algorithm (ECDSA) – in December 2010, the group fail0verflow announced the recovery of the ECDSA private key used by Sony to sign software for the PlayStation 3 game console. The attack was made possible because Sony failed to generate a new random <math>k</math> for each signature.[18]
This issue can be prevented by deriving <math>k</math> deterministically from the private key and the message hash, as described by Шаблон:IETF RFC. This ensures that <math>k</math> is different for each <math>H(m)</math> and unpredictable for attackers who do not know the private key <math>x</math>.
In addition, malicious implementations of DSA and ECDSA can be created where <math>k</math> is chosen in order to subliminally leak information via signatures. For example, an offline private key could be leaked from a perfect offline device that only released innocent-looking signatures.[19]
Implementations
Below is a list of cryptographic libraries that provide support for DSA:
See also
References
External links
- FIPS PUB 186-4: Digital Signature Standard (DSS), the fourth (and current) revision of the official DSA specification.
- Recommendation for Key Management -- Part 1: general, NIST Special Publication 800-57, p. 62–63
- ↑ 1,0 1,1 Шаблон:Cite book
- ↑ Шаблон:Cite web
- ↑ 3,0 3,1 3,2 3,3 Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Dr. David W. Kravitz Шаблон:Webarchive
- ↑ Werner Koch. "DSA and patents"
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ DSA <math>k</math>-value Requirements
- ↑ Шаблон:Cite news
- ↑ Шаблон:Cite arXiv