提出一种基于改进认证测试理论的高效安全协议验证算法——AAAP（Automatic Analyzer for Authentication Protocols）算法。利用认证......

形式化方法是分析网络安全协议的一种重要方法，网络协议安全性也是信息安全领域的研究热点。事件逻辑是一种描述分布式系统中状态迁......

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从......

以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。将检......

形式化方法是分析网络安全协议的一种重要方法,也是信息安全领域的研究热点。形式化方法基于严格的数学概念和逻辑方法,对协议进行......