Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(6)
Business Process
Modal Logic
Model Checking
Privacy Policy
Semantic Model
Access Control
Subscribe
Academic
Publications
Towards defining semantic foundations for purpose-based privacy policies
Edit
Towards defining semantic foundations for purpose-based privacy policies
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Mohammad Jafari
,
Philip W. L. Fong
,
Reihaneh Safavi-Naini
,
Ken Barker
,
Nicholas Paul Sheppard
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.
Published in 2011.
DOI:
10.1145/1943513.1943541
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
portal.acm.org
)
(
portal.acm.org
)
Citation Context
(2)
...Several models have been proposed [23,
26
] in the literature...
Ken Barker
.
Delegation of access rights in a privacy preserving access control mod...
...There is ongoing research which intends to give the concept of purpose a set of structured semantics by arranging purpose into a lattice [5] or as a series of interrelated actions[
9
]...
Mishtu Banerjee
,
et al.
Quantifying Privacy Violations
References
(17)
Enhancing User Privacy Through Data Handling Policies
(
Citations: 9
)
Claudio Agostino Ardagna
,
Sabrina De Capitani Di Vimercati
,
Pierangela Samarati
Conference:
IFIP Workshop on Database Security - DBSEC
, pp. 224-236, 2006
Principles of model checking
(
Citations: 178
)
Christel Baier
,
Joost-Pieter Katoen
Published in 2008.
Deriving Semantic Models from Privacy Policies
(
Citations: 20
)
Travis D. Breaux
,
Annie I. Antón
Conference:
Policies for Distributed Systems and Networks
, pp. 67-76, 2005
Purpose based access control of complex data for privacy protection
(
Citations: 75
)
Ji-Won Byun
,
Elisa Bertino
,
Ninghui Li
Conference:
Symposium on Access Control Models and Technologies - SACMAT
, pp. 102-110, 2005
Towards Privacy Aware Data Analysis Workflows for e-Science
(
Citations: 7
)
William K. Cheung
,
Yolanda Gil
Order by:
Citations
(2)
Delegation of access rights in a privacy preserving access control model
Ken Barker
Conference:
Conference on Privacy, Security and Trust - PST
, 2011
Quantifying Privacy Violations
Mishtu Banerjee
,
Rosa Karimi Adl
,
Leanne Wu
,
Ken Barker