Assertion: key | /r/HasProperty | agreed
Facets:
Source sentences:
text: Protocols that are useful in practice also do not reveal to any eavesdropping party what key has been agreed upon.