计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2001年
16期
123-124
,共2页
多级安全数据库%形式推演%安全标记%标记生成规则
多級安全數據庫%形式推縯%安全標記%標記生成規則
다급안전수거고%형식추연%안전표기%표기생성규칙
在多级安全数据库中,各种对象的安全标记随着数据库状态的变化而动态变化.系统根据标记生成规则库对各种对象进行标记.论文根据更新阶段使用的基于内容的标记生成规则提出了标记子的概念,并使用形式推演技术给出了这种规则一致性的判别算法以及实现方法.
在多級安全數據庫中,各種對象的安全標記隨著數據庫狀態的變化而動態變化.繫統根據標記生成規則庫對各種對象進行標記.論文根據更新階段使用的基于內容的標記生成規則提齣瞭標記子的概唸,併使用形式推縯技術給齣瞭這種規則一緻性的判彆算法以及實現方法.
재다급안전수거고중,각충대상적안전표기수착수거고상태적변화이동태변화.계통근거표기생성규칙고대각충대상진행표기.논문근거경신계단사용적기우내용적표기생성규칙제출료표기자적개념,병사용형식추연기술급출료저충규칙일치성적판별산법이급실현방법.