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

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