On the Deductive Security of Queries to Confidential Databases in Cloud Computing Systems

摘要

We study certain simple models of confidential databases in cloud computing systems. In the framework of these models we introduce a concept of deductive security for queries to such databases, find necessary and sufficient conditions of deductive security, and describe some classes of queries which satisfy these requirements.