Watchers of equivalent schemes Sample Clauses

Watchers of equivalent schemes. Let k and K be isomorphic key agreement schemes, as described in §2.15. The sessions of k and K are one-to-one correspondence: [a, b, c, d, e, f ] in k mapping to [α(a), β(b), γ(c), δ(d), η(e), φ(f )] in K, where α, β, γ, δ, η, φ are bijections. Let w be a watcher for k. Define a watcher W for K by W (D, B, E) = φ(w(δ−1(D), β−1(B), η−1(E)). Similarly, if W is a watcher for K, then w(d, b, e) = φ−1(W (δ(d), β(b), η(e)), is a watcher for k. If k and K are also equivalent, meaning the relevant bijections and their inverses are efficient, then the w is feasible if and only if W is. Therefore K is seclusive if and only if k is seclusive.