基于间接信息流约束的访问控制模型

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:adfda
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决跨域跨系统环境下的违规间接信息流问题,提出了一种联合访问控制模型。通过记录系统中的访问行为,构建跨系统的信息流图;在此基础上给出信息流图的安全性定理,定义系统的安全状态;通过制定安全规则,约束跨域跨系统环境中的访问行为。基于安全熵对模型的安全性进行分析和验证,验证结果表明了模型在间接信息流的安全防护能力方面优于传统模型。
其他文献
纵观近几年各地的中考数学压轴题,很多都是根据课本典型的例题和习题进行变式、综合拓展而来的。这就启发我们在复习课时,要会就地取材,注重利用新课程的理念,对课本的例题和
本文笔者对水利工程招投标中的造价控制问题进行了探讨。
侧重介绍、阐释舞蹈及舞蹈艺术欣赏中的基础理论知识,并贯穿着强烈的舞蹈本体意识和现代意识,表现出独特的研究视角与舞蹈审美观。分析了高校舞蹈赏析教育的本质,对开设高校
目的探讨改良米非司酮周期疗法治疗围绝经期功能失调性出血的临床效果。方法选取2016年1月~2018年6月我院收治的60例围绝经期功能失调性出血患者为研究对象,分为研究组和对照
为了分析分离映射网络对权限提升攻击的缓解作用,提出了一种基于损失期望的攻击图建模评估方法。首先根据网络状态和脆弱性信息确定属性节点和原子攻击节点,生成攻击图,然后
<正> 在当代复杂的社会条件下,社会运转的节奏加快,竞争日趋激烈。在生活条件和生活质量逐渐提高的同时,学生也面临着许多选择和挑战,这使得学生的心理压力不断增大,心理问题
评价平板型太阳能集热器日光温室应用的加温效果,设计了3种集热器(循环系统循环集热方式不同),筛选出最大集热量的循环方式。应用此循环方式供热,这个供暖季平板型太阳能集热
2016年,四川著名作家蒋蓝的散文集《豹典》一经出版,便受到了评论家与读者们的广泛好评。其蔚为大观的辞典式体制,繁复精巧的词章布局,以及令人眼花缭乱的史料钩沉,共同构筑
针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对D
地震属性综合研究技术可以实现对地层、岩性等特征的识别与综合描述.滑塌浊积岩岩性油藏是现河地区重要的岩性油藏勘探目标之一,勘探潜力巨大.本文在地震属性分析的基础上,对