2 citations · 4 across the 4 of their papers we have counts for
4 papers
Automated Composition of Security Protocols
Bela Genge, Iosif Ignat, Piroska Haller
Determining if two protocols can be securely composed requires analyzing not only their additive properties but also their destructive properties. In this paper we propose a new co…
A Modeling Framework for Generating Security Protocol Specifications
Bela Genge, Piroska Haller
We propose a modeling framework for generating security protocol specifications. The generated protocol specifications rely on the use of a sequential and a semantical component. T…
Component based platform for multimedia applications
Ovidiu Ratoi, Piroska Haller, Ioan Salomie +1
We propose a platform for distributed multimedia applications which simplifies the development process and at the same time ensures application portability, flexibility and perform…
Informal specification-based performance evaluation of security protocols
Bela Genge, Piroska Haller, Iosif Ignat +1
We propose a performance evaluation method for security protocols. Based on the informal specification, we construct a canonical model which includes, alongside protocol messages,…