Research on Security Protocol Formalization based on Belief

摘要：

In order to solve the problem which is easy to be overlooked in designing the security protocol, this paper discusses the concepts such as the key freshness, the key sharing and the public key ownership. This paper defines the parameters describing these beliefs, and then proposes security protocol formalization based on belief. Use the method to design security protocols, which can improve the ability of anti-attack to the security protocol.

关键词： Key Security Protocol Formalization Belief

作者: Kening Liu Junyao Ye Yinglian Wang

作者单位: College of Information Engineering Jingdezhen Ceramic Institute Jingdezhen, China College of M&E Engineering Jingdezhen Ceramic Institute Jingdezhen, China

会议类型: 国际会议

会议名称: 2011 3rd International Conference on Computer Engineering and Applications(2011第三届计算机工程与应用国际会议 ICCEA2011)

会议地点: 海口

会议语种:英文

页码: 354-356

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