Formal compatibility model for trusted computing applications - 文章详情页

作者：

Zhu, L. (Zhu, L..) | Yu, S. (Yu, S..) | Zhang, X. (Zhang, X..) | Shen, C. (Shen, C..)

收录：

Scopus

摘要：

The　Chinese　specification　for　trusted　computing,　which　has　similar　functions　with　those　defined　by　the　Trusted　Computing　Group　(TCG),　has　adopted　a　different　cryptography　scheme.　Applications　designed　for　the　TCG　specifications　cannot　directly　function　on　platforms　complying　with　Chinese　specifications　because　the　two　cryptography　schemes　are　not　compatible　with　each　other.　In　order　to　transplant　those　applications　with　little　to　no　modification,　the　paper　presents　a　formal　compatibility　model　based　on　Zaremski　and　Wing＇s　type　system.　Our　model　is　concerned　not　only　on　the　syntactic　compatibility　for　data　type,　but　also　on　the　semantic　compatibility　for　cryptographic　attributes　according　to　the　feature　of　trusted　computing.　A　compatibility　algorithm　is　proposed　based　on　the　model　to　generate　adapters　for　trusted　computing　applications.　©　2009　Wuhan　University　and　Springer　Berlin　Heidelberg.

关键词：

Compatibility; TCM service module (TSM); Trusted computing; Trusted cryptography module (TCM)

作者机构：

[ 1 ] [Zhu, L.]School of Computer, Wuhan University, Wuhan 430072, Hubei, China
[ 2 ] [Yu, S.]Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004, Henan, China
[ 3 ] [Yu, S.]Trusted Computing Laboratory, Beijing University of Technology, Beijing 100022, China
[ 4 ] [Zhang, X.]Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004, Henan, China
[ 5 ] [Zhang, X.]Trusted Computing Laboratory, Beijing University of Technology, Beijing 100022, China
[ 6 ] [Shen, C.]Trusted Computing Laboratory, Beijing University of Technology, Beijing 100022, China

通讯作者信息：

[Shen, C.]Trusted Computing Laboratory, Beijing University of Technology, Beijing 100022, China

电子邮件地址：

liu_yil@163.com

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至