Analysis on Security Proof of Two Key Agreement Protocols
Recently, Tseng proposed two group key agreement protocols which are claimed to be provably secure against passive attackers and impersonation attacks over authenticated channel. In each of these works, a security proof of the proposed protocol was presented. In this paper, we revisit Tseng’s security proof and show that the reduction in the proof is invalid. As the replacement, we give a new security proof.
Wenya Tian and Linli Xu
H. H. Zhou and M. H. Zheng, "Analysis on Security Proof of Two Key Agreement Protocols", Advanced Materials Research, Vol. 186, pp. 531-535, 2011