Formal Compatibility Model for Trusted Computing Applications
Formal Compatibility Model for Trusted Computing Applications作者机构:School of Computer Wuhan University Wuhan 430072 Hubei China Institute of Electronic Technology Information Engineering University Zhengzhou 450004 Henan China Trusted Computing Laboratory Beijing University of Technology Beijing 100022 China
出 版 物:《Wuhan University Journal of Natural Sciences》 (武汉大学学报(自然科学英文版))
年 卷 期:2009年第14卷第5期
页 面:388-392页
学科分类:0907[农学-林学] 08[工学] 0829[工学-林业工程] 09[农学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:Supported by the National High Technology Research and Development Plan of China (863 Program) (2006AA01Z440) the National Basic Research Program of China (973 Program) (2007CB311100)
主 题:trusted computing compatibility trusted cryptography module (TCM) TCM service module (TSM)
摘 要: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.