Formal Analysis of Enhanced Authorization in the TPM 2.0-Reference-Cited by-同舟云学术

Formal Analysis of Enhanced Authorization in the TPM 2.0

Published:2015-04-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security
language:
Short-container-title:

Author:

Shao Jianxiong¹,Qin Yu¹,Feng Dengguo¹,Wang Weijin¹

Affiliation:

1. Trusted Computing and Information Assurance Laboratory, Beijing, China

Funder

National Natural Science Foundation of China

National Basic Research Program of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2714576.2714610

Reference20 articles.

1. Trusted Computing Group. TPM Specification version 1.2. Parts 1-3 revision. http://www.trustedcomputinggroup.org/resources/tpm_main_specification. Trusted Computing Group. TPM Specification version 1.2. Parts 1-3 revision. http://www.trustedcomputinggroup.org/resources/tpm_main_specification.

2. ISO/IEC PAS DIS 11889: Information technology - Security techniques - Trusted Platform Module. ISO/IEC PAS DIS 11889: Information technology - Security techniques - Trusted Platform Module.

3. Replay Attack in TCG Specification and Solution

4. Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

5. Offline dictionary attack on TCG TPM weak authorisation data, and solution

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Minimizing a Smartphone's TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned Hardware;Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services;2023-06-18

2. SvTPM: SGX-based Virtual Trusted Platform Modules for Cloud Computing;IEEE Transactions on Cloud Computing;2023

3. Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols;Security and Trust Management;2021

4. A Symbolic Model for Systematically Analyzing TEE-Based Protocols;Information and Communications Security;2020

5. MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation;Computer Security – ESORICS 2020;2020