串空间相关论文
本文针对串空间模型的一些计算性质作了详细的分析，证明了串空间模型中保密性问题的不可判定性，以及认证问题的不可判定性。关于保密......
电子商务协议是保障电子商务安全的一种重要手段。非否认性和公平性是电子商务协议的重要性质，但相对于认证协议和密钥分配协议的保......
随着计算机网络通信的迅猛发展,网络安全开始被人们所重视,其中安全协议分析验证已成为一个研究热点。对安全协议的分析验证的方法......
为了适应业务带宽、服务质量以及网络覆盖等多方面需求，以及应对各种新的宽带无线接入技术对3G系统形成的挑战，3GPP组织于2004年12月......
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协......
随着计算机互联网的飞速发展,网络安全问题变得越来越突出和严峻,解决网络安全问题对于众多网络应用来说是当务之急。安全协议作为......
随着网络技术的不断发展,无线网络不再只是有线网络的补充。无线网络技术取得了快速的发展。无线技术更加成熟:网络的速度更快,提......
随着网络的不断发展,网络信息安全变得日益重要,安全协议作为网络信息安全的基础,它的安全性变成了一个关键的问题。然而安全协议......
WAPI实施方案中采用WAI(WLAN Authentication Infrastructure)协议来进行密钥协商,运用串空间模型分析验证了WAI协议中的单播密钥......
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.本文针对W......
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性......
期刊
