Secure Authenticated Key Agreement Protocol for WMEN Based on Protocol Composition Logic

摘要：

This paper formally analyzes the WMEN authenticated key agreement scheme SKE using protocol composition logic (PCL) and detects interleaving attack exists in the protocol. According to identity-based key agreement, a novel WMEN security authenticated and key agreement protocol is deduced based on the protocol derivation system (PDS). Modular correctness and security of the novel protocol are proved by protocol composition logic (PCL). At the same time, the new scheme is analyzed and compared with the original scheme. Experiments show that the new scheme is identity-authenticated, key-secretive and forwardsecure. Besides, it can defense the interleaving attack effectively.

关键词： Authentication key agreement protocol protocol derivation system(PCL) protocol composition logic(PCL) forward-secure WMEN

作者: Tao Feng Yangfan Yi Jianfeng Ma

作者单位: School of Computer and Communication Lanzhou University of Technology Lanzhou 730050, China Ministry of Education Key Laboratory of Computer Networks and Information Security Xidian University

会议类型: 国际会议

会议名称: 2011 International Conference on Information and Computer Networks(ICICN 2011)(2011年信息与计算机网络国际会议)

会议地点: 贵阳

会议语种:英文

页码: 284-288

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