@inproceedings{GIH2009automated,
 author = {Bela Genge and Iosif Ignat and Piroska Haller},
 title = {Automated Composition of Security Protocols},
 booktitle = {Proceedings of the 5th IEEE International Conference on Intelligent Computer Communication and Processing},
 year = {2009},
 isbn = {978-1-4244-5007-7},
 pages = {251--258},
 location = {Cluj-Napoca, Romania},
 publisher = {UTCN Press, Romania},
}