摘要
在多级安全数据库系统中经典的 BL P模型的“向上写”违反了数据库的完整性 ,并产生隐通道和带来多实例问题 .事务间的提交和回退依赖也会产生隐通道 .在对事务安全性分析的基础上提出了安全事务模型和安全事务正确性标准 -安全冲突可串行化 (SCSR) .
In multilevel secure database systems, the 'Write Up' protocol of classic BLP model violates integrity constraints and produces covert channel and polyinstance problem. Dependencies among transactions also bring covert channels. Based on analysis of transaction security, a secure transaction model is given. Moreover, a correctness criterion for secure transactions, secure conflict serializability(SCSR) is proposed. Finally, a secure concurrency control algorithm to remove covert channels is described.
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第4期591-594,共4页
Journal of Chinese Computer Systems
基金
国家 8 63应急计划 ( 863 -3 0 1-0 1-0 3 -A)资助
关键词
安全数据库
安全事务模型
安全冲突可串行化
安全并发控制
隐通道
secure database
secure transaction model
secure conflict serializability
secure concurrency control
covert channel
