Class: sec:VPN

•owl:Thing

•sec:Countermeasure

•sec:SecureNetworkCommunication

•sec:VPN

Super Classes

sec:uses SOME sec:SSH

sec:protects SOME (sec:_Prevention AND sec:_NetworkLayerPacket AND sec:_Confidentiality)

sec:protects ONLY (sec:_Prevention AND sec:_NetworkLayerPacket AND sec:_Confidentiality)

sec:SecureNetworkCommunication

Annotations

dc:description

Virtual private network. A connection between two computers or other endpoints in which packets sent over a shared network are automatically encrypted and decrypted by the endpoints. (ODoC)

Abstract Syntax

Class(sec:VPN partial restriction(sec:uses someValuesFrom(sec:SSH))
                     restriction(sec:protects someValuesFrom(intersectionOf(sec:_Prevention
                                                                            sec:_NetworkLayerPacket
                                                                            sec:_Confidentiality)))
                     restriction(sec:protects allValuesFrom(intersectionOf(sec:_Prevention
                                                                           sec:_NetworkLayerPacket
                                                                           sec:_Confidentiality)))
                     sec:SecureNetworkCommunication)

Generated with OWLDoc