@inproceedings{GH2005security,
 author = {Bela Genge and Piroska Haller},
 title = {Extending the Strand Space Model for Security Protocol Composition},
 booktitle = {Inter-Eng2007: Proceedings of the 3rd Edition of the Interdisciplinarity in Engineering International Conference},
 year = {2007},
 issn = {1843-780X},
 pages = {1--7},
 location = {Targu Mures, Mures, Romania},
 publisher = {``Petru Maior'' University Press, Targu Mures, Romania},
 address = {Nicolae Iorga St., No. 1, Targu Mures, Romania},
}