A Formal Privacy Policy Framework for Social Networks

Pardo, Raúl; Schneider, Gerardo

doi:10.1007/978-3-319-10431-7_30

Cited by 20 publications

(17 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, for online social networks, relationship-based access control [27,54] supports policies depending on connections in the social graph, e.g., friendship links. Here, we aimed for more than access control: We wanted to protect secrets not only from direct illegitimate access, but also from leaking to unintended recipients who draw inferences based on observations of the system.…”

Section: Related Workmentioning

confidence: 99%

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

BauereiB

Gritti²,

Popescu

et al. 2017

2017 IEEE Symposium on Security and Privacy (SP)

View full text Add to dashboard Cite

Abstract-We present the design, implementation and information flow verification of CoSMeDis, a distributed social media platform. The system consists of an arbitrary number of communicating nodes, deployable at different locations over the Internet. Its registered users can post content and establish intra-node and inter-node friendships, used to regulate access control over the posts. The system's kernel has been verified in the proof assistant Isabelle/HOL and automatically extracted as Scala code. We formalized a framework for composing a class of information flow security guarantees in a distributed system, applicable to input/output automata. We instantiated this framework to confidentiality properties for CoSMeDis's sources of information: posts, friendship requests, and friendship status.

show abstract

Section: Related Workmentioning

confidence: 99%

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

BauereiB

Gritti²,

Popescu

et al. 2017

2017 IEEE Symposium on Security and Privacy (SP)

View full text Add to dashboard Cite

show abstract

“…• A Formal Privacy Policy Framework for Social Networks [28]. In this paper the static part of FPPF (called PPF) is presented (Chapter 2), but everything was built using propositional logic.…”

Section: Statement Of Contributionsmentioning

confidence: 99%

“…Instead we describe a schema composed by the generic structure of the privacy policies that users in Twitter can write. The schema is based on the set of Twitter privacy policies presented in [28], which was shown to express all possible policies of Twitter nowadays.…”

Section: Instantiation Of Twittermentioning

confidence: 99%

Formalising privacy policies in social networks

Pardo

Balliu

Schneider

2017

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

“…Policy languages for social media platforms have been proposed in the context of Relationship-based Access Control [12], or using epistemic logic [28]. These approaches focus on specifying policies for granting or denying access to data based on the social graph, e.g.…”

Section: Related Workmentioning

confidence: 99%

CoSMed: A Confidentiality-Verified Social Media Platform

Bauereiss

Gritti²,

Popescu

et al. 2016

Interactive Theorem Proving

View full text Add to dashboard Cite

Abstract. This paper describes progress with our agenda of formal verification of information-flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system's kernel is implemented and verified in the proof assistant Isabelle/HOL. For verification, we employ the framework of Bounded-Deducibility (BD) Security, previously introduced for the conference system CoCon. CoSMed is a second major case study in this framework. For CoSMed, the static topology of declassification bounds and triggers that characterized previous instances of BD security has to give way to a dynamic integration of the triggers as part of the bounds.

show abstract

A Formal Privacy Policy Framework for Social Networks

Cited by 20 publications

References 8 publications

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

Formalising privacy policies in social networks

CoSMed: A Confidentiality-Verified Social Media Platform

Contact Info

Product

Resources

About