论文部分内容阅读
事务管理是数据库管理系统的主要功能之一。在多级安全数据库系统中，传统的事务并发调度，存在与安全模型之间的矛盾。当不同安全级的事务主体试图并发访问某个数据客体时，有可能产生隐通道，使信息流从高安全级流向低安全级，违反了安全策略，造成信息泄露。提出了一种基于严格2PL严格两段锁的多级事务模型，可以在避免产生隐通道的同时，解决高安全级事务的读饥饿问题。根据该模型，给出了MTS事务调度算法和简单的算法正确性证明。