论文部分内容阅读
在多级安全数据库中，各种对象的安全标记随着数据库状态的变化而动态变化。系统根据标记生成规则库对各种对象的进行标记。论文根据更新阶段使用的基于内容的标记生成规则提出了标记子的概念，并使用形式推演技术给出了这种规则一致性的判别算法以及实现方法。
多级安全数据库中标记生成规则的一致性
【摘 要】
：
在多级安全数据库中，各种对象的安全标记随着数据库状态的变化而动态变化。系统根据标记生成规则库对各种对象的进行标记。论文根据更新阶段使用的基于内容的标记生成规则提出
【机 构】
：
中国科学技术大学研究生院（北京）计算机学部,中国科学技术大学研究生院（北京）计算机学部
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年16期
其他文献
为贯彻落实国家节能减排政策和节能减排新标准，做好2008年建设领域节能减排工作，2月22日，自治区建设厅召集广西华蓝设计（集团）有限公司等广西14家甲级设计单位相关负责人召开建筑
下午4时，已徒步5个小时。在到达海拔4500米的地方经历了小雪，4600米时遭遇冰雹，经过一番折腾，我们一行人终于来到4720米处。我站在亚丁牛奶海的旁边，看着一道阳光生生地拉开高原厚
民族文化的当代重构作为一种实践行为,有其自身的内在逻辑。布洛陀文化当代重构为我们呈现了一种布迪尔式的场域,在这种场域中,各类行动者的惯习、资本与权力得以充分的运用
文章介绍了一种基于RTLinux和CAMAC系统的硬实时测控程序设计，对测控程序的实时性能进行了分析，同时给出了此测控系统的测试结果，并讨论了在RTLinux下使测控程序满足硬实时测控
执照上不再记载经营范围和注册资本，新的商事登记制度的颁布实施，标志着中国市场经济体系在特区开始进入成熟期
“南京泥人”植根于丰厚的南京历史文化，具有独特的艺术特色和地域风格，曾经创造了一段辉煌璀璨的历史。文章详细阐述分析了“南京泥人”的历史文化源流与艺术特色，并结合南京泥
PISA是由联合国经济合作与发展组织发起的国际比较研究项目,以其先进的评价理念、理论框架和完备的评价体系等独特优势,得到了世界许多国家的认同及参与研究。其'数学素