In order to solve the transaction processing in multilevel security database, the ACIS-correct of multilevel secure transaction are studied in this thesis.

• 为了解决安全数据库中事务处理问题,研究了安全数据库中多级事务ACIS正确性标准。