Clarified the security of the Sprocket session key negotiation protocol.