Cryptanalysis of a digital signature scheme based on factoring and discrete logarithms
全文
(2) −1. −1. −1. −1. (x+ x ) = s⋅(t+ t )+f( r1 , r2 ,m) ⋅(t+ t ) (mod R), ……………………………..….Eq.(1) where f is a one-way hash function. Thus, ( r1 , r2 , s) is a valid digital signature on the message m. Digital signature verification: Upon receiving a digital signature ( r1 , r2 , s) associated with m with respect to the signer, anyone can verify the validity of the digital signature by checking whether the following congruence holds or not: s2. r1 ⋅ r2. y=. f 2 ( r1 , r2 , m ). ⋅ g 2 s⋅ f ( r1 ,r2 ,m ) (mod P). ……………………………….Eq.(2) If this congruence holds, then ( r1 , r2 , s) is a valid digital signature on the message m. Here we call Eq.(2) the signature verification equation. In the following, we show that Eq. (2) holds if Eq.(1) holds.. x −1 ) = s⋅(t+ t −1 )+f( r1 , r2 ,m). Because (x+ ⋅(t+ t y= g. −1. ) −1. (mod P). [ g (t +t =. −1 −2. ). s2. ~. signature, the equation Eq.(1) holds. That is, (x+ x ⋅(t+ t. −1. ). −1. −1. ) = s⋅(t+ t. −1. )+f( r1 , r2 ,m). (mod R).. Because ~ s =( f( r1 , r2 ,m)−1 −1 ~ f( r , r , m ) ) ⋅(t+ t )-2 + s (mod R), it is clear 1. 2. that. ~ ~ )⋅(t+ t −1 ) −1 (mod R) s ⋅(t+ t −1 )+f( r1 , r2 , m ~ )]⋅(t+ t −1 )-2 + = {[ f( r , r , m)- f( r , r , m 1 2 −1. 1. 2. ~ )⋅(t+ t −1 ) −1 (mod R) s}⋅(t+ t )+f( r1 , r2 , m ~ )]⋅(t+ t −1 )-1+ = [f( r , r ,m)- f( r , r , m 1 2 −1. 1. 2. ~ )⋅(t+ t −1 ) −1 (mod R) s⋅(t+ t )+ f( r1 , r2 , m −1 ~ )⋅(t+ t −1 )-1+ = f( r , r ,m)⋅(t+ t )-1 - f( r , r , m 2. 1. 2. −1 -1. ) + s⋅(t+ t. −1. ). (mod R), by. Eq.(1),. ] s ⋅ g 2⋅s⋅ f ( r1 ,r2 ,m ) ⋅. = (x+ x. 2. ]f. r1 ⋅ r2. Because ( r1 , r2 , s) is a valid digital. = f( r1 , r2 , m)⋅(t+ t. =g (mod P) ( t + t −1 ) 2. Proof:. ~. ⋅ g 2 s ⋅ f ( r1 ,r2 , m ) (mod P).. ~ )⋅(t+ t −1 ) −1 (mod R) s⋅(t+ t )+ f( r1 , r2 , m. s ⋅( t + t ) + 2⋅s ⋅ f ( r1 , r2 , m ) + f 2 ( r1 , r2 , m )⋅( t + t −1 ) −2. =[g. ~) f 2 ( r1 , r2 , m. ~ s2. y=. −1. −1 2. 2. r1 ⋅ r2. 1. (mod R), it is obvious that. ( x + x −1 ) 2. Theorem 1. The triple ( r1 , r2 , ~ s ) satisfies:. 2. ( r1 , r2 , m ). f 2 ( r1 , r2 , m ). −1. ). (mod R).. That is, (x+ x. (mod P). −1. )=. ~ ~ )⋅(t+ t −1 ) −1 s ⋅(t+ t −1 )+f( r1 , r2 , m. ⋅ g 2 s⋅ f ( r1 ,r2 ,m ) (mod P).. (mod R).. Hence, the signature verification equation. 3. Cryptanalysis of He’s scheme. y=. ~ s2. r1 ⋅ r2. ~) f 2 ( r1 , r2 , m. ~. ~. ⋅ g 2 s ⋅ f ( r1 ,r2 , m ) (mod P). holds. We assume that an attacker knows a previous valid digital signature ( r1 , r2 , s) on a message. m. with. respect. to. the. signer.. Assuming that the discrete logarithms problem is solved, the attacker can easily obtain (t+ t. −1 -2. ). (mod R) by solving the discrete logarithm:. log g r2 in Z P . Thus, the attacker can forge another valid digital signature ( r1 , r2 , ~ s ) on an. ~ with respect to the signer arbitrary message m by. assigning. ~ )]⋅(t+ t f( r1 , r2 , m. ~ s −1 -2. =[f(. r1 ,. ) + s (mod R).. r2. ,m)-. 4. Conclusions In this paper, we have shown that He’s digital signature scheme, based on the factoring and discrete logarithms problems simultaneously, is not secure against forgery if the discrete logarithms problem is solved.. Acknowledgments This work was supported in part by the National Science Council, Taiwan, under contract NSC-90-2213-E-006-111..
(3) REFERENCES. (4), pp. 249-252 HARN, L.: ‘Comment: Enhancing the security of ElGamal’s signature scheme’, IEE Proc. Comput. Digit. Tech., 1995, 142, (5), pp. 376 [7] LEE, N. Y., and HWANG, T.: ‘The security of He and Kiesler’s signature schemes’, IEE Proc. Comput. Digit. Tech., 1995, 142, (5), pp. 370-372 [8] SHAO, Z.: ‘Signature schemes based on factoring and discrete logarithms’, IEE Proc. Comput. Digit. Tech., 1998, 145, (1), pp. 33-36 [9] LI, J., and XIAO, G.: ‘Remarks on new signature scheme based on two hard problems’, Electron. Lett., 1998, 34, (25), pp. 2401 [10] LEE, N. Y.: ‘Security of Shao’s signature schemes based on factoring and discrete logarithms’, IEE Proc. Comput. Digit. Tech., 1999, 146, (2), pp. 119-121 [11] HE, W. H.: ‘Digital signature scheme based on factoring and discrete logarithms’, Electron. Lett., 2001, 37, (4), pp. 220-222. [6] [1]. [2]. [3]. [4]. [5]. HARN, L.: ‘Public-key cryptosystem design based on factoring and discrete logarithms’, IEE Proc. Comput. Digit. Tech., 1994, 141, (3), pp. 193-195 RIVEST, R., SHAMIR, A., and ADLEMAN, L.: ‘A method for obtaining digital signature and public-key cryptosystem’, Commun. ACM, 1978, 21, (2), pp. 120-126 ELGAMAL, T.: ‘A public key cryptosystem and signature scheme based on discrete logarithms’, IEEE Tran. Information Theory, 1985, IT-31, (4), pp. 469-472 LEE, N. Y., and HWANG, T.: ‘Modified Harn signature scheme based on factorizing and discrete logarithms’, IEE Proc. Comput. Digit. Tech., 1996, 143, (3), pp. 196-198 HE, J., and KIESLER, T.: ‘Enhancing the security of ElGamal’s signature scheme’, IEE Proc. Comput. Digit. Tech., 1994, 141,.
(4)
相關文件
• Any node that does not have a local replica of the object periodically creates a QoS-advert message contains (a) its δ i deadline value and (b) depending-on , the ID of the node
Digital PCR works by partitioning a sample into many individual real-time PCR reactions, some portion of these reactions contain the target molecules(positive) while others do
According to the problem statement and literature reviews, several functionalities are identified for the proposed CBI-PSP, including: (1) a knowledge classifications scheme
Soille, “Watershed in Digital Spaces: An Efficient Algorithm Based on Immersion Simulations,” IEEE Transactions on Pattern Analysis and Machine Intelligence,
The purpose of this research lies in building the virtual reality learning system for surveying practice of digital terrain model (DTM) based on triangular
The GCA scheduling algorithm employs task prioritizing technique based on CA algorithm and introduces a new processor selection scheme by considering heterogeneous communication
Monopolies in synchronous distributed systems (Peleg 1998; Peleg
Corollary 13.3. For, if C is simple and lies in D, the function f is analytic at each point interior to and on C; so we apply the Cauchy-Goursat theorem directly. On the other hand,