Author:
JAKŠIĆ SVETLANA,PANTOVIĆ JOVANKA,GHILEZAN SILVIA
Abstract
Web of Linked Data introduces common format and principles for publishing and linking data on the Web. Such a network of linked data is publicly available and easily consumable. This paper introduces a calculus for modelling networks of linked data with encoded privacy preferences.In that calculus, a network is a parallel composition of users, where each user is named and consists of data, representing the user's profile, and a process. Data is a parallel composition of triples with names (resources) as components. Associated with each name and each triple of names are their privacy protection policies, that are represented by queries. A data triple is accessible to a user if the user's data satisfies the query assigned to that triple.The main contribution of this model lies in the type system which together with the introduced query order ensures that static type-checking prevents privacy violations. We say that a network is well behaved if
—access to a triple is more restrictive than access to its components and less restrictive than access to the user name it is enclosed with,—each user can completely access their own profile,—each user can update or partly delete profiles that they own (can access the whole profiles), and—each user can update the privacy preference policy of data of another profile that they own or write data to another profile only if the newly obtained profile stays fully accessible to their owner.We prove that any well-typed network is well behaved.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference29 articles.
1. Linked data - the story so far;Bizer;International Journal on Semantic Web and Information Systems,2009
2. Horne R. and Sassone V. (2011a). A typed model for linked data. Technical Report, available online at http://eprints.ecs.soton.ac.uk/21996/5/paper.pdf.
3. Directing Status Messages to Their Audience in Online Communities
4. A Distributed Pi-Calculus
5. The Semantic Web
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Preserving Privacy in Caller ID Applications;IFIP Advances in Information and Communication Technology;2021
2. Implementation of Privacy Calculus and Its Type Checking in Maude;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018