Class: OnionRouter

•owl:Thing
        •Asset
                •Countermeasure
                        •SecureNetworkCommunication
                                •OnionRouter
        •Countermeasure
                •SecureNetworkCommunication
                        •OnionRouter

Super Classes

SecureNetworkCommunication
protects ONLY (_Prevention AND ((_Privacy AND _HumanOR (_Confidentiality AND _DataInTransit)))
protects SOME _Prevention
protects SOME (_Confidentiality AND _DataInTransit)
protects SOME (_Privacy AND _Human)

Annotations

dc:descriptionThe Router at the head of a transmission selects a number of Onion Routers at random and generates a message for each one, providing it with symmetric keys for decrypting messages, and instructing it which Router will be next in the path. Each of these messages, and the messages intended for subsequent routers, is encrypted with the corresponding Router's public key. This provides a layered structure, in which it is necessary to decrypt all outer layers of the onion in order to reach an inner layer. (Wikipedia)

Abstract Syntax

Class(OnionRouter partial SecureNetworkCommunication
                         restriction(protects allValuesFrom(intersectionOf(_Prevention
                                                                           unionOf(intersectionOf(_Privacy
                                                                                                  _Human)
                                                                                   intersectionOf(_Confidentiality
                                                                                                  _DataInTransit)))))
                         restriction(protects someValuesFrom(_Prevention))
                         restriction(protects someValuesFrom(intersectionOf(_Confidentiality
                                                                            _DataInTransit)))
                         restriction(protects someValuesFrom(intersectionOf(_Privacy
                                                                            _Human))))
Generated with OWLDoc