Security Analysis of Authenticated Key Agreement Protocol Using Extended SVO Logic
Zhimeng Liu · 2009
Some new notions and approaches are introduced to SVO logic, which make it capable of analyzing some authenticated key agreement protocols. A typical wireless authentication and key agreement protocol based on elliptic curve cryptography is analyzed by formal analysis methods. Some flaws have been found, which means that the protocol can not achieve the essential security requirements of security protocols, and a provably secure scheme which can resist the above attacks is proposed in the end.