Privacy Protection in Database Linking — A Logical Viewpoint

作者: Churn-Jung Liau , Tsan-sheng Hsu , Da-Wei Wang

DOI:

关键词:

摘要: In this paper, we present a logical model for the privacy protection problem in database linking context. Assume there is large amount of data records center. Each record has some public attributes, values which are known to and confidential be protected. Users may obtain from center by submitting queries form linkage. When table released, manager must make sure that receiver will not know any particular individual released information he had before receiving data. To solve problem, propose simple epistemic logic user’s knowledge. model, concept safety rigorously defined an effective approach given test It shown generalization operations can applied original it less precise release generalized prevent violation privacy. Two kinds considered. The level-based one more restrictive. However, bottom-up search method used find maximally informative satisfying requirement. set-based one, on other hand, flexible. would require through whole space its computational complexity much higher, though graph theory help simplify procedure. As result, heuristic methods needed improve efficiency.

参考文章(36)
Jaakko Hintikka, Knowledge and belief ,(1962)
James W. Gray, Paul F. Syverson, Epistemology of Information Flow in the Multilevel Security of Probabilistic Systems. Defense Technical Information Center. ,(1995) , 10.21236/ADA294336
Bas C Van Fraassen, Van Fraassen, Formal semantics and logic ,(1971)
Elias Thijsse, Jan Jaspars, Fundamentals of partial modal logic Partiality, modality, and nonmonotonicity. pp. 111- 141 ,(1996)
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang, A Logical Model for Privacy Protection international conference on information security. pp. 110- 124 ,(2001) , 10.1007/3-540-45439-X_8
Paul F. Syverson, Stuart G. Stubblebine, Group Principals and the Formalization of Anonymity formal methods. pp. 814- 833 ,(1999) , 10.1007/3-540-48119-2_45
Josep Domingo-Ferrer, Advances in Inference Control in Statistical Databases: An Overview Lecture Notes in Computer Science. pp. 1- 7 ,(2002) , 10.1007/3-540-47804-3_1
Frédéric Cuppens, Robert Demolombe, A Modal Logical Framework for Security Policies international syposium on methodologies for intelligent systems. pp. 579- 589 ,(1997) , 10.1007/3-540-63614-5_56