进程描述语言论文

安全协议分析的形式化理论与方法 ——基于定理证明的安全协议建模研究
论文摘要安全的密码协议是网络通信和应用必不可少的组件之一,是构筑信息安全体系的基础。设计安全和有效的密码协议是协议工程领域中的主要研究内容。在设计、描述（建模）、验证、性能分析...