Security Analysis of Authenticated Key Agreement Protocol Using Extended SVO Logic

Author

Liu, Zhimeng

Author_Institution

Sch. of Comput. Sci. & Technol., Shandong Inst. of Bus. & Technol., Yantai, China

Volume

2

fYear

2009

fDate

18-20 Nov. 2009

Firstpage

421

Lastpage

424

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MINES.2009.74

Filename

5368338