an information theoretic definition of security.

An encryption scheme over message space is perfectly secret if for every probability distribution over , message and ciphertext with , we have

this express that knowing the ciphertext leads to no new information relative to the priors over . even with unlimited computational power, no new information exists to be had.