ABSTRACT

This chapter will present the formal analysis for data manipulation language (DML) operations like SELECT, INSERT, UPDATE, and DELETE for the encryption-based multilevel model for relational database management systems. Also, this chapter will give the soundness, completeness, and the security mathematical proof for the DML operations of the encryption-based multilevel database model. The mathematical proofs show that the DML operations transform any database in the correct state to another database in the correct state, which indicates the power of the encryption-based multilevel database model [75].