搜索筛选:
搜索耗时0.0656秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：廖振岚,
来源：重庆大学 年份：2008
计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击,网络安全成为新的信息安全的热点;安全协议作为计算机网络安全体系的重要组成部分,也就变得越来越...
[会议论文] 作者：吴开贵,廖振岚,陈明,
来源：2008中国计算机大会 年份：2008
对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的缺陷。在此基础上,提出一个新的不可否认协议,并用串空间模型对该协议进行形式化分析,证明它的公平性。......
[期刊论文] 作者：吴开贵,徐成,廖振岚,,
来源：计算机应用 年份：2008
在Furqan提出运用串空间理论对IEEE802.11i协议进行形式化验证的基础上,对IEEE802.11i协议的串空间模型进行了改进,并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,IEEE802.11i协议是安全的。......
[期刊论文] 作者：廖振岚,吴开贵,谢琪,代廷合,,
来源：计算机科学 年份：2009
运用安全协议形式化分析方法中的串空间模型理论，对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析，发现该协议在认证方面存在缺陷，并对该协议进行了改进，同时用串...
[期刊论文] 作者：吴开贵,谢琪,朱郑州,王洁,廖振岚,,
来源：计算机科学 年份：2008
本文基于新的WTLS证书和ECC加密算法，使用WAP中的WTLS协议来提供MN和CN之间通信的保密性、数据整合以及鉴权，保证了MN和CN之间绑定更新的安全，从而较好地解决了移动IPv6环境下的...
相关搜索：
