|
|||||
|
|
| 一种基于关联语义的密钥交换协议分析算法设计 | |
| 作者单位： | ;1.江西省数值模拟与仿真技术重点实验室;2.赣南师范大学数学与计算机科学学院 |
| 摘 要： | 安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方面来描述协议的内在语义,设计了基于关联语义密钥交换协议的分析模型及算法.对Ban-Yahalom Protocol协议进行了分析,指出该协议存在冒充第三方S生成会话密钥的安全隐患,但却未泄漏协议会话密钥.从实验结果来看,该分析方法对密钥交换协议进行关联语义验证分析是行之有效的. |
| 关 键 词： | 关联语义 密钥交换协议 表示式 验证分析 |
An Analysis Algorithm of Key Exchange Protocol based on Correlation Semantic |
|
| Abstract: | |
| Keywords: | |