Assertion: mix's key | /r/CapableOf | encrypt the message
Facets:
Source sentences:
text: \displaystyle K_{m}(S1,A)} as a key to re-encrypt the message part