Class: sec:MessageDigest

•owl:Thing
        •sec:Countermeasure
                •sec:Checksum
                        •sec:MessageDigest
                •sec:MessageDigest
                        •sec:Checksum
                                •sec:MessageDigest

Super Classes

sec:Countermeasure
sec:verifiesCredential SOME sec:MessageDigestData
sec:protects SOME (sec:_Detection AND sec:_Integrity AND sec:_Data)
sec:uses SOME sec:SignatureAlgorithm

Equivalent Classes (Necessary and Sufficient Conditions)

sec:Checksum

Annotations

dc:descriptionThe process of generating and verifying a message digest credential.

Abstract Syntax

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)))

Usage

Class Description/Definition (Necessary Conditions)

sec:Checksum, sec:DigitalSigning, sec:ElGamalSignatureScheme, sec:MessageAuthenticationCode, sec:MessageDigestData
Generated with OWLDoc