基于无干扰理论的信任链传递模型

摘要：

针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型.该模型将系统抽象为进程、动作和执行,从可信根出发,通过度量程序及其动态库完整性来保证进程静态可信;分析交互进程之间的关系,利用无干扰理论判定其合法性;通过对接入终端的可信度量,将信任链扩展到整个网络系统.最后给出了相应的形式化定义及安全性证明.

关键词：无干扰理论、进程可信、系统运行可信、安全接入可信

所属期刊栏目：43

分类号：TP393(计算技术、计算机技术)

在线出版日期：2016-11-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：141-144,181