@inproceedings{GI2007verifying,
 author = {Bela Genge and Iosif Ignat},
 title = {Verifying the Independence of Security Protocols},
 booktitle = {Proceedings of the 3rd IEEE International Conference on Intelligent Computer Communication and Processing},
 year = {2007},
 isbn = {1-4244-1491-1},
 pages = {155--163},
 location = {Cluj-Napoca, Romania},
 publisher = {UTCN Press, Romania},
}