Names in Cryptographic Protocols In Proceedings of the 4th International Workshop on Security in Information Systems - Volume 0ICEIS, 185-194, 2006 , Paphos, Cyprus