Author of the publication

Controlled Query Evaluation for Known Policies by Combining Lying and Refusal.

, and . FoIKS, volume 2284 of Lecture Notes in Computer Science, page 49-66. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Sequent Calculus for Skeptical Default Logic., and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 107-121. Springer, (1997)Towards Flexible Credential Negotiation Protocols., , and . Security Protocols Workshop, volume 3364 of Lecture Notes in Computer Science, page 19-23. Springer, (2003)A Family of Three-Valued Autoepistemic Logics.. AI*IA, volume 549 of Lecture Notes in Computer Science, page 28-37. Springer, (1991)A modular approach to composing access control policies., , and . ACM Conference on Computer and Communications Security, page 164-173. ACM, (2000)A Constructive Negation for Transition System Specifications.. APPIA-GULP-PRODE, page 283-294. (1997)Inference-proof Data Filtering for a Probabilistic Setting., , , and . PrivOn@ISWC, volume 1951 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Optimizing the Computation of Overriding in DLN (Extended Abstract)., , and . IJCAI, page 6860-6862. ijcai.org, (2023)An Integrated Formal Approach to Usage Control., , , and . IEEE Symposium on Security and Privacy Workshops, page 8-12. IEEE Computer Society, (2013)Tractable Compliance Checking with Negation., and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Towards a Mechanism for Incentivating Privacy., , , and . ESORICS, volume 6879 of Lecture Notes in Computer Science, page 472-488. Springer, (2011)