安全协议的关联性研究

摘要：

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

关键词：安全协议、关联性、形式化分析

所属期刊栏目：33

分类号：TP309(计算技术、计算机技术)

资助基金：江西省工业科技攻关基金2006 1H0101800

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

页数：共3页

页码：147-148,151