Formal Reasoning about Privacy and Trust in Loyalty Systems

Individuals disclose personal information to complex services via their front-end which interacts with underlying sub-services. The services involve multiple collaborating parties that may share the collected personal data to accurately profile individuals. Even though their data handling practices are declared in their privacy policies, they are still opaque for individuals. Data protection regulations restrain service providers to collect personal data that is strictly necessary for their purposes. The present paper shows the potential of a logic based framework for analyzing privacy of electronic services by applying the approach to two loyalty schemes. Different query types are defined that provide meaningful feedback for both end users and service designers.

ISBN:978-3-319-26761-6

Publication year:2015

BOF-keylabel:yes

IOF-keylabel:yes

Authors from:Higher Education