Safety of Quantified ABoxes w.r.t. Singleton ℰℒ Policies
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
In recent work, we have shown how to compute compliant anonymizations of quantified ABoxes w.r.t. 𝓔𝓛 policies. In this setting, quantified ABoxes can be used to publish information about individuals, some of which are anonymized. The policy is given by concepts of the Description Logic (DL) 𝓔𝓛, and compliance means that one cannot derive from the ABox that some non-anonymized individual is an instance of a policy concept. If one assumes that a possible attacker could have additional knowledge about some of the involved non-anonymized individuals, then compliance with a policy is not sufficient. One wants to ensure that the quantified ABox is safe in the sense that none of the secret instance information is revealed, even if the attacker has additional compliant knowledge. In the present paper, we show that safety can be decided in polynomial time, and that the unique optimal safe anonymization of a non-safe quantified ABox can be computed in exponential time, provided that the policy consists of a single 𝓔𝓛 concept.
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 36th Annual ACM Symposium on Applied Computing (SAC '21), March 22-26, 2021, Virtual Event, Republic of Korea |
Publisher | Association for Computing Machinery (ACM), New York |
Pages | 863-872 |
Number of pages | 10 |
ISBN (electronic) | 9781450381048 |
Publication status | Published - 22 Mar 2021 |
Peer-reviewed | Yes |
Conference
Title | Annual ACM Symposium on Applied Computing |
---|---|
Abbreviated title | SAC '21 |
Conference number | 36 |
Duration | 22 - 26 March 2021 |
Degree of recognition | International event |
Location | |
City | Virtual Event |
Country | Korea, Republic of |
External IDs
ORCID | /0000-0002-4049-221X/work/142247859 |
---|---|
ORCID | /0000-0002-9047-7624/work/142251240 |
ORCID | /0000-0003-0219-0330/work/153109369 |
Scopus | 85104970612 |
Keywords
ASJC Scopus subject areas
Keywords
- compliance, description logic, privacy-preserving ontology publishing, quantified ABox, safety