5 citations · 12 across the 12 of their papers we have counts for
6 papers · 1 filter
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach
Prodromos Tsiavos, Petros Stefaneas
The creation of open archives i.e. archives where access is regulated by open licensing models (content, source, data), should be seen as part of a broader socio-economic phenomeno…
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…
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
Konstantinos Barlas, George Koletsos, Petros Stefaneas
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that c…
Redesigning the Open Mobile Alliance License Choice Algorithm
Nikolaos Triantafyllou, Petros Stefaneas amd Panayiotis Frangos
We claim that the Open Mobile Alliance (OMA) License Choice Algorithm, implemented in mobile DRM agents as specified by OMA suffers from a bug. More precisely there exist some case…