Abstract | ||
---|---|---|
We define a semantic model for purpose, based on which purpose-based privacy policies can be meaningfully expressed and enforced in a business system. The model is based on the intuition that the purpose of an action is determined by its situation among other inter-related actions. Actions and their relationships can be modeled in the form of an action graph which is based on the business processes in a system. Accordingly, a modal logic and the corresponding model checking algorithm are developed for formal expression of purpose-based policies and verifying whether a particular system complies with them. It is also shown through various examples, how various typical purpose-based policies as well as some new policy types can be expressed and checked using our model. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/1943513.1943541 | CODASPY |
Keywords | Field | DocType |
business process,semantic foundation,purpose-based privacy policy,various example,particular system complies,semantic model,action graph,various typical purpose-based policy,purpose-based policy,business system,corresponding model checking algorithm,inter-related action,privacy policy,access control,modal logic | Graph,Model checking,Business process,Computer science,Privacy policy,Intuition,Theoretical computer science,Access control,Modal logic,Semantic data model | Conference |
Citations | PageRank | References |
17 | 0.74 | 10 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammad Jafari | 1 | 60 | 4.80 |
Philip W.L. Fong | 2 | 176 | 8.73 |
Reihaneh Safavi-Naini | 3 | 2378 | 257.74 |
Ken Barker | 4 | 834 | 83.23 |
Nicholas Paul Sheppard | 5 | 285 | 25.84 |