Formalising privacy policies in social networks

Raúl Pardo, Musard Balliu, Gerardo Schneider. Formalising privacy policies in social networks. Journal of Logic and Algebraic Programming, 90:125-157, 2017. [doi]

Abstract

Abstract is missing.