Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Integrity versus security in multi-level secure databases
on Database Security: Status and Prospects
IEEE Transactions on Software Engineering
Control of confidentiality in databases
Computers and Security
Toward a multilevel secure relational data model
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
A logic for reasoning about security
ACM Transactions on Computer Systems (TOCS)
Eliminating polyinstantiation securely
Computers and Security
Tuple-level vs. element-level classification
Results of the Sixth Working Conference of IFIP Working Group 11.3 on Database Security on Database security, VI : status and prospects: status and prospects
Formal query languages for secure relational databases
ACM Transactions on Database Systems (TODS)
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Cryptography and data security
Cryptography and data security
Entity Modeling in the MLS Relational Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Inference Channel-Free Integrity Constraints in Multilevel Relational Databases
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
A MAC Policy Framework for Multilevel Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Multilevel security: privacy by design
Crossroads
Secure XML publishing without information leakage in the presence of data inference
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Confidentiality policies for controlled query evaluation
Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security
A systematic literature review of inference strategies
International Journal of Information and Computer Security
| Hi-index | 0.01 |
A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a level in a security lattice. We develop a semantic framework of the multilevel secure relational model with tuple-level labeling, which formalizes the notion of validity in multilevel relational databases. We also identify the multilevel security properties that precisely characterize the validity of multilevel relational databases, which can be maintained efficiently. Finally, we give an update semantics of the multilevel secure relational model that preserves both integrity and secrecy.