NSSK协议改进及其形式化分析

• 作者: 朱桂宏 邓永江
• 来源期刊: 株洲工学院学报
• 学科: 工学
• 关键词: NSSK协议 BAN逻辑 规则 逻辑分析
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 研究生论坛
• 页码范围: 129-131
• 页数: 3页
• 分类号: TP309
• 字数: 2174字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9833.2006.02.037

摘要

NSSK协议的主要功能是完成身份的双向认证,提出一种新的攻击方法,并给出改进方案,使之具有更强的安全性,最后应用BAN形式化分析改进的协议是成功有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱桂宏	合肥工业大学计算机与信息学院	9	15	2.0	2.0
3	邓永江	合肥工业大学计算机与信息学院	5	16	2.0	3.0