Formal compatibility model for trusted computing applications |
| |
Authors: | Lu Zhu Sheng Yu Xing Zhang Changxiang Shen |
| |
Affiliation: | 1. School of Computer, Wuhan University, Wuhan, 430072, Hubei, China 2. Institute of Electronic Technology, Information Engineering University, Zhengzhou, 450004, Henan, China 3. Trusted Computing Laboratory, Beijing University of Technology, Beijing, 100022, China
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|