张孝红
- 作品数：3 被引量：5H指数：2
- 供职机构：湖南大学信息科学与工程学院（软件学院）更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- EAP-AKA无线认证协议的形式化验证方法
- 2009年
- EAP-AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析。验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。
- 李谢华张孝红
- 关键词：EAP-AKA双向身份认证
- 基于形式化方法的安全协议自动化验证算法的研究
- 作为网络通信的安全保障,安全协议是整个信息系统架构的安全基础。为了保证安全协议的正确性,研究人员提出了一系列基于形式化方法的自动化验证算法来对安全协议进行分析验证,并已经成功地发现很多安全协议中存在的漏洞和攻击,但这些算...
- 张孝红
- 关键词：安全协议网络通信自动化验证串空间模型
- 文献传递
- 基于串空间的安全协议自动化验证算法被引量：2
- 2011年
- 以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议并对其进行验证,直至生成一个安全的改进协议。实验结果证明了该自动化验证算法的有效性,与AAAP算法相比,其协议验证效率更高。
- 张孝红李谢华
- 关键词：串空间
