Computer Science and Information Systems 2024 Volume 21, Issue 3, Pages: 1033-1054
https://doi.org/10.2298/CSIS230426026B
Full text (
395 KB)
Graph rewriting primitives for semantic graph databases sanitization
Boiret Adrien (INSA Centre Val de Loire, Laboratoire d’Informatique Fondamentale d’Orléans, Bourges, France)
Eichler Cédric (INSA Centre Val de Loire, Laboratoire d’Informatique Fondamentale d’Orléans, Bourges, France)
Nguyen Benjamin (INSA Centre Val de Loire, Laboratoire d’Informatique Fondamentale d’Orléans, Bourges, France)
Taki Sara (INSA Centre Val de Loire, Laboratoire d’Informatique Fondamentale d’Orléans, Bourges, France)
Due to the rapid proliferation of data online, an important quantity of private or sensitive informations is being stored as linked data in graph databases (e.g., represented as RDF). For such databases to be shared without jeopardizing privacy, they must first undergo a process known as database sanitization. During this process, databases are transformed following graph transformations that are usually described informally or through ad-hoc processes. However, a more thourough formalization of these transformations would aid in analysing the sanitization process, ensuring its correctness, and demonstrating the resulting privacy guarantees. This paper is an effort toward bridging the gap between the rigorous graph rewriting approaches and graph sanitization. We propose a graph transformation language to serve as a basis for constructing various sanitization mechanisms. This language relies on a set of elementary transformation operators formalized using a generic algebraic graph rewriting approach. Our language takes into account semantic and supports the equivalent of WHERE and EXCEPT clauses. As a proof of concept, we use these operators to implement two mechanisms from the literature, one generic (Local Differential Privacy) and one specifically introduced for semantic graph databases (sensitive attribute masking through anatomization). We propose an open-sourced tool implementing the elementary operators and the privacy mechanisms we derive from them relying on the Attributed Graph Grammar System (AGG) and its java API, providing a concrete tool implementing formal graph rewriting mechanisms to sanitize semantic graph databases. We present experimental results on this implementation regarding both proposed schemes and discuss its efficiency and scalability.
Show references
Boiret, A., Eichler, C., Nguyen, B.: Privacy operators for semantic graph databases as graph rewriting. In: Chiusano, S., Cerquitelli, T., Wrembel, R., Norv˚ag, K., Catania, B., Vargas- Solar, G., Zumpano, E. (eds.) New Trends in Database and Information Systems. pp. 366-377. Springer International Publishing, Cham (2022)
Chabin, J., Eichler, C., Ferrari, M.H., Hiot, N.: Graph rewriting rules for RDF database evolution: optimizing side-effect processing. Int. J. Web Inf. Syst. 17(6), 622-644 (2021)
Chabin, J., Eichler, C., Halfeld-Ferrari, M., Hiot, N.: Graph rewriting rules for rdf database evolution management. In: Proceedings of the 22nd International Conference on Information Integration and Web-Based Applications & Services. p. 134-143. ACM (2020)
Chabin, J., Halfeld Ferrari, M., Laurent, D.: Consistent updating of databases with marked nulls. Knowledge and Information Systems (2019)
De Leenheer, P., Mens, T.: Using graph transformation to support collaborative ontology evolution. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Applications of Graph Transformations with Industrial Relevance. pp. 44-58. Springer Berlin Heidelberg, Berlin, Heidelberg (2008)
Delanaux, R., Bonifati, A., Rousset, M.C., Thion, R.: Query-based linked data anonymization. In: International Semantic Web Conference. pp. 530-546. Springer (2018)
Duchi, J.C., Jordan, M.I., Wainwright, M.J.: Local privacy and statistical minimax rates. In: 54th Annual IEEE Symposium on Foundations of Computer Science. pp. 429-438. IEEE Computer Society (2013)
Duval, D., Echahed, R., Prost, F.: An algebraic graph transformation approach for RDF and SPARQL. In: Hoffmann, B., Minas, M. (eds.) Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS, vol. 330, pp. 55-70 (2020). https://doi.org/10.4204/EPTCS.330.4, https: //doi.org/10.4204/EPTCS.330.4
Dwork, C.: Differential privacy. In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. pp. 1-12 (2006)
Flouris, G., Konstantinidis, G., Antoniou, G., Christophides, V.: Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1), 153-191 (2013)
Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inf. 26(3,4), 287-313 (Dec 1996)
Heitmann, B., Hermsen, F., Decker, S.: k-rdf-neighbourhood anonymity: Combining structural and attribute-based anonymisation for linked data. PrivOn@ ISWC 1951 (2017)
Kairouz, P., Oh, S., Viswanath, P.: Extremal mechanisms for local differential privacy. Journal of Machine Learning Research 17(17) (2016), http://jmlr.org/papers/v17/ 15-135.html
Kasiviswanathan, S.P., Lee, H.K., Nissim, K., Raskhodnikova, S., Smith, A.D.: What can we learn privately? SIAM J. Comput. 40(3), 793-826 (2011)
Löwe, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science 109(1-2), 181 -224 (1993)
Mahfoudh, M., Forestier, G., Thiry, L., Hassenforder, M.: Algebraic graph transformations for formalizing ontology changes and evolving ontologies. Knowledge-Based Systems 73, 212 - 226 (2015)
Radulovic, F., García Castro, R., Gómez-Pérez, A.: Towards the anonymisation of rdf data (2015)
Schwentick, T.: Automata for XML - A survey. J. Comput. Syst. Sci. 73(3), 289-315 (2007)
Segura, S., Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated Merging of Feature Models Using Graph Transformations, pp. 489-505. Springer Berlin Heidelberg, Berlin, Heidelberg (2008)
Shaban-Nejad, A., Haarslev, V.: Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation. Intern. Journal of Data Mining and Bioinformatics 11(1), 53-83 (2015)
Sweeney, L.: k-anonymity: A model for protecting privacy. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 10(5), 557-570 (2002)
Taentzer, G.: Agg: A graph transformation environment for modeling and validation of software. In: AGTIVE (2003)
Thouvenot, M., Curé, O., Calvez, P.: Knowledge graph anonymization using semantic anatomization. In: 2020 IEEE International Conference on Big Data (Big Data). pp. 4065-4074. IEEE (2020)
Wu, X., Ying, X., Liu, K., Chen, L.: A Survey of Privacy-Preservation of Graphs and Social Networks, pp. 421-453. Springer US (2010)
Zheleva, E., Getoor, L.: Privacy in social networks: A survey. In: Social network data analytics, pp. 277-306. Springer (2011)
Zhou, B., Pei, J., Luk, W.: A brief survey on anonymization techniques for privacy preserving publishing of social network data. SIGKDD Explorations 10(2), 12- 22 (2008). https://doi.org/10.1145/1540276.1540279, http://doi.acm.org/10.1145/ 1540276.1540279