Keyden - Server based on Needham Schroeder Protocol