1 citations · 1 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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
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,…