2 Hits in 3.3 sec

Matelas: A Predicate Calculus Common Formal Definition for Social Networking [chapter]

Nestor Catano, Camilo Rueda
2010 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 [6] , a JML-like specification language for C  ... 
doi:10.1007/978-3-642-11811-1_20 fatcat:6yivnhjhwrc7bcdqhrpgfi5s2q

Poporo: A Formal Framework For Social Networking

Nestor Catano, Kos, Ian Oakley
2009 Zenodo  
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