A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and how these relations effect ... The work presented in this paper is part of an ongoing work that aims at using several formal methods tools and techniques to develop a full-fledged social-network service implementing stipulated policies ... Alternatively, plug-ins can be written in C language, and formal specifications using the ACSL (ANSI/ISO C Specification Language) specification language  , a JML-like specification language for C ...doi:10.1007/978-3-642-11811-1_20 fatcat:6yivnhjhwrc7bcdqhrpgfi5s2q
This position paper presents a novel approach for ensuring privacy in online social network applications through the combination of formal methods so as to reason in logic about privacy policies, graph ... We first construct Matelas 1 , a predicate calculus abstract specification layer definition for social networking, modelling socialnetwork content, privacy policies, social-networks friendship relations ... Matelas and Predicate Calculus The basis of our work is Matelas, a specification layer that builds on predicate calculus and focuses on human centred privacy and security policies. ...doi:10.5281/zenodo.1304378 fatcat:d26kpgt2pfgbzmq4ltpxmlo6hu