LI Meng-Jun
College of Computer, National University of Defense Technology, Changsha 410073, China;State Key Laboratory of Information Security(Institute of Information Engineering, The Chinese Academy of Sciences), Beijing 100093, ChinaPAN Guo-Teng
College of Computer, National University of Defense Technology, Changsha 410073, ChinaOU Guo-Dong
College of Computer, National University of Defense Technology, Changsha 410073, ChinaNational Natural Science Foundation of China (61672525); Open Projects of the State Key Laboratory of Information Security (Institute of Information Engineering, The Chinese Academy of Sciences) (2016-MS-21)
李梦君,潘国腾,欧国东.基于Event-B方法的安全协议设计、建模与验证.软件学报,2018,29(11):3400-3411
Copy