基于Spi演算的安全协议验证

• 作者: 郑清雄
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全协议 Spi演算 测试等价 NSSK协议
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 安全技术
• 页码范围: 262-264,292
• 分类号: TP3
• 字数: 3721字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.03.080

摘要

在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用.Spi演算在PI演算的基础上扩充了密码操作原语来刻画安全协议,并使用测试等价验证安全属性.讨论了利用Spi演算进行验证的过程,并对经典NSSK协议进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑清雄	上海交通大学计算机科学与工程系	1	3	1.0	1.0