| 基于SPIN的SAS协议和NS公钥协议分析 |
| |
| 引用本文： | 刘芳,魏昭,董荣胜. 基于SPIN的SAS协议和NS公钥协议分析[J]. 广西科学院学报, 2008, 24(4): 307-309 |
| |
| 作者姓名： | 刘芳 魏昭 董荣胜 |
| |
| 作者单位： | 桂林电子科技大学计算机系,广西,桂林,541004 |
| |
| 摘 要： | 给出SPIN模型检测协议的验证步骤,使用其分析验证SAS协议的安全属性和数据流行为属性,以及NS公钥协议的机密性和认证性.结果成功发现SAS协议数据流的缺陷和NS公钥协议的攻击路径.
|
| 关 键 词： | 协议 模型检测 分析 |
| 收稿时间： | 2008-10-12 |
Study on Analysis of SAS Protocol and NS Protocol Based on SPIN |
| |
| LIU Fang,WEI Zhao and DONG Rong-sheng. Study on Analysis of SAS Protocol and NS Protocol Based on SPIN[J]. Journal of Guangxi Academy of Sciences, 2008, 24(4): 307-309 |
| |
| Authors: | LIU Fang WEI Zhao DONG Rong-sheng |
| |
| Affiliation: | LIU Fang,WEI Zhao,DONG Rong-sheng(Department of Computer Science,Guilin University of Electronic Technology,Guilin,Guangxi,541004,China) |
| |
| Abstract: | Protocol verification procedures based on model checking technique using SPIN were provided,then these procedures were used to analyze and verify the safty and function property in the SAS protocol,and the security and authentication property in the NS protocol.The results show that the flaw in the data flow of SAS protocol and the attacking path of NS protocol are detected. |
| |
| Keywords: | protocol model checking analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 |
|
点击此处可从《广西科学院学报》下载全文 |
|
