Analysis on Security Proof of Two Key Agreement Protocols
Hui Hua Zhou, Ming Hui Zheng · Advanced materials research · 2011
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.