基于SPIN的远程证明协议的形式化分析及改进

秦嫚蔓，王峥，王莉

Formal analysis and improvement of remote attestation protocol based on the SPIN

QIN Manman, WANG Zheng, WANG Li

计算机工程与应用 . 2017, (1): 34 -38 . DOI: 10.3778/j.issn.1002-8331.1606-0076