Shao, Jianxiong; Qin, Yu; Feng, Dengguo: 'Formal analysis of HMAC authorisation in the TPM2.0 specification', IET Information Security, 2018, 12, (2), p. 133-140, DOI: 10.1049/iet-ifs.2016.0005
IET Digital Library, https://digital-library.theiet.org/;jsessionid=h9asl59jbf4q.x-iet-live-01content/journals/10.1049/iet-ifs.2016.0005