Title :
Security Analysis of Authenticated Key Agreement Protocol Using Extended SVO Logic
Author_Institution :
Sch. of Comput. Sci. & Technol., Shandong Inst. of Bus. & Technol., Yantai, China
Abstract :
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.
Keywords :
authorisation; cryptographic protocols; public key cryptography; SVO logic; elliptic curve cryptography; formal analysis methods; key agreement protocol; security analysis; wireless authentication protocol; Authentication; Certification; Computer security; Cryptographic protocols; Elliptic curve cryptography; Information analysis; Information security; Logic; Public key; Quantum cellular automata; SVO logic; authenticated key agreement protocols; formal analysis;
Conference_Titel :
Multimedia Information Networking and Security, 2009. MINES '09. International Conference on
Conference_Location :
Hubei
Print_ISBN :
978-0-7695-3843-3
Electronic_ISBN :
978-1-4244-5068-8
DOI :
10.1109/MINES.2009.74
