【摘 要】
：
强制访问控制是保护数据库管理系统安全的有效机制.DMOSMAC是一个依赖于安全操作系统实现强制访问控制机制的数据库管理系统.在分析该系统实现的基础上,对该系统进行了形式化
论文部分内容阅读
强制访问控制是保护数据库管理系统安全的有效机制.DMOSMAC是一个依赖于安全操作系统实现强制访问控制机制的数据库管理系统.在分析该系统实现的基础上,对该系统进行了形式化分析.给出了信息流的概念,将信息流集合作为被验证系统状态的一部分.信息流集合始终是一个递增的集合,利用信息集合流可防止删除等操作的证明被绕过的可能,保证验证过程的严密性.在信息流的基础上提出了一种对系统代码进行抽象、抽取的形式化分析方法.即抽象DMOSMAC系统状态,从源代码中提取操作规则,将BLP模型中的状态、访问规则分别与DMOSMA
其他文献
将立式行星磨工作时行星轮在煤层上滚动的问题简化为刚性轮在有刚性底面的煤层上滚动的问题。分析了Bekker刚性轮滚动阻力计算公式不适合直接用来计算行星轮的滚动阻力。根据贝氏仪原理由土力学侧限压缩试验装置测得煤层"压缩--沉陷"曲线,得到了煤层的变形模量。利用LS-DYNA,选用刚性材料与Drucker-Prager材料模型建立了"行星轮--煤层"的有限元模型,计算出行星轮在煤层上的滚动阻力,继而算得
现阶段,现代建筑的施工数量呈现着逐渐增长的趋势,但是民用建筑普遍存在着建筑结构的问题,这不但会影响到建筑行业的发展和进步,同时也会给人们的日常生活带来不便,为了给民
ROLEXDatejust Ⅱ Rolesor在ROLEX Explorer Ⅰ的售价也勇破5万人民币大关之后,要买一枚不会觉得后悔、又能保存着为其而付出的真金白银的价值的重任,就落在了ROLEX Datejust
历经81天紧张而密集的谈判，中美双方主管部门就有条件恢复美国鸡肉粉、全水解羽毛粉对华出口达成协议一致，并签署新的议定书和卫生证。美国鸡肉粉将成为国内水产饲料企业可以依
本文阐述了建筑电气设计中节能措施的重要性,介绍了建筑电气节能设计原则,对建筑电气设计中的优化节能措施进行了深入探讨,以供参考.
当听到凯迪拉克赛威要成为我本次出行的伴侣时,我的反映真的可谓是喜忧参半.喜的是能开着这么一部大牌的豪华轿车出去必然能满足自己的虚荣心,这么宽大的车身势必能引来很高
尼采曾经说过:“当我想用一 个名字来表达音乐时,我只找到了维也纳;而当我想以一个名字来表达神秘时,我只想到了布拉格.”是的,对于这座城市来说,让人无限神往与迷恋的就是这
语文教学中渗透学生的心理活动,学生认识事物是从感知开始,然后形成表象,由表象逐步发展到抽象.加强学生心理发展的研究,积极引导学生进行规律性的心理活动,一定能收到良好的
什么是主题图?它是指可以反映数学课中所需要解决的数学问题与相关知识内容的图画,具有浓烈的生活气息.主题图是小学北师大版数学教材的一个特征,突出了基于学生具有的一些经