2 citations · 6 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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,…