Author of the publication

A component-based architecture for secure data publication

, , , , and . Seventeenth Annual Computer Security Applications Conference, Institute of Electrical and Electronics Engineers (IEEE), (2001)
DOI: 10.1109/acsac.2001.991546

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

Tractable Compliance Checking with Negation., and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Optimizing the Computation of Overriding in DLN (Extended Abstract)., , and . IJCAI, page 6860-6862. ijcai.org, (2023)Autoepistemic Logic Programming.. J. Autom. Reason., 13 (1): 35-67 (1994)Resolution for Skeptical Stable Model Semantics.. J. Autom. Reason., 27 (4): 391-421 (2001)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)On the Logical Properties of the Description Logic DL^N (Extended abstract)., and . IJCAI, page 5558-5562. ijcai.org, (2018)Towards a Mechanism for Incentivating Privacy., , , and . ESORICS, volume 6879 of Lecture Notes in Computer Science, page 472-488. Springer, (2011)Reasoning with infinite stable models.. IJCAI, page 603-610. Morgan Kaufmann, (2001)