基于Spi演算的密码协议自动化分析技术研究

• 作者: 江涛
• 来源期刊: 网络安全技术与应用
• 关键词: Spi演算 密码协议 自动化 分析技术
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 加解密技术
• 页码范围: 32-33
• 页数: 2页
• 字数: 2820字
• 语种: 中文

摘要

密码协议可以维护网络通信和其中的各个分布式系统的安全,为了让恶意攻击者无法获取机密信息或者借安全漏洞进行不公平认证,需要对协议所运行的环境安全性进行提升和技术改进.而通过以前的静态分析测试和人工手动验证,对密码协议的所存在的威胁和漏洞检测不够全面,由此其重要性得以体现.根据这一研究模块,本文将对其演算基础以及实现自动化的分析方式,还有Spi演算方式在密码协议中对其秘密性的验证和认证性的分析演算做基本阐述.