A Formal Analysis of Trusted Platform Module 2.0 Hash-Based Message Authentication Code Authorization under Digital Rights Management Scenario

Publication
Security and Communication Networks