ISCAS OpenIR
Type-based analysis of protected storage in the TPM
Shao, Jianxiong (1); Feng, Dengguo (1); Qin, Yu (1)
2013
Conference Name15th International Conference on Information and Communications Security, ICICS 2013
Pages135-150
Conference DateNovember 20, 2013 - November 22, 2013
Conference PlaceBeijing, China
Indexed TypeEI
Publish PlaceSpringer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany
ISSN3029743
ISBN9783319027258
Department(1) Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, China
English AbstractThe 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.
Language英语
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/16640
Collection中国科学院软件研究所
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Shao, Jianxiong (1)]'s Articles
[Feng, Dengguo (1)]'s Articles
[Qin, Yu (1)]'s Articles
Baidu academic
Similar articles in Baidu academic
[Shao, Jianxiong (1)]'s Articles
[Feng, Dengguo (1)]'s Articles
[Qin, Yu (1)]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Shao, Jianxiong (1)]'s Articles
[Feng, Dengguo (1)]'s Articles
[Qin, Yu (1)]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.