机译:基于密码学和安全协议的CISCO设备加固-第一部分:背景理论
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:基于Strand空间理论的网络安全协议研究
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:使用链空间的密码协议攻击分析
机译:用于安全协议分析的strand空间与multiset重写的比较。