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,…