Privacy analysis of a hidden friendship protocol

Kammueller, Florian ORCID: and Preibusch, Sören (2013) Privacy analysis of a hidden friendship protocol. Data Privacy Management and Autonomous Spontaneous Security: 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK. ISBN 9783642545672. ISSN 0302-9743

Restricted to Repository staff and depositor only

Download (480kB)


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
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 11:15
Last Modified: 12 Apr 2019 04:48

Actions (login required)

View Item View 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