文献类型：会议论文

英文题名：An Improved NSSK Protocol and Its Security Analysis based on Logic Approach

作者：Chen, Li[1];Wang, Weixian[1]

第一作者：陈莉

通讯作者：Chen, L[1]

机构：[1]Henan Univ Finance & Econ, Zhengzhou, Henan, Peoples R China

第一机构：河南财经政法大学

通讯机构：[1]corresponding author), Henan Univ Finance & Econ, Zhengzhou, Henan, Peoples R China.|[10484]河南财经政法大学;

会议论文集：International Conference on Communications, Circuits and Systems

会议日期：MAY 25-27, 2008

会议地点：Xiamen Univ, Xiamen, PEOPLES R CHINA

主办单位：Xiamen Univ

语种：英文

外文关键词：Authentication - Computer circuits - Network security

摘要：Authentication protocol is a very important kind of protocol in network environment, and formal analysis is the key method to guarantee its security properties. Needham-Schroeder Shared-Key (NSSK) protocol is considered as one of the earliest and very important authentication protocol. The paper proposed a new improved version of NSSK protocol by modifying message format and decreasing message flows, and it also analysed the security of the proposed protocol by utilizing the formal approach based on logic. The analysis results reveal that the proposed protocol achieves the expectative authentication goals.