协议演绎系统相关论文
IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现......
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协......
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的......
由于无线传输信道的开放性,任何具有接收能力的设备都可以随时对网络进行窃听,因此,无线网络与有线网络相比较更容易遭受窃听、非......
针对基于对称密码学、公钥证书和身份密码学三类3G-WLAN互连网络接入认证协议存在的安全问题,本文提出一种基于无证书密码学的3G-W......
安全协议是一种运行在计算机网络或分布式系统中、借助于密码算法来达到密钥分配和身份认证等安全目标的通信协议,是解决计算机网......