Security Analysis of Authenticated key Agreement Protocol using Extended SVO Logic

摘要：

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.

关键词： authenticated key agreement protocols formal analysis SVO logic

作者: Zhimeng Liu

作者单位: School of Computer Science and Technology Shandong Institute of Business and Technology, SDIBT Yantai, China

会议类型: 国际会议

会议名称: The First International Conference on Multimedia Information Networking and Security(第一届国际多媒体网络信息安全会议 MINES 2009)

会议地点: 武汉

会议语种:英文

页码: 1093-1096

在线出版日期: 2009-11-18（万方平台首次上网日期，不代表论文的发表时间）