高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
一种信任链传递模型研究
作者：
收录：
摘要：
通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境.并基于无干扰理论,将系统抽象为应用程序、动作和状态输出,形式化地定义了应用运行可信,给出应用运行可信的条件和性质,推出应用运行可信定理,并证明了基于该模型的应用环境可信判定定理.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2010，计算机学报
2007，计算机工程与应用
2010，计算机工程与应用
2016，北京工业大学学报
来源 ：
计算机科学
ISSN： 1002-137X
年份： 2011
期： 9
卷： 38
页码： 79-81,107
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 8
中文被引频次：
近30日浏览量： 1
归属院系：
全文获取
外部链接：
