LEI Xin-Feng
State Key Laboratory of Information Security, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China; Institute of Communications Engineering, PLA University of Science and Technology, Nanjing 210007, ChinaLIU Jun
Institute of Communications Engineering, PLA University of Science and Technology, Nanjing 210007, ChinaXIAO Jun-Mo
Institute of Communications Engineering, PLA University of Science and Technology, Nanjing 210007, China雷新锋,刘军,肖军模.时间相关密码协议逻辑及其形式化语义.软件学报,2011,22(3):534-557
Copy