安全协议的关联性研究

作者：胡声洲; 余敏; 彭文灵

来源：计算机工程, 2007, (21): 147-148+151.

• 安全协议
• 关联性
• 形式化分析

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

• 出版日期2007
• 单位江西师范大学; 江西赣南师范学院数学与计算机科学学院