@inproceedings{GHRI2008termbased,
 author = {Bela Genge and Piroska Haller and Ovidiu Ratoi and Iosif Ignat},
 title = {Term-based composition of security protocols},
 booktitle = {Proceedings of the IEEE International Conference on Automation, Quality and Testing, Robotics},
 year = {2008},
 isbn = {978-1-4244-2576-1},
 pages = {233--238},
 location = {Cluj-Napoca, Romania},
 publisher = {UTCN Press, Romania},
}