A formal analysis of Trusted Platform Module 2.0 hash-based message authentication code authorization under digital rights management scenario.
Fajiang YuHuanguo ZhangBo ZhaoJuan WangLiqiang ZhangFei YanZhenlin ChenPublished in: Secur. Commun. Networks (2016)
Keyphrases
- formal analysis
- trusted platform module
- digital rights management
- access control
- trusted computing
- ban logic
- security mechanisms
- access control policies
- digital content
- security requirements
- remote attestation
- source code
- formal methods
- trust relationships
- security policies
- content sharing
- conflict resolution
- computer security
- security protocols
- digital archives
- hash functions
- computing environments
- distributed systems