信息网络安全
一种基于一次性口令的增强Kerberos协议方法及其形式化分析
马利民, 张伟, 宋莹
An Enhanced Kerberos Protocol Based on OTP with Formal Analysis
Limin MA, Wei ZHANG, Ying SONG
信息网络安全 . 2019, (10): 57 -64 .  DOI: 10.3969/j.issn.1671-1122.2019.10.008