@inproceedings{GH2007bindings,
 author = {Bela Genge and Piroska Haller},
 title = {Bindings for Security Protocol Composition},
 booktitle = {Proceedings of the 6th RoEduNet IEEE International Conference},
 year = {2007},
 isbn = {978-973-746-581-8},
 pages = {64--69},
 location = {Craiova, Romania},
 publisher = {Technical University Press, Craiova, Romania},
}