• 网络协议安全性分析中的逻辑化方法研究

    网络协议安全性分析中的逻辑化方法研究

    论文摘要安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础。形式化分析方法已被证明是用于分析、设计和验证...
  • 一种分析和设计安全协议的新逻辑

    一种分析和设计安全协议的新逻辑

    论文摘要安全协议是一种面向应用层的协议,它为通信的实体打上包装,穿上盔甲,防止攻击者对敏感数据进行窃取,保证通信内容的完整性。不同的应用需求对安全协议的设计也提出了新的要求,如...
  • 基于strand空间模型的安全协议分析与设计方法研究

    基于strand空间模型的安全协议分析与设计方法研究

    论文摘要因特网因其开放的协议彻底改变了计算机网络,同时也带来了新的风险和威胁。保护计算机网络最好的方法就是使用快速的自动化程序阻止攻击者的入侵。手工的不能防止未知类型攻击的方式...