Class: sec:Firefly

•owl:Thing
        •sec:Countermeasure
                •sec:SecureNetworkCommunication
                        •sec:Firefly
                •sec:Standard
                        •sec:Firefly

Super Classes

sec:protects SOME sec:_Confidentiality
sec:protects SOME sec:_Integrity
sec:protects SOME sec:_Data
sec:protects ONLY ((sec:_Authentication OR sec:_Confidentiality OR sec:_Integrity) AND sec:_Data AND sec:_Detection)
sec:protects SOME sec:_Authentication
sec:protects SOME sec:_Detection
sec:Standard
sec:uses SOME sec:Public-KeyEncryption
sec:SecureNetworkCommunication

Annotations

dc:descriptionProtocol of key distribution based on public key cryptography.

Abstract Syntax

Class(sec:Firefly partial restriction(sec:protects someValuesFrom(sec:_Confidentiality))
                         restriction(sec:protects someValuesFrom(sec:_Integrity))
                         restriction(sec:protects someValuesFrom(sec:_Data))
                         restriction(sec:protects allValuesFrom(intersectionOf(unionOf(sec:_Authentication
                                                                                       sec:_Confidentiality
                                                                                       sec:_Integrity)
                                                                               sec:_Data
                                                                               sec:_Detection)))
                         restriction(sec:protects someValuesFrom(sec:_Authentication))
                         restriction(sec:protects someValuesFrom(sec:_Detection))
                         sec:Standard
                         restriction(sec:uses someValuesFrom(sec:Public-KeyEncryption))
                         sec:SecureNetworkCommunication)
Generated with OWLDoc