论文部分内容阅读
安全实时数据库必须同时满足安全性和实时性,然而这两者有时可能相互冲突。为了解决这种冲突,提出了基于多版本的安全实时并发控制协议。协议为每个数据对象提供两个版本：工作版本和只读版本,根据事务和数据对象的安全级为事务提供不同的数据版本,有效地解决了实时性与安全性之间的冲突,最后给出了协议的正确性证明。