securityDefinedAs
P184877
predicate
Indicates that one security concept, mechanism, or configuration is formally specified, characterized, or given meaning in terms of another.
Sample triples (2)
| Subject | Object |
|---|---|
| Universal Composability framework | indistinguishability between real and ideal executions ⓘ |
| Universal Composability framework | existence of a simulator for any real-world adversary ⓘ |