NS公钥认证协议相关论文
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷，发现协议的不精确性.本文将使用具有强数学基础和强分析能力......
将NS公钥认证协议解析为两个质询-应答型的单向认证子协议,并从消息方向标识缺失的角度对协议的设计缺陷进行了分析,在该基础上提......
