安全协议分析论文

网络协议安全性分析中的逻辑化方法研究
论文摘要安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础。形式化分析方法已被证明是用于分析、设计和验证...
安全协议分析的形式化理论与方法 ——基于定理证明的安全协议建模研究
论文摘要安全的密码协议是网络通信和应用必不可少的组件之一,是构筑信息安全体系的基础。设计安全和有效的密码协议是协议工程领域中的主要研究内容。在设计、描述（建模）、验证、性能分析...
一种分析和设计安全协议的新逻辑
论文摘要安全协议是一种面向应用层的协议,它为通信的实体打上包装,穿上盔甲,防止攻击者对敏感数据进行窃取,保证通信内容的完整性。不同的应用需求对安全协议的设计也提出了新的要求,如...