most citedTerm-based composition of security protocols

3 citations · 10 across the 9 of their papers we have counts for

collaborators

9 papers

cs.CR2010★ 1 cited

A Platform for Implementing Secure Wireless Ad Hoc Networks

Gyula Farkas, Bela Genge, Piroska Haller

We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the Eth…

cs.CR2009

Performance Evaluation of Security Protocols

Bela Genge, Piroska Haller

We propose a comparative performance evaluation of security protocols. The novelty of our approach lies in the use of a polynomial mathematical model that captures the performance…

cs.CR2009

Certificate-based Single Sign-On Mechanism for Multi-Platform Distributed Systems

Magyari Attila, Genge Bela, Haller Piroska

We propose a certificate-based single sign-on mechanism in distributed systems. The proposed security protocols and authentication mechanisms are integrated in a middleware. The no…

cs.CR2009★ 2 cited

Extending WS-Security to Implement Security Protocols for Web Services

Genge Bela, Haller Piroska

Web services use tokens provided by the WS-Security standard to implement security protocols. We propose several extensions to the WS-Security standard, including name types, key a…

cs.CR2009★ 1 cited

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…

cs.CR2009★ 1 cited

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…