计算机工程 ›› 2007, Vol. 33 ›› Issue (21): 147-148,.doi: 10.3969/j.issn.1000-3428.2007.21.052

• 安全技术 • 上一篇    下一篇

安全协议的关联性研究

胡声洲1,2,余 敏1,彭文灵2   

  1. (1. 江西师范大学计算机信息工程学院,南昌 330022;2. 江西赣南师范学院数学与计算机科学学院,赣州 341000)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-11-05 发布日期:2007-11-05

Research on Correlation Property of Security Protocol

HU Sheng-zhou1,2, YU Min1, PENG Wen-ling2   

  1. (1. College of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022; 2. College of Mathematics and Computer Science, Jiangxi Gannan Normal College, Ganzhou 341000)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-11-05 Published:2007-11-05

摘要: 关联性是安全协议的基本特征,该文提出了协议相关性的分析方法,从主体认证关联、消息间关联、消息内部关联 3个角度分析了协议的相关特征,阐述了相关性的概念和关联规则构建方法,构建了基于关联性的协议描述模型,为安全协议的形式化分析提供了新的思路。

关键词: 安全协议, 关联性, 形式化分析

Abstract: Correlation property is the basic characteristic of security protocol. This paper provides a new method based on the correlation property and analyzes the characteristics of correlation of protocols pictured from three aspects, which are the correlation of authentication among principals, the correlation in the message and the correlation among the messages. It proposes concept of the correlationproperty and the construction method of the correlation rules, constructs the protocol description model based on the correlation property, offers a new thought in formal analysis of the protocols.

Key words: security protocol, correlation property, formal analysis

中图分类号: