@inproceedings{GI2006typed,
 author = {Bela Genge and Iosif Ignat},
 title = {A typed specification for security protocols},
 booktitle = {Proceedings of the 5th WSEAS International Conference on Data Networks, Communications and Computers},
 year = {2006},
 isbn = {960-8457-54-8},
 pages = {113--118},
 location = {Bucharest, Romania},
 publisher = {WSEAS Press, Greece},
}