【摘 要】
：
安全模型是构造安全计算机系统的基础.到目前为止,已有多种公开发表的安全模型.本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
安全模型是构造安全计算机系统的基础.到目前为止,已有多种公开发表的安全模型.本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模型,并对它们进行了分类和简要评述.本文将它们称为经典安全模型.这些经典安全模型都是开创性的,从各个不同的方面对安全问题进行抽象,模型所定义的安全问题具有典型性,并对后续的研究产生了重要影响.目前,共享计算机系统的安全问题仍然是计算机科学的中心问题之一,研究这些经典模型,对于我们全面理解计算机系统的安全问题,展望未来发展方向,具有重要意义
其他文献
介绍了商合杭高铁线上(88+168+88)m连续刚构梁拱组合桥的结构设计,包括主梁、拱肋、吊杆、主墩的设计及受力分析,可为同类型桥梁设计提供参考。
研究了机械合金化非晶态Zr65A17 5Ni10Cu7 5Ag10合金的晶化过程由于存在扩散不均匀区,机械合金化非晶合金在深过冷液相区的退火组织不同于快淬合金在深过冷液相区退火,析出二
系统研究了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型结构)组成,两相的
根据'表观总应变能达到一个临界值时材料开始屈服'这一概念,研究和建立了多孔材料轧制塑性变形屈服准则,根据'多孔材料变形时质量不变'原理建立了轧制变形过
将β-TCP陶瓷植入大白兔的股骨内并定期注射四环素,分别在光学显微镜、荧光显微镜或扫描电子显微镜下观察新骨的形成和成骨过程,研究了β-TCP植入体内后与组织间的界面作用以
本文提出了一种高效的基于椭圆曲线密码体制(ECC)的可恢复电子支付系统,与传统的基于RSA及离散对数问题的电子支付系统相比,我们提出的系统所需安全参数字节较短且易于扩展,
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足.本文也简单地介绍了J.Pearl提出