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
摘要: 关联性是安全协议的基本特征,该文提出了协议相关性的分析方法,从主体认证关联、消息间关联、消息内部关联 3个角度分析了协议的相关特征,阐述了相关性的概念和关联规则构建方法,构建了基于关联性的协议描述模型,为安全协议的形式化分析提供了新的思路。
关键词:
安全协议,
关联性,
形式化分析
CLC Number:
HU Sheng-zhou; YU Min; PENG Wen-ling. Research on Correlation Property of Security Protocol[J]. Computer Engineering, 2007, 33(21): 147-148,.
胡声洲;余 敏;彭文灵. 安全协议的关联性研究[J]. 计算机工程, 2007, 33(21): 147-148,.