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]

@article{YuZZWZYC16,
  title = {A formal analysis of Trusted Platform Module 2.0 hash-based message authentication code authorization under digital rights management scenario},
  author = {Fajiang Yu and Huanguo Zhang and Bo Zhao and Juan Wang and Liqiang Zhang and Fei Yan and Zhenlin Chen},
  year = {2016},
  doi = {10.1002/sec.1193},
  url = {http://dx.doi.org/10.1002/sec.1193},
  researchr = {https://researchr.org/publication/YuZZWZYC16},
  cites = {0},
  citedby = {0},
  journal = {Security and Communication Networks},
  volume = {9},
  number = {15},
  pages = {2802-2815},
}