无干扰理论

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于场景感知的访问控制模型
《网络与信息安全学报》2024年第1期58-78,共21页单棣斌 杜学绘 王文娟 王娜 刘敖迪 
国家自然科学基金(62102449);国家重点研发计划(2018YFB0803603,2016YFB0501904);河南省重点研发与推广专项(222102210069)。
动态访问控制模型是构建大数据动态访问控制系统的理论基础,而现有访问控制模型大多只能满足单一情景下的动态访问控制,无法适应大数据上下文环境变化、实体关系变更和客体状态变迁等多类型动态情景中的访问控制。针对上述问题,在现有...
关键词：大数据 访问控制 动态因素 场景 无干扰理论 
基于无干扰理论的虚拟机可信启动研究
《软件学报》2023年第6期2959-2978,共20页黄浩翔 张建标 袁艺林 王晓 
北京市自然科学基金(M21039);国防科研试验信息安全实验室基础研究项目(2017XXAQ09)。
云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验证的要求.云计算模式下,虚拟机作为用户使用云服务的直接载体,其可信启动是虚拟机运行环境可信的基础.但...
关键词：无干扰理论 虚拟机进程 可信启动 动态可信 主动度量 主动控制 
基于无干扰理论的构件系统安全
《山东大学学报（理学版）》2020年第3期35-42,共8页徐明迪 靳朝阳 崔峰 张帆 
国家自然科学基金资助项目(61502438)。
研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,...
关键词：信息流安全 无干扰 接口安全 
基于无干扰理论的在线用户行为可信性分析方法
《计算机应用》2019年第10期3002-3006,共5页董海燕 于枫 程科 黄树成 
国家自然科学基金资助项目(61772244);江苏省现代教育技术研究重点课题(2013-R-25582);江苏科技大学博士启动基金资助项目(1132921303)~~
针对在线应用中用户行为可信性难监测、难评判的现状和当前用户行为可信性分析理论薄弱问题,提出一种基于无干扰理论的在线用户行为可信性分析方法。首先,从执行单步行为的行为实体身份、状态、环境三方面定义单步行为静态可信性,给出...
关键词：用户行为分析 可信性分析 无干扰理论 行为动态可信 
基于无干扰理论的云服务行为可信模型被引量：2
《计算机应用》2016年第10期2728-2732,共5页谢洪安 刘大福 苏旸 张英男 
国家自然科学基金资助项目(61402530);陕西省自然科学基础研究计划项目(2014JQ8301)~~
为解决云服务环境下存在的资源共享及特权安全威胁,将传统的无干扰理论引入云服务环境中,提出一种基于无干扰理论的云服务可信模型(NICTM)。该模型将云服务中域、动作、状态、输出等进行抽象,形式化地定义了云服务环境中域的可信;然后...
关键词：云服务 可信云 行为可信 无干扰理论 虚拟化 
基于无干扰理论的信任链传递模型被引量：4
《计算机科学》2016年第10期141-144,181,共5页陈亮 曾荣仁 李峰 杨伟铭 
针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型。该模型将系统抽象为进程、动作和执行,从可信根出发,通过度量程序及其动态库完整性来保证进程静态可信;分析交...
关键词：无干扰理论 进程可信 系统运行可信 安全接入可信 
一种透明的可信云租户隔离机制研究？被引量：9
《软件学报》2016年第6期1538-1548,共11页石勇 郭煜 刘吉强 韩臻 马威 常亮 
国家自然科学基金（61363030）;广西可信软件重点实验室研究课题（KX201531）
租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管...
关键词：云租户隔离 租户透明性 信息流策略 可信云 无干扰理论 
云计算中基于无干扰理论的多级安全模型被引量：5
《信息网络安全》2015年第12期21-27,共7页周娜 林果园 李正奎 
国家自然科学基金[61303263]
针对云计算中信息的完整性问题,文章提出了一个基于云平台的多级安全模型。该模型将系统划分为三层:以虚拟机中的进程为基础层;将运行在同一台虚拟机监视器上的各虚拟机作为中间层;以该虚拟机监视器作为顶层,按自底向上的顺序进行安全...
关键词：云计算 多级安全 DIFC-B访问控制方法 无干扰 
基于无干扰理论的交换行为可信性分析方法
《通信学报》2014年第12期144-152,共9页孙奕 陈性元 杜学绘 雷程 
国家重点基础研究发展计划("973"计划)基金资助项目(2011CB311801);国家高技术研究发展计划("863"计划)基金资助项目(2012AA012704);河南省科技创新人才计划基金资助项目(114200510001)~~
针对目前数据安全交换中缺乏对交换行为的动态监管,无法保障数据交换的安全实施问题,提出一种基于无干扰理论的交换行为可信性分析方法。该方法首先从交换进程的角度对交换行为进行形式化建模,然后将无干扰理论与可信计算的思想相结合,...
关键词：无干扰策略 受控交换 进程行为 可信 
可信系统信任链研究综述被引量：19
《电子学报》2014年第10期2024-2031,共8页徐明迪 张焕国 张帆 杨连嘉 
国防预研基金(No.9140A15040211CB3901);国家自然科学基金(No.61003268);浙江省教育厅基金(No.Y201224055)
信任链是实施可信系统的关键技术之一,本文从信任链理论和应用系统出发,介绍了研究信任链理论的典型模型及近年来的研究进展,包括基于无干扰理论的信任链传递模型和基于组合安全理论的信任链模型,详细阐述了这两种信任链理论模型的优势...
关键词：可信计算 信任链理论 无干扰理论 组合安全理论 静态信任链 动态信任链 信任链应用系统安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部