On the Deductive Security of Queries to Databases with Multi-Bit Records

Abstract

One of the priority problems in the development and use of databases is that of information security. It becomes substantially more complicated when databases are implemented in cloud computing systems. In our previous paper we studied this problem for the simple case of databases with one-bit records; we offered a criterion of deductive security for queries to such databases, proved the hardness of its checking, and showed that for some classes of queries deductive security can be verified relatively easy. In this paper these results are generalized for the case of more complex databases with multi-bit records.