信息网络安全
基于通用可组合理论的协议安全性证明方法讨论
刘宇靓;任伟
Discussion on Secure Protocol Proof based on Universally Compostable Model
信息网络安全 . 2012, (6): 0 -0 .