多级安全DBMS的通用审计策略模型

作者：何永忠; 李斓; 冯登国

来源：软件学报, 2005, (10): 1774-1783.

• 审计
• 策略模型
• 多级安全数据库 audit
• policy model
• multilevel secure DBMS

提出了一种基于多级安全数据库管理系统的通用审计策略模型.该模型具有丰富的表达能力,既可以表达基于时间的审计策略,也可以实现基于规则的审计策略推衍.通过引入对象的属性谓词,还可以表达细粒度的审计策略.证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法.

• 单位
  上海交通大学; 信息安全国家重点实验室; 中国科学院软件研究所; 中国科学院研究生院