Konstantinos Barlas works at the Technological Educational Institute of Athens, as a computer lab administrator and Numerical Analysis lab teacher. Degree in Applied Mathematical and Physical Sciences, currently PhD candidate in Electrical and Computer Engineering. His research is focused in the enhancing of industry standards with formal methods aiming for more concrete system design and allowing property verification via algebraic specification/verification tools.

An Algebraic Specification of Social Networks

Katerina Ksystra1, Nikolaos Triantafyllou1, Konstantinos Barlas1, Petros Stefaneas2
Abstract

Social networks have grown rapidly over the last years, making the need for increased security requirements much stronger. We present a formalization of an abstract social network as the composition of behavioural objects, using the OTS/CafeOBJ approach and then, we formally verify some security properties of that system using the Proof Scores methodology. Such applications of algebraic specifications will enhance the levels of trust of the social web.

Back to the SQM talks programme

Pre/Post-conference activities

Restaurant Menus

Conference Programme

Conference Photos