Informal specification-based performance evaluation of security protocols
Abstract
We propose a performance evaluation method for security protocols. Based on the informal specification, we construct a canonical model which includes, alongside protocol messages, cryptographic operations performed by participants in the process of message construction. Each cryptographic operation is assigned a cost modeled as a function of the size of processed message components. We model not only the size of regular message components but also the size of ciphertext produced by various cryptographic operations. We illustrate the applicability of our method by comparatively analyzing the performance of the original CCITT X.509 protocol and a slightly modified version of the same protocol.
Keywords
Cite
@article{arxiv.0908.2871,
title = {Informal specification-based performance evaluation of security protocols},
author = {Bela Genge and Piroska Haller and Iosif Ignat and Ovidiu Ratoi},
journal= {arXiv preprint arXiv:0908.2871},
year = {2009}
}
Comments
4th IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, pp. 193-200, Aug. 2008, ISBN 978-1-4244-2673-7