机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
机译:有效构建机器检查的符号协议安全性证明
机译:Otway-Rees协议的密码学上可靠的Dolev-Yao风格安全证明
机译:数据认证的协议和安全证明
机译:用于无线传感器网络安全的新型密钥更新功能协议(NRFP)
机译:通过符号安全证明1的Otway-Rees协议的真实或随机密钥保密