Query processing in LDV: a secure database system

An overview is given of the query processing of the multilevel secure database management system (MLS/DBMS), LOCK Data Views (LDV), for the secure distributed Data Views contract. The authors summarize design issues such as data distribution, polyinstantiation, and response assembly. They show the need for a security policy for a database system that builds on the classical security policies for operating systems. They describe some of the problems associated with multilevel databases and their approach to solving them. They also explain how a pipeline organization helps to minimize the amount of design and code that must be trusted and/or verified.<
>