@inproceedings{GHIR2008informal,
 author = {Bela Genge and Piroska Haller and Iosif Ignat and Ovidiu Ratoi},
 title = {Informal specification-based performance evaluation of security protocols},
 booktitle = {Proceedings of the 4th IEEE International Conference on Intelligent Computer Communication and Processing},
 year = {2008},
 isbn = {978-1-4244-2673-7},
 pages = {193--200},
 location = {Cluj-Napoca, Romania},
 publisher = {UTCN Press, Romania},
}