Cryptanalysis of publicly verifiable authenticated encryption
全文
(2) 2.3 Message recovery phase In this phase, recipient B decrypts and verifies cipher text c as follows: Step 1: confirms recipient A’s public key. yA. by using his certificate Step 2: computes v = (g · yB )s · yA r·(xB +1) mod p and e = v mod q Step 3: recovers the message m = c · H(v) mod p Step 4: If r is equal to H (e , H (m)) then m is the real plain text sent by sender A; otherwise, it is incorrect. 2.4 Public verification phase For public verification, recipient B should compute K1 = ( yB s · y A r ·xB mod p) mod q and forward (H(m), K1 , r, s) to TTP. TTP performs the following steps to judge that sender A has sent the message m to recipient B. Step 1: confirms recipient A’s public key. y A by. using his certificate Step 2: computes e = (g s · y A r ·K1 mod p) mod q Step 3: If r is equal to H (e , H (m)) then TTP judges m is sent by sender A; otherwise, it is incorrect.. 3. Cryptanalysis on Ma-Chen’s scheme We show the method that anybody can forge sender’s signature of any message without knowing sender’s private key. The TTP can not find out the signature is fake. We describe these two phases as follows. 3.1 Forge signature phase This section shows that Ma-Chen’s publicly verifiable authenticated encryption scheme does not provide unforgeability and non-repudiation. Both of these two secure properties are necessary for authenticated encryption scheme. In Ma-Chen’s scheme, the adversary C does not get the private key of sender A, but he can forges (H(m’), K1 ’, r’, s’) and profess that sender A has sent message m’to him. The TTP will judge that sender A has sent message m’ to adversary C by performing public verification phase of Ma-Chen’s scheme. The adversary C forges the (H(m’), K1 ’, r’, s’) by the following steps. Step 1: computes H(m’) using the public one -way hash function for any message m’ *. Step 2: randomly select integer s’∈ Z q. Step 3: computes e’= (g s’ mod p) mod q Step 4: computes r ' = H ( e ', H ( m ')) Step 5: computes K1 ’= ((. y A r’ )-1 mod p ) mod q. Step 6: professes sender A has sent m’to him and forwards (H(m’), K1 ’, r’, s’) to TTP. 3.2 Public verification phase In the public verification phase of Ma-Chen’s scheme, TTP performs the following steps to judge that sender A has sent message m’ to the adversary C. Step 1: confirms recipient A’s public key using his certificate Step 2: computes e’ = (g s’ ⋅ y A r’·K1 ’mod p) mod q. y A by. = (g s’ ⋅ y A r’ ⋅( y A r’ ) mod p) mod q = (g s’ mod p) mod q Step 3: verifiable equation r ' = H ( e ', H ( m ')) is always valid −1. It is clearly that the adversary C forges the (H(m’), K1 ’, r’, s’) to profess that sender A has sent the message m’ and its signature (r’, s’) to him successfully. However, the adversary C does not get the private key of sender A. Therefore, Ma-Chen’s scheme does not satisfy the unforgeability and non-repudiation.. 4. Conclusions This paper shows that Ma-Chen’s publicly verifiable authenticated encryption does not satisfy the unforgeability and non-repudiation properties of the authenticated encryption scheme. Anybody without sender’s private key of sender A can make a fake report that sender A has sent the message m’ to him easily. The TTP cannot judge that it is true or false. Therefore, sender A also can repudiate signature for any message.. 5. References [1] P. Horster, M. Michels, and H. Petersen,. “Authenticated encryption scheme with low communication costs,” IEE Electronic Letters, vol. 30, no. 15, pp. 1212-1213, 1994. [2] C. Ma and K. Chen, “Publicly verifiable. authenticated encryption,” IEE Electronic Letters, vol. 39, no. 3, pp. 281-282, 2003..
(3)
相關文件
Two sources to produce an interference that is stable over time, if their light has a phase relationship that does not change with time: E(t)=E 0 cos( w t+ f ).. Coherent sources:
strongly monotone or uniform P -function to obtain property of bounded level sets, see Proposition 3.5 of Chen and Pan (2006).. In this section, we establish that if F is either
The case where all the ρ s are equal to identity shows that this is not true in general (in this case the irreducible representations are lines, and we have an infinity of ways
In addressing the questions of its changing religious identities and institutional affiliations, the paper shows that both local and global factors are involved, namely, Puhua
Regarding the importance of these aspects as perceived by the employers, nearly all aspects received a rating between “quite important” and “very important”, with Management
Survey on Opinions of Employers on Major Aspects of Performance of Publicly-funded Sub-degree Graduates in Year 2003... Introduction and
Regarding the importance of these aspects as perceived by the employers, nearly all aspects received a rating between “quite important” and “very important”, with Management Skill
Skype provide better security than most VoIP system and PSTN. – Just because most VoIP system and PSTN do not provide any