3 citations · 4 across the 3 of their papers we have counts for
3 papers
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★ 3 cited
Term-based composition of security protocols
Bela Genge, Piroska Haller, Ovidiu Ratoi +1
In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composit…
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,…