| 形式化分析验证一种改进的NSSK协议 |
| |
| 引用本文： | 陈慧丽,石广田.形式化分析验证一种改进的NSSK协议[J].兰州铁道学院学报,2013(1):77-81. |
| |
| 作者姓名： | 陈慧丽 石广田 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院 |
| |
| 摘 要： | 认证协议是保证网络安全的基础,NSSK协议是最早最经典的一种认证密码协议.本文分析了NSSK协议的安全特性,提出了一种改进的NSSK协议,并利用形式化建模语言CSP和模型检测工具FDR分别对其建模和验证.实验结果表明改进的NSSK协议可以满足期望的安全目标,达到保障网络安全的目的.
|
| 关 键 词： | NSSK协议 改进的NSSK协议 CSP FDR |
Formal Analysis and Verification of an Improved NSSK Protocol |
| |
| CHEN Hui-li,SHI Guang-tian.Formal Analysis and Verification of an Improved NSSK Protocol[J].Journal of Lanzhou Railway University,2013(1):77-81. |
| |
| Authors: | CHEN Hui-li SHI Guang-tian |
| |
| Affiliation: | (School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
