GUPEA >
Student essays / Studentuppsatser >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Masteruppsatser >

A Real-Time Extension of the Formal Privacy Policy Framework


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/52187

Files in This Item:

File Description SizeFormat
gupea_2077_52187_1.pdf954KbAdobe PDF
View/Open
Title: A Real-Time Extension of the Formal Privacy Policy Framework
Authors: Kellyérová, Ivana
Issue Date: 10-Apr-2017
Degree: Student essay
Keywords: privacy policy
social network
epistemic logic
real-time logic
temporal logic
formal framework
Abstract: Online social networks (OSNs) have become an important part of people’s lives worldwide. Although users supply OSNs with large amounts of personal data, the ability to control the audience of one’s own information is often limited to a number of predefined and often unclear options. In this work, we introduce two formal frameworks, T FPPF and RT FPPF, with the aim to develop a time-sensitive formalization of evolving OSNs and the ways information spreads in them. Both frameworks comprise t... more
URI: http://hdl.handle.net/2077/52187
Appears in Collections:Masteruppsatser

 

 

© Göteborgs universitet 2011