A formal method based on noninterference for analyzing trust chain of trusted computing platform

被引：5
|
作者：
Zhang X. [1 ,2 ]
Huang Q. [3 ]
Shen C.-X. [1 ,3 ]
机构：
[1] Institute of Electronic Technology, Information Engineering University
[2] College of Computer Science and Technology, Beijing University of Technology
[3] Computing Technology Institute of China Navy
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2010年 / 33卷 / 01期
关键词：
Noninterference; Security policy; Trust chain; Trusted computing;
D O I：
10.3724/SP.J.1016.2010.00074
中图分类号：
学科分类号：
摘要：
The integrity measurement of TCG can only insure that the components of a computing platform are tamper-proofed, which is not enough for avoiding the interference between components at runtime for building the trust chain. The interference of other components results in the unexpected information flow. The trust model of Trusted Computing Platform is analyzed in this paper. Based on the intransitive noninterference model, a formal method of analyzing the trust chain transfer is proposed. It formalized specifies the security policy isolating the interference between components that can make the trust chain valid after integrity measurement.
引用
收藏
页码：74 / 81
页数：7
相关论文
共 7 条
  • [1] Shen C.-X., Zhang H.-G., Feng D.-G., Cao Z.-F., Huang J.-W., Survey of information security, Science in China Series F: Information Sciences, 50, 3, pp. 273-298, (2007)
  • [2] Ahmad-Reza S., Marcel S., Christian S., Marcel W., TCG Inside? A note on TPM specification compliance, Proceedings of the 1st Benelux Workshop on Information and System Security, (2006)
  • [3] Trent J., Reiner S., Umesh S., PRIMA: Policy-reduced integrity measurement architecture, Proceedings of the 11th ACM Symposium on Access Control Models and Technologies(SACMAT 2006), pp. 134-143, (2006)
  • [4] Zhang X., Chen Y.-L., Shen C.-X., A non-interference trusted model based on processes, Journal on Communications, 30, 3, pp. 6-11, (2009)
  • [5] Rushby J., Noninterference, transitivity and channel-control security policies, (1992)
  • [6] Huang Q., Study about terminal security architecture based on trusted computing, (2007)
  • [7] Garfinkel T., Pfaff B., Et al., Terra: A virtual machine-based platform for trusted computing, Proceedings of the SOSP03, pp. 193-206, (2003)
1