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

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.