Let be a Cryptosystem.
The key equivocation is
where and are random variables taking values in
finite and and