NSSK协议的SPIN模型检测

• 作者: 黄鹏
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 安全协议 安全漏洞 NSSK SPIN 模型检测
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 信息安全
• 页码范围: 185-188
• 页数: 4页
• 分类号: TP309
• 字数: 4069字
• 语种: 中文
• DOI: 10.11907/rjdk.171239

摘要

安全协议是以密码学为基础的消息交换协议.针对传统的改进NSSK安全协议,通过使用Promela语言对协议进行建模,并使用SPIN模型检测工具进行验证,发现仍然存在安全漏洞,攻击者可以冒充合法者进行通信.针对上述缺陷,提出了一种有效的改进方案,主要是在协议中增加了自身产生的随机数和发送者的身份标识,该改进方案提高了协议安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄鹏	华南师范大学计算机学院	1	0	0.0	0.0