Formal analysis and improvement of remote attestation protocol based on the SPIN
QIN Manman, WANG Zheng, WANG Li
Computer Engineering and Applications . 2017, (1): 34 -38 .  DOI: 10.3778/j.issn.1002-8331.1606-0076