论文部分内容阅读
对安全政策灵活性的支持是现代安全操作系统追求的重要目标,安全政策格为安全政策灵活性的研究提供了一个很好的手段.本文通过分析DTOS项目的研究成果讨论安全政策格的基本思想,介绍DTOS项目中设计的一个安全政策格,并针对该安全政策格中存在的问题给出一个修正结果.
安全政策格及一个格的修正
【摘 要】
：
对安全政策灵活性的支持是现代安全操作系统追求的重要目标,安全政策格为安全政策灵活性的研究提供了一个很好的手段.本文通过分析DTOS项目的研究成果讨论安全政策格的基本思
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机科学
【发表日期】
：
2004年6期
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金
其他文献
系统研究了La0.7Mg0 3(Ni0.85Co0.15)x(x＝2.5,3.0,3.5,4.0,4.5,5.0)贮氢电极合金的结构和储氢性能.该类型合金由(La,Mg)Ni3相(PuNi3型结构)和LaNi5相(CaCu5型结构)组成,两相的
研究了成分和热变形对三种低碳微合金管线钢的连续冷却转变(CCT曲线)和组织的影响结果表明:在含碳量为0.025%的低碳微合金钢中加入0.3%的Mo能推迟铁素体、珠光体转变,扩大针
根据'表观总应变能达到一个临界值时材料开始屈服'这一概念,研究和建立了多孔材料轧制塑性变形屈服准则,根据'多孔材料变形时质量不变'原理建立了轧制变形过
将β-TCP陶瓷植入大白兔的股骨内并定期注射四环素,分别在光学显微镜、荧光显微镜或扫描电子显微镜下观察新骨的形成和成骨过程,研究了β-TCP植入体内后与组织间的界面作用以
本文提出了一种高效的基于椭圆曲线密码体制(ECC)的可恢复电子支付系统,与传统的基于RSA及离散对数问题的电子支付系统相比,我们提出的系统所需安全参数字节较短且易于扩展,
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足.本文也简单地介绍了J.Pearl提出
安全模型是构造安全计算机系统的基础.到目前为止,已有多种公开发表的安全模型.本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模
研究了不同墩梁刚度比、不同桩基刚度下的门式墩结构盖梁、墩柱、桩基内力。根据墩梁刚度比变化引起的盖梁内力及墩身次内力,给出设计建议墩梁线刚度比;根据桩基刚度变化引起