Assertion: message | /r/HasProperty | input
Facets:
value: to the same algorithm
type: TRANSITIVE-OBJECT
Source sentences:
text: Conversely, MAC algorithms are designed to produce matching MACs only if the same message, secret key and initialization vector are input to the same algorithm.