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 [Conference or Workshop Item]

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: 23 Jun 2021 13:38

Actions (login required)

View Item View Item


Activity Overview

Additional statistics are available via IRStats2.