A formal analysis of Trusted Platform Module 2.0 hash-based message authentication code authorization under digital rights management scenario

Fajiang Yu, Huanguo Zhang, Bo Zhao, Juan Wang, Liqiang Zhang, Fei Yan, Zhenlin Chen. A formal analysis of Trusted Platform Module 2.0 hash-based message authentication code authorization under digital rights management scenario. Security and Communication Networks, 9(15):2802-2815, 2016. [doi]

Bibliographies