Common use of Correctness Clause in Contracts

Correctness. If Eve is passive, then Pr[kA = kB]= 1.

Appears in 2 contracts

Sources: Key Agreement, Key Agreement

Correctness. If Eve is passive, then Pr[kA = kB]= kB] = 1.

Appears in 1 contract

Sources: Key Agreement