多级安全数据库中标记生成规则的一致性

摘要：

在多级安全数据库中,各种对象的安全标记随着数据库状态的变化而动态变化.系统根据标记生成规则库对各种对象进行标记.论文根据更新阶段使用的基于内容的标记生成规则提出了标记子的概念,并使用形式推演技术给出了这种规则一致性的判别算法以及实现方法.

关键词：多级安全数据库、形式推演、安全标记、标记生成规则

所属期刊栏目：37

分类号：TP391(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：123-124