noninterference相关论文
以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的......
通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用......
提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......
软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤：第一,对软件动态行为进行行为建模;第二,对建......
宋翔凤以《归藏》统领儒、道两家，系统提出并论证了“老子与孔子道同一原”。这个论证主要包括四个方面：其一，黄帝、老子间有《归藏》......
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模......
以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系......
