Class: sec:OnionRouter

•owl:Thing
        •sec:Countermeasure
                •sec:SecureNetworkCommunication
                        •sec:OnionRouter

Super Classes

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

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(sec:OnionRouter partial sec:SecureNetworkCommunication
                             restriction(sec:protects someValuesFrom(intersectionOf(sec:_Confidentiality
                                                                                    sec:_DataInTransit)))
                             restriction(sec:protects someValuesFrom(intersectionOf(sec:_Privacy
                                                                                    sec:_Human)))
                             restriction(sec:protects allValuesFrom(intersectionOf(sec:_Prevention
                                                                                   unionOf(intersectionOf(sec:_Privacy
                                                                                                          sec:_Human)
                                                                                           intersectionOf(sec:_Confidentiality
                                                                                                          sec:_DataInTransit)))))
                             restriction(sec:protects someValuesFrom(sec:_Prevention)))
Generated with OWLDoc