一个支持可信主体特权最小化的多级安全模型

来源 :软件学报 | 被引量 : 0次 | 上传用户:woshirenaaa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对已有多级安全模型的可信主体支持进行回顾和分析,提出了DLS(离散标记序列)多级安全模型.该模型将可信主体的生命周期分解为一系列非可信状态,对每一个状态赋予一个敏感标记.可信主体的当前敏感标记等于当前非可信状态的敏感标记,非可信状态的切换由预定义的可信请求事件触发.从而可信主体的当前敏感标记可以根据其应用逻辑而动态调整同时给出了模型保持系统安全性的安全状态和规则.与Bell模型等可信主体敏感标记范围模型相比,该模型在多级安全的策略范围内实现了可信主体的特权最小化.
其他文献
协商民主是实现党的领导的重要方式,是我国社会主义民主政治的特有形式和独特优势.当前时期,人民政协的作用更突出,在助推全面深化改革中有着独特优势.立足新时期人民政协的
为人民谋幸福、为民族谋复兴、为世界谋大同是开启探索习近平新时代中国特色社会主义思想宝库的“金钥匙”。作为融初心使命、担当精神、高尚情操于一体的“金钥匙”彰显了习
中国共产党革命精神是社会主义先进文化的精髓,是中华民族精神的凝结与升华,是党星火燎原,从胜利走向更大胜利的强大精神动力.红色歌曲作为我国先进文化的传递载体和重要组成
研究了信息类自然口语对话中的交互模式及其自动分析.首先,基于话语分析中的Birmingham学派关于交互模式的工作和Halliday关于言语功能的分析,提出使用语句组采刻画交互模式,并建
柑桔黄龙病是柑桔生产上的一个毁灭性病害,当植株症状出现后,2-3年后病树迅速死亡。在早期症状出现之前去确诊它,以便及时采取有效的防治措施,尽可能使其损失减少到最低限度,
作为当今医学影像技术研究中的热点问题之一,多模态医学影像融合技术的研究及其研究成果,对认知科学的研究和临床治疗有着重要的意义.提出了一种基于独立分量分析(ICA)的fMRI受限等效偶极子模型(简称FC-ECD)来解决fMRI与EEG的融合问题.方法首先利用ICA,剔除原始信号中的噪声,提取有效ERP成分(同时可以对偶极子的数量进行估计);然后基于理想4层头模型,利用fMRI激活点的空间信息作为限制
利用光学成像原理,设计了基于机器视觉的雷达测角精度评估系统,主要包括光学部分(CCD相机)、图像采集部分和图像处理与目标角度信息提取部分等;机器视觉的定位成像和高精度测角
期刊
虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X