Privacy analysis of a hidden friendship protocol

Kammueller, Florian and Preibusch, Sören (2013) Privacy analysis of a hidden friendship protocol. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK.

[img] PDF - UNSPECIFIED
Restricted to Repository staff and depositor only

Download (480kB)

Abstract

Friendship relations are a defining property of online social networks. On the one hand, and beyond their cultural interpretation, they sustain access control mechanisms
and are privacy-enhancing by limiting the proliferation of personal information. On the other hand, the publicity of friendship links is privacy-invasive. We outline a distributed authentication protocol based on hidden friendship links that has been suggested in earlier work. We then investigate its formalisation and, using model-checking, we carry out a mechanised analysis of the protocol that enables the revision and rectification of the earlier version. We thus demonstrate more generally how model-checking and epistemic logic
can be used for the detection of privacy and security vulnerabilities in authentication protocols for social networks.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Published paper appears in: Data Privacy Management and Autonomous Spontaneous Security, Volume 8247 of the series Lecture Notes in Computer Science pp 83-99, 2014
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15204
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54568-9_6
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 11:15
Last Modified: 12 Apr 2019 04:48
URI: https://eprints.mdx.ac.uk/id/eprint/15204

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year