Ovidiu Ratoi

Constructing Security Protocol Specifications for Web Services

Béla Genge, Piroska Haller, Ovidiu Ratoi, 2008, IDC.

Component based platform for multimedia applications pdf

Béla Genge, Piroska Haller, Ioan Salomie, 2009, ArXiv.

Informal specification-based performance evaluation of security protocols

Béla Genge, Piroska Haller, Iosif Ignat, 2008, 2008 4th International Conference on Intelligent Computer Communication and Processing.

Term-based composition of security protocols

Béla Genge, Piroska Haller, Iosif Ignat, 2008, 2008 IEEE International Conference on Automation, Quality and Testing, Robotics.