Inference-proof view update transactions with minimal refusals

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

Volumn 7122 LNCS, Issue , 2012, Pages 104-121

  Biskup, Joachim ^a   Tadros, Cornelia ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONFIDENTIAL INFORMATION; OUTDATED INFORMATION; POLICY SPECIFICATION; RELIABILITY OF INFORMATION; SECURITY ADMINISTRATOR; SENSITIVE INFORMATIONS; TRANSACTION PROTOCOL; UPDATE TRANSACTION;

DATA PRIVACY;

EID: 84903848955     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28879-1_8     Document Type: Conference Paper

References (19)

1. Toland, T.S., Farkas, C., Eastman, C.M.: The inference problem: Maintaining maximal availability in the presence of database updates. Computers & Security 29(1), 88-103 (2010)
2. Jajodia, S., Meadows, C.: Inference problems in multilevel secure database management systems. In: Abrams, M.D., Jajodia, S., Podell, H.J. (Eds.) Information Security: An Integrated Collection of Essays, pp. 570-584. IEEE (1995)
3. Biskup, J., Gogolin, C., Seiler, J., Weibert, T.: Requirements and Protocols for Inference-Proof Interactions in Information Systems. In: Backes, M., Ning, P. (Eds.) ESORICS 2009. LNCS, Vol. 5789, pp. 285-302. Springer, Heidelberg (2009)
4. Biskup, J., Tadros, C.: Policy-based secrecy in the Runs & Systems framework and controlled query evaluation. In: Echizen, I., Kunihiro, N., Sasaki, R. (Eds.) Short Paper of IWSEC 2010. IPSJ, pp. 60-77 (2010)
5. Biskup, J.: Usability Confinement of Server Reactions: Maintaining Inference-Proof Client Views by Controlled Interaction Execution. In: Kikuchi, S., Sachdeva, S., Bhalla, S. (Eds.) DNIS 2010. LNCS, Vol. 5999, pp. 80-106. Springer, Heidelberg (2010)
6. Biskup, J., Gogolin, C., Seiler, J., Weibert, T.: Inference-proof view update transactions with forwarded refreshments. Journal of Computer Security 19(3), 487-529 (2011)
7. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Transactions on Database Systems (TODS) 6(4), 557-575 (1981)
8. Gabillon, A.: Multilevel databases. In: Rivero, L.C., Doorn, J.H., Ferraggine, V.E. (Eds.) Encyclopedia of Database Technologies and Applications, pp. 386-389. Idea Group (2005)
9. Biskup, J., Wiese, L.: A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. Theoretical Computer Science 412(31), 4044-4072 (2011)
10. Dawson, S., di Vimercati, S.D.C., Lincoln, P., Samarati, P.: Maximizing sharing of protected information. Journal of Computer and System Sciences 64(3), 496-541 (2002)
11. Aggarwal, C.C., Yu, P.S. (eds.): Privacy-Preserving Data Mining - Models and Algorithms. Advances in Database Systems, Vol. 34. Springer, Heidelberg (2008)
12. Jajodia, S., Atluri, V., Keefe, T.F., McCollum, C.D., Mukkamala, R.: Multilevel security transaction processing. Journal of Computer Security 9(3), 165-195 (2001)
13. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
14. Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems. International Journal of Information Security 3(1), 14-27 (2004)
15. Mazumdar, S., Stemple, D.W., Sheard, T.: Resolving the tension between integrity and security using a theorem prover. In: Boral, H., Larson, P.Å. (Eds.) SIGMOD Conference 1988, pp. 233-242. ACM Press (1988)
16. Cuppens, F., Gabillon, A.: Logical foundations of multilevel databases. Data & Knowledge Engineering 29(3), 259-291 (1999)
17. Biskup, J., Wiese, L.: Preprocessing for controlled query evaluation with availability policy. Journal of Computer Security 16(4), 477-494 (2008)
18. Ciriani, V., De Capitani di Vimercati, S., Foresti, S., Livraga, G., Samarati, P.: Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach. In: Li, Y. (Ed.) DBSec 2011. LNCS, Vol. 6818, pp. 44-59. Springer, Heidelberg (2011)
19. Biskup, J., Lochner, J.-H., Sonntag, S.: Optimization of the Controlled Evaluation of Closed Relational Queries. In: Gritzalis, D., Lopez, J. (Eds.) SEC 2009. IFIP AICT, Vol. 297, pp. 214-225. Springer, Heidelberg (2009)