Abstract | ||
---|---|---|
Advanced information processing technologies are often applied to large profiles and result in detailed behavior analysis. Moreover, under the pretext of increased personalization and strong accountability, organizations exchange information to compile even larger profiles. However, the user is unaware about the amount and type of personal data kept in profiles, partially due to advanced interactions between multiple organizations during service consumption. In this paper, a formal approach to inspect privacy and trust in advanced electronic services is presented. It allows to express access and privacy policies of service providers. Also, the privacy properties of multiple authentication technologies are formally modeled. From this, meaningful privacy properties can be extracted based on varying trust assumptions. Feedback is rendered through automated reasoning, useful for both users and system designers. To demonstrate its practicability, the approach is applied to the design of a travel reservation system. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-36563-8_11 | ESSoS |
Keywords | Field | DocType |
advanced electronic service,multiple authentication technology,multiple organization,advanced information processing technology,meaningful privacy property,privacy policy,organizations exchange information,advanced interaction,formal approach,privacy property,privacy,trust,modeling | Automated reasoning,Internet privacy,Authentication,Privacy by Design,Computer security,Computer science,Privacy policy,Service provider,Information privacy,Privacy software,Personalization | Conference |
Citations | PageRank | References |
2 | 0.43 | 14 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Koen Decroix | 1 | 4 | 2.85 |
Jorn Lapon | 2 | 62 | 8.18 |
Bart De Decker | 3 | 265 | 39.11 |
Vincent Naessens | 4 | 86 | 19.70 |