By Topic

A Many-Sorted Logic Model for Privacy Control Policy in Ubiquitous Computing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Mijun Kang ; Dept. of Comput. Sci. & Technol., Ocean Univ. of China, Qingdao ; Zhiqiang Wei ; Wei Zhou

Ubiquitous computing applications lead to increasing capture, storage and utilization of user data, and raise privacy issue. Controllable customization mechanism for specify privacy policy can regulate how systems use user personal data. Thus, how to express privacy policy should be settled first and foremost. In this paper, we first introduce an access control mechanism that is suitable for privacy protecting, and then present a many-sorted predicate logic model to express and reason about user privacy policy, in which three sorts are defined, including Object, Requester and Action. Because we use many-sorted logic, our privacy policy model can be extended to meet various applications by adding sorts to it. We also give a brief overview of a proposed application framework based on this privacy policy model.

Published in:

Intelligent Systems and Applications, 2009. ISA 2009. International Workshop on

Date of Conference:

23-24 May 2009