Logics for Security and Privacy

Purpose is a key concept in privacy policies. Although some models have been proposed for enforcing purposebased privacy policies, little has been done in defining formal semantics for purpose, and therefore an effective enforcement mechanism for such policies has remained a challenge. We have developed a framework for expressing and enforcing such policies by giving a formal definition of purpose and proposing a modal-logic language for formally expressing purpose constraints. The semantics of this language are defined over an abstract model of workflows. Based on this formal framework, we discuss some properties of purpose, show how common forms of purpose constraints can be formalized, how purpose-based constraints can be connected to more general access control policies, and how they can be enforced in a workflow-based information system by extending common access control technologies. . 2014. A framework for expressing and enforcing purpose-based privacy policies.

show abstract

Belief change operations under confidentiality requirements in multiagent systems

Tadros¹

2014

View full text Add to dashboard Cite

Logics for Security and Privacy

Cited by 3 publications

References 12 publications

Secrecy Preserving BDI Agents Based on Answerset Programming

Secrecy Preserving BDI Agents Based on Answerset Programming

A Framework for Expressing and Enforcing Purpose-Based Privacy Policies

Belief change operations under confidentiality requirements in multiagent systems

Contact Info

Product

Resources

About