云南高校图书馆联盟文献共享服务平台- 无干扰理论

无干扰理论: 作品数：18被引量：78H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：张焕国张兴杜学绘韩臻刘吉强更多>>; 相关机构：北京工业大学解放军信息工程大学北京交通大学杭州电子科技大学更多>>; 相关期刊：《山东大学学报（理学版）》《电子学报》《网络与信息安全学报》《计算机应用》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划河南省高等学校创新人才培养工程更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

基金=国家重点基础研究发展计划

共条记录，以下是1-5

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

基于无干扰理论的交换行为可信性分析方法: 《通信学报》2014年第12期144-152,共9页孙奕陈性元杜学绘雷程; 国家重点基础研究发展计划("973"计划)基金资助项目(2011CB311801);国家高技术研究发展计划("863"计划)基金资助项目(2012AA012704);河南省科技创新人才计划基金资助项目(114200510001)~~; 针对目前数据安全交换中缺乏对交换行为的动态监管,无法保障数据交换的安全实施问题,提出一种基于无干扰理论的交换行为可信性分析方法。该方法首先从交换进程的角度对交换行为进行形式化建模,然后将无干扰理论与可信计算的思想相结合,...; 关键词：无干扰策略受控交换进程行为可信

基于无干扰理论的分布式多级安全核心架构被引量：4: 《计算机应用》2013年第3期712-716,共5页邵婧陈性元杜学绘曹利峰; 国家973计划项目(2011CB311801);国家863计划项目(2012AA012704);河南省科技创新人才计划项目(114200510001); 为了提高分布式环境下多级安全实施的正确性和可行性,提出了一个分布式多级安全保护核心架构——分布式可信计算基(DTCB)。DTCB具有三层结构,包括系统层可信计算基、模块层可信计算基和分区层可信计算基,实现了从模块间、分区间到分区...; 关键词：多级安全无干扰可信计算基分布式系统架构

基于无干扰理论的安全保障方法: 《山东大学学报（理学版）》2011年第9期28-34,共7页孙瑜陈亚莎张兴刘毅; 国家重点基础研究发展计划("973"计划)项目(2007CB311100);国家高技术研究发展计划(863计划)项目(2009AA01Z437); 近年来,安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统,体系结构层次的结构化是必须要达到的安全保障要求,是其区别于低安全级别系统的本质特征。本文首先分析了传统信息流模型在解决安全保...; 关键词：结构化无干扰进程引用监视器安全保障

基于非传递无干扰理论的二元多级安全模型研究被引量：12: 《通信学报》2009年第2期52-58,共7页刘威鹏张兴; 国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311100)~~; 提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性。为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作...; 关键词：多级安全 BLP模型 BIBA模型二元多级安全模型非传递无干扰理论

基于无干扰理论的可信链模型被引量：29: 《计算机研究与发展》2008年第6期974-980,共7页赵佳沈昌祥刘吉强韩臻; 国家“九七三”重点基础研究发展规划基金项目(2007CB307101);国家“八六三”高技术研究发展计划基金项目(2007AA01Z410,20060101Z4015)~~; 可信计算的相关研究已成为当前国内外信息安全方面的研究热点和趋势之一.可信计算技术也成为构建安全计算机系统行之有效的新技术.目前可信计算理论的发展滞后于技术的发展,针对可信计算中可信链传递缺乏理论模型的问题,将无干扰理论引...; 关键词：可信计算可信计算平台可信链无干扰理论可信根

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部