|
|||||
|
|
| 安全协议形式化分析方法的融合性研究 | |
| 引用本文： | 卜奎昊. 安全协议形式化分析方法的融合性研究[J]. 西北师范大学学报(自然科学版), 2010, 46(5) |
| 作者姓名： | 卜奎昊 |
| 作者单位： | 淮阴师范学院,计算机科学与技术学院,江苏,淮安,223300 |
| 基金项目： | 安徽省教育厅科研基金资助项目 |
| 摘 要： | 分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效. |
| 关 键 词： | 安全协议 Helsinki协议 BAN逻辑 串空间 |
The fusion research of approaches in formal analysis of security protocols |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |