认证性论文

基于Spi演算的密码协议自动化分析技术研究
论文摘要密码协议是网络通信和许多分布式系统的安全基础,协议的正确性和安全性对于保证攻击者不能获得秘密信息或实施不公平认证起着至关重要的作用。由于在协议的设计过程中对协议运行环境...