A Dynamic Algebraic Specification for Social Networks

Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou +1

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 o…