TC&S Lab
TC&S Lab
People
Publications
Projects
Contact
Zhenlin Chen
Latest
A Formal Analysis of Trusted Platform Module 2.0 Hash-Based Message Authentication Code Authorization under Digital Rights Management Scenario
Cite
×