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 |
| 会议日期 | November 20, 2013 - November 22, 2013 |
| 会议地点 | Beijing, China |
| 页码 | 135-150 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议录出版地 | Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany |
| 语种 | 英语 |
| ISSN号 | 3029743 |
| ISBN号 | 9783319027258 |
| 源URL | [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]. 见:15th International Conference on Information and Communications Security, ICICS 2013. Beijing, China. November 20, 2013 - November 22, 2013. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。