5 citations · 12 across the 12 of their papers we have counts for
5 papers · 1 filter
Converting BPMN Diagrams to Privacy Calculus
Georgios V. Pitsiladis, Petros S. Stefaneas
The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-…
A logical framework to model software development by multiple agents following a common specification
Georgios V. Pitsiladis, Petros S. Stefaneas
In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frame…
Applying Algebraic Specifications on Digital Right Management Systems
Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas +1
Digital Right Management (DRM) Systems have been created to meet the need for digital content protection and distribution. In this paper we present some of the directions of our on…
An Algebraic Specification of the Semantic Web
Katerina Ksystra, Nikolaos Triantafyllou, Petros Stefaneas +1
We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the…
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…