基于Spi演算的SSL3.0安全协议仿真分析

• 作者: 衷国涛 顾永跟
• 来源期刊: 计算机仿真
• 学科: 工学
• 关键词: 演算 安全协议 认证性 仿真
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 网络与互连技术
• 页码范围: 125-128
• 页数: 4页
• 分类号: TP301|TP309
• 字数: 4338字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2006.02.037

摘要

安全协议中的错误和漏洞很难完全由人工来发现,借助形式化方法对其进行分析可以保证安全协议的正确性和完整性.目前安全协议的形式化分析和验证已成为网络安全的研究热点,其中基于Spi演算的模型验证方法是当前的一个重要研究领域.文章介绍了SSL3.0安全协议的握手过程和Spi演算的基本概念,包括基于Spi演算认证性的验证方法.在此基础上,基于Spi演算形式化地建立了SSL3.0安全协议的仿真模型,给出了分析SSL3.0安全协议的详细过程,最终验证了SSL3.0安全协议的认证性.仿真分析的结果表明,Spi演算能够为安全协议的分析和验证提供可靠和有效的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾永跟	上海交通大学计算机科学与工程系	5	39	4.0	5.0
2	衷国涛	上海交通大学计算机科学与工程系	1	1	1.0	1.0