节点文献
多级安全数据库安全模型研究
The Study on Security Model for Multi-level Secure Database System
【机构】 华中科技大学数据库与多媒体研究所；
【摘要】 <正>1引言在国标17859-1999中规定所有国标四级及以上安全等级可信系统必须给出形式化的、无歧义的安全策略模型。建立高安全等级数据库管理系统的形式化安全模型也是高安全等级数据库管理系统形式化验证的基础。
【Abstract】 Based on Bell-LaPadula model,trusted subject,untrusted subject,and access control policy for them are defined.Objects are divided into the stored objects and the derived objects.Object structure is extended into tree structure and graph structure.The entity integrity constraint and reference constraint are defined as invariants to preserve security and consistency of state transformation.Based on all the formal definition,a security policy model is presented for multilevel databases.
【Key words】 Security model；
Integrity constraint；
Tusted subject；
Database security；
【基金】 863高技术研究发展计划(2006AA01Z430)
- 【会议录名称】 第二十四届中国数据库学术会议论文集（技术报告篇）
- 【会议名称】第二十四届中国数据库学术会议
- 【会议时间】2007-10-20
- 【会议地点】中国海南海口
- 【分类号】TP311.13
- 【主办单位】中国计算机学会数据库专业委员会