Using SAT-solvers to compute inference-proof database instances

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

Volumn 5939 LNCS, Issue , 2010, Pages 65-77

  Tadros, Cornelia ^a   Wiese, Lena ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PARTIAL MAXIMUM; PROTOTYPICAL IMPLEMENTATION; SAT-SOLVING; SECRET INFORMATION; SECURITY POLICY; TEST CASE; USER PROFILE;

DATABASE SYSTEMS; PHASE MEASUREMENT; TECHNICAL PRESENTATIONS;

DATA PRIVACY;

EID: 77951525201     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11207-2_6     Document Type: Conference Paper

References (11)

1. Argelich, J., Li, C.M., Manyà, F., Planes, J.: MaxSAT evaluation, http://www.maxsat.udl.cat/
2. Biskup, J., Bonatti, P.A.: Controlled query evaluation with open queries for a decidable relational submodel. Annals of Mathematics and Artificial Intelligence 50(1-2), 39-77 (2007)
3. Biskup, J.,Wiese, L.: Preprocessing for controlled query evaluation with availability policy. Journal of Computer Security 16(4), 477-494 (2008)
4. Biskup, J., Wiese, L.: Combining consistency and confidentiality requirements in first-order databases. In: Samarati, P., Yung, M., Martinelli, F., Ardagna, C.A. (eds.): ISC 2009. LNCS, vol. 5735, pp. 121-134. Springer, Heidelberg (2009)
5. Cuppens, F., Gabillon, A.: Cover story management. Data & Knowledge Engineering 37(2), 177-201 (2001)
6. Heras, F., Larrosa, J., de Givry, S., Schiex, T.: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. Journal on Satisfiability, Boolean Modeling and Computation 4(1), 239-250 (2008)
7. Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSAT: An efficient Weighted Max-SAT Solver. Journal of Artificial Intelligence Research 31, 1-32 (2008) (Pubitemid 351761981)
8. Jukic, N., Nestorov, S., Vrbsky, S.V., Parrish, A.S.: Enhancing database access control by facilitating non-key related cover stories. Journal of Database Management 16(3), 1-20 (2005) (Pubitemid 40851107)
9. Larrosa, J., Heras, F., de Givry, S.: A logical approach to efficient Max-SAT solving. Artificial Intelligence 172(2-3), 204-233 (2008) (Pubitemid 350256728)
10. Sutcliffe, G.: TPTP, TSTP, CASC, etc. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol. 4649, pp. 6-22. Springer, Heidelberg (2007)
11. 2Mon): An improved query processing solution. In: Jonker, W., Petković, M. (eds.) SDM 2005. LNCS, vol. 3674, pp. 124-142. Springer, Heidelberg (2005)