论文部分内容阅读
分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱点,最后论证了格模型不具有保护信息完整性的能力.
格模型的安全性分析
【摘 要】
：
分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱
【机 构】
：
华中理工大学计算机科学与工程系,华中理工大学计算机科学与工程系
【出 处】
：
华中理工大学学报
【发表日期】
：
1993年3期
【基金项目】
：
国家自然科学基金资助项目
其他文献
为解决应用准维模型计算汽油机主副燃烧室分层充气燃烧过程的适用性，根据主副燃烧室中气体流动过程的质量和能量交换关系，并考虑到主副燃烧室相对容积比和喉口截面积等几何结构
介绍了“基于知识的汽轮发电机组在线工况监测与故障诊断系统(简称KBTMD)”中的知识库管理系统(KBMS),知识的表达方式及知识获取,提出了知识库的静态维护和动态维护的新概念,
介绍了露天矿生产炮孔数据及地表现状数据的收集整理,阐述应用MINT EC软件建立生产炮孔模型的过程,对炮孔模型在短期计划、矿石控制、生产计划的平衡与调整及生产控制等方面
提出采用C语言实现CNC系统的输入控制,为CNC系统控制软件的开发建立了良好的开发平台.并重点分析了采用C语言实现零件加工程序的存储和程序段逐段解释译码过程以及它们各自的
乳化炸药厂新建、改扩建工程设计中，电气设计是一个重要组成部分，它关系到全厂生产的正常运行与安全。文章结合乳化炸药厂设计工作实践，就电气设计中有关的危险场所区域划分、变
本文就高压输电线路故障,提出了一种基于实时对称分量法的故障测距新算法.该算法是利用故障电流分布系数的幅角来求解故障距离.理论分析和仿真计算结果表明,该算法能消除负荷
用内转换电子穆斯堡尔谱分析了铁在８０℃的Ｈ２Ｓ－盐水系统中腐蚀不同时间的腐蚀产物，用失重法测量了腐蚀速度，还用ＣＥＭＳ方法分析了两种缓蚀剂的防护性能。结果表明，在腐蚀过程中，腐蚀产物ＦｅＳ１－ｘ，Ｆｅ３Ｓ４依次出
综合评述了我国1996～2003年稀土矿产品的生产状况、稀土材料的综合产量与产品应用领域,以及国内外市场状况.针对我国稀土资源利用率不高,稀土精矿及冶炼产品产量超过市场需求
简要回顾了国内外火炸药静电(火花)感度测试装置静电感度仪的研究发展状况,指出了各种静电感度仪的结构特点和在实际使用中的优点和不足,总结了在火炸药静电感度测试中,各种
系统阐述了硫化矿细菌浸出体系细菌生长及细菌存在时硫化矿氧化的电化学理论,分析了细菌浸矿过程的原电池效应,提出了各因素影响细菌浸出过程原电池效应的理论模型,并论述了