Institutional Repository
| Type-based analysis of protected storage in the TPM | |
| Shao, Jianxiong (1); Feng, Dengguo (1); Qin, Yu (1) | |
| 2013 | |
| Conference Name | 15th International Conference on Information and Communications Security, ICICS 2013 |
| Pages | 135-150 |
| Conference Date | November 20, 2013 - November 22, 2013 |
| Conference Place | Beijing, China |
| Indexed Type | EI |
| Publish Place | Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany |
| ISSN | 3029743 |
| ISBN | 9783319027258 |
| Department | (1) Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, China |
| English 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 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 | 会议论文 |
| URI | http://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. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment