A Dynamic Algebraic Specification for Social Networks

2011/06/29 by Katerina Ksystra, Ksystra, Katerina, Konstantinos Barlas +5
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Peer-to-Peer Network Technologies #Service-Oriented Architecture and Web Services #cs.LO

paper · pdf · doi:10.48550/arxiv.1106.6267

8 apges, 1 figure, 5 tables

arxiv created 2011/06/29 · openalex publication_date 2011/06/29 · arxiv updated 2011/07/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

With the help of the Internet, social networks have grown rapidly. This has increased security requirements. We present a formalization of social networks as composite behavioral objects, defined using the Observational Transition System (OTS) approach. Our definition is then translated to the OTS/CafeOBJ algebraic specification methodology. This translation allows the formal verification of safety properties for social networks via the Proof Score method. Finally, using this methodology we formally verify some security properties.

Related

• A Logical Framework for Verifying Privacy Breaches of Social Networks
• The Emerging Web of Social Machines
• Social network from communities of electronic mail
• Temporal Logic for Social Networks
• Facebook and the Epistemic Logic of Friendship