| MessageDigest |
| verifiesCredential ONLY MessageAuthenticationCodeData |
| protects ONLY (_Detection AND _Integrity AND _Data) |
| verifiesCredential SOME MessageAuthenticationCodeData |
| dc:description | The process of generating and verifying a message authentication code. |
Class(MessageAuthenticationCode partial MessageDigest
restriction(verifiesCredential allValuesFrom(MessageAuthenticationCodeData))
restriction(protects allValuesFrom(intersectionOf(_Detection
_Integrity
_Data)))
restriction(verifiesCredential someValuesFrom(MessageAuthenticationCodeData)))