Constraints, inference channels and secure databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 98-113

  Brodsky, Alexander ^a   Farkas, Csilla ^a   Wijesekera, Duminda ^a   Sean Wang, X ^a  

^a George Mason University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; DATABASE SYSTEMS; INFERENCE ENGINES;

ACTUAL DATA VALUES; ARITHMETIC CONSTRAINTS; CLASSIFICATION METHODS; CONFIDENTIAL INFORMATION; CONSTRAINT OBJECTS; DATABASE CONSTRAINTS; INFERENCE ALGORITHM; SECURITY REQUIREMENTS;

QUERY PROCESSING;

EID: 84945905338     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45349-0_9     Document Type: Article

References (17)

1. D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundation and model. Technical report, Mitre Corp. Report No. M74-244, Bedford, Mass., 1975.
2. L. J. Buczkowski. Database inference controller. In D. L. Spooner and C. Landwehr, editors, Database Security III: Status and Prospects, pages 311-322. North-Holland, Amsterdam, 1990.
3. S. Dawson, S. De Capitani di Vimercati, and P. Samarati. Minimal data upgrating to prevent inference and association attacks. In Proc. Of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 114-125, 1999.
4. S. Dawson, S. De Capitani di Vimercati, and P. Samarati. Specification and enforcement of classification and inference constraints. In Proc. IEEE Symp. on Security and Privacy, 1999.
5. D. E. Denning. A lattice model of secure information flow. Comm. ACM, 19(5): 236-243, May 1976.
6. D. E. Denning. Cryptography and Data Security. Addison-Wesley, Mass., 1982.
7. D. E. Denning. Commutative filters for reducing inference threats in multilevel database systems. In Proc. IEEE Symp. on Security and Privacy, pages 134-146, 1985.
8. J. A. Goguen and J. Meseguer. Unwinding and inference control. In Proc. IEEE Symp. on Security and Privacy, pages 75-86, 1984.
9. T. H. Hinke. Inference aggregation detection in database management systems. In Proc. IEEE Symp. on Security and Privacy, pages 96-106, 1988.
10. M. Morgenstern. Controlling logical inference in multilevel database systems. In Proc. IEEE Symp. on Security and Privacy, pages 245-255, 1988.
11. S. Mazumdar, D. Stemple, and T. Sheard. Resolving the tension between integrity and security using a theorem prover. In Proc. ACM Int’l Conf. Management of Data, pages 233-242, 1988.
12. S. Rath, D. Jones, J. Hale, and S. Shenoi. A tool for inference detection and knowledge discovery in databases. In Proc. Of the 9th IFIP WG11.3 Workshop on Database Security, pages 317-332, 1995.
13. G. W. Smith. Modeling security-relevant data semantics. In Proc. IEEE Symp. Research in Security and Privacy, pages 384-391, 1990.
14. T. Su and G. Ozsoyoglu. Data dependencies and inference control in multilevel relational database systems. In Proc. IEEE Symp. Security and Privacy, pages 202-211, 1987.
15. T. Su and G. Ozsoyoglu. Inference in MLS database systems. IEEE Trans. Knowledge and Data Eng., 3(4): 474-485, December 1991.
16. P. D. Stachour and B. Thuraisingham. Design of LDV: A multilevel secure relational database management system. IEEE Trans. Knowledge and Data Eng., 2(2): 190-209, June 1990.
17. B. M. Thuraisingham. Security checking in relational database management systems augmented with inference engines. Computers and Security, 6: 479-492, 1987.