廖振岚
- 作品数：5 被引量：7H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- IEEE 802.11i协议的形式化分析被引量：2
- 2008年
- 在Furqan提出运用串空间理论对IEEE802.11i协议进行形式化验证的基础上,对IEEE802.11i协议的串空间模型进行了改进,并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,IEEE802.11i协议是安全的。
- 吴开贵徐成廖振岚
- 关键词：IEEE串空间形式化分析
- 一个不可否认协议的缺陷与改进
- 对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的缺陷。在此基础上,提出一个新的不可否认协议,并用串空间模型对该协议进行形式化分析,证明它的...
- 吴开贵廖振岚陈明
- 关键词：不可否认协议串空间模型形式化分析
- 移动IPv6通信对端绑定更新安全研究被引量：4
- 2008年
- 本文基于新的WTLS证书和ECC加密算法,使用WAP中的WTLS协议来提供MN和CN之间通信的保密性、数据整合以及鉴权,保证了MN和CN之间绑定更新的安全,从而较好地解决了移动IPv6环境下的安全绑定更新问题。论文最后在OMNET++平台上对该方法进行仿真实验,结果表明该方法在时间性能上具有一定的优势。
- 吴开贵谢琪朱郑州王洁廖振岚
- 关键词：移动IPV6绑定更新WTLSECC
- 一个双向认证协议的分析与改进被引量：1
- 2009年
- 运用安全协议形式化分析方法中的串空间模型理论,对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析,发现该协议在认证方面存在缺陷,并对该协议进行了改进,同时用串空间理论证明了改进后的协议的认证正确性。
- 廖振岚吴开贵谢琪代廷合
- 关键词：安全协议串空间
- 基于串空间模型的协议分析方法研究
- 计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击，网络安全成为新的信息安全的热点;安全协议作为计算机网络安全体系的重要组成部分，也就变得越来越重要。然而，由于安全协议的复杂性，设计一个完美的安全协议是...
- 廖振岚
- 关键词：串空间模型双向认证协议网络安全
