Class(sec:MessageDigest complete annotation(dc:description "The process of generating and verifying a message digest credential."^^<http://www.w3.org/2001/XMLSchema#string>)
sec:Checksum)
SubClassOf(sec:MessageDigest sec:Countermeasure)
SubClassOf(sec:MessageDigest restriction(sec:verifiesCredential someValuesFrom(sec:MessageDigestData)))
SubClassOf(sec:MessageDigest restriction(sec:protects someValuesFrom(intersectionOf(sec:_Detection
sec:_Integrity
sec:_Data))))
SubClassOf(sec:MessageDigest restriction(sec:uses someValuesFrom(sec:SignatureAlgorithm)))