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