sec:protects ONLY ((((sec:_Confidentiality OR sec:_Integrity) AND sec:_ApplicationLayerPacket) OR (sec:_Authentication AND sec:_Host)) AND sec:_Prevention)

sec:protects SOME (sec:_Confidentiality AND sec:_ApplicationLayerPacket)

dc:description

Secure Sockets Layer, a protocol developed by Netscape for transmitting private documents via the Internet. SSL uses a cryptographic system that uses two keys to encrypt data ? a public key known to everyone and a private or secret key known only to the recipient of the message. (Webopedia) It is a flexible protocol that is able to use a variety of encryption schemes. (ODotI)

Class(sec:SSL partial restriction(sec:protects someValuesFrom(intersectionOf(sec:_Integrity
                                                                            sec:_ApplicationLayerPacket)))
                     sec:Standard
                     restriction(sec:uses someValuesFrom(sec:Public-KeyEncryption))
                     restriction(sec:protects someValuesFrom(sec:_Prevention))
                     restriction(sec:uses someValuesFrom(sec:SymmetricAlgorithm))
                     sec:SecureNetworkCommunication
                     restriction(sec:protects someValuesFrom(intersectionOf(sec:_Authentication
                                                                            sec:_Host)))
                     restriction(sec:protects allValuesFrom(intersectionOf(unionOf(intersectionOf(unionOf(sec:_Confidentiality
                                                                                                          sec:_Integrity)
                                                                                                  sec:_ApplicationLayerPacket)
                                                                                   intersectionOf(sec:_Authentication
                                                                                                  sec:_Host))
                                                                           sec:_Prevention)))
                     restriction(sec:protects someValuesFrom(intersectionOf(sec:_Confidentiality
                                                                            sec:_ApplicationLayerPacket))))

sec:HTTPS

Class: sec:SSL

Super Classes

Annotations

Abstract Syntax

Usage

Class Description/Definition (Necessary Conditions)