时态数据库多级安全模型研究

文章将时态逻辑引入数据库安全模型,在对传统信息安全模型修改完善的基础上提出了基于角色和时态的多级数据库安全模型。文中介绍了该模型的定义,规则和定理系统,并简单介绍了其实现。