Paper 2013/501

Type-Based Analysis of Protected Storage in the TPM (full version)

Jianxiong Shao, Dengguo Feng, and Yu Qin

Abstract

The Trusted Platform Module (TPM) is designed to enable trustworthy computation and communication over open networks. The TPM provides a way to store cryptographic keys and other sensitive values in its shielded memory and act as \emph{Root of Trust for Storage} (RTS). The TPM interacts with applications via a predefined set of commands (an API). In this paper, we give an abstraction model for the TPM 2.0 specification concentrating on Protected Storage part. With identification and formalization of their secrecy properties, we devise a type system with asymmetric cryptographic primitives to statically enforce and prove their security.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. MINOR revision.ICICS2013
Keywords
TPMTrusted computingType systemAPI analysis
Contact author(s)
shaojianxiong @ tca iscas ac cn
History
2013-08-16: revised
2013-08-15: received
See all versions
Short URL
https://ia.cr/2013/501
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2013/501,
      author = {Jianxiong Shao and Dengguo Feng and Yu Qin},
      title = {Type-Based Analysis of Protected Storage in the TPM (full version)},
      howpublished = {Cryptology ePrint Archive, Paper 2013/501},
      year = {2013},
      note = {\url{https://eprint.iacr.org/2013/501}},
      url = {https://eprint.iacr.org/2013/501}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.