Assertion: certificate's number | /r/HasProperty | sent to the server
Facets:
Source sentences:
text: The client may use the public key to encrypt a random number that's then sent to the server to decrypt, and both parties then use that number to establish the session key.