Secure Transaction Processing in Multi-expert Systems with Replicated Data

Abstract

The most important issue in expert security is correct concurrency control under the restrictive security policy. The goal of secure transaction management is to keep security and provide many concurrent users with the high availability of knowledge base. In this paper, we consider the security environment of multi expert system with replicated data. The read from relationship in the existed is improper in security environment. So, we define new read-from relationship and propose new secure one copy quasi-seriailzability by utilizing this relationship and display some examples. This security environment requires both the existed local autonomy and the security autonomy as newly defined restriction. To solve covert channel problem is the most difficult issue in developing secure scheduling scheme. The proposed secure one copy quasi-serializability is very proper for global transactions in that this serializability not violates security autonomy and prevents covert channel between global transactions.