securityReducesTo
P131164
predicate
Indicates that the security of one system, protocol, or component can be formally reduced to (and thus is no stronger than) the security of another, typically better-understood, system or assumption.
Sample triples (2)
| Subject | Object |
|---|---|
|
PMAC message authentication code
surface form:
PMAC
|
pseudorandom permutation security of underlying block cipher ⓘ |
| Rabin cryptosystem | factoring the modulus n ⓘ |