【摘 要】
：
BLP模型是最经典的机密性模型,Biba模型则是最经典的完整性模型。绝大多数主客体机密性和完整性具有一致性,BLP模型和Biba模型就产生矛盾。提出了机密性和完整性的动态统一模
【机 构】
：
海军工程大学电气与信息工程学院,解放军信息工程大学电子技术学院
【基金项目】
：
国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z440）.
论文部分内容阅读
BLP模型是最经典的机密性模型,Biba模型则是最经典的完整性模型。绝大多数主客体机密性和完整性具有一致性,BLP模型和Biba模型就产生矛盾。提出了机密性和完整性的动态统一模型,给出了一系列安全规则,引入访问历史标记,动态调整主体的安全标记,将BLP和Biba真正结合起来,实现了机密性和完整性的统一,使系统具有较好的可用性。并给出了实例对模型进行了说明。
其他文献
证明了l-群G的子群格S(G)是分配的当且仅当G群同构于Q的某个子群,由此给出了Gl-同构于Q的某个子群的充要条件。从而强化了Huss[1]中的主要结果。
侗族梯田是侗族居民充分利用当地特殊自然地理条件开垦出来的生态农业奇观，在梯田的构建过程中，侗族居民积累了丰富的自然性适应成果和成套的本土生态知识。本文将侗族地区的梯
为了适应大规模定制对连铸计划的新要求,提出了在板坯设计阶段固定板坯重量的策略,以减少过度追求生产柔性造成的高成本。建立了考虑工艺限制的区间值板坯设计模型,该模型是
目的探讨彩色多普勒超声在乳腺肿块诊断中应用的临床意义。方法回顾性分析本院2011年1月—2014年4月收治的100例乳腺肿块患者的临床资料,均采用彩色多普勒超声和钼靶X线检查,
企业要降低生产消耗,提高经济效益,就必须进行技术改造。本文探讨如何确定本企业技术改造的主攻目标问题。
洋溢着清春气息的校园是充满希望、放飞梦想的场所,也是当代中国工笔人物画创作的典型题材之一。本文以当代校园生活题材工笔人物画为切入点,回顾了汉唐之间“讲经”图式在该
基于一种快速鲁棒特征描述子进行图像特征点之间的匹配。此方法基于积分图像,使用快速Hessian检测子来提取图像特征点。对每个特征点,通过计算Haar小波,来寻找它的主方向。然后构造窗口区域,以主方向和与主方向垂直的方向上的小波和来描述特征点。最后以特征描述向量的距离为标准寻找不同图像之间的特征匹配。
从规划模型、规划方法、求解算法3个方面对配电网规划研究进行综述。根据配电网规划的内容、是否采取主动管理措施和考虑的利益主体的不同将规划模型分为电源规划模型、网架