PUF-based Kerberos Extension Protocol with Formal Analysis
ZHANG Zheng, ZHA Daren, LIU Yanan, FANG Xuming
Netinfo Security . 2020, (12): 91 -97 .  DOI: 10.3969/j.issn.1671-1122.2020.12.012