基于SPIN的SAS协议和NS公钥协议分析

• 作者: 刘芳 董荣胜 魏昭
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 协议 模型检测 分析
• 年，卷（期）: 2008,（4）
• 页码范围: 307-309
• 页数: 3页
• 分类号: TP301.2
• 字数: 3204字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2008.04.009

摘要

给出SPIN模型检测协议的验证步骤,使用其分析验证SAS协议的安全属性和数据流行为属性,以及NS公钥协议的机密性和认证性.结果成功发现SAS协议数据流的缺陷和NS公钥协议的攻击路径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘芳	桂林电子科技大学计算机系	27	167	7.0	12.0
2	董荣胜	桂林电子科技大学计算机系	115	1521	13.0	37.0
3	魏昭	桂林电子科技大学计算机系	1	0	0.0	0.0