| 引用本文： |
-
刘芳,魏昭,董荣胜.基于SPIN的SAS协议和NS公钥协议分析[J].广西科学院学报,2008,24(4):307-309. [点击复制]
- LIU Fang,WEI Zhao,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. [点击复制]
|
|
| 摘要: |
| 给出SPIN模型检测协议的验证步骤,使用其分析验证SAS协议的安全属性和数据流行为属性,以及NS公钥协议的机密性和认证性。结果发现SAS协议数据流的缺陷和NS公钥协议的攻击路径。 |
| 关键词: 协议 模型检测 分析 |
| DOI： |
| 投稿时间：2008-10-12 |
| 基金项目: |
|
| Study on Analysis of SAS Protocol and NS Protocol Based on SPIN |
|
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. |
| Key words: protocol model checking analysis |
