基于物理不可克隆函数的Kerberos扩展协议及其形式化分析
张正, 查达仁, 柳亚男, 方旭明
PUF-based Kerberos Extension Protocol with Formal Analysis
ZHANG Zheng, ZHA Daren, LIU Yanan, FANG Xuming
信息网络安全 . 2020, (12): 91 -97 .  DOI: 10.3969/j.issn.1671-1122.2020.12.012