Cloud computing provides services to users through Internet.This open mode not only facilitates the access by users,but ......

以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的......

安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全，即组合的系统不......

通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用......

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......

软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤：第一,对软件动态行为进行行为建模;第二,对建......

本文提出了基于主体行为的视图的新无干扰概念，描述了一个完整的、基于新概念的信息流安全模型。在模型中把计算机系统中的操作抽象......

以梅钢能源有限公司为例，介绍了DCS系统从MAX1000版本升级到MAXDNA版本的过程，着重阐述了升级过程中的“在线”和“无干扰”升级技术......

宋翔凤以《归藏》统领儒、道两家，系统提出并论证了“老子与孔子道同一原”。这个论证主要包括四个方面：其一，黄帝、老子间有《归藏》......

IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模......

针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息......

以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系......