Parity-based inference control for multi-dimensional range sum queries

  • Authors:

  • Lingyu Wang;Yingjiu Li;Sushil Jajodia;Duminda Wijesekera

  • Affiliations:

  • (Correspd. Tel.: +1-514-848-2424-5662, Fax: +1-514-848-3171, wang@ciise.concordia.ca) Concordia Inst. for Info. Sys. Eng., Concordia Univ., 1455 de Maisonneuve Blvd. West, Montreal, QC H3G 1M8, Ca ...;School of Information Systems, Singapore Management University, 80 Stamford Road, Singapore 178902, Republic of Singapore E-mail: yjli@smu.edu.sg;Center for Secure Information Systems, George Mason University, MSN 5B5, 4400 University Drive, Fairfax, VA 22030-4444, USA E-mail: {dwijesek,jajodia}@gmu.edu;Center for Secure Information Systems, George Mason University, MSN 5B5, 4400 University Drive, Fairfax, VA 22030-4444, USA E-mail: {dwijesek,jajodia}@gmu.edu

  • Venue:
  • Journal of Computer Security
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper studies the inference control of multi-dimensional range (MDR) sum queries. We show that existing inference control methods are usually inefficient for MDR queries. We then consider parity-based inference control that restricts users to queries involving an even number of sensitive values. Such a restriction renders inferences significantly more difficult, because an even number is closed under addition and subtraction, whereas inferences target at one value. However, more sophisticated inferences are still possible with only even MDR queries. We show that the collection of all even MDR queries causes inferences if and only if a special collection of sum-two queries (that is, the summation of exactly two values) does so. The result leads to an inference control method with an improved computational complexity O(mn) (over the previous result of O(m 2n)) for m MDR queries over n values. We show that no odd MDR queries can be answered without causing inferences. We show how to check non-MDR queries for inferences in linear time. We also show how to find large inference-free subsets of even MDR queries when they do cause inferences.