Simple implementation of a session key server