Type-based analysis of protected storage in the TPM

ISCAS OpenIR

	Type-based analysis of protected storage in the TPM
	Shao, Jianxiong (1); Feng, Dengguo (1); Qin, Yu (1)
	2013
会议名称	15th International Conference on Information and Communications Security, ICICS 2013
页码	135-150
会议日期	November 20, 2013 - November 22, 2013
会议地点	Beijing, China
收录类别	EI
出版地	Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany
ISSN	3029743
ISBN	9783319027258
部门归属	(1) Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, China
摘要	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 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. © Springer International Publishing 2013.; 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 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. © Springer International Publishing 2013.
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16640
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Shao, Jianxiong ,Feng, Dengguo ,Qin, Yu . Type-based analysis of protected storage in the TPM[C]. Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany,2013:135-150.