无干扰理论相关论文
云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验......
计算机安全问题的根本原因在于现有PC本身的不安全性。当初设计PC时就没有考虑安全性,缺乏很好的硬件防御措施,使得现有的安全方案......
针对计算机终端是网络系统中安全风险的根源问题之一,提出了一种新的基于进程保护的可信终端模型。该模型通过进程静态、动态保护......
针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型。该模......
可信计算的相关研究已成为当前国内外信息安全方面的研究热点和趋势之一。可信计算技术也成为构建安全计算机系统行之有效的新技术......
为解决云服务环境下存在的资源共享及特权安全威胁,将传统的无干扰理论引入云服务环境中,提出一种基于无干扰理论的云服务可信模型......
本文主要研究开发高安全等级的操作系统所必需的安全策略形式模型，为此我们从形式设计方法的探讨入手，确定模型设计的基本原则及组织......
高保证系统指的是那些给出了确切证据证实该系统能够满足一系列重要安全属性的系统,主要体现在系统安全功能的可靠、完备以及可验......
租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广......
从信息系统安全的角度出发,要考虑应用操作、共享服务和通信三个环节。在“三纵三横两个中心”的信息安全保障技术框架中,认证机制......
虚拟化技术正在得到IT行业越来越多的重视，它打破了计算机软件与硬件之间的紧密依赖关系，提高了资源利用率，降低了维护成本。与此同时......
针对在线应用中用户行为可信性难监测、难评判的现状和当前用户行为可信性分析理论薄弱问题,提出一种基于无干扰理论的在线用户行......
