%0 Journal Article
%T Research of a Trust Chain Transfer Model<br>一种信任链传递模型研究
%A SI Li-min
%A CAI Mian
%A CHEN Yin-jing
%A GUO Ying
%A <br>司丽敏
%A 蔡勉
%A 陈银镜
%A 郭颖
%J 计算机科学
%D 2011
%I 
%X Based on measurement applications and its dynamic library to protect the integrity of the application of static credible, and analyzing the relation between interactive applications, this article established chain of trust of the transfer model , to protect applications running in the process of dynamic credible, to build reliable application environment. Based on the intransitive noninterference model, this article abstracted the system as applications, actions, states and outputs,and formally defined to run trusted applications. Application trusted theorem was verified formally. Furthermore, by associating application with system state, the definition and the theorem of application environment trusted were proposed.
%K Dynamic library
%K Chain of trust
%K Noninterference
%K Application environment<br>动态库，信任链，无干扰，应用环境
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D294780BED9FF2E0E8&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=9CF7A0430CBB2DFD&sid=9C65ADEB5990B252&eid=35FC3610259C2B32&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0